如前所述,EXIT信号的格式如下:

    调用了process_flag(trap_exit,true)的进程接收到其他进程发送的EXIT信号后不再自动终止。所有EXIT信号,包括Reason为原子式normal的信号,都将被转换为消息,进程可以以接收其他消息同样的方式来接收这些消息。程序7.3说明了进程如何互相链接以及执行了process_flag(trap_exit,true)的进程如何接收EXIT信号。

    1. -module(link_demo).
    2. -export([start/0, demo/0, demonstrate_normal/0, demonstrate_exit/1,
    3. demonstrate_error/0, demonstrate_message/1]).
    4.  
    5. start() ->
    6. register(demo, spawn(link_demo, demo, [])).
    7.  
    8. demo() ->
    9. process_flag(trap_exit, true),
    10. demo1().
    11.  
    12. demo1() ->
    13. receive
    14. {'EXIT', From, normal} ->
    15. io:format(
    16. "Demo process received normal exit from ~w~n",
    17. [From]),
    18. demo1();
    19. {'EXIT', From, Reason} ->
    20. "Demo process received exit signal ~w from ~w~n",
    21. [Reason, From]),
    22. demo1();
    23. finished_demo ->
    24. io:format("Demo finished ~n", []);
    25. Other ->
    26. io:format("Demo process message ~w~n", [Other]),
    27. demo1()
    28. end.
    29.  
    30. demonstrate_normal() ->
    31. link(whereis(demo)).
    32.  
    33. demonstrate_exit(What) ->
    34. link(whereis(demo)),
    35. exit(What).
    36.  
    37. demonstrate_message(What) ->
    38. demo ! What.
    39. demonstrate_error() ->
    40. link(whereis(demo)),
    41. 1 = 2.

    示例代码的启动方式如下:

    1. > link_demo:start().
    2. true
    link_demo:start()以函数demo/0启动一个进程并用名字demo进行注册。demo/0关闭EXIT信号的默认处理机制并调用demo1/0等待新消息的到来。我们来考察一次正常退出过程:
    1. > link_demo:demonstrate_normal().trueDemo process received normal exit from <0.13.1>
    执行demonstrate_normal/0的进程(在这个例子中该进程由Erlang shell创建)寻找注册进程demo的进程标识并与之建立链接。函数demostrate_normal/0没有别的子句,它的执行进程无事可做因而正常终止,从而引发信号:该信号被发送到注册进程demo。注册进程demo正在等待EXIT信号,因此它将之转换为一条消息,该消息在函数demo1/0内被接收,并输出文本(参见图7.2):
    1. Demo process received normal exit from <0.13.1>
    接着demo1/0继续递归调用自身。图7.2 正常退出信号下面再来考察一次异常退出过程:
    1. > link_demo:demonstrate_exit(hello).Demo process received exit signal hello from <0.14.1> exited: hello
    demonstrate_normal/0相同,demonstrate_exit/1创建一个到注册进程demo的链接。该例中,demonstrate_exit/1通过exit(hello)调用BIF exit/1。这导致demostrate_exit/1的执行进程异常终止,并将信号:
    1. {'EXIT', Process_Id, hello}
    发送给注册进程demo(参见图7.3)。注册进程demo将该信号转换为消息,并在函数demo1/0内被接收,从而输出文本:接着demo1/0继续递归调用自身。_images/7.3.png图7.3 执行exit(hello)
    1. > link_demo:demonstrate_exit(normal).
    2. Demo process received normal exit from <0.13.1>
    3. ** exited: normal **

    图7.4 执行exit(normal)

    下一个案例将展示出现运行时错误时,会发生什么事:

    1. > link_demo:demonstrate_error().
    2. !!! Error in process <0.17.1> in function
    3. !!! link_demo:demonstrate_error()
    4. !!! reason badmatch
    5. ** exited: badmatch **
    6. Demo process received exit signal badmatch from <0.17.1>

    向前面一样,link_demo:demonstrate_error/0创建一个到注册进程demo的链接。link_demo:demonstrate_error/0错误地试图匹配1=2。 该错误导致link_demo:demonstrate_error/0的执行进程异常终止,并发送信号{'EXIT',Process_Id,badmatch}至注册进程demo(参见图7.5)。

    下一个案例中我们简单地向正在等待消息的注册进程demo发送消息hello

    1. > link_demo:demonstrate_message(hello).
    2. hello

    没有链接被创建,也就没有EXIT信号被发送或被接收。

    通过以下调用来结束这个示例: