马科斯·K·阿奎莱拉。；埃利·加夫尼；莱斯利·兰波特 邮箱问题。 （英语） Zbl 1231.68063号 分布计算。 第2113-134号第23页（2010年）. 摘要：我们提出并解决了一个称为邮箱的同步问题，这是由处理器和外部设备之间或两个线程之间的特定类型的交互引起的。在这个问题中，邮递员将信件发送到房主的邮箱，并使用标志来表示非空邮箱。所有者必须删除所有发送到邮箱的信件，如果邮箱为空，则不应走到邮箱。我们给出了该问题的算法和一个不可能结果。 引用于三评论引用于2文件 MSC公司： 64岁以下 分布式系统 68瓦40 算法分析 关键词：同步；邮箱问题 软件：PlusCal（加号）；SNZI公司；薄层色谱法 PDF格式BibTeX公司 XML格式引用 \textit{M.K.Aguilera}等人，《分布计算》。23，第2号，113--134（2010；Zbl 1231.68063） 全文： 内政部 参考文献： [1] Abadi M.，Lamport L.：精化映射的存在性。西奥。计算。科学。82(2), 253–284 (1991) ·Zbl 0728.68083号 ·doi:10.1016/0304-3975（91）90224-P [2] Ellen，F.，Lev，Y.，Luchangco，V.，Moir，M.：SNZI：可扩展非零指标。收录于：PODC’07：第二十六届ACM分布式计算原理研讨会论文集，第13-22页。ACM，纽约（2007年）。数字对象标识代码：10.1145/1281100.1281106·Zbl 1283.68119号 [3] Herlihy M.P.：无需等待同步。ACM事务处理。程序。语言系统。13(1), 124–149 (1991) ·Zbl 1314.68380号 ·数字对象标识代码：10.1145/114005.102808 [4] Herlihy M.P.，Wing J.M.：线性化：并发对象的正确条件。ACM事务处理。程序。语言系统。12(3), 463–492 (1990) ·数字对象标识代码：10.1145/78969.78972 [5] Lamport L.：Dijkstra并发编程问题的新解决方案。Commun公司。ACM 17（8），453–455（1974）·Zbl 0281.68004号 ·doi:10.1145/361082.361093 [6] Lamport L.：证明多进程程序的正确性。IEEE传输。柔和。工程SE 3（2），125–143（1977）·Zbl 0349.68006号 ·doi:10.1109/TSE.1977.229904 [7] Lamport L.：关于进程间通信——第二部分：算法。分布计算。1, 86–101 (1986) ·Zbl 0598.68023号 ·doi:10.1007/BF01786228 [8] Lamport L.：行动的时间逻辑。ACM事务处理。程序。语言系统。16(3), 872–923 (1994) ·数字对象标识代码：10.1145/177492.177726 [9] Lamport，L.：PlusCal算法语言。收录：Leucker，M.，Morgan，C.（编辑）柏林斯普林格第六届国际计算理论研讨会论文集。《计算机科学讲义》，第5684卷，第36-60页（2009年）。有关PlusCal的最新信息，请访问http://research.microsoft.com/users/lamport/tla/pluscal.html . 也可以通过在Web上搜索从uid lamportpluscalhomepage中删除“-”获得的25个字母的字符串来找到该页面·Zbl 1250.68284号 [10] Lampson B.W.、Redell D.D.：台地工艺和监控器方面的经验。Commun公司。ACM 23（2），105–117（1980）·doi:10.1145/358818.358224 [11] Lynch N.A.：分布式算法。Morgan Kaufmann，圣马特奥（1995） [12] 彼得森·G.L.：边读边写。ACM事务处理。程序。语言系统。5(1), 46–55 (1983) ·Zbl 0498.68010号 ·doi:10.1145/357195.357198 [13] Saltzer，J.H.：多路计算机系统中的交通控制。MAC项目技术报告MAC-TR-30，M.I.T.（1966） [14] Yu，Y.，Manolios，P.，Lamport，L.：模型检查TLA+规范。摘自：Pierre，L.，Kropf，T.（编辑）《正确的硬件设计和验证方法》。柏林施普林格。计算机科学讲义，第1703卷，第54–66页，第10届IFIP wg 10.5高级研究工作会议，CHARME’99（1999） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。