【文件属性】：
文件名称：psync:DSL，用于使用部分同步通信封闭轮的容错分布式算法
文件大小：271KB
文件格式：ZIP
更新时间：2021-05-08 06:33:06
Scala
同步
容错分布式系统在许多关键应用中起着重要作用。 但是，并发性，不确定的消息延迟以及故障的发生使这些系统难以设计，实施和验证。 PSync是用于编写和验证容错分布式算法的高级实现的框架。 PSync基于Heard-Of模型，并提供原始通信关闭轮次，这既简化了容错系统的实现，又使它们更适合于自动验证。
名称PSync来自用于分布式系统的模型，该模型可以提供同步的错觉，即使底层系统可能不总是/完全同步也是如此。
例子
从文献中通常看起来像的算法开始：
1: Initialization:
2: x_p := v_p // v_p is the initial value of p
3: Round r :
4: S_p :
5: send x_p to all processes
6: T_r :
7: if | HO (p, r) | > 2