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á bibliografia

Vydané v:	IEEE/ACM ... International Symposium on Quality of Service (Online) s. 1 - 10
Hlavní autori:	Lin, Junjie, Yu, Jiashuo, Zhu, Longlong, Zhang, Dong, Liao, Lida, Lin, Chuan, Wu, Rongbang, Chen, Xiang, Wu, Chunming
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 02.07.2025
Predmet:	Accuracy Consensus algorithm Distributed databases Monitoring Quality of service Servers Stress Switches System verification Testing
ISSN:	2766-8568
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!