erlang - trap_exit EXIT msg 和 common msg 之间的竞争条件

Question

您好，问题如下:
假设我们有链接的进程 A 和 B。进程的 A 标志 trap_exit 设置为 true。让 B 进程向 A 发送一个 msg 然后退出:

PidA ! 'msg',
exit(reason).

我想知道我们是否可以确定进程 A 将收到 'msg' 并且只有在它 {'EXIT', Pid, reason} 之后才会来？我们可以预测 msgs 的顺序吗？我在文档中找不到任何证据，但我想它会这样工作，但我需要一些证据。不想在这里有竞争条件..

Answer 1

为了不让这个问题悬而未决。这是 erlang-questions 邮件列表中的讨论:

http://thread.gmane.org/gmane.comp.lang.erlang.general/66788

长话短说:所有消息都是信号(或所有信号都是消息)，导出被视为来自进程的消息，保证以它们发送的相同顺序到达。