https://eli.thegreenplace.net/2024/linearizability-in-distributed-systems/ · October 7, 2024