erlang进程trap_exit捕获异常退出

Erlang除了提供try catch，catch等语法，还支持link和monitor两种监控进程的机制，使得所有进程可以连接起来，组成一个整体。除了这样，erlang还提供trap_exit方法让进程主动捕获异常退出消息，避免发生异常时被系统关闭。

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() ->receiveMsg ->io:format("recv ~w~n", [Msg])end,do_loop().

测试如下：

1> test:start().true2> exit(whereis(test),normal).recv {'EXIT',<0.35.0>,normal}true3> 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临界点

但是，有个问题，如果我们设了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).true6> whereis(test).undefined

所以，kill被用来强制杀进程。以上也就是为什么gen_server进程被exit(Pid, kill) 时，terminate/2 无法捕获到进程退出消息的原因。

exit信号

再来说下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