| 基于请求应答方式消息传递机制有色Petri网模型 |
| |
| 引用本文： | 徐小辉,王铮.基于请求应答方式消息传递机制有色Petri网模型[J].计算机工程与设计,2005,26(6):1538-1542,1562. |
| |
| 作者姓名： | 徐小辉 王铮 |
| |
| 作者单位： | 重庆大学,计算机学院,重庆,400044;重庆大学,计算机学院,重庆,400044 |
| |
| 摘 要： | 分布式系统的对等模型中，各个节点从功能上看是对等关系，相互之间进行消息的请求和响应。讨论了一种将广播请求和点到点应答两种通信方式相结合的消息传递机制FMPRR(Fast Message Passing based on Request Response mode)的实现，这种机制采用wormhole寻径流控策略。用有色Petri网来形式化描述和分析FMPRR，通过模型状态空间分析结果，对FMPRR消息传递机制进行验证。
|
| 关 键 词： | 分布式系统 消息传递 有色Petri网 请求/应答方式 wormhole寻径 |
| 文章编号： | 1000-7024(2005)06-1538-05 |
CPNs model of fast message passing based on request response mode |
| |
| XU Xiao-hui,WANG Zheng.CPNs model of fast message passing based on request response mode[J].Computer Engineering and Design,2005,26(6):1538-1542,1562. |
| |
| Authors: | XU Xiao-hui WANG Zheng |
| |
| Abstract: | |
| |
| Keywords: | distributed system message passing coloured petri nets request response mode wormhole routing |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
