DOC PREVIEW
MIT 6 033 - Study Guide

This preview shows page 1-2-3-4 out of 13 pages.

Save
View full document
View full document
Premium Document
Do you want full access? Go Premium and unlock all 13 pages.
Access to all documents
Download any document
Ad free experience
View full document
Premium Document
Do you want full access? Go Premium and unlock all 13 pages.
Access to all documents
Download any document
Ad free experience
View full document
Premium Document
Do you want full access? Go Premium and unlock all 13 pages.
Access to all documents
Download any document
Ad free experience
View full document
Premium Document
Do you want full access? Go Premium and unlock all 13 pages.
Access to all documents
Download any document
Ad free experience
Premium Document
Do you want full access? Go Premium and unlock all 13 pages.
Access to all documents
Download any document
Ad free experience

Unformatted text preview:

Implementing all-or-nothing atomicity Barbara Liskov MIT CSAIL april 2007Xfer  xfer(A, B, amt) A <- A – amt; B <- B + amt;recovery start at the top: while more records if commit add t to committed list if change and t not in committed list, undo start at the bottom: while more records if change and t in committed list, redoScenario <begin 17>Scenario <begin 17> <begin 18>Scenario <begin 17> <begin 18> <change 18 F 4500 5300>Scenario <begin 17> <begin 18> <change 18 F 4500 5300> <outcome 18 abort>Scenario <begin 17> <begin 18> <change 18 F 4500 5300> <outcome 18 abort> <begin 19>Scenario <begin 17> <begin 18> <change 18 F 4500 5300> <outcome 18 abort> <begin 19> <change 19 F 4500 5000>Scenario <begin 17> <begin 18> <change 18 F 4500 5300> <outcome 18 abort> <begin 19> <change 19 F 4500 5000> <outcome 19 commit>Scenario <begin 17> <begin 18> <change 18 F 4500 5300> <outcome 18 abort> <begin 19> <change 19 F 4500 5000> <outcome 19 commit> <change 17 F 5000 4000>Scenario <begin 17> <begin 18> <change 18 F 4500 5300> <outcome 18 abort> <begin 19> <change 19 F 4500 5000> <outcome 19 commit> <change 17 F 5000 4000> <change 17 B 7500 8500>Scenario <begin 17> <begin 18> <change 18 F 4500 5300> <outcome 18 abort> <begin 19> <change 19 F 4500 5000> <outcome 19 commit> <change 17 F 5000 4000> <change 17 B 7500 8500> <outcome 17


View Full Document

MIT 6 033 - Study Guide

Documents in this Course
TRIPLET

TRIPLET

12 pages

End Layer

End Layer

11 pages

Quiz 1

Quiz 1

4 pages

Threads

Threads

18 pages

Quiz I

Quiz I

15 pages

Atomicity

Atomicity

10 pages

QUIZ I

QUIZ I

7 pages

Load more
Download Study Guide
Our administrator received your request to download this document. We will send you the file to your email shortly.
Loading Unlocking...
Login

Join to view Study Guide 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 Guide 2 2 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?