| 发布/订阅通信模式的实时性能分析与评估 |
| |
| 引用本文： | 刘旭军,马跃,于东.发布/订阅通信模式的实时性能分析与评估[J].计算机工程,2010,36(20):229-231. |
| |
| 作者姓名： | 刘旭军 马跃 于东 |
| |
| 作者单位： | 1. 中国科学院研究生院,北京,100039;中国科学院沈阳计算技术研究所高档数控国家工程研究中心,沈阳,110171
2. 中国科学院沈阳计算技术研究所高档数控国家工程研究中心,沈阳,110171 |
| |
| 基金项目： | 科技部国家科技支撑计划基金资助重点项目，中国科学院知识创新工程重要方向基金资助项目 |
| |
| 摘 要： | 运用成熟的队列理论知识，通过PRISM模型验证工具，对发布/订阅模式的实时性能进行形式化分析。实验结果表明，发布/订阅模式在消息响应时间及消息传输可靠性两方面比传统的通信模式表现出更良好的性能，该实验模型和实验方法对于优化发布/订阅模式及调整实际发布/订阅系统中的参数配置都有一定的帮助。
|
| 关 键 词： | 发布/订阅 队列理论 实时性 形式化分析 |
Analysis and Evaluation of Real-time Performance of Publish/Subscribe Communication Mode |
| |
| LIU Xu-jun,MA Yue,YU Dong.Analysis and Evaluation of Real-time Performance of Publish/Subscribe Communication Mode[J].Computer Engineering,2010,36(20):229-231. |
| |
| Authors: | LIU Xu-jun MA Yue YU Dong |
| |
| Affiliation: | (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) |
| |
| 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. |
| |
| Keywords: | publish/subscribe queuing theory real-time formal analysis |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载全文 |
