发送到注册进程时出现Erlang错误

Question

我正在尝试制作Erlang程序,用流程找到素数(无效,我知道,但是,嘿,这只是为了好玩:)) - 有点像numbersimulation.com.

在每个"tick"上,服务器产生增加其计数器的新进程("数字").如果counter ==那个数字,这是一个因素,所以我们让服务器知道.如果服务器没有收到任何消息,那么它是一个素数.

在小数字(素数高达N,server(50,L)线条)它没关系,但在更大的数字上它崩溃:

Error in process <0.46.0> with exit value: {badarg,[{primes,number,2,[{file,"primes.erl"},{line,31}]}]}

第31行就是那一行server ! hit- 但我不明白为什么会失败.也许失败的那条线是后来的,number(N,1)？但为什么会失败呢？

代码:

-module(primes).
-compile(export_all).

main() ->
  pg:create(numbers),
  Server_PID = spawn(?MODULE,server,[]),
  register(server,Server_PID),
  ok.

server()     -> server(2,[]).
server(50,L) -> io:format("Primes: ~p~n",[L]);
server(N,L)  ->
  Num_PID = spawn(?MODULE,number,[N]),
  pg:join(numbers,Num_PID),
  pg:send(numbers,tick),
  receive
    hit ->
      flush(),
      server(N+1,L)
  after 100 ->
      server(N+1,[N|L])
  end.

number(N)   -> receive {pg_message,_,_,tick} -> number(N,1) end.
number(N,I) ->
  receive
    {pg_message,_,_,tick} ->
      if
        N =:= I ->
          server ! hit,
          number(N,1);
        true ->
          number(N,I+1)
      end
  end.

flush() ->
  receive _ -> flush()
  after   0 -> ok end.

Answer 1

当注册过程死亡时,其注册的名称不再注册.虽然发送到未注册名称的pid向pid发送消息是完全合法的(消息刚刚消失),但发送到未注册名称是错误的,即使名称曾经注册过.

在您的代码中,该server过程会执行50个循环,生成一个新进程并等待hit消息或超时.之后,server/2功能结束,server过程终止.当它死亡时,名称server不再被注册,因此尝试向其发送消息会产生badarg错误.