×
莱斯利·兰波特

分布式算法中的原子性定理。 （英语） Zbl 0699.68044号

分布计算。 4，No.2，59-68（1990）.
摘要：如果我们可以忽略发送和传递消息所需的时间，而可以假装进程作为单个原子操作发送消息集合，消息作为操作的一部分即时传递，那么对分布式算法的推理就简化了。导出了一个定理，证明了这种推理对于一大类算法的有效性。它推广并纠正了一个众所周知的民间定理，即多进程程序中的操作何时可以被视为原子。

引用于6文件

MSC公司：

68瓦99 计算机科学中的算法
68N25号 操作系统理论

关键词：

分布式算法;消息传递;减少;推理
PDF格式BibTeX公司 XML格式引用
\textit{L.Lamport}，分布计算。4，第2号，59--68（1990；Zbl 0699.68044）
全文： DOI程序

参考文献：

[1] Alpern B，Schneider FB：定义活力。Inf过程Lett 21（4）：181–185（1985）·兹比尔0575.68030 ·doi:10.1016/0020-0190（85）90056-0
[2] Dijkstra EW：当消息可能爬行时。EWD708（1979）
[3] Dijkstra EW：当消息可能爬行时，ii。EWD710（1979）
[4] Doeppner TW：通过精化实现并行程序的正确性。摘自：第四届ACM编程语言原理年会，第155-169页，ACM，1977年1月
[5] Gallager RG，Humblet PA，Spira PM：最小重量生成树的分布式算法。ACM Trans Program Lang Syst 5（1）：66–77（1983）·Zbl 0498.68040号 ·数字对象标识代码：10.1145/357195.357200
[6] Jonsson B：分布式系统的组合验证。乌普萨拉大学博士论文（1987年）
[7] Lamport L，Schneider FB:假装原子性。Res Rep第44页。数字设备公司，系统研究中心（1989）
[8] Lipton RJ：简化：证明并行程序属性的方法。ACM委员会18（12）：717–721（1975）·Zbl 0316.68015号 ·数字对象标识代码：10.1145/361227.361234
[9] Owicki S，Gries D：并行程序的公理证明技术。《信息学报》6（4）：319–340（1976）·doi:10.1007/BF00268134
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。