1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
%% This tests the presence of possible races due to an ets:lookup/ets:insert
%% combination. It takes into account control flow that might exist.
-module(ets_insert_control_flow1).
-export([start/0]).
start() ->
io:format("Created ~w\n", [ets:new(foo, [named_table, public])]),
ets:insert(foo, {random, random:uniform(maria:get_int())}),
io:format("Inserted ~w\n", [{_, N}] = ets:lookup(foo, random)),
case (N rem 2 == 0) of
true ->
io:format("\nInserted an even number\n", []),
io:format("\nWill make it odd\n", []),
ets:insert(foo, {random, N+1});
false -> ok
end,
io:format("Update complete\n", []),
ObjectList = ets:lookup(foo, random),
io:format("Random odd integer: ~w\n", [ObjectList]).
|
