Monica: Towards Scalable Distributed System Verification by Programmable Switch-Based Testing

Data correctness in distributed systems is ensured by data consistency, where consistency is achieved by consensus algorithms. To safeguard data consistency, current testing tools use stress testing methods to examine consensus algorithms. However, existing tools are unable to simulate the situation...

Full description

Bibliographic Details

Published in:	IEEE/ACM ... International Symposium on Quality of Service (Online) pp. 1 - 10
Main Authors:	Lin, Junjie, Yu, Jiashuo, Zhu, Longlong, Zhang, Dong, Liao, Lida, Lin, Chuan, Wu, Rongbang, Chen, Xiang, Wu, Chunming
Format:	Conference Proceeding
Language:	English
Published:	IEEE 02.07.2025
Subjects:	Accuracy Consensus algorithm Distributed databases Monitoring Quality of service Servers Stress Switches System verification Testing
ISSN:	2766-8568
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!