摘要
分布式系统的对等模型中,各个节点从功能上看是对等关系,相互之间进行消息的请求和响应。讨论了一种将广播请求和点到点应答两种通信方式相结合的消息传递机制FMPRR(FastMessagePassingbasedonRequestResponsemode)的实现,这种机制采用wormhole寻径流控策略。用有色Petri网来形式化描述和分析FMPRR,通过模型状态空间分析结果,对FMPRR消息传递机制进行验证。
In Peer-to-Peer model of distributed system, all computers are functionally equal which can request and response messages each other. The fruitofthis work is to descript briefly an implementation of fast message passing based on request response mode(FMPRR) which combined broadcast request and one-to-one response and used wormhole routing as flow control. After briefly analyzing the mech- anism of FMPRR, the coloured petri nets (CPNs) is used to model the main features of this message passing, and the state spaceanalysis is given based on the occurrence graph to verify FMPRR message passing mechanism.
出处
《计算机工程与设计》
CSCD
北大核心
2005年第6期1538-1542,1562,共6页
Computer Engineering and Design
