如何理解redo和undo的作用