分布式计算技术的专业术语?
1. Failure models 失效模型 机器故障:当机器(节点)出现故障时,共识协议就用于解决机器可能出现的状态不一致问题。
(图片来源网络,侵删)
· 拜占庭容错:机器不仅可能出现故障,还可能会“撒谎”。
2. Network models 网络模型:
· 同步(Synchronous):我们不仅需要考虑机器会出现的各种故障问题,也要考虑网络通信的类型。在通信同步模型中,我们***设的是所有运行正常的节点(机器)都将在特定的时间内发送和接收消息。比如,你可以***定每条消息需要在5秒钟/分钟/小时内发送出去。
· 异步(Asynchronous):这是同步的对立面。即便对于运行正常的节点(correct nodes)来说,消息通信延迟问题依旧可能存在。这种情况带来的结果是:你无法判定到底是节点出现故障了,还是节点没有故障,只是需要长时间才能回应。
(图片来源网络,侵删)
· 部分同步(Partially Synchronous):这种模型介于同步和异步之间。意思就是,存在一个上界(upper bound),但是这个上界并非被所有节点所知
(图片来源网络,侵删)