aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/race_SUITE_data/src/ets_insert_args2.erl
blob: c1857eb58bdb847017f7967b7b991630eb406fe2 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
%% This tests the presence of possible races due to an ets:lookup/ets:insert
%% combination. It takes into account the argument types of the calls.

-module(ets_insert_args2).
-export([start/0]).

start() ->
  F = fun(T)-> [{_, N}] = ets:lookup(T, counter),
               ets:insert(T, [{counter, N+1}, {maria, N+1}, {kostis, N+1}])
      end,
  io:format("Created ~w\n", [ets:new(foo, [named_table, public])]),
  ets:insert(foo, {counter, 0}),
  io:format("Inserted ~w\n", [{counter, 0}]),
  F(foo),
  io:format("Update complete\n", []),
  ObjectList = ets:lookup(foo, counter),
  io:format("Counter: ~w\n", [ObjectList]).