设计确定性分布式算法的优点是什么?


10

可以对故障进行恢复的分布式算法可以是确定性的也可以是概率性的。以共识问题为例。

  • Paxos的是,鉴于它使假设的意义上确定的,它总是有效。

  • 相反,随机共识以给定的概率起作用。

设计和使用确定性算法的优点是什么?

确定性算法所依赖的假设也有可能在现实中成立(称为假设覆盖率)。因此,现实中总是存在确定性算法不起作用的可能性。


Paxos /维基百科,协议族
vzn 2014年

1
您能否更具体地说明一下?
danyhow 2014年

1
值得注意的是,随机化通常用于活动性而非安全性。安全属性始终保持不变,但是算法可能不会终止(通常会随着时间的流逝而减少)。
卡夫

Answers:


10

我将从分布式图形算法(解决与通信网络的结构有关的图形问题的分布式算法)的角度回答这个问题。

这是在这种情况下设计确定性分布式算法的一些非显而易见的原因:

  • 随机算法中的子程序。在第 在这些幻灯片的 12-13中,Elkin概述了一种算法设计技术,您可以在其中使用快速确定性分布式算法作为子例程,以构建快速随机化分布式算法。有趣的是,能够使用的典型随机算法如在相同的上下文(错误概率会太高)的子程序。

  • 容错能力。有一种机械翻译,可让您将快速确定性分布式算法转换为快速自稳定分布式算法(请参阅本调查的第2.4节)。对于随机算法,还没有类似的转换(我认为一般情况下不太可能存在)。

By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.