13.2 检查点与保存点