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.3. The definition of serializability and consistency

We defined a transaction as a (possibly composite) atomic operation that is meaningful to the application level: a transaction relates to some given level in an operation hierarchy. A transaction therefore causes the system to move from one consistent state at this level to another. If the possibility of crashes is ignored in the first instance, a consistent system state can be maintained by executing transactions serially.

If one process's transaction is executed to completion before any other can start there is no possibility of interference between them. We would then have made the transaction a single Part II-style indivisible operation (Figure 19.2). Such a procedure (single threading ...

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