微服务的死锁兼容性检测

作     者：李呓瑾 吴玮 张雪坚 陈姣 彭剑锋 LI Yijin;WU Wei;ZHANG Xuejian;CHEN Jiao;PENG Jianfeng

作者机构：云南电网有限责任公司信息中心云南昆明650011 云南云电同方科技有限公司云南昆明650220 

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

出 版 物：《电子设计工程》 (Electronic Design Engineering)

年 卷 期：2021年第29卷第4期

页      码：11-15页

摘      要：兼容性检测是使用微服务构建软件时将面临的一个关键问题,如果一组微服务的组合满足某些属性,如无死锁,则称这组微服务是兼容的。但是,微服务固有的动态性和复杂性给兼容性检测带来了新的挑战。提出了一种微服务的死锁兼容性检测方法,该方法使用标号迁移系统建模微服务和微服务间的异步组合;提出了死锁兼容性的定义,并给出了死锁兼容性的检测算法。在工具的支持下,实现了死锁兼容性检测方法,并通过实验证明该方法是有效的。

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.14022/j.issn1674-6236.2021.04.003

馆 藏 号：203102368...