交易人

事务处理程序:在不可靠的环境中维护全局一致的分布式状态的编程模型。我们引入了事务处理程序,一种容错编程模型,用于将运行在不可靠环境(如internet)中的松散耦合分布式组件组合到可靠地维护全局一致分布式状态的系统中。transactor模型包含了传统事务处理的某些元素,但允许这些元素以不同的方式组合而不需要集中协调,从而从语义的角度促进了分布式容错的研究。我们通过τ-微积分是一种基于actor模型的扩展lambda演算,并通过一些例子说明了它的用法。这个τ-微积分包含分布式进程可以用来创建全局一致的检查点的结构。我们为τ-演算,并形式化了以下安全性和活跃性:首先,我们证明了全局一致性检查点具有等价的执行轨迹,而没有任何节点故障或应用程序级故障;其次,我们证明,只要有一定的无故障间隔,检查点就有可能达到全局一致的检查点