DOC PREVIEW
MIT 6 033 - Atomicity

This preview shows page 1-2 out of 5 pages.

Save
View full document
View full document
Premium Document
Do you want full access? Go Premium and unlock all 5 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 5 pages.
Access to all documents
Download any document
Ad free experience
Premium Document
Do you want full access? Go Premium and unlock all 5 pages.
Access to all documents
Download any document
Ad free experience

Unformatted text preview:

Atomicity Barbara Liskov MIT CSAIL April 2007Xfer  xfer(A, B, amt) A <- A – amt; B <- B + amt;all or nothing put all_or_nothing_put(data,X) flag <- careful_get(X.D0,buff); if flag = ok { careful_put(X.D1,data); careful_put(X.D0,data); } else { careful_put(X.D0,data); careful_put(X.D1,data); }all or nothing get all_or_nothing_get(data,X) flag <- careful_get(X.D0,data); if flag = ok return; careful_get(X.D1,data);salvage salvage(X) flag0<- careful_get(X.D0,buff0); flag1 <- careful_get(X.D1, buff1); if (flag0 = bad) {careful_put(X.D0,buff1);} if (flag1 = bad) {careful_put(X.D1,


View Full Document

MIT 6 033 - Atomicity

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 Atomicity
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 Atomicity 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 Atomicity 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?