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

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