分布式计算模式:Actor
什么是Actor模型?
分布式环境下,多个进程协同完成一件复杂的事情,每个进程各司其职,完成自己的工作后,再交给其他进程去完成剩余的工作。
Actor模型,代表一种分布式并行计算模型,它有自己的一套规则,规定了Actor的内部计算逻辑以及多个Actor之间的通信规则,每个Actor都相当于系统中的一个组件,是基本的计算单元。
Actor类似于一个“黑盒”对象,它封装了自己的状态和行为,是其他Actor无法直接观察到它的状态,调用它的行为,多个Actor之间通过消息进行通信。
Actor模式采用异步模式,并且每个Actor封装了自己的数据、方法等,解决了死锁、竞争等问题。
Actor模型的三个要素:
- 状态,Actor组件本身的信息。
- 行为,Actor的计算处理操作。
- 消息,Actor的消息以邮件形式在多个Actor之间通信传递,每个Actor会有一个自己的邮箱(MailBox),用于接收来自其他Actor的消息。
Actor模型的特点:
- 实现了更高级的抽象。
- 非阻塞性,当一个Actor发送消息给另外一个Actor后,无需等待响应,发送完消息之后可以在本地继续执行其他任务。
- 无需使用锁,Actor从MailBox中一次只能读取一条消息,Actor内部只能同时处理一个消息,这是一个天然的互斥锁。
- 并发度高,每个Actor只需处理本地MailBox的消息。
- 易扩展,每个Actor都可以创建多个Actor,从而减轻单个Actor的工作负载。
Actor模型存在一些不足之处:
- Actor提供了模块和封装,但缺少继承和分层。
- Actor可以动态创建多个Actor,使得整个Actor模型的行为不断变化。
- Actor模型不适用于对消息处理顺序由严格要求的系统。
可以支持Actor变成模型的典型框架或者语言:
- Erlang/OTP
- Akka
- Quasar