Skip to Main Content
Operating Systems: Concurrent and Distributed Software Design
book

Operating Systems: Concurrent and Distributed Software Design

by Jean Bacon, Tim Harris
March 2003
Intermediate to advanced content levelIntermediate to advanced
912 pages
27h 17m
English
Pearson Business
Content preview from Operating Systems: Concurrent and Distributed Software Design

19.9. Dealing with aborts: More about the property of isolation

The theory outlined above does not take into account that the operations of a transaction might be undone due to an abort termination. It must be possible to return the system to a consistent state as though the transaction had not taken place. The following problems could arise through concurrent execution of transactions, even if a serializable schedule of suboperations had been devised. It is demonstrated that serializability is necessary but not sufficient for correct concurrent operation.

19.9.1. Cascading aborts

Figure 19.13 shows a serializable schedule of the transactions T1 and T2 used above in Section 19.7. This time, T1 happens to abort.

Figure 19.13. Example of cascading ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

Principles of Concurrent and Distributed Programming, Second Edition

Principles of Concurrent and Distributed Programming, Second Edition

M. Ben-Ari
Operating Systems in Depth

Operating Systems in Depth

Thomas W. Doeppner

Publisher Resources

ISBN: 0321117891Purchase book