刘杨

摘要： 简述: 分布式系统包含一堆进程(processes)，进程间通过交换消息(message)彼此通讯。在分布式系统中，有时无法确定两个事件(event)的先后次序，所以先发生（happended before）关系在系统中只能是偏序（partial ordering）。分布式系统中的问题很多源于人们尚未意识到这点及其涵义。如前所述，假定系统由进程组成；而进程包含一个事件序列。即：若a先于b发生，则a在序列中比b靠前。因此在单一进程中的事件，其“先发生”是全序(total ordering)关系。假定进程收发消息也是事件，则可以用符号”->”指代”先发生”关系如下:定义:(1) 若a和b是同 阅读全文