异步通信系统的合理性检测

来源：计算机集成制造系统杂志2024年第8期北京时间：

作者：王帅, 代飞, 黄苾, 莫启, 付晓东

单位：1.西南林业大学大数据与智能工程学院2.云南大学软件学院3.昆明理工大学信息工程与自动化学院

摘要：异步通信系统是一种并发分布式系统,由一组具有无界缓冲区的分布式组件通过异步通信构成。分析异步通信系统的核心问题是检测其合理性,即确保组成系统的分布式组件可以无错误地进行异步通信。然而,基于无界缓冲区的异步通信容易导致异步通信系统产生无穷状态空间,从而使得对无穷状态空间进行穷举分析是不可判定的。鉴于此,提出一种异步通信系统的合理性检测方法,用于分析具有无界缓冲区异步通信系统的合理性。首先,使用标号迁移系统建模分布式组件,并使用异步组合定义基于分布式组件的异步通信系统;其次,根据异步通信系统的特征,提出了三种合理性定义;然后,基于稳定性性质,提出了检测具有无界缓冲区异步通信系统合理性的充分条件;最后,使用进程分析工具实现了所提方法,实验结果表明了所提方法的有效性。

关键词：异步通信系统,无界缓冲区,合理性,稳定性,标号迁移系统

基金资助：国家自然科学基金资助项目(61862065,62262063);云南省重点研发项目(202402AD080002-5);云南省基础研究面上项目(202001BB050031);云南省软件工程重点实验室开放基金青年项目(2020SE401);云南省窦万春专家工作站资助项目(202105AF150013);云南省“兴滇英才支持计划”产业创新人才资助项目(XDYC-CYCX-2022-0009);云南省科协青年科技人才托举工程资助项目。