Paxos Protocol guarantees consistency and the conditions that could prevent it from making progress are difficult to provoke.
Paxos Protocol was popularized by Google's Chubby Lock Service, and is the core behind the open-source Keyspace data store.