Model-Based Analysis of Microservice Resiliency Patterns
Model-Based Analysis of Microservice Resiliency Patterns
复制标题
基于模型的微服务弹性模式分析
DOI：
10.1109/icsa47634.2020.00019
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
D. Garlan
中科院分区：
文献类型：
--
作者：
N. Mendonça;C. Aderaldo;J. Cámara;D. Garlan
微服务应用程序开发人员通常通过实施使用众所周知的弹性模式(如重试、快速故障和断路器)的服务到服务交互，来尝试减轻部分中断的影响。然而，这些弹性模式及其可用的开源实现通常是非正式的文档，让应用程序开发人员决定何时以及如何在特定微服务应用程序的上下文中使用这些模式。在本文中，我们通过引入一种基于模型检查的方法来改进这种情况，在该方法中，我们使用PRISM概率模型检查器来分析重试和断路器弹性模式作为连续时间马尔可夫链(CTMC)的行为。这种方法使我们能够量化应用每个弹性模式对多个质量属性的影响，并确定如何在简单的客户端-服务交互场景中最好地调整它们的参数，以处理不同的服务可用性条件。
Microservice application developers try to mitigate the impact of partial outages typically by implementing service-to-service interactions that use well-known resiliency patterns, such as Retry, Fail Fast, and Circuit Breaker. However, those resiliency patterns—as well as their available open-source implementations—are often documented informally, leaving it up to application developers to figure out when and how to use those patterns in the context of a particular microservice application. In this paper, we take a first step towards improving on this situation by introducing a model checking-based approach in which we use the PRISM probabilistic model checker to analyze the behavior of the Retry and Circuit Breaker resiliency patterns as continuous-time Markov chains (CTMC). This approach has enabled us to quantify the impact of applying each resiliency pattern on multiple quality attributes, as well as to determine how to best tune their parameters to deal with varying service availability conditions, in the context of a simple client-service interaction scenario.