计算机工程 ›› 2010, Vol. 36 ›› Issue (20): 229-231.doi: 10.3969/j.issn.1000-3428.2010.20.080

• 开发研究与设计技术 • 上一篇    下一篇

发布/订阅通信模式的实时性能分析与评估

刘旭军1,2,马 跃2,于 东2   

  1. (1. 中国科学院研究生院,北京 100039;2. 中国科学院沈阳计算技术研究所高档数控国家工程研究中心,沈阳 110171)
  • 出版日期:2010-10-20 发布日期:2010-10-18
  • 作者简介:刘旭军(1985-),男,硕士研究生,主研方向:工业控制网络,实时通信机制;马 跃,研究员、硕士;于 东,研究员、博士、博士生导师
  • 基金项目:
    科技部国家科技支撑计划基金资助重点项目(2007BAP20 B01);中国科学院知识创新工程重要方向基金资助项目(KGCX2- YW-119)

Analysis and Evaluation of Real-time Performance of Publish/Subscribe Communication Mode

LIU Xu-jun1,2, MA Yue2, YU Dong2   

  1. (1. Graduate University of Chinese Academy of Sciences, Beijing 100039, China; 2. National Engineering Research Center for High-end Computer Numerical Control, Shenyang Institute of Computing Technology, Chinese Academy of Sciences, Shenyang 110171, China)
  • Online:2010-10-20 Published:2010-10-18

摘要: 运用成熟的队列理论知识,通过PRISM模型验证工具,对发布/订阅模式的实时性能进行形式化分析。实验结果表明,发布/订阅模式在消息响应时间及消息传输可靠性两方面比传统的通信模式表现出更良好的性能,该实验模型和实验方法对于优化发布/订阅模式及调整实际发布/订阅系统中的参数配置都有一定的帮助。

关键词: 发布/订阅, 队列理论, 实时性, 形式化分析

Abstract: This paper uses a formal analysis method to analyze the publish/subscribe real-time performance by PRISM model checker, which is based on the queuing theory. Experimental results show that publish/subscribe has better performance compared with traditional communication mode in terms of message response time and message transmission reliability. The experimental model and method not only can help improve publish/subscribe, but also have effect on adjusting publish/subscribe system parameter configuration.

Key words: publish/subscribe, queuing theory, real-time, formal analysis

中图分类号: