交易人

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献6条)

显示结果1到6，共6个。
按年份排序(引用)

  1. 库塔瓦斯，瓦西里厄斯；加兹达，马吉耶；Hennessy，Matthew：区分沟通交易（2018）
  2. 伊万·兰内斯；西田、直木；帕拉西奥斯，阿德里án；维达尔，细菌án： Erlang可逆性理论（2018）
  3. 贾奇诺，埃琳娜；伊万·兰内斯；梅齐纳，克劳迪奥·安塔雷斯；Tiezzi，Francesco:基于元组语言的因果一致性回滚（2017）
  4. 伊万·兰内斯；梅齐纳，克劳迪奥·安塔雷斯；施密特，艾伦；Stefani，Jean Bernard:控制高阶pi的可逆性（2011）
  5. 哈勒，菲利普；Odersky，Martin:Scala actors:统一基于线程和基于事件的编程（2009）
  6. 菲尔德，约翰；Varela，Carlos A.：事务处理程序：在不可靠环境中维护全局一致的分布式状态的编程模型（2005）