进程故障分布一致性-floodset和optfloodset

1、进程的输入都是从一个特定的集合V开始的。所有的无故障进程都被要求从同一个值集合V中产生输出，并符合简单的一致性和有效性条件。

2、通常被用于容错的冗余多处理器系统中。其中少数处理器执行相同的计算，就每一步的结果达成一致。

3、floodset算法:

每个进程都有一个变量W,它包含V的一个子集。开始时,进程i的变量W只包含了i的初始值。在f+1轮中的每一轮，每个进程都广播W，然后把所接收到的元素加到W中。

在f+1轮后，进程i使用下面的决定规则。如果w是一个单元素集合，那么i就决定出W中的惟一元素；否则i就决定出默认值V0。

4、进程就像floodset算法一样操作，只是每个进程i最多广播2个值。第一次广播发生在第1轮，每个进程i都广播自己的初始值。第二次广播发生在第r轮，2<=r<=f+1，其中在第r轮的开始，i知道某个v的值和自己的初始值不同，那么i就广播这个新值V0