分布式程序的通信分析

摘要

捕获和检查分布式系统的因果关系和并发关系对于广泛的分布式系统应用程序来说是必不可少的。收集此信息的许多方法依赖于执行的跟踪文件。通过追踪获得的信息仅限于观察到的执行情况。我们提出了一种分析分布式系统源代码的方法。我们的分析考虑了每个流程的源代码，并生成了系统可能行为的单一综合图表。该图称为偏序图(波格游戏)，唯一表示系统的每一个可能的偏序。因果关系和并发关系可以相对于特定的部分顺序(与单个执行同义)或部分顺序的集合进行提取。该图提供了一种从一定会发生、可能发生和永远不会发生的关系方面对系统进行推理的方法。分布式断言语句提供了一种监视分布式系统执行的方法。通过构造的波格游戏在系统执行之前，由系统提供的因果关系信息波格游戏启用assert语句的运行时计算，而不依赖于跟踪或添加消息。

科学的规划

摘要

版权

更多相关文章

相关文章