path: root/lib/dialyzer/test/race_SUITE_data/src/whereis_diff_functions4.erl

%% This tests that the race condition detection between whereis/register
%% is robust w.r.t. having the calls in separate functions.

-module(whereis_diff_functions4).
-export([test/2]).

test(AnAtom, Fun) ->
  start(AnAtom, Fun).

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

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

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