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:

  1. Are there any more descriptions about composability?
  2. What does it mean that Atomicity is composable?
  3. 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?
  4. Can the proof be much simpler? I can't understand it.

This site is temporarily in read only mode and not accepting new answers.

Browse other questions tagged .