Nested transactions

The revolution in the use of distributed computing systems makes their reliability an important concern. While it is generally understood how to connect hardware so that most components can continue to work when other fail, connecting reliable software remains a problem. This book shows how to program a system so that the software continues to work in the face of a variety of failures in parts of the system. It introduces the concept of nested transactions along with the techniques for implementation, algorithms for concurrency control, recovery, distributed commitment, and deadlock detection and avoidance. Provides an exposition of a number of techniques used in reliability and concurrency control from current literature.