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:

AtomicityXferall or nothing putall or nothing getsalvageAtomicity Barbara LiskovMIT CSAILApril 2007Xfer xfer(A, B, amt)A <- A – amt;B <- B + amt;all or nothing putall_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 getall_or_nothing_get(data,X)flag <- careful_get(X.D0,data);if flag = ok return;careful_get(X.D1,data);salvagesalvage(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?