×

分布式系统中互斥问题的对称和经济解决方案。 (英语) Zbl 0985.68509号

摘要:重新考虑了分布式系统中的互斥问题,在分布式系统中,每个进程都有自己的内存,并且具有独占写入权限,但其他进程可以从中读取内存。寻求对称解决方案。我们表明,尽管没有这样的解可能是确定性的,但存在概率解。针对两个过程提供了各种解决方案,然后针对任意数量的过程提出了解决方案。所提供的解决方案只需付出很小的努力就可以正式证明其正确性。与拉宾对集中系统中互斥问题的概率解决方案不同,这些解决方案即使对信息灵通的调度器也是正确的。一些解决方案是正确的,即使是针对预先知道未来随机抽取结果的邪恶调度程序,与Lehmann和Rabin(1981)的算法形成鲜明对比。解决方案是经济的:两个过程之间的互斥可以通过能够保持四个不同值的变量来实现(与Peterson和Fischer的三个值进行比较),并且\(n\)之间的互斥过程可以通过能够保持十个不同值的变量来实现(与Peterson和Fischer的十四个值进行比较)。所有的解决方案都是通过仔细的推理而不是通过穷尽的计算机搜索得到的;它们展示了设计的一般原则,这些原则可能对解决其他类似问题有用。

MSC公司:

68N25号 操作系统理论
68米10 计算机系统中的网络设计和通信
第68季度第60季度 规范和验证(程序逻辑、模型检查等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] De Bruijn,G.:关于并发编程控制问题的附加评论。Comm.ACM 10,No.3,137-138(1967)
[2] Burns,J.E.:异步过程系统中的对称性。程序。第22届ACM计算机科学基础年会,169-174(1981)
[3] Dijnstra,E.W.:并发编程控制问题的解决方案。通信ACM 8,No.9,569(1965)
[4] Dijkstra,E.W.:合作顺序过程。编程语言,43-112(1968)
[5] 艾森伯格,A。;Mcguire,M.R.:关于dijkstra并发编程控制问题的进一步评论。Comm.ACM 15,No.11,999(1972)
[6] Knuth,D.E.:并发编程控制问题的补充说明。Comm.ACM 9,No.5,321-322(1966)
[7] 哈特,S。;谢里尔,M。;Pnueli,A.:概率并发程序的终止。Conf.record第九届年度ACM编程语言原理研讨会,1-6(1982)·Zbl 0511.68009号
[8] Lamport,L.A.:dijkstra并发编程问题的新解决方案。Comm.ACM 17,No.8,453-455(1974)·Zbl 0281.68004号
[9] 莱曼博士。;拉宾,M.O.:关于自由选择的优势:餐饮哲学家问题的对称和完全分布式解决方案。Conf.record第八届年度ACM编程语言原理研讨会,133-138(1981)
[10] Lynch,N.A.:在分布式系统中快速分配附近的资源。程序。第十二届ACM计算理论年会,70-81(1980)
[11] Peterson,G.L。;Fischer,M.J.:分布式系统中关键部分问题的经济解决方案。程序。第九届ACM计算理论年会,91-97(1977)
[12] 拉宾,M.O.:人工智能的理论障碍。信息处理74,615-619(1974)·Zbl 0296.68054号
[13] Rabin,M.O.:通过4个对数N值共享变量进行N进程同步。程序。第21届计算机科学基础年会,407-410(1980)
[14] 拉宾,M.O.:选择协调问题。备忘录。UCB/ERL M80/38(1981)·Zbl 0479.68048号
[15] Rivest,R.L。;Pratt,V.R.:不可靠过程的互斥问题:初步报告。程序。第17届计算机科学基础年会,1-8(1976)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。