分布式系统知识点总结（二）

一、定义事件先后的三个条件（满足一个即可）

• 事件A和B发生在一个process，B发生在A之后，A -> B
• A是一个发送事件，B是一个接收事件，则 A -> B
• 如果A -> C且 C -> B 则 A -> B

二、receiving和delibering的不同

• sending a message是proccess主动做的事
• receiving a message是process被动发生的事
• delivering a message是在receiving a message后主动做的事

三、FIFO delivery（first-in first-out 投递）

• 如果一个process send a message M2 在M1之后，那么所有的process delivering（接收并处理）先M1再M2（关键定义在单个process发送前后两个M，与后面的total order delivery比较）
• 在实际中，因为我们使用TCP协议，所以这个条件基本都是满足的
• 经典的FIFO anomaly

四、Casual delivery（因果投递）

• 因果投递有很多种说法，一种说法是：如果m1在m2之前发送，那么m1的delivery也要在m2之前（m1和m2可以来自不同process）
• 实现了casual delivery也就实现了FIFO，但是实现FIFO不一定实现casual delivery
• casual anomaly一定可以通过vector clock解决（可以说不能用vector clock解决的total anomaly不是casual anomaly）
• 两个经典的因果异常的例子：
• 
  

五、Totally-ordered delivery

• 如果一个process delivery m1再m2，则所有process都要先delivery m1再m2
• 关键点：多个client向不同proccess发送相同message，各个proccess处理顺序不一致
• 经典的totally-order anomaly

六、delivery等级划分

• 划分图
• 这里需要解释为什么total order单独一个分支，因为total order强调的是多个proccess，而FIFO只关注单个process

七、实现delivery gurarantee

FIFO delivery gurarantee

• 用序列号实现FIFO
• 用ack机制实现FIFO

causal delivery gurarantee

• 使用vector clock预防causal anomaly

total-order delivery gurarantee

• 比较难实现，一般可以考虑通过第三方协调服务实现或通过单节点统一管理

八、casual broadcast using vector clock

• 每个process发送message前将自己位置的clock加一，并且收到消息的process验证只在发送方的位置比自己clock大一
• 除了发送方的位置比自己大一以外，其它位置都应该比自己的clock要小