Erlang中Actor的基本解释

Question

我正在尝试对 Erlang 中的演员进行非常基本的解释。它应该尽可能简单，但不会遗漏理论的关键特征或它的 Erlang 实现。这是我的解释：

actor模型是并发计算的数学模型，将actors视为并发计算的通用原语。 Actor 是一个计算实体，它响应接收到的消息，可以同时 (1) 向其他 Actor 发送有限数量的消息，(2) 创建有限数量的新 Actor，以及(3) 指定接收到的下一条消息的行为。

在 Erlang 中，每个参与者都是虚拟机中的一个独立进程，由一个函数实现。进程通过相互发送消息进行通信。每条消息都是明确的、可追溯的和安全的。消息在邮箱中接收并按接收顺序存储。它们存储在那里，直到接收过程将它们取出以供读取。这称为异步消息传递。

你们怎么看？可以吗？我应该添加或更改任何内容吗？谢谢。

Answer 1

我认为，如果您不将 Actor 与 Erlang 进程混淆，您会有所帮助。您从 Wikipedia 对 Actor 模型的描述开始，只是为了无缝地开始编写有关 Erlang 进程的文章，就好像它是一回事一样。 Actor 模型是一种数学模型，可以通过多种不同方式实现，包括纯 C 或 C++ 低级实现。另一方面，Erlang 进程是轻量级的抢占式语言特性，它允许并行运行大量进程，比使用本机系统进程甚至线程更有效。碰巧它们是根据数学模型建模的，但这是基于specific requirements 的设计决策。

我认为，如果您将 Actor 模型作为一个数学模型简单地讨论一下，然后再简单地讨论一下它是如何在 Erlang 中实现的，并指出 Erlang 特有的任何差异和特性，我认为它们会更好地结合在一起。