Modulo: Finding Convergence Failure Bugs in Distributed Systems with Divergence Resync Models.
Beom Heyn KimTaesoo KimDavid LiePublished in: USENIX Annual Technical Conference (2022)
Keyphrases
- failure modes
- distributed systems
- fault tolerant
- fault tolerance
- distributed environment
- message passing
- geographically distributed
- mobile agents
- loosely coupled
- load balancing
- distributed computing
- data replication
- artificial intelligence
- distributed database systems
- operating system
- real time systems
- deadlock detection