AKKA 2.3.6 Scala 文档

容错

Actor系统中所述,每一个actor都是其子actor的监管者,而且每一个actor会定义一个处理错误的监管策略。这个策略制定以后就不能修改,因为它被集成为actor系统结构所必须的一部分。

错误处理实践

首先我们来看一个例子,演示处理数据库错误的一种方法,数据库错误是真实应用中的典型错误类型。当然在实际的应用中这要依赖于当数据库发生错误时能做些什么, 在这个例子中,我们使用尽量重新连接的方法。

阅读以下源码。其中的注释解释了错误处理的各个片段以及为什么要加上它们。我们还强烈建议运行这个例子,因为根据输出日志理解运行时发生的事情会比较容易。

创建一个监管策略

以下章节更加深入地解释了错误处理机制和可选的方法。

为了演示我们假设有这样的策略:

  1. import akka.actor.OneForOneStrategy
  2. import akka.actor.SupervisorStrategy._
  3. import scala.concurrent.duration._
  4. override val supervisorStrategy =
  5. OneForOneStrategy(maxNrOfRetries = 10, withinTimeRange = 1 minute) {
  6. case _: ArithmeticException => Resume
  7. case _: NullPointerException => Restart
  8. case _: IllegalArgumentException => Stop
  9. case _: Exception => Escalate
  10. }

我选择了一些非常著名的异常类型来演示监管与监控中描述的错误处理方式。首先,它是一对一策略,意思是每一个子actor会被单独处理(多对一的策略与之相似,唯一的区别在于任何决策都应用于监管者的所有子actor,而不仅仅是出错的那一个)。这里我们对重启的频率作了限制,即每分钟最多进行10次重启;所有这样的设置都可以被空着,也就是说,相应的限制并不被采用,留下了设置重启频率的绝对上限或让重启无限进行的可能性。如果超出上限则子actor将被终止。

构成主体的match语句的类型是Decider,它是一个PartialFunction[Throwable, Directive]。该部分将把子actor的失败类型映射到相应的指令上。

注意

如果在监管actor内部声明策略(而不是在伴生对象中),其决策者就能够以线程安全的方式访问actor的所有内部状态,包括获取对当前失败的子actor引用(作为失败消息的发送者)。

缺省的监管机制

如果定义的监管机制没有覆盖抛出的异常,将使用Escalate上溯机制。

如果某个actor没有定义监管机制,下列异常将被缺省地处理为:

  • ActorInitializationException将终止出错的子actor
  • ActorKilledException将终止出错的子actor
  • Exception将重启出错的子actor
  • 其它的Throwable将被上溯传给父actor

如果异常一直被上溯到根监管者,在那儿也会用上述缺省方式进行处理。

你可以将自己的策略与默认策略结合:

  1. import akka.actor.OneForOneStrategy
  2. import akka.actor.SupervisorStrategy._
  3. import scala.concurrent.duration._
  4. override val supervisorStrategy =
  5. OneForOneStrategy(maxNrOfRetries = 10, withinTimeRange = 1 minute) {
  6. case _: ArithmeticException => Resume
  7. case t =>
  8. super.supervisorStrategy.decider.applyOrElse(t, (_: Any) => Escalate)
  9. }
停止监管策略

Erlang方式的策略是当actor失败时,终止它们,然后当DeathWatch通知子actor消失时,采取正确的措施。这一策略还提供了预打包为SupervisorStrategy.stoppingStrategy及伴随的StoppingSupervisorStrategy配置,当你想要使用"/user"监管者时可以使用它。

actor失败的日志记录

默认情况下SupervisorStrategy会日志记录失败,除非他们被上溯升级。升级的失败应该被树形结构中更高级的监管者处理,即可能在那里记录日志。

当实例化时,你可以通过将loggingEnabled设置为false来取消SupervisorStrategy的默认日志记录。自定义日志记录可以在Decider内完成。请注意当SupervisorStrategy是在监管actor内声明的时候,可以通过sender获取当前失败的子actor引用。

你也可以通过重写logFailure方法在你自己的SupervisorStrategy实现定制日志记录。

监督顶级actor

顶级actor是指那些使用system.actorOf()创建的,而它们将是User监管Actor的子actor。这里没有使用特殊规则,监管者只是应用了已配置的策略。

测试应用

