从学术界研究过程看协调技术发展史是怎样的？

Trade-offs in the Design of Network Communic ations 中 首次提出两组匪徒通信的问题。1978 年， Jim Gray 在论文 Notes on Data Base Operating Systems 中 将该问题正式命名为两将军问题 ( Two Gene rals' Problem) , 描述在不可靠通信环境中如何协调达成共识。 1982 年， 基于两将 军间题的不可 靠通信环境 ， 继续出现拜占庭故障 ( Byzantine Fault, 将军故意传递伪造的 错误消息）的新挑战 ， Leslie Lamport ( 20 13 年图灵奖获得者）提出拜占庭将军问题， 从而解决拜占庭故障下的 共识问题 。 1985 年， Birm an Kenneth 在论文 Rep lica tion and Fault-Tolerance in the ISIS System 中提出 Broadcast 技术， 并于 1987 年和 Joseph Thomas 共同发表论文 Relia ble Communication in the Presence of Failures, 构建组播 ( Group Broadcast, GBCAST ) 协议基础， 实现基于组播成员视图 ( View ) 的原子广播 ( Atomic Broadcast, ABCAST), 从而解决共识问题 。 1988 年， Brian Oki 和 Barbara Liskov ( 2008 年图灵奖获得 者）在论文 Vie wstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems 中 详细描述基于主 复制 ( Prim ary Copy ) 技术实现高可用分布式系统的过程 。该论文的核心思想是主服务器负 责复制数据逻辑 ， 以及主服务器故障发 生后的重组 ( Reorgan ize ) 过程， 从而应对服务器崩溃和网络分区的故障场 景。由于采用类似时间戳 ( Timestamp ) 的 Views tamp 来检测复制中丢失的 信息， 所以简称视图复制 ( Viewstamped Replication, VR )。1989 年， Leslie Lamport ( 提出过拜占庭将 军问题）发表文章 P axos island in Greece, 当时并未引起太多 重视， 直到 1998 年， 他在论文 The Part-Time Parlia men t 中将 PAXOS 进行了严格的数 学证明， 之后基于 PAXOS 的各种变体将该理论不断 完善优化， 形成当今业界最流行的技术之 一。 2013 年， 斯坦福大学的 Die go Ongaro 和 John Ousterhout 在 RAFT 论文 In Search of an Understandable Consensus Alg orithm 中将复杂的 PAXOS 理论用更简 单的方式描述， 同时参考VR 的工程落地性 ， 极大地帮助了开发人员对 PAXOS 的理解， 从而以 RAFT 为基础的开源代码展现出蓬勃 生机。以上信息摘自《对象存储实战指南-试读》，下载地址：https://developer.aliyun.com/topic/download?id=7997