I'm reading a book from Michel Reynal called Fault-Tolerant Message-Passing Distributed Systems.
In chapter five of the book, The Read/Write Register Abstraction, I have a few questions.
On page 85, it writes about composability and that atomicity is composable, therefore atomic registers compose for free.
Now my questions are:
- Are there any more descriptions about composability?
- What does it mean that Atomicity is composable?
- What did Reynal mean by saying that Atomic registers compose for free? What kind of costs did he mean by saying their composition is at no additional cost?
- Can the proof be much simpler? I can't understand it.