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.6. A system model for transaction processing

Figure 19.4 shows the example of an abstract data object (a bank account) which we used in Section 17.5. We now use the same example to study serializability. Each data object has an associated set of operations, in this case:

  • create a new account;

  • delete an existing account;

  • read-balance takes an account name as argument and returns the balance of the account;

  • check-balance takes an account name and a value as arguments and returns true if the balance of the account is greater than or equal to the argument value, else it returns false;

  • credit takes an account name and a value as arguments and adds the argument value to the balance. Note that the value of the balance is not output to the client;

  • debit ...

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