課程資源數(shù)據(jù)庫系統(tǒng)第10章課件ch2log redo

1redo日志redo日志記錄的格式redo日志的記錄格式與undo日志一樣，唯一的區(qū)別是：在更新記錄<T,X,V>中記載的是更新后的值redo日志的記載規(guī)則R1：在修改磁盤上的任何數(shù)據(jù)庫元素X之前，要保證所有與X的這一修改有關的日志記錄(包括更新記錄<T,X,V>和提交記錄<CommitT>)都必須出現(xiàn)在磁盤上。2TtM-AM-BD-AD-Bredo日志188<StartT>2Read(A,t)88883t:=t*2168884Write(A,t)161688<T,A,16>5Read(B,t)8168886t:=t*216168887Write(B,t)16161688<T,B,16>8<CommitT>9FlushLog10Output(A)161616811Output(B)16161616圖2redo日志的例子事實上，Output(A)和Output(B)可能發(fā)生得更晚。3TtM-AM-BD-AD-Bredo日志188<StartT>2Read(A,t)88883t:=t*2168884Write(A,t)161688<T,A,16>5Read(B,t)8168886t:=t*216168887Write(B,t)16161688<T,B,16>8<CommitT>9FlushLog10Output(A)161616811Output(B)16161616事實上，Output(A)和Output(B)可能發(fā)生得更晚。執(zhí)行‘FlashLog’操作的目的是為了確保與事務T有關的日志記錄（包括后像日志和提交日志）能夠及時被寫入磁盤，一方面是保證事務T的真正提交，另一方面也為今后的Output操作提供保證（規(guī)則R1)4redo日志使用redo日志的恢復過程確定所有已提交的事務；從日志文件的首部開始掃描日志，對遇到的每一條更新記錄<T,X,V>：如果T是未提交事務，則繼續(xù)掃描日志；如果T是已提交的事務，則為數(shù)據(jù)庫元素X寫入新值V。對每個未完成的事務T，在日志的尾部寫入結束標志<AbortT>并刷新日志。5redo日志以圖2為例來看使用redo日志的恢復過程。如果系統(tǒng)故障發(fā)生在：第9步之后與事務T有關的日志記錄已經(jīng)全部寫到磁盤第8步和第9步之間事務T的提交記錄<CommitT>已經(jīng)被記入日志，但還不確定該日志是否已經(jīng)被寫入日志磁盤第8步之前T是一個未完成的事務6情況1)：故障發(fā)生在第9步之后TtM-AM-BD-AD-Bredo日志188<StartT>2Read(A,t)88883t:=t*2168884Write(A,t)161688<T,A,16>5Read(B,t)8168886t:=t*216168887Write(B,t)16161688<T,B,16>8<CommitT>9FlushLog系統(tǒng)崩潰此時，由于與事務T有關的日志記錄已經(jīng)全部寫到磁盤，因此恢復子系統(tǒng)認為T是一個已提交的事務。在恢復過程中會根據(jù)更新記錄將A和B的新值寫入數(shù)據(jù)庫的磁盤中(有可能是冗余的寫操作)7情況2)：故障發(fā)生在第8步與第9步之間TtM-AM-BD-AD-Bredo日志188<StartT>2Read(A,t)88883t:=t*2168884Write(A,t)161688<T,A,16>5Read(B,t)8168886t:=t*216168887Write(B,t)16161688<T,B,16>8<CommitT>？系統(tǒng)崩潰根據(jù)日志文件中數(shù)據(jù)記載情況,采取兩種不同的恢復處理:如果<CommitT>已到達磁盤，T被認為是一個已提交的事務，恢復過程同情況1)如果<CommitT>尚未到達磁盤，T被認為是一個未結束的事務，則恢復過程同情況3)8情況3)：故障發(fā)生在第8步之前TtM-AM-BD-AD-Bredo日志188<StartT>2Read(A,t)88883t:=t*2168884Write(A,t)161688<T,A,16>5Read(B,t)8168886t:=t*216168887Write(B,t)16161688<T,B,16>在第8步之前的任何時候出現(xiàn)系統(tǒng)崩潰T是一個未完成的事務，由于T尚未修改磁盤上的任何數(shù)據(jù)庫元素，因此在恢復過程中將對T的更新記錄<T,X,V>不做任何處理，只是在日志的尾部寫入一條記錄<AbortT>9redo日志redo日志與undo日志的主要區(qū)別恢復的目的不一樣在更新記錄<T,X,V>中保存的值V不一樣提交記錄<CommitT>寫入日志的時間不一樣undo日志：在事務T的所有數(shù)據(jù)庫磁盤修改操作(Output)結束后才能在日志中寫入提交記錄<CommitT>redo日志：在提交記錄<CommitT>被寫入日志文件的磁盤后才能將事務T更新后的值寫入數(shù)據(jù)庫的磁盤中undo日志Mem.DiskABAB1<StartT>882Read(A=8)83<T,A,8>4Write(A=16)165Read(B=8)86<T,B,8>7Write(B=16)168FlushLog9Output(A)1610Output(B)1611<CommitT>12FlushLog......redo日志Mem.DiskABAB1<StartT>882Read(A=8)83<T,