基于D3S的分布式系统监控技术  

Runtime Monitoring of Distributed Systems Based on D3S

作　　者：章甫源[1] 戚正伟[1] 

机构地区：[1]上海交通大学软件学院

出　　处：《微型电脑应用》2009年第2期28-30,10,共4页Microcomputer Applications

基　　金：国家自然科学基金资助(No.60873209);国家973项目资助(No.2007CB316506)

摘　　要：调试或测试分布式系统是一项重大的挑战。文中,作者在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.

关 键 词：分布式系统 运行时监控 线性时态逻辑 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]