相关资料
- Skynet是什么 https://www.jianshu.com/p/32c39ab9e062
- Actor模型 https://www.jianshu.com/p/d803e2a7de8e
- Skynet消息调度机制 https://www.jianshu.com/p/2ff6d03f990d
Actor模型解决了什么问题呢?
并发编程时需要特别注意锁和内存原子性等线程问题,由于Actor模型内部的状态由自己维护,Actor内部数据只能由自己修改,并通过消息传递进行状态修改。所以使用Actor模型进行并发编程可以很好的避免线程问题。
Actor模型是什么样的呢?
Actor的基础是消息传递,其自身由状态、行为、邮箱三部分组成。
- 状态
Actor中的状态指的是Actor对象的变量信息,由于Actor的状态由自身管理,所以避免了并发环境下的锁和内存原子性等问题。
- 行为
行为指定的是Actor中的计算逻辑,通过Actor接收到的消息来改变Actor的状态。
- 邮箱
邮箱是Actor与Actor之间的通信桥梁,邮箱内部通过FIFO消息队列来存储发送方Actor消息,接收方Actor从邮箱队列中获取消息。
使用Actor模型的好处是什么呢?
- 事件模型驱动
Actor之间的通信是异步的,即使Actor在发送消息后也无需阻塞或等待就能够处理其他事情。
- 强隔离性
Actor中的方法不能由外部直接调用,所有的一切都是通过消息传递进行的,从而避免了Actor之间的数据共享,若想观察到另一个Actor的状态变化只能通过消息传递进行询问。
- 位置透明
无论Actor地址是在本地还是在远程,对于代码来说都是一样的。
- 轻量性
Actor是非常轻量的计算单机,单个Actor仅占400多字节,只需要少量该内存就能达到高并发。
Actor模型的优点是什么呢?
Actor优良的特性适用于解决多种并发问题,消息传输和封装使多个Actor可以同时运行,但它们并不共享状态,而且在单个Actor中所有事件都是串行执行的。所以关于并发,只需要关注多个Actor之间的信息流即可,这对开发人员来说是个重大的利好。每个Actor可以被单独测试,而且当测试覆盖了某个Actor的消息类型和消息顺序时,就可以确定这个Actor非常可靠。如果发现了一个与并发相关的bug,也就知道重点应该在Actor之间的消息流上。
- 分布式编程
Actor模型支持共享内存模型,也支持分布式内存模型,这带来了很多优点。首先,Actor模型几乎可以解决任何规模问题,因此不需要将问题局限于用一个系统解决。其次,Actor模型可以解决地理分布式问题,对于不同部分需要部署在不同地址位置的软件,Actor模型是极佳的选择。最后,分布式是软件具有容错能力的基石。
- 容错
使用Actor模型的程序天生具有容错性,这不仅让程序更加健壮,而且通过“任其崩溃”的哲学会让代码更加简单明了。
Actor模型的缺点是什么呢?
尽管使用Actor模型的程序比使用线程和锁模型的程序更容易调试排错,但Actor模型仍会碰到死锁这一类的共性问题,也会碰到一些Actor模型独有的问题,如信箱溢出。
类似于线程与锁模型,Actor模型对并行也没有提供直接支持,需要通过并发的技术来构造并行的方案,这样就会引入不确定性。而且,由于多个Actor并不共享状态,仅通过消息传递来传递交流,因此Actor模型不太适合实施细粒度的并行。