一、并发程序错误处理理念
Erlang并发编程中错误处理的概念，核心在于远程检测加处理错误(而非顺序编程中的避免错误)，在并发中，我们选择让他去随心所欲地崩溃，因为崩溃了，我们还有其他的程序去给他擦屁股，(死了一个我，还有千千万万的我)
1.错误处理的术语含义
(1).进程
进程分两种,普通进程和系统进程，spawn创建普通进程，而普通进程可以通过process_flag(trap_exit,true)函数提升称为系统进程
他们两个的区别是:普通进程收到连接组(下面有解释)exit信号的时候就退出了，而系统进程不会因为别人的exit信号而退出
(2).连接link
进程可以互相连接，A和B连接了，如果A(B)因为某种原因退出了，那么B(A)就会收到一个错误信号，普通进程会因此跟着退出
(3).连接组
指的是和进程直接相连的进程，间接相连的不算
(4).监视monitor
如果A监视了B，B因为某种原因退出了，A能知道，但是不会退出
(5).消息和错误信号
消息是通过send(或者符号!)主动发送的，而错误信号是进程崩溃或者别人给你发了exit(Pid,Why)虚假错误信号来的
(6).错误信号的接收
系统进程收到错误信号时，会转换成｛'Exit',Pid,Why｝形式的消息，如果是正常退出，Why会是normal
(7).显式的错误信号
任何执行exit(Why)的进程都会终止，并向它的连接组发送一个退出信号
也可以通过exit(Pid,Why)给其他进程发送一个虚假的错误信号，而且对自身无影响
(8).不可捕捉的错误信号
exit(Pid,kill)这句命令能发送一个摧毁信号，不可捕捉
2.错误处理的几个基本函数
- -spec link(Pid)->true %创建连接
- -spec monitor(process,Pid|RegisterName)->Ref %创建监控
- -spec spawn_link(Fun|Mod,Func,Args)->Pid %创建进程并连接
- -spec spawn_monitor(Fun)->{Pid,Ref} %创建进程并监控
- -spec process_flag(trap_exit,true) %提升为系统进程
- -spec demonitor(Ref)->true %取消监控
- -spec unlink(Pid)->true %取消连接
- -spec exit(Why)->none() %使当前进程因为Why的原因终止
- -spec exit(Pid,Why)->true %向Pid发送一个带有Why原因的错误新信号
3.容错式编程
(1).在进程终止时执行操作
%This is an example for monitir
-module(test).
-export([]).
-compile(export_all).
on_exit(Pid,Fun) ->
spawn(
fun()->
Ref=monitor(process,Pid),
receive
{'DOWN',Ref,process,Pid,Why}->
Fun(Why)
end
end).
%使用on_exit可以监控标识符为Pid的进程，当他退出时，监控进程接收信号并执行Fun函数
%-------------------------------------------
%This is an example for link
on_exit2(Pid,Fun)->
process_flag(trap_exit,true),
link(Pid),
receive
｛'Exit',Pid,Why｝->
Fun(Why)
end.