Implementing all-or-nothing atomicity Xfer recoveryScenarioMIT OpenCourseWarehttp://ocw.mit.edu 6.033 Computer System Engineering Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.Implementing all-or-nothing atomicity Barbara LiskovMIT CSAILXfer xfer(A, B, amt)A <- A – amt;B <- B + amt;recoverystart at the top:while more recordsif commit add t to committed listif change and t not in committed list, undostart at the bottom:while more recordsif change and t in committed list, redoScenario<begin 17><begin 18><change 18 F 4500 5300><outcome 18 abort><begin 19><change 19 F 4500 5000><outcome 19 commit><change 17 F 5000 4000><change 17 B 7500 8500><outcome 17
View Full Document