标签：交互 解决方案 方式 details bin gen ase port 完整
简述一致性中关于同步与异步环境下的共识理论 （##转载请注明）
共识问题：可称作协作，所有正确的进程对提议的值达成一致。分布式系统中，节点之间通过通信，对请求达成一致的定序。
问题定义：进程Pi处于未决状态（undecideed），提议集合D中的某个值Vi。进程之间相互通信，交换各自的提议。每个进程设置自己的决定变量（decision variable），进入决定状态（decided），此状态下不改变di的数值。
要求满足如下几个性质：
进程可发生各种类型的错误，错误可以大致分为：
Byzantine Generals Problem 由Lamport 1982年提出，考虑信道安全，但是出错节点发送的信息任意。在区块链中，考虑此类别的问题是必要的。
交互一致性问题：共识问题的一个变种，指所有正确的进程对一个值向量（决定向量）达成一致。向量中的分量对应一个进程的值。
同步与异步：异步与同步通信的最大区别是没有时钟、不能时间同步、不能使用超时、不能探测失败、消息可任意延迟、消息可乱序。同步是指可以在指定的时间内完成消息的传递，因此，它存在有消息传输的绝对界限，超过这个界限，可以认为进程已经崩溃，所以，同步下存在有可靠的故障检测器（reliable failure detector），对进程的询问，可以回unsuspected或者failed。异步情况下的故障检测器是不可靠的（unreliable），只可以产生unsuspected和suspected，但是选择的超时值可以动态改变，可以增加检测的精度。
通信健壮：只要进程非失败，消息虽会被无限延迟，但最终会被送达，并且消息仅会被送达一次（无重复），使用TCP协议有效保证通信的健壮。
同步系统中的共识问题已被证明可以实现，消息可以分为“口头的”和“正式的”，即消息是否经过签名。Lamport【1982】讨论了3个进程相互发送未签名消息，若有一个进程出现BFT故障，则无法达成共识，并延伸到了N≤3f的情况。Pease等人证明了N≤3f下BFT共识的不可能性（证明未细看），并提出了在N>3f+1时的解决方案。
进行多少轮通信和发送多少消息（消息的长度）非常重要。通信阶段数影响终止的时间，消息的长度影响带宽的利用率，也影响时间。
Fischer、Lynch【1982】证明，如果允许BFT故障，则任何确定性的解决共识问题的算法至少需要f+1轮消息传递（证明未看）。
--------------------------------------
异步情况下的不可能性（FLP Impossibility）：即使只有一个进程发生崩溃故障，也没有算法可以保证达到共识。由于异步系统中，没有办法分辨一个进程是速度很慢还是已经崩溃，即不能探测失败。（证明过程未细看）：在任何算法之上，都能构造出这样一些永远都不确定的Configuration。有三个引理：连通性、初始Configuration不确定性、不可终止性（不确定Configuration经过一些步骤后依然可能是不确定的），通过连通性来证明不可终止性。
绕过不可能性的三个方法（考虑部分同步系统 partially synchronous system，使共识问题可以被解决 Dwork et al.【1988】）：
参考：Distributed Systems Concepts and Design -fifth edition
http://blog.csdn.net/chen77716/article/details/27963079
标签：交互 解决方案 方式 details bin gen ase port 完整
原文地址：http://www.cnblogs.com/zhang-qc/p/6786425.html
