Monotonic Writes

Monotonic writes ensures that if a process performs write w1, then w2, then all processes observe w1 before w2.

Monotonic writes does not apply to operations performed by different processes, only writes by the same process.

Monotonic writes can be totally available: even during a network partition, all nodes can make progress.


Viotti and Vukolić define monotonic writes in terms of a session order (the order of operations performed by the same process) and an arbitration order (essentially, which operations take precedence). The session order, constrained to only pairs of writes, must be a subset of the arbitration order.