Consider a Simple Checkpointing Protocol and the following set of operations in the log.
$(start, T_4);(write, T_4,y,2,3);(start,T_1);$
$(commit,T_4);(write,T_1,z,5,7);$
$(Checkpoint);$
$(start,T_2);(write,T_2,x,1,9);$
$(commit,T_2);(start,T_3);(write,T_3,z,7,2);$
if a crash happens now and the system tries to recover using both undo and redo operations, what are the contents of the undo list and the redo list?
- $Undo : T_3,T_1;Redo\;T_2$
- $Undo : T_3,T_1;Redo\;T_2,T_4$
- $Undo : none; \;Redo\;T_2, T_4, T_3, T_1$
- $Undo : T_3,T_1,T_4; \;Redo\;T_2$