[Erlang开发之路]十三、并发程序中的错误处理

一、并发程序错误处理理念

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.

练习题明日加上