Erlang追踪消息的发送方是谁？事件观测顺序有何保障？

追踪消息的发送方 #

追踪消息由**Erlang虚拟机（VM）**直接发送给追踪进程，并非由被追踪进程本身发送。

单进程内操作的追踪消息顺序保障 #

连续发送消息的场景 #

若被追踪进程先向p1发送消息，再向p2发送，可以保证追踪进程先收到p1的发送通知，再收到p2的。因为这两个发送操作在被追踪进程内是串行执行的，VM会严格按照进程的执行顺序生成并发送对应追踪消息，追踪进程接收的顺序与被追踪进程的操作顺序完全一致。

包含receive操作的场景 #

对于如下被追踪进程代码：

proc() ->
  p1 ! ok,
  receive X -> ok end,
  p2 ! ok. 

'receive'追踪消息一定会恰好出现在向p1和p2发送的消息之间。被追踪进程的执行顺序是严格串行的：先触发p1的发送追踪消息，随后进入receive等待时VM生成对应的'receive'追踪消息，直到收到消息后才会执行p2的发送操作并触发对应追踪消息，因此三个追踪消息的到达顺序完全匹配进程操作顺序。

跨进程追踪的消息顺序问题 #

对于同时追踪proc1和proc2的场景：

proc1() ->
  proc2 ! ok.

proc2() ->
  receive ok -> ok end.

即使proc1的发送操作必然早于proc2的接收操作，无法保证追踪器按此顺序收到事件通知。因为两个操作分属不同进程上下文，VM会在各自进程的执行时机生成追踪消息，这两个消息的发送是独立的，可能受进程调度、消息队列延迟等因素影响，导致追踪进程收到的顺序颠倒（比如先收到proc2的接收通知，再收到proc1的发送通知）。

核心结论 #

Erlang VM仅保证单个被追踪进程内部的操作对应的追踪消息顺序与进程执行顺序一致；跨进程的事件追踪消息，无法保证其到达追踪进程的顺序与实际系统事件的发生顺序一致。

内容的提问来源于stack exchange，提问作者radrow