有很多关于如何使用 erlang 邮箱的信息，但很少找到一篇论文或文档描述 erlang 如何在 VM 内部同时访问邮箱。
据我了解，Erlang VM 必须执行锁定或 CAS 操作以确保消息完整性。erlang的幕后有什么高深的方法吗
问问题
1801 次
2 回答
7
通过邮箱我假设您的意思是进程邮箱，其中插入了一条消息。有趣的问题！
这里有一些关于 Erlang 进程消息队列的锁定特性的对话：
只是好奇：目前在发送消息时存在某种锁定。有没有人尝试实现无锁链表： http ://www.amd64.org/fileadmin/user_upload/pub/epham08-asf-eval.pdf
或者我只是在看错误的地方，而 erts_smp_proc_lock 已经在使用这样的东西了？
消息队列已经有这个，有点。拥有消息框的进程有一个他锁定的“内框”和一个所有发送者竞争的“外框”。因此，当许多进程发送到该进程时，锁争用位于“外箱”队列的尾部。不过，邮箱所有者并不关心它。
您可能会发现阅读BEAM 流程的实施说明。
简短的回答：是的，锁定是在消息队列上完成的，但它很复杂并且经过优化以减少调度程序线程之间的争用。
于 2013-08-27T17:50:53.060 回答
3
有几个处理进程结构的锁。发送消息最重要的是 MSGQ 锁和 MAIN 锁。主锁是在结构运行时锁定结构字段的锁——其中一个字段是传出队列。MSGQ 锁涵盖传入消息的链表。
因此，要发送消息，我们需要获取收件人 MSGQ 锁并将消息从我们的队列（由 MAIN 保护）复制到其他进程的传入消息队列。
注意这个发送操作有多异步。进程不会互相阻塞！（大多数时候;）
于 2013-08-27T21:38:19.160 回答