迈克尔·巴特勒；你好，托尼；卡拉·费雷拉 长时间运行事务的跟踪语义。 （英语） Zbl 1081.68644号 Abdallah，Ali E.（编辑）等人，《通信顺序过程》。前25年。2004年7月7日至8日，在英国伦敦举行的CSP 25周年研讨会。修订受邀论文。柏林：施普林格出版社（ISBN 3-540-25813-2/pbk）。计算机科学课堂讲稿3525133-150（2005）。 摘要：长时间运行的事务是分布式系统的交互组件，必须像执行单个原子操作一样执行。原则上，它不应在中间被中断或失败，也不应与系统其他并发执行组件的其他原子操作交错。实际上，长时间运行的事务的原子性假象是通过原始程序员提供的补偿操作实现的：因为事务是交互式的，所以熟悉的自动检查点和回滚技术不再足够。本文在CSP进程代数的框架内构建了一个长时间运行的事务模型，展示了如何协调补偿以实现原子性假象。它引入了一种方法，用于声明流程是一个事务，并在提交后需要回滚时为其声明补偿。重新定义了熟悉的序列合成运算符，以确保在以后发生故障时，所有必要的补偿都将按正确的顺序调用。这些技术旨在在高度并发和分布式的环境中很好地工作。此外，我们定义了一个天使般的选择操作，通过对替代方案的推测执行来实现；明智地使用它可以提高系统在面对远程通信不可预测的延迟时的响应能力。基于对程序声明补偿的正确性和独立性的合理假设，这些新定义保留了进程代数的许多常见属性。关于整个系列，请参见[兹比尔1073.68002]. 引用于14文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 第68季度55 计算理论中的语义学 PDF格式BibTeX公司 XML格式引用 \textit{M.Butler}等人，Lect。注释计算。科学。3525133-150（2005年；Zbl 1081.68644） 全文： 内政部