Open Source Project Hot List Issue 42
抽象定义上， 一个分布式系统里的所有进程要确定一个值 v，如果这个系统满足如下几个性质， 就可以认为它解决了分布式一致性问题, 分别是：1）Termination：所有正常的进程都会决定 v 具体的值，不会出现一直在循环的进程。2）Validity：任何正常的进程确定的值 v', 那么 v' 肯定是某个进程提交的。比如随机数生成器就不满足这个性质。3）Agreement：所有正常的进程选择的值都是一样的。——出自《BRAFT》
