More on Steal and Force
 | STEAL (why enforcing Atomicity is hard)
 | To steal frame F: Current page in F (say P) is written to disk; some Xact holds lock on P.
 | What if the Xact with the lock on P aborts?
 | Must remember the old value of P at steal time (to support UNDOing the write to page P).
| | | |
 | NO FORCE (why enforcing Durability is hard)
 | What if system crashes before a modified page is written to disk?
 | Write as little as possible, in a convenient place, at commit time,to support REDOing modifications. | | |
|