第三章分布式处理.pptVIP

第三章 分布式协同处理 3.1事件定序与时戳 从任何一个单一的进程来看，其中的事件可由本地时钟进行惟一的排序。但是，在分布式系统中不能完美地进行时钟同步，那么一般就不能用物理时间指明其中任意一对事件发生的次序。 一般，在分布式系统中，可以使用类似于物理因果关系的方案来判断不同进程中事件发生的次序，这样一种定序思路是基于下面两个基本观点的： （1）若两个事件发生在同一进程中，则可用观察到的次序来确定它们发生的次序。 （2）无论何时在进程间传递消息，发送消息的事件先于接收同一消息的事件。; 用这两种观点得到的定序为HB关系（Happened-Before relation），有时也称之为因果定序 （causal ordering）。 定义HB关系，并“ →”表示HB关系： HB1：如果存在进程p，且xp→y，则有x→y； HB2：对任何消息m，send（m）→receive（m），其中send（m）是发送消息m的事件，receive（m）是接收同一消息m的事件； HB3：对于事件x,y,z，如果有x→z，且y→z，则有x→z。 图3.1说明了进程P1、P2、P3中一些事件之间的“→”关系。;; 逻辑时钟仅能对事件集进行部分排序，因为由不同进程产生的不同事件组可能有相同的