微服务的死锁兼容性检测  

Checking deadlock compatibility of microservices

作　　者：李呓瑾 吴玮 张雪坚 陈姣 彭剑锋 LI Yijin;WU Wei;ZHANG Xuejian;CHEN Jiao;PENG Jianfeng(Information Center,Yunnan Power Grid Co.,Ltd.,Kunming 650011,China;Yunnan Yundian Tongfang Technology Co.,Ltd.,Kunming 650220,China)

机构地区：[1]云南电网有限责任公司信息中心,云南昆明650011 [2]云南云电同方科技有限公司,云南昆明650220

出　　处：《电子设计工程》2021年第4期11-15,共5页Electronic Design Engineering

基　　金：国家自然科学基金项目资助(61702442)。

摘　　要：兼容性检测是使用微服务构建软件时将面临的一个关键问题,如果一组微服务的组合满足某些属性,如无死锁,则称这组微服务是兼容的。但是,微服务固有的动态性和复杂性给兼容性检测带来了新的挑战。提出了一种微服务的死锁兼容性检测方法,该方法使用标号迁移系统建模微服务和微服务间的异步组合;提出了死锁兼容性的定义,并给出了死锁兼容性的检测算法。在工具的支持下,实现了死锁兼容性检测方法,并通过实验证明该方法是有效的。Compatibility is a key problem that is encountered while constructing software by composing microservices.A set of microservices is called compatible if their composition preserves certain properties,such as deadlock freedom.However,the inherent dynamics and complexity of microservices bring new challenges to checking compatibility.In this paper,we propose an approach for checking deadlock compatibility of a set of microservices.Firstly,a Labeled Transition System(LTS)is used to model microservices and their asynchronous composition.Secondly,the definition of deadlock compatibility is proposed,and then the related algorithm is proposed to check deadlock compatibility of a set of microservices.Finally,with the support of a tool,checking deadlock compatibility is implemented,and experiments show that our approach is effective.

关 键 词：微服务 兼容性 死锁 标号迁移系统 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]