Erlang 如何同时处理访问邮箱答案

【问题标题】：How Erlang processes access mailbox concurrentlyErlang 如何同时处理访问邮箱
【发布时间】：2013-08-29 20:35:36
【问题描述】：

有很多关于如何使用erlang邮箱的信息，但是很少找到一篇论文或文档描述erlang如何在VM内部同时访问邮箱。

据我了解，Erlang VM 必须执行锁定或 CAS 操作以确保消息完整性。 erlang的幕后有什么高深的方法吗

【问题讨论】：

你确实意识到每个 Erlang 进程只有一个邮箱，这大大减少了对全局锁的需求。

标签： concurrency erlang locking

【解决方案1】：

有几个锁可以处理进程结构。发送消息最重要的是 MSGQ 锁和 MAIN 锁。主锁是在结构运行时锁定结构字段的锁——其中一个字段是传出队列。 MSGQ 锁涵盖传入消息的链表。

因此，要发送消息，我们需要获取收件人 MSGQ 锁并将消息从我们的队列（由 MAIN 保护）复制到其他进程的传入消息队列。

注意这个发送操作是如何异步的。进程不会相互阻塞！（大部分时间；）

【讨论】：

【解决方案2】：

我假设您的邮箱是指进程邮箱，其中插入了一条消息。有趣的问题！

关于 Erlang 进程消息队列的锁定特性有一些对话here：

只是好奇：目前在发送消息时存在某种锁定。有没有人尝试过实现无锁链表： http://www.amd64.org/fileadmin/user_upload/pub/epham08-asf-eval.pdf

或者我只是在看错误的地方并且 erts_smp_proc_lock 已经是使用这样的东西？

消息队列已经有这个，有点。拥有的进程消息框有一个他有锁的“内框”和一个“外框” 盒子”，所有发件人都在竞争。所以锁争用在当大量进程发送到时，“外箱”上的队列尾部那个过程。不过邮箱所有者并不关心它。

您可能会发现阅读BEAM process 的实现说明。

简短的回答：是的，锁定是在消息队列上完成的，但它很复杂并且经过优化以减少调度程序线程之间的争用。

【讨论】：

IIRC 他们已经在邮箱中添加了一条消息，直到两次写入。我想知道他们是否还需要真正的锁。