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

Def*_*ulL 6 erlang

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

PidA ! 'msg',
exit(reason).
Run Code Online (Sandbox Code Playgroud)

我想知道,如果我们能够确定过程A将收到'msg'并且只有在它'{EXIT',Pid,reason}之后才会出现?我们可以预测msgs的排序吗?我在文档中找不到任何证据,但我想它会以这种方式工作,但我需要一些证明.不想在这里有比赛条件..

Mam*_*mut 7

至于不要把这个问题挂起来.这是erlang-questions邮件列表中的讨论:

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

长话短说:所有消息都是信号(或所有信号都是消息),退出被视为来自进程的消息,保证以与发送时相同的顺序到达.