March 2003
Intermediate to advanced
912 pages
27h 17m
English
In Chapter 9 we defined an atomic operation on data in main memory. In Chapter 15 we extended the definition of atomicity for a single operation on data in persistent memory, and showed how to make such an operation crash-resilient. In this chapter we extend the discussion to composite operations on persistent data. From Chapter 15, a single operation on persistent data is atomic if:
When it terminates normally all its externally visible effects are made permanent (this is the property of durability), else it has no effect at all.
If the operation accesses a shared data object, its invocation does not interfere with other operation invocations on the same data object. We shall extend this concept into the property of isolation. ...