aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/race_tests_SUITE_data/src/whereis_intra_inter_module7/whereis_intra_inter_module14.erl
blob: 2de6c9198547c4a0ef32dc2d58b8ba9b3566c2de (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_module14).
-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),
      race(AnAtom, Pid2);
    P when is_pid(P) ->
      true
  end.