aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/race_tests_SUITE_data/src/whereis_intra_inter_module8/whereis_intra_inter_module16.erl
blob: 6c170dc851fcdbd1bf06b9e96e444b8675016d99 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
%% This tests that the race condition detection between whereis/register
%% is robust w.r.t. having the calls in separate functions and modules.

-module(whereis_intra_inter_module16).
-export([no_race/1, race/2, start/2]).

no_race(Pid) ->
  register(master, Pid).
	
race(Atom, Pid) -> 
  register(Atom, Pid).

start(AnAtom, Fun) ->
  Pid1 = spawn(Fun),
  no_race(Pid1),
  case whereis(AnAtom) of
    undefined ->
      Pid2 = spawn(Fun),
      whereis_intra_inter_module15:continue(AnAtom, Pid2);
    P when is_pid(P) ->
      true
  end.