Read-Impose Write-Consult (N,N) Atomic Registers protocol.
Code used in the "Hands-On" sections of the book
Introduction to Reliable and Secure Distributed Programming
by Christian Cachin, Rachid Guerraoui and Luis Rodrigues.