blob: a5f1d4d3c7270ba0524a5796a1f17c9e25019feb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
%% This tests that the race condition detection between whereis/register
%% is robust w.r.t. having the calls in separate modules (backward analysis).
%% It takes into account control flow that might exist.
-module(whereis_diff_modules1_pathsens).
-export([start/3]).
start(AnAtom, Fun, FunName) ->
Pid =
case FunName of
master ->
case whereis(AnAtom) of
undefined ->
spawn(Fun);
P when is_pid(P) ->
P
end;
slave ->
case whereis(AnAtom) of
undefined ->
spawn(Fun);
P when is_pid(P) ->
P
end
end,
whereis_diff_modules2_pathsens:race(AnAtom, Pid).
|