附录 D Erlang 的错误处理

本附录提供了 Erlang 错误处理机制的细致总结。

匹配错误

当我们调用一个传入错误参数的内建函数时，参数不匹配的函数时，匹配错误就会产生。

当遇到匹配错误时,系统的行为可以描述成以下几种情形:

if(called a BIF with bad args)then
    Error = badarg
elseif(cannot and a matching function)then
    Error = badmatch
elseif(no matching case statement)then
    Error = case_clause
    ...
if(within the scope of a “catch”)then
    Value of “catch” = {'EXIT', Error}
else
    broadcast(Error)
    die
endif

其中“broadcast(Error)”可以描述为：

if(Process has Links)then
    send {'EXIT', self(), Reason} signals to all linked
    processes
endif

异常抛出

函数 throw(Reason) 的行为可以描述如下:

if(within the scope of a “catch”)then
    Value of “catch” = Reason
else
    broadcast(nocatch)
    die
endif

退出信号

当接收到 {'EXIT', Pid, ExitReason} 信号时， Erlang 的行为可以描述成如下代码：

if(ExitReason == kill)then
    broadcast(killed) % note we change ExitReason
    die
else
    if(trapping exits)then
        add {'EXIT', Pid, ExitReason}
        to input mailbox
    else
        if(ExitReason == normal) then
            continue
        else
            broadcast(ExitReason)
            die
        endif
    endif
endif

如果进程表示符为 Sender 的进程运行一个简单的函数 exit(Pid,Why) ，那么进程 Pid 就会收到一个代表进程 Sender 好像死亡的消息 {'EXIT', Source, Why} 。

如果进程正常终止，把信号 {'EXIT', Source, normal} 发送到所有的链接进程.

函数 exit(Pid, kill) 产生一个无法销毁的消息，它使的接收进程无条件死亡，把退出的原因改为 killed 并把退出的原因发送给所有的链接进程（如若不然,可能使服务器意想不到的崩溃）.

未定义函数

当涉及到未定义函数或注册进程，错误的最后一级就会发生。

如果在调用函数 Mod:Func(Arg0,...,ArgN) 但代码中没有这个函数时，就会触发 error_handler:undefined_function(Mod, Func, [Arg0,...,ArgN]) 。

error_logger

Erlang运行时系统生成的错误消息都转化为下面这种形式:

{emulator,GroupLeader,Chars}

并把它发送给一个名为 error_logger 下的注册进程。由于所有用户代码都可以在 error_logger 中运行,因此可以很容易的把错误信息发送到其他结点上处理。这儿的变量 GroupLeader 是错误产生进程的进程表示符。有了它， error_logger 就可以把错误返回给这个产生错误的进程，以便让连接这个结点的终端打印出错误信息。