【技术实现步骤摘要】
【技术保护点】
1.一种MSVL异步通信系统,异步并发系统的各个组件分布在不同位置,并且不同组件之间存在某种通信关系,其特征在于:用MSVL异步通信系统对异步并发系统进行建模,包括有进程模块、通道模块和通信命令,通过通道模块连接进程模块,并通过通信命令实现异步通信过程,进程模块、通道模块和通信命令都是基于MSVL定义的:用MSVL异步通信系统中的进程模块对异步并发系统组件进行建模,设置有:进程模块名、形参和进程模块体,并按名实行调用,调用进程模块时用实参替换形参;用MSVL异步通信系统中的通道模块对异步并发系统组件之间的通信媒介进行建模,设置有:通道模块名和容量大小,通道模块是一个有容量限制的先进先出队列,通过通信命令实现消息的入队与出队,通道模块在使用前需定义,定义时根据系统需要指定容量大小,将已定义的通道模块作为进程模块调用的实参来连接进程模块;通信命令以MSVL语句的形式存在于进程模块体中,MSVL通信命令有两对,其中send(c,x)和receive(c,y)适用于不存在超时机制的异步通信过程,put(c,x)和get(c,y)适用于存在超时机制的异步通信过程。
【技术特征摘要】
【专利技术属性】
技术研发人员:段振华,王小兵,莫大鹏,田聪,
申请(专利权)人:西安电子科技大学,
类型:发明
国别省市:87
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。