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

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})

你可能感兴趣的:(C++,c,算法,C#,F#)