×

更名比既定协议弱,但要实现完美更名:亚共识任务图。 (英语) Zbl 1353.68198号

Fernández-Baca,David(编辑),《拉丁语2012:理论信息学》。第十届拉丁美洲研讨会,2012年4月16日至20日,秘鲁阿雷基帕。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-29343-6/pbk)。计算机科学课堂讲稿7256145-156(2012)。
摘要:在无等待共享记忆模型中,大量注意力都集中在理解亚共识任务的相对力量上。已经确定了两个重要的亚共识任务族:(k)-集合一致性和(M)-重命名。当\(2\leq k\leq n-1)和\(n\leq M\leq 2n-2)时,这些任务比读/写寄存器更强大,但不足以解决两个进程的一致性问题。
本文研究了集合协议中重命名的权力。它表明,在(n)过程系统中,(n)-重命名严格强于(n-1)-集协议,但不强于((n-2)-集一致。此外,\(n+1)\)-重命名不能解决偶数\(n-1)\)集协议。因此,在某些情况下,集合协议和重命名在相互执行的能力上是不可比拟的。
关于整个系列,请参见[Zbl 1239.68008号].

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部