分布式算法模型-事件独立性、相关性和可应用性

1、设γ是分布式系统的一个配置（具有异步消息传递），ep和eq分别是不同进程p和q的事件，它们在γ中是可应用的。那么，ep在eq(γ)中是可应用的，eq在ep(γ) 中是可用的，并且ep(eq(γ))=eq(ep(γ))

2、设E是一次执行，称因果序的关系ㄑ是执行事件上满足下列条件的最小关系。

1）如果e和f是同一进程中的不同事件，e在f之前出现，那么eㄑf。

2）如果S是发送事件，r是对应的接收事件，那么sㄑr。

3）ㄑ是可传递的

3、可应用性

1)在配置（Cp1,...,Cp,.....CpN,M）中，如果Cp=c,则称P中内部事件e=(c,d)是可应用的。定义e(γ)为（Cp1,...,d,.....CpN,M）

2)在配置（Cp1,...,Cp,.....CpN,M）中，如果Cp=c,则称P中发送事件e=(c,m,d)是可应用的。定义e(γ)为（Cp1,...,d,.....CpN,M∪{m}）

3)在配置（Cp1,...,Cp,.....CpN,M）中，如果Cp=c且m∈M,则称P中接收事件e=(c,m,d)是可应用的。定义e(γ)为（Cp1,...,d,.....CpN,M\{m}）