刻划分布式计算中的因果关系

Characterizing Causal Relationships in Distributed Computations

在分布式程序执行中，用事件间的因果关系来理解和分析程序行为是一条重要的途径。本文形式地描述了因果关系及其相关概念，讨论了因果关系和各种时间概念的关系，详细说明了刻划因果关系的向量时间方法，讨论并列举了因果关系在分布计算中很多重要问题中的应用。