90 likes | 180 Vues
Explore the concept of Lightweight Recoverable Virtual Memory and Free Transactions with Rio Vista, emphasizing the ACID properties for transactions (Atomicity, Consistency, Isolation, Durability). Dive into incremental truncation and its application with Rio Vista operations.
E N D
Reliability (part 1) CPS210 Spring 2006
Papers • Lightweight Recoverable Virtual Memory • M. Satyanarayanan • Free Transactions with Rio Vista • David Lowell
ACID properties for transactions • Transaction is a sequence of operations • Atomicity • All operations succeed or all fail • Consistency • Data in legal state before and after transaction • Isolation • State changes are not visible until transaction commits • Durability • If transaction succeeds, it will persist
Questions • Is this a good idea? • When, when not? • Would you trust your web server with it? • Why don’t we have this for laptops?