Distributed Systems, Cap, Google Spanner, Spanner, Memcached.
Paxos cluster. The magic comes from measuring real time using atomic clocks. This method is called TrueTime. TrueTime can tell each host the real time with a bounded margin of error. The margin is less than 7ms. This way each sequential operation will have a bounded begin and end time. Thus