March 2003
Intermediate to advanced
912 pages
27h 17m
English
The concept of an atomic operation is necessary for a systematic approach to analysing and solving the problem of making an operation repeatable. An atomic operation invocation is defined as follows:
if it terminates normally then all its effects are made permanent;
else it has no effect at all.
Note that this definition (which focuses on crash resilience) does not take into account the fact that the persistent data being accessed might be shared with other processes (that is, concurrency control is also needed). In this case we should add:
if the operation accesses a shared data object, its invocation does not interfere with other operation invocations on the same data object.
It is essential to provide ...
Read now
Unlock full access