Hacker News new | ask | show | jobs
by azurelake 1338 days ago
The concept you're looking for is linearizability. Basically, it's the idea of being able to pretend that your distributed system is a single node with a single source of truth. An example system that has this property is etcd: https://jepsen.io/analyses/etcd-3.4.3

If you want to learn more about this, take a look at Designing Data-intensive Applications from Martin Kleppmann.