分布式系统协调和协定.pptVIP

消息通信服务 根据消息传输是否可靠，消息通信服务可分为不可靠多播（Unreliable Multicast）和可靠多播（Reliable Muticast） 不可靠多播类似UDP提供的数据报服务，不保证消息安全到达所有接收方。可靠多播保证消息被所有接收方安全收到（Receive），但并不保证被接收方安全接收（Deliver） 区分接收（Deliver）和收到（Receive）。一个进程收到消息后可以先不接收它（送交上层应用），即接收是应用层行为，而收到在通信层行为 * 第三十页，共47页 消息通信服务 按照消息的顺序特性，消息通信服务可分为无序、先入先出顺序（FIFO Order）、因果序（Causal Order）、全序（Total Order）等。 * 第三十一页，共47页 基本组播 原语 B-multicast(g,m)：对每个属于组g的进程p, send(p,m)，可靠的一对一 send操作 进程p执行 receive(m)时：进程执行 B-deliver(m) 可靠组播 完整性（安全性）：任何传递的消息与发送的消息相同，且不会被重复传递 有效性（活性）：任何消息都会被传送到目的地 协定：如果一个正确的进程收到消息，则组中所有正确成员都终将收到该消息 * 第三十二页，共47页 用B-multicast实现可靠组播算法 每个消息被发给每个进程|g|次 满足有效性，可靠的通信