read(y) - IBDS-OS Startseite
read(y) - IBDS-OS Startseite
read(y) - IBDS-OS Startseite
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