一种基于主副备份的微服务可靠性建模与分析方法

摘要：

微服务架构(MSA)将云应用构建为独立的组件,通过解耦来提高软件更新的灵活性和敏捷性,然而微服务在时延和可靠性方面仍面临许多挑战.本文使用谓词Petri网(PrT网)对基于事件总线的微服务组合进行建模,建立微服务之间的逻辑关系.采用主版本和备份部署微服务实例,提高了微服务组合整体的可靠性.基于PrT网的相关理论,验证了微服务可靠性模型和PB(Primary-Backup)副本部署策略的正确性.将微服务执行的保证率作为可靠性的参数,通过实验分析验证了本文方法的有效性.

关键词：微服务组合、PB建模、可靠性、Petri网、软件验证

所属期刊栏目：49

分类号：TP393(计算技术、计算机技术)

资助基金：上海市自然科学基金21ZR1416300

在线出版日期：2023-03-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：128-134