以下部分展示了实际中不同的指令的效果,为此我们需要创建一个测试环境。首先我们需要一个合适的监管者:

  1. import akka.actor.Actor
  2. class Supervisor extends Actor {
  3. import akka.actor.OneForOneStrategy
  4. import akka.actor.SupervisorStrategy._
  5. import scala.concurrent.duration._
  6. override val supervisorStrategy =
  7. OneForOneStrategy(maxNrOfRetries = 10, withinTimeRange = 1 minute) {
  8. case _: ArithmeticException => Resume
  9. case _: NullPointerException => Restart
  10. case _: IllegalArgumentException => Stop
  11. case _: Exception => Escalate
  12. }
  13. def receive = {
  14. case p: Props => sender() ! context.actorOf(p)
  15. }
  16. }

该监管者将被用来创建一个可以做试验的子actor:

  1. import akka.actor.Actor
  2. class Child extends Actor {
  3. var state = 0
  4. def receive = {
  5. case ex: Exception => throw ex
  6. case x: Int => state = x
  7. case "get" => sender() ! state
  8. }
  9. }

这个测试可以用测试Actor系统(Scala)中的工具来进行简化, 比如AkkaSpecTestKit with WordSpec with MustMatchers的一个方便的混合

  1. import akka.testkit.{ AkkaSpec, ImplicitSender, EventFilter }
  2. import akka.actor.{ ActorRef, Props, Terminated }
  3. class FaultHandlingDocSpec extends AkkaSpec with ImplicitSender {
  4. "A supervisor" must {
  5. "apply the chosen strategy for its child" in {
  6. // code here
  7. }
  8. }
  9. }

现在我们来创建actor:

  1. val supervisor = system.actorOf(Props[Supervisor], "supervisor")
  2. supervisor ! Props[Child]
  3. val child = expectMsgType[ActorRef] // 从 TestKit 的 testActor 中获取回应

第一个测试是为了演示Resume指令,我们试着将actor设为非初始状态然后让它出错:

  1. child ! 42 // 将状态设为 42
  2. child ! "get"
  3. expectMsg(42)
  4. child ! new ArithmeticException // crash it
  5. child ! "get"
  6. expectMsg(42)

可以看到错误处理指令完后仍能得到42的值。现在如果我们将错误换成更严重的NullPointerException,情况就不同了:

  1. child ! new NullPointerException // crash it harder
  2. child ! "get"
  3. expectMsg(0)

而最后当致命的IllegalArgumentException发生时子actor将被其监管者终止:

  1. watch(child) // have testActor watch “child”
  2. child ! new IllegalArgumentException // break it
  3. expectMsgPF() { case Terminated(`child`) => () }

到目前为止监管者完全没有被子actor的错误所影响,因为指令集确实处理了这些错误。而对于Exception,就不是这么回事了,监管者会将失败上溯传递。

  1. supervisor ! Props[Child] // create new child
  2. val child2 = expectMsgType[ActorRef]
  3. watch(child2)
  4. child2 ! "get" // verify it is alive
  5. expectMsg(0)
  6. child2 ! new Exception("CRASH") // escalate failure
  7. expectMsgPF() {
  8. case t @ Terminated(`child2`) if t.existenceConfirmed => ()
  9. }

监管者自己是被ActorSystem的顶级actor所监管的,顶级actor的缺省策略是对所有的Exception情况(注意ActorInitializationExceptionActorKilledException例外)进行重启. 由于缺省的重启指令会杀死所有的子actor,所以我们知道(期望)可怜的子actor最终无法从这个失败中幸免。

如果这不是我们希望的行为(这取决于实际情况),我们需要使用一个不同的监管者来覆盖这个行为。

  1. class Supervisor2 extends Actor {
  2. import akka.actor.OneForOneStrategy
  3. import akka.actor.SupervisorStrategy._
  4. import scala.concurrent.duration._
  5. override val supervisorStrategy =
  6. OneForOneStrategy(maxNrOfRetries = 10, withinTimeRange = 1 minute) {
  7. case _: ArithmeticException => Resume
  8. case _: NullPointerException => Restart
  9. case _: IllegalArgumentException => Stop
  10. case _: Exception => Escalate
  11. }
  12. def receive = {
  13. case p: Props => sender() ! context.actorOf(p)
  14. }
  15. // override default to kill all children during restart
  16. override def preRestart(cause: Throwable, msg: Option[Any]) {}
  17. }

在这个父actor之下,子actor在上溯的重启中得以幸免,在如下这个最后的测试中:

  1. val supervisor2 = system.actorOf(Props[Supervisor2], "supervisor2")
  2. supervisor2 ! Props[Child]
  3. val child3 = expectMsgType[ActorRef]
  4. child3 ! 23
  5. child3 ! "get"
  6. expectMsg(23)
  7. child3 ! new Exception("CRASH")
  8. child3 ! "get"
  9. expectMsg(0)