← Back to branch summary

~clint-fewbar/ubuntu/precise/erlang/merge-15b

« back to all changes in this revision

Viewing changes to lib/dialyzer/test/race_SUITE_data/src/ets_insert_control_flow1.erl

  • Committer: Package Import Robot
  • Author(s): Sergei Golovan
  • Date: 2011-12-15 19:20:10 UTC
  • mfrom: (1.1.18) (3.5.15 sid)
  • mto: (3.5.16 sid)
  • mto: This revision was merged to the branch mainline in revision 33.
  • Revision ID: package-import@ubuntu.com-20111215192010-jnxcfe3tbrpp0big
Tags: 1:15.b-dfsg-1
* New upstream release.
* Upload to experimental because this release breaks external drivers
  API along with ABI, so several applications are to be fixed.
* Removed SSL patch because the old SSL implementation is removed from
  the upstream distribution.
* Removed never used patch which added native code to erlang beam files.
* Removed the erlang-docbuilder binary package because the docbuilder
  application was dropped by upstream.
* Documented dropping ${erlang-docbuilder:Depends} substvar in
  erlang-depends(1) manpage.
* Made erlang-base and erlang-base-hipe provide virtual package
  erlang-abi-15.b (the number means the first erlang version, which
  provides current ABI).

Show diffs side-by-side

added added

removed removed

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