28.11.2012 Views

read(y) - IBDS-OS Startseite

read(y) - IBDS-OS Startseite

read(y) - IBDS-OS Startseite

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Serializability: A Powerful Abstraction<br />

� Important abstraction for constructing parallel programs<br />

� Designing a transaction can be done in “splendid isolation”<br />

� an important software-engineering argument<br />

� You can compose p transactions<br />

� a modularity argument<br />

� You can verify using pre- and post-conditions<br />

� thanks to isolation and consistency<br />

Transactions<br />

© 2009 Universität Karlsruhe, System Architecture Group 48

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!