论文部分内容阅读
调试或测试分布式系统是一项重大的挑战。文中，作者在D3S系统架构上实现了一个针对分布式系统的运行时监控系统。介绍了该监控系统的框架与实现，以及涉及到的相关理论背景，并给出了案例分析和系统的性能分析。整个分布式系统的运行被建模成一系列带全局时间戳的一致性快照。监控系统采用LTL作为系统规约的描述语言，并且使用有限自动机判定在一条有限路径上某个LTL公式是否被满足。