摘要
调试或测试分布式系统是一项重大的挑战。文中,作者在D3S系统架构上实现了一个针对分布式系统的运行时监控系统。介绍了该监控系统的框架与实现,以及涉及到的相关理论背景,并给出了案例分析和系统的性能分析。整个分布式系统的运行被建模成一系列带全局时间戳的一致性快照。监控系统采用LTL作为系统规约的描述语言,并且使用有限自动机判定在一条有限路径上某个LTL公式是否被满足。
It is well recognized that debugging or testing a distributed system is a great challenge.The author implemented a runtime monitor for distributed systems on the top of D3S infrastructure.This paper introduces the system architecture and implementation of the monitor and the relevant theoretical background.A case study and performance evaluation of our monitor are also provided.The execution of distributed systems is modeled as a trace of consistent global snapshots with global timestamps,and LTL is used for specifying system properties.A finite automaton is constructed from the LTL specification to monitor the execution of the finite trace of the checked distributed system,and the construction of finite automata for LTL specifications is also provided.
出处
《微型电脑应用》
2009年第2期28-30,10,共4页
Microcomputer Applications
基金
国家自然科学基金资助(No.60873209)
国家973项目资助(No.2007CB316506)
关键词
分布式系统
运行时监控
线性时态逻辑
Distributed system
Runtime monitoring
Linear temporal logic
