基于请求应答方式消息传递机制有色Petri网模型

摘要

分布式系统的对等模型中,各个节点从功能上看是对等关系,相互之间进行消息的请求和响应.讨论了一种将广播请求和点到点应答两种通信方式相结合的消息传递机制FMPRR(Fast Message Passing based on Request Response mode)的实现,这种机制采用wormhole寻径流控策略.用有色Petri网来形式化描述和分析FMPRR,通过模型状态空间分析结果,对FMPRR消息传递机制进行验证.