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...

Celý popis

Podrobná bibliografie

Vydáno v:	IEEE/ACM ... International Symposium on Quality of Service (Online) s. 1 - 10
Hlavní autoři:	Lin, Junjie, Yu, Jiashuo, Zhu, Longlong, Zhang, Dong, Liao, Lida, Lin, Chuan, Wu, Rongbang, Chen, Xiang, Wu, Chunming
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 02.07.2025
Témata:	Accuracy Consensus algorithm Distributed databases Monitoring Quality of service Servers Stress Switches System verification Testing
ISSN:	2766-8568
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!