面对软件错误构建可靠的分布式系统_笔记09

5编写可容错系统

5.1可容错编程

5.2监督层级

(1)监督树是监督者形成的层次化树，树中的每个 节点负责监视它的子节点中发生的错误

(2)监督者是系统中监督其它进程的进程，监督其它子节点的监督者或者工作者。监督者能检测其异常，启动、停止、重启

(3)工作者是执行任务的进程

5.2.1图形表示法

分为线性层次体系和AND/OR层次树

(1)线性层次体系：

SSRS是监督者，O代表OR监督者，A表示AND监督者：OR监督者所有children互相独立，一个child崩溃时只需重启这个child；AND监督者所有的children相互关联，有一个child崩溃时要全部重启；

WBF是工作者：



规则是：一个监督者被father停止，则此监督者停止自己所有child和自己；如果一个child崩溃，则监督者重启此child

(2)AND/OR监督层级



A表示AND监督者，O表示OR监督者

规则：监督者被father停止，则停止所有children；如果监督者的child崩溃，是AND监督者则重启所有children，是OR监督者则仅重启这个child。

5.3什么是错误

5.3.1乖函数well-behaved functions

乖函数WBF是指正常情况下不应该发生异常的函数，如果出现异常则被解释为一个错误