Chapter 19. Transactions

19.1 Introduction

19.2 Transaction specification and programming

19.3 The definition of serializability and consistency

19.4 The ACID properties of transactions

19.5 Indicating specific orderings of transactions

19.6 A system model for transaction processing

19.7 Dependency graphs for transactions

19.8 Histories and serialization graphs

19.9 Dealing with aborts: More about the property of isolation

19.10 Summary

Get Operating Systems: Concurrent and Distributed Software Design now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.