之前看到 Erlang 中的注册进程时,对注册并不理解,主要是不理解注册的原子的作用域。刚才突然想明白了:
Erlang 中的并发机制是通过消息邮箱实现的,进程间进行通讯的方式只有消息邮箱,而进程间通讯需要知道进程的进程号,而使用 spawn 产生新进程时会返回新进程的进程号供使用。
一个最简单的进程间通信的程序如下
start() ->
spawn(?MODULE, loop, []).
loop() ->
io:format("Waiting for new message.~n"),
receive
M -> io:format("New message: ~p~n", [M])
end,
loop().
在 Erlang Shell 中使用 c(test) 编译这个模块,之后就可以简单的使用了.
在下面的代码中,语句前面的注释表示解释,语句后面的注释表示输出值, % => 后面的值表示语句的返回值
% 开启无限循环
Pid = test:start().
% Waiting for new message. % 新进程 spawn 后立刻运行
% => <0.35.0> % 返回新进程的进程号
% 向进程发送消息
Pid ! 'message'.
% New message: message % 接收到消息
% Waiting for new message. % 继续接收消息
% => message % 语句返回值,而非进程返回消息
但是这样写还有个明显的弊端,调用 call 时需要 Pid 参数,但是又不能去掉,因为需要进程号才能通信,所以使用时需要用户维护一个进程号。
而 Erlang 提供了注册进程的机制用来把原子关联到进程中,可以解决这个问题
使用 register(atom, Pid) 可以将 atom 关联到进程号为 Pid 的进程上,这个原子就
修改上面的 start 函数为
start() ->
register(testp, spawn(?MODULE, loop, [])).
loop() ->
io:format("Waiting for new message.~n"),
receive
M -> io:format("New message: ~p~n", [M])
end,
loop().
call(M) ->
testp ! M.
register(atom, Pid).
% 取消 atom 的注册
unregister(atom).
% 返回 atom 关联的进程号,如果未关联,返回 undefined
whereis(atom).
% 返回系统中所有已注册的进程名
registered().