Erlang除了提供try catch,catch等语法,还支持link和monitor两种监控进程的机制,使得所有进程可以连接起来,组成一个整体。除了这样,erlang还提供trap_exit方法让进程主动捕获异常退出消息,避免发生异常时被系统关闭。
erlang设计上有速错(fast on fail)的原则,就是让问题快速暴露,迅速停止这个进程的运行,以避免这个进程错误执行造成更多的错误。但是在业务层需要容错,所以erlang就把选择权交给用户,通过process_flag(trap_exit,true)来避免进程被异常关闭。
-module(test).
-compile(export_all).
start() ->
Pid = spawn(
fun() ->
process_flag(trap_exit,true),
do_loop()
end),
register(test, Pid).
do_loop() ->
receive
Msg ->
io:format("recv ~w~n", [Msg])
end,
do_loop().
测试如下:
1> test:start().
true
2> exit(whereis(test),normal).
recv {'EXIT',<0.35.0>,normal}
true
3> whereis(test).
<0.33.0>
这里可以看出进程被exit/2 后并没有挂掉。
在exit/2的文档可以找到这么一段话:
exit(Pid, Reason) -> true
If Pid is not trapping exits, Pid itself will exit with exit reason Reason. If Pid is trapping exits, the exit signal is transformed into a message {'EXIT', From, Reason} and delivered to the message queue of Pid. From is the pid of the process which sent the exit signal.
意思是,如果进程没有trap_exit 的话,exit/2 就会直接关闭进程;如果设了trap_exit,进程不会被关闭,而是收到一条退出消息:{'EXIT', From, Reason}
但是,有个问题,如果我们设了trap_exit,但是想强制关闭进程怎么办?
erlang还是给了我们答案:
If Reason is the atom kill, that is if exit(Pid, kill) is called, an untrappable exit signal is sent to Pid which will unconditionally exit with exit reason killed.
当exit/2 的Reason是kill时,进程就算设了trap_exit 也无法阻止进程被关闭
5> exit(whereis(test),kill).
true
6> whereis(test).
undefined
所以,kill被用来强制杀进程。以上也就是为什么gen_server进程被exit(Pid, kill) 时,terminate/2 无法捕获到进程退出消息的原因。
再来说下trap_exit与进程退出信号的关系:
除了前面讲到的,还可以看出,不管进程是否有设置 trap_exit,进程被kill时link进程都会收到这个进程的退出消息。只要进程退出,link进程都会收到这个进程退出消息(normal除外),Supervisor就是这样构建起来的。那么,normal可以用来杀掉Supervisor的进程。
还有兴趣的,可以看下这两篇文章,Erlang/OTP 监督者(Supervisor)、erlang进程监控:link和monitor
参考:http://blog.csdn.net/mycwq/article/details/41172863