MIT 6 004 - Study Notes (118 pages)

Previewing pages 1, 2, 3, 4, 5, 6, 7, 8, 55, 56, 57, 58, 59, 60, 61, 62, 111, 112, 113, 114, 115, 116, 117, 118 of 118 page document View the full content.
View Full Document

Study Notes



Previewing pages 1, 2, 3, 4, 5, 6, 7, 8, 55, 56, 57, 58, 59, 60, 61, 62, 111, 112, 113, 114, 115, 116, 117, 118 of actual document.

View the full content.
View Full Document
View Full Document

Study Notes

99 views

Other


Pages:
118
School:
Massachusetts Institute of Technology
Course:
6 004 - Computation Structures
Computation Structures Documents

Unformatted text preview:

Principles of Computer System Design An Introduction Chapter 9 Atomicity All or Nothing and Before or After Jerome H Saltzer M Frans Kaashoek Massachusetts Institute of Technology Version 5 0 Saltzer Kaashoek Ch 9 p i June 24 2009 12 26 am Copyright 2009 by Jerome H Saltzer and M Frans Kaashoek Some Rights Reserved This work is licensed under a Creative Commons Attribution Non commercial Share Alike 3 0 United States License For more information on what this license means visit http creativecommons org licenses by nc sa 3 0 us Designations used by companies to distinguish their products are often claimed as trade marks or registered trademarks In all instances in which the authors are aware of a claim the product names appear in initial capital or all capital letters All trademarks that appear or are otherwise referred to in this work belong to their respective owners Suggestions Comments Corrections and Requests to waive license restrictions Please send correspondence by electronic mail to Saltzer mit edu and kaashoek mit edu Saltzer Kaashoek Ch 9 p ii June 24 2009 12 26 am CHAPTER Atomicity All or Nothing and Before or After 9 CHAPTER CONTENTS Overview 9 2 9 1 Atomicity 9 4 9 1 1 All or Nothing Atomicity in a Database 9 5 9 1 2 All or Nothing Atomicity in the Interrupt Interface 9 6 9 1 3 All or Nothing Atomicity in a Layered Application 9 8 9 1 4 Some Actions With and Without the All or Nothing Property 9 10 9 1 5 Before or After Atomicity Coordinating Concurrent Threads 9 13 9 1 6 Correctness and Serialization 9 16 9 1 7 All or Nothing and Before or After Atomicity 9 19 9 2 All or Nothing Atomicity I Concepts 9 21 9 2 1 Achieving All or Nothing Atomicity ALL OR NOTHING PUT 9 21 9 2 2 Systematic Atomicity Commit and the Golden Rule 9 27 9 2 3 Systematic All or Nothing Atomicity Version Histories 9 30 9 2 4 How Version Histories are Used 9 37 9 3 All or Nothing Atomicity II Pragmatics 9 38 9 3 1 Atomicity Logs 9 39 9 3 2 Logging Protocols 9 42 9 3 3 Recovery Procedures 9 45 9 3 4 Other Logging Configurations Non Volatile Cell Storage 9 47 9 3 5 Checkpoints 9 51 9 3 6 What if the Cache is not Write Through Advanced Topic 9 53 9 4 Before or After Atomicity I Concepts 9 54 9 4 1 Achieving Before or After Atomicity Simple Serialization 9 54 9 4 2 The Mark Point Discipline 9 58 9 4 3 Optimistic Atomicity Read Capture Advanced Topic 9 63 9 4 4 Does Anyone Actually Use Version Histories for Before or After Atomicity 9 67 9 5 Before or After Atomicity II Pragmatics 9 69 9 5 1 Locks 9 70 9 5 2 Simple Locking 9 72 9 5 3 Two Phase Locking 9



View Full Document

Access the best Study Guides, Lecture Notes and Practice Exams

Loading Unlocking...
Login

Join to view Study Notes and access 3M+ class-specific study document.

or
We will never post anything without your permission.
Don't have an account?
Sign Up

Join to view Study Notes and access 3M+ class-specific study document.

or

By creating an account you agree to our Privacy Policy and Terms Of Use

Already a member?