前一节解释了Actor系统中Actor的层级以及构建应用程序的最小单元。这一节则看单个Actor,解释它的概念并去实现它。更详细的信息请参考Actors (Scala)和Untyped Actors (Java).
Actor是一个包含了状态、行为、邮箱、子Actor和一个主管的策略。所有的内容封装在Actor引用中。值得一提的是,Actor有一个明确的生命周期,它不会销毁不再引用。创建后,你的责任是确保Actor结束时资源的释放,以使它完全的终止。
Actor 引用
Actor需要隔绝外部以使它更适用于Actor模型,详情如下。Actor在外部使用Actor表达,这使它可以自由传递不受限制。这种分为内部和外部的对象能实现所有设计的操作,重新一个Actor不再需要引用的其它部分;将实际的Actor布署在远程的主机上;在不同的应用上发消息。而最重要的是一个在内部的Actor不可能得到外部的状态。除非Actor很不恰当的发布了这样的信息。
状态
Actor对象通常会包含一些反映了Actor具有各种状态的变量。它可以是一个显示的状态机(FSM)或者是一个记数器,或者是监听器,或者是挂起的请求。这些数据标注了Actor使它能被评估,这些数据受其它Actor的影响需要做保护起来。Akka所抽象的Actor有它们独立的轻量级线程,都是独立于系统。这就可以代替锁进行同步访问,只需专注Actor代码,而不用提心同步的问题。
在后台Akka会将多个Actor运行在多个线程上,通常多个Actor共享同一个线程,后续调用的Actor所完成的处理不在同一个线程上。Akka确保了实现这个过程中不影响单一无线程Actor句柄的状态。
内部状态对Actor操作至关重要,所以不一致的状态是致命错误。因此当Actor产生错误并被主管重启后,状态也会被重新创新就象创建Actor那样。这就使系统具有了自我修复的功能。
另外,Actor能用持久化的已接收消息和自动应答来实现自动恢复重启前的消息(见持久化)
行为
Actor的行为匹配着每一个处理消息的过程。行为表示一个函数,它在一个时间点上响应消息。比如说客户端请求一个认证,允许则继续,否则拒绝。这种行为基于时间而改变,比如因为客户端得到认证基于时间,因此Actor可能进入停用模式并以后回来。这些要实现行为逻辑的状态变量编码,要么函数被换出,参见become和unbecome操作。然后初始化行为是一个特殊结构的行为。重启Actor进会重启它的初始化方法。
邮箱
Actor的意图是处理消息,这些消息由其它Actor发送过来(或由外部系统发送过来)。这一机制就是邮件它联系到发送者和接收者。每Actor仅有一个邮箱,所有发送者的消息都在里面排队。排队发生在限期发送操作中,这就表示来自各个Actor的消息不是由运行时定义的顺序决定,而是由随机分布的Actore访问线程决定。另一方面,从同一个Actor发送到同一个目标的多个消息会用同样的顺序排队。
有不同邮箱实现方式提供选择,默认的是FIFO(先进先出)。Actor处理它们的顺序是消息进入排队进的顺序。这是一个较好的默认值,然而应用程序需要考虑一些消息的优先级。在这种情况下,带优先级的邮件并不会按顺序处理。使用这样的消息时,消息处理的顺序按定义的队列算法,而不是一般的FIFO。
Akka不同于其它Actor模型实现的一个特性是当前行为必须总是挂勾于下一个出队列的消息,而还是扫描下一个匹配内容。故障处理信息通常会被视为失败,除非行为被覆盖。
子Actor
每一个Actor是一个潜在的主管:如果它创建子Actor分配子任务,它会自动监督他们。Actor能维护它们的内容。修改 (context.actorOf(...)) 或停止 (context.stop(child)) 子Actor时它们将立即得响应。实际的创建和终止行为在后台以异步的方式执行,所以不会阻塞主管。
主管策略
Actor最后一段是挂钩它的子Actor故障处理。Akka对故障做了透明化处理,在实施监督和监测为每个传入的失败做应用描策略。这种策略是构成Actor的基础,因此,一旦创建了Actor它就无法被改变。
每一个Actor在应用到变化的子Actor都有一个相同的策略,在监管之下分组管理优于在Actor系统中拆分子任务。
Actor终止
一旦Actor终止,即故障在某种程度上这并不是由一个重新启动,停止本身或由其主管停止等挂钩。它会释放资源,消耗所有剩余的消息从邮箱到系统的“死信邮箱”,把事件流做为死信。Actor所以引用的邮箱会被系统邮箱代替,并定义一个事件流做为死信。这是最好的基础上进行,所以不要依赖它来构建“有保证的交付”。
在测试中得到灵感,而不去默默地倾销消息。注册一个 TestEventListener 在它的事件总线上,它们的日志会等每个死信接收。可想而知,这个功能也可以用于其他目的。