-
链接:链接定义了一种在两个进程之间的传播路径。如果两个进程被链接在一起,如果其中一个进程消亡,那么系统就会向另一个进程发送一个退出信号。我们把一群与某个给定的进程进行外国投资的进程集合称为该进程的链接集。链接通过在一个进程中调用link(Pid)来完成,Pid是另一个进程的ID。
-
退出信号:当一个进程消亡时,它会产生一个叫做退出信号的东西。系统会向这个进程的所有链接进程发送这个退出信号。退出信号不是一个消息,它是一个信号。退出信号包含一个参数来描述进程消亡的原因,==可以通过调用exit(Reason),也可以与系统自动设置。当一个进程成功的完成spawn所指定的函数而退出时,Why就是normal。
-
系统进程:当一个进程接收到一个非正常的退出信号时它自己也会消亡,除非它是那种特殊类型的进程-系统进程。当Pid进程向一个系统进程发送一个内容Why的退出信号时,系统会把退出信号转换为消息{‘EXIT’, Pid, Why},然后送入到系统进程邮箱。可以通过在一个进程中调用process_flag(trap_exit, true)来将这个进程转换为一个系统进程。
-
装死:在进程Pid1中调用exit(Pid2,X),这时Pid1会向Pid2发送一个退出信号,但Pid1并没有退出。
-
进程收到退出信号后的处理关系:
是否捕获 收到的退出信号 收到信号后的动作
是否是系统进程)
true kill 消亡,向链接集广播退出信号killed
true X 将{‘EXIT’, Pid, X}消息加入到邮箱
false normal 继续运行,不做任何事
false kill 消亡,向链接集广播退出信号killed
false X 消亡,向链接集广播退出信号X -
kill退出信号可以杀死任何进程,而不是向它发送消息。
exit(Pid, kill)会向进程Pid发送kill退出信号
而exit(kill)只会向链接进程发送原因为kill的退出消息,而不是kill退出信号。 -
on_exit处理程序
-module(lib_misc).
-author("zhouzunda").
%% API
-export([]).
on_exit(Pid,Fun)->
spawn(fun()->
process_flag(trap_exit,true), % 把创建的进程变为一个系统进程
link(Pid), % 把新建进程变为一个系统进程,即此后进程变为链接进程
receive
{'EXIT',Pid,Why}-> % 收到退出信号,即Pid为被链接进程,它刚刚消亡
Fun(Why)
end
end).
函数会创建一个指向PID进程的链接,由于PID由于某种原因消亡,原因在变量Why中,这个函数会执行Fun(Why)
代码示例:
1> F=fun()->
receive
X->list_toatom(X)
end
end.
定义函数F等待一个独立的消息X,然后做list_to_atom(X)操作
2> Pid=spawn(F).
<0.58.0>
创建进程
3> c(lib_misc).
{ok,lib_misc}
4> lib_misc:on_exit(Pid,fun(Why)->
io:format("~p died with:~p~n",[Pid,Why])
end).
<0.67.0>
设定处理程序来监视此进程
5> Pid!hello.
hello
<0.58.0> died with:{{shell_undef,list_toatom,1,[]},
[{shell,shell_undef,2,[{file,"shell.erl"},{line,1061}]},
{erl_eval,local_func,6,
[{file,"erl_eval.erl"},{line,562}]}]}
向Pid传入会使程序崩溃的Message,如原子,无法做处理操作,进程崩溃则处理程序就会被调用。
使用spawn_link和trap_exit
process_flag(trap_exit,true),
Pid=spawn_link(fun()->..end),
loop(..).
loop(State)->
receive
{'EXIT',Pid,Why}->
loop(State1);
end
如果把经过设置的执行loop函数进程链接到另一个进程,虽然loop进程会捕捉到退出信号,但不会消亡。另一个进程即将消亡时,loop进程会捕获到所有来自濒死进程的退出信号,将其翻译为消息,并执行他要做的后续处理。
- 捕获退出的编程模式
模式一:我不在乎创建的进程是否崩溃
创建一个并行进程,当被生成的进程崩溃时,当前进程不会察觉
Pid = spawn(Fun).
模式二:如果我创建的进程非正常的崩溃,我也消亡
%%不要在这之前设置退出信号捕获状态
Pid = spawn_link(Fun).
使用spawn_link和trap_exit
process_flag(trap_exit,true),
Pid=spawn_link(fun()->..end),
loop(..).
loop(State)->
receive
{'EXIT',Pid,Why}->
loop(State1);
end
模式三:如果我创建的进程崩溃,我需要处理错误
...
process_flag(trap_exit, true),
Pid = spawn_link(Fun),
...
loop(...).
loop(State) ->
receive
{'EXIT', SomePid, Reason} ->
%% do somethin with the error
loop(State);
...
end
-
erlang:is_process_alive(Pid) -> true|false,查看进程Pid是否还活着。
-
错误处理原语
@spec spawn_link(Fun) -> Pid %% 创建进程并链接它们
@spec process_flag(trap_exit, true) %% 把一个普通进程转换为系统进程,可以再把标志设为false而取消对退出信号的处理
@spec link(Pid) -> true %% link是对称的。如果Pid不在在,会抛出noproc异常,如果已经链接,系统会忽略这个调用(不会返回false)
@spec unlink(Pid) -> true %% 移除先前的link
@spec exit(Why) -> none() %% 如果不在catch之内的话,会向当前进程的链接集广播退出信号
@spec exit(Pid, Why) -> true
@spec erlang:monitor(process, Item) -> MonitorRef %% 建立一个监视器,其中Item是一个Pid或者是一个注册的原子
监视器是非对称的,A监视B时,B退出时,A会收到退出信号,而A退出时,B不会收到退出信号。
- 存活进程:消亡后会被自动重启
keep_alive(Name, Fun) ->
register(Name, Pid=spawn(Fun)),
on_exit(Pid, fun(_Why) -> keep_alive(Name, Fun) end).