Erlang选择接收机制的细节是什么？

Question

我在文末读过一篇关于Erlang select receive机制的文章，有一个结论：“消息从邮箱移动到保存队列，然后在匹配的消息到达后返回到邮箱”。我已经尝试过文章中显示的示例，但无法得到相同的结果。这是我的代码，我的 erlang/otp 版本是 21。

shell1:
(aaa@HW0003727)1> register(shell, self()).
true
(aaa@HW0003727)2> shell ! c, shell ! d.
d
(aaa@HW0003727)3> process_info(whereis(shell),messages).
{messages,[c,d]}.
(aaa@HW0003727)4> receive a -> 1; b -> 2 end.


shell2:
(aaa@HW0003727)1> process_info(whereis(shell),messages).
{messages,[c,d]}
(aaa@HW0003727)2> process_info(whereis(shell)).          
[{registered_name,shell},
 {current_function,{prim_eval,'receive',2}},
 {initial_call,{erlang,apply,2}},
 {status,waiting},
 {message_queue_len,2},
 {links,[<0.113.0>]},
 {dictionary,[]},
 {trap_exit,false},
 {error_handler,error_handler},
 {priority,normal},
 {group_leader,<0.112.0>},
 {total_heap_size,4212},
 {heap_size,1598},
 {stack_size,30},
 {reductions,13906},
 {garbage_collection,[{max_heap_size,#{error_logger => true,kill => true,size => 0}},
                      {min_bin_vheap_size,46422},
                      {min_heap_size,233},
                      {fullsweep_after,65535},
                      {minor_gcs,1}]},
 {suspending,[]}]

文章。​

Answer 1

这种具有“保存队列”可见状态的奇怪行为仅在 shell 中运行的解释代码中成立，而不是在常规编译模块中成立。在接收的实际 C 实现中，只有一个带有指针的队列来跟踪到目前为止已扫描的队列，并且 process_info 在实际接收期间不会显示空队列。解释代码的行为已在 R16B01 中修复，因此现在没有明显的差异：https://github.com/erlang/otp/commit/acb8ef5d18cc3976bf580a8e6925cb5641acd401