A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Much ADO about failures: a fault-aware model for compositional verification of strongly consistent distributed systems
2021
Proceedings of the ACM on Programming Languages (PACMPL)
Despite recent advances, guaranteeing the correctness of large-scale distributed applications without compromising performance remains a challenging problem. Network and node failures are inevitable and, for some applications, careful control over how they are handled is essential. Unfortunately, existing approaches either completely hide these failures behind an atomic state machine replication (SMR) interface, or expose all of the network-level details, sacrificing atomicity. We propose a
doi:10.1145/3485474
fatcat:kxa7kkihifghbdx6tinp3vuxju