.png){kind=icon}
返回
A Complex Behavioral Interaction Analysis Method for Microservice Systems With Bounded Buffers
.png){kind=icon}
PRE
AI
DOI：10.1109/TCC.2023.3319038.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The interaction process in microservice architectures is highly complex, making it very challenging to ensure correct behavioral interactions. The few related works focus only on the verification of interaction soundness in the case of a specific buffer k-value, without considering how to get the suitable buffer k-value. To solve the above problems, this article proposes a method to find the maximum k-value for microservice systems with bounded buffers, which can maximize the analysis of valuable asynchronous interaction paths while avoiding the waste of computer memory resources. Specific contributions include, first, giving the relationship between buffer k-value and asynchronous interaction paths, interaction soundness, and its proof; second, proposing an iterative detection based on the additional added paths algorithm and its correctness proof, which leads to the conclusion that finding the maximum k-value is a decidable problem; finally, validating the proposing methods on ten classical cases of microservice systems, and analyzing effectiveness and performance. The experimental results show that the method can effectively find the maximum k-value of bounded buffers compared with existing methods and thus ensure the correct behavioral interactions of microservice systems.
Keyword:
Asynchronous interactions
bounded buffers
microservice systems
synchronous interactions
期刊
I
IF:
5
论文数:
1.8K
被引数:
4.3K
机构
引用论文
Fault Analysis and Debugging of Microservice Systems: Industrial Survey, Benchmark System, and Empirical Study微服务系统的故障分析与调试: 工业调查、基准系统与实证研究
OAAI
OAAI分享收藏Optimised Anaesthesia to Reduce Post Operative Cognitive Decline (POCD) in Older Patients Undergoing Elective Surgery, a Randomised Controlled Trial.png)
PLoS ONEOAAI
PLoS ONEIF0
OAAI分享收藏
查看更多内容