Actor模型

最近在看Yahoo的S4: distributed stream computing platform,主要是结合了MapReduce和Actor模型,于是找了些资料学习Actor模型,在这里简单介绍一下,S4等后续文章再介绍。

  Actor这个模型由Carl Hewitt在1973年提出,Gul Agha在1986年发表技术报告“Actors: A Model of Concurrent Computation in Distributed Systems”,至今已有不少年头了。在计算机科学中,它是一个并行计算的数学模型,最初为由大量独立的微处理器组成的高并行计算机所开发,Actor模型的理念非常简单:天下万物皆为Actor。

  Actor之间通过发送消息来通信,消息的传送是异步的,通过一个邮件队列(mail queue)来处理消息。每个Actor是完全独立的,可以同时执行它们的操作。每一个Actor是一个计算实体,映射接收到的消息到以下动作:

  • 发送有限个消息给其它Actor;
  • 创建有限个新的Actor;
  • 为下一个接收的消息指定行为。

  以上三种动作并没有固定的顺序,可以并发地执行。Actor会根据接收到的消息进行不同的处理。

  在一个Actor系统中,包含一个未处理的任务集,每一个任务由以下三个属性标识:

  • tag:用以区别于系统中的其它任务;
  • target:通信到达的地址;
  • communication:包含在target上的Actor处理任务时可获取的信息,。

  简单起见,可以把一个任务视为一个消息,在Actor之间传递包含以上三个属性的值的消息。

  Actor模型有两种任务调度方式:基于线程的调度以及基于事件的调度:

  • 基于线程的调度:为每个Actor分配一个线程,在接收一个消息时,如果当前Actor的邮箱(mail box)为空,则会阻塞当前线程。基于线程的调度实现较为简单,但线程数量受到操作的限制,现在的Actor模型一般不采用这种方式;
  • 基于事件的调试:事件可以理解为上述任务或消息的到来,而此时才会为Actor的任务分配线程并执行。

  综上,我们知道可以把系统中的所有事物都抽象成一个Actor:

  • Actor的输入是接收到的消息。
  • Actor接收到消息后处理消息中定义的任务。
  • Actor处理完成任务后可以发送消息给其它的Actor。

  那么在一个系统中,可以将一个大规模的任务分解为一些小任务,这些小任务可以由多个Actor并发处理,从而减少任务的完成时间。

  举个简单的例子,比如现在要在3台物理节点上运行一个WordCount作业,可以将这个作业细分为Split、Count和Merge三种任务(任务的target是物理节点的地址,communication可能包含文本、单词及计数等),根据需求要有Split Actor、Count Actor和Merge Actor。整个作业的处理流程以下:

  • Split Actor接收到消息后可以文本分割成10份,每份发送给一个Count Actor;
  • Count Actor统计好单词的数目后发送消息给Merge Actor;
  • Merge Actor收集完Count Actor发送的10个消息后,合并每个单词的数目,完成WordCount任务。

  从以上例子可以看出,Actor系统跟数据驱动系统比如数据流相近,可以自定义任务的流向及其处理过程。Actor模型被广泛使用在很多并发系统中,比如Email、Web Service等等。

参考资料

  (1) G. Agha, Actors: A Model of Concurrent Computation in Distributed Systems. Cambridge, MA, SA: MIT Press,1986.

  (2) Wikipedia: http://en.wikipedia.org/wiki/Actor_model

  (3) ActorLite:一个轻量级Actor模型实现(上)

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值