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

• 作者: 戚正伟 章甫源
• 来源期刊: 微型电脑应用
• 学科: 工学
• 关键词: 分布式系统 运行时监控 线性时态逻辑
• 年，卷（期）: 2009,（2）
• 所属期刊栏目: 开发应用
• 页码范围: 28-30,10
• 页数: 4页
• 分类号: TP393
• 字数: 4420字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-757X.2009.02.009

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	戚正伟	上海交通大学软件学院	25	178	8.0	12.0
2	章甫源	上海交通大学软件学院	1	0	0.0	0.0