浙江大學(xué)數(shù)據(jù)庫(kù)系統(tǒng)概念第十七章

Chapter17:RecoverySystemFailureClassificationTransactionStateAquickviewofLog-BasedRecovery浙江大學(xué)數(shù)據(jù)庫(kù)系統(tǒng)概念第十七章共11頁(yè)，您現(xiàn)在瀏覽的是第1頁(yè)!FailureClassificationTransactionfailure:Logicalerrors:transactioncannotpleteduetosomeinternalerrorconditionSystemerrors:thedatabasesystemmustterminateanactivetransactionduetoanerrorcondition(e.g.,deadlock)Systemcrash:apowerfailureorotherhardwareorsoftwarefailurecausesthesystemtocrash.Fail-stopassumption:non-volatilestoragecontentsareassumedtonotbecorruptedbysystemcrashDatabasesystemshavenumerousintegritycheckstopreventcorruptionofdiskdata

Diskfailure:aheadcrashorsimilardiskfailuredestroysallorpartofdiskstorageDestructionisassumedtobedetectable:diskdrivesusechecksumstodetectfailures浙江大學(xué)數(shù)據(jù)庫(kù)系統(tǒng)概念第十七章共11頁(yè)，您現(xiàn)在瀏覽的是第2頁(yè)!RecoveryAlgorithmsRecoveryalgorithmsaretechniquestoensuredatabaseconsistencyandtransactionatomicityanddurabilitydespitefailuresRecoveryalgorithmshavetwopartsActionstakenduringnormaltransactionprocessingtoensureenoughinformationexiststorecoverfromfailuresActionstakenafterafailuretorecoverthedatabasecontentstoastatethatensuresatomicity,consistencyanddurability浙江大學(xué)數(shù)據(jù)庫(kù)系統(tǒng)概念第十七章共11頁(yè)，您現(xiàn)在瀏覽的是第3頁(yè)!TransactionStateSinglestep浙江大學(xué)數(shù)據(jù)庫(kù)系統(tǒng)概念第十七章共11頁(yè)，您現(xiàn)在瀏覽的是第4頁(yè)!ImplementationofAtomicityandDurabilityTherecovery-managementponentofadatabasesystemimplementsthesupportforatomicityanddurability.Theshadow-databasescheme:assumethatonlyonetransactionisactiveatatime.apointercalleddb_pointeralwayspointstothecurrentconsistentcopyofthedatabase.allupdatesaremadeonashadowcopyofthedatabase,anddb_pointerismadetopointtotheupdatedshadowcopyonlyafterthetransactionreachespartialmitandallupdatedpageshavebeenflushedtodisk.incasetransactionfails,oldconsistentcopypointedtobydb_pointercanbeused,andtheshadowcopycanbedeleted.浙江大學(xué)數(shù)據(jù)庫(kù)系統(tǒng)概念第十七章共11頁(yè)，您現(xiàn)在瀏覽的是第5頁(yè)!RecoveryandAtomicityModifyingthedatabasewithoutensuringthatthetransactionwillmitmayleavethedatabaseinaninconsistentstate.ConsidertransactionTithattransfers$50fromaccountAtoaccountB;goaliseithertoperformalldatabasemodificationsmadebyTi

ornoneatall.SeveraloutputoperationsmayberequiredforTi(tooutputAandB).Afailuremayoccurafteroneofthesemodificationshavebeenmadebutbeforeallofthemaremade.Toensureatomicitydespitefailureswefirstoutputinformationdescribingthemodificationstostablestoragewithoutmodifyingthedatabaseitself.Thenmakethemodificationtodatabaseatmitpoint,orremoveallthemodificationifthetransactionfailed(rollback)浙江大學(xué)數(shù)據(jù)庫(kù)系統(tǒng)概念第十七章共11頁(yè)，您現(xiàn)在瀏覽的是第6頁(yè)!ImmediateDBModificationRecoveryExample

Belowweshowthelogasitappearsatthreeinstancesoftime.Recoveryactionsineachcaseaboveare:(a)undo(T0):Bisrestoredto2000andAto1000.(b)undo(T1)andredo(T0):Cisrestoredto700,andthenAandBaresetto950and2050respectively.(c)redo(T0)andredo(T1):AandBaresetto950and2050respectively.ThenCissetto600浙江大學(xué)數(shù)據(jù)庫(kù)系統(tǒng)概念第十七章共11頁(yè)，您現(xiàn)在瀏覽的是第7頁(yè)!TransactionState(Cont.)Active,theinitialstate;thetransactionstaysinthisstatewhileitisexecutingPartiallymitted,afterthefinalstatementhasbeenexecuted.Failed,afterthediscoverythatnormalexecutioncannolongerproceed.Aborted,afterthetransactionhasbeenrolledbackandthedatabaserestoredtoitsstatepriortothestartofthetransaction.Twooptionsafterithasbeenaborted:restartthetransaction–onlyifnointernallogicalerrorkillthetransactionCommitted,aftersuccessfulpletion.浙江大學(xué)數(shù)據(jù)庫(kù)系統(tǒng)概念第十七章共11頁(yè)，您現(xiàn)在瀏覽的是第8頁(yè)!ImplementationofAtomicityandDurability(Cont.)AssumesdiskstonotfailUsefulfortexteditors,butextremelyinefficientforlargedatabases:executingasingletransactionrequirescopyingtheentiredatabase.Willseebetterschemeslater.Theshadow-databasescheme:浙江大學(xué)數(shù)據(jù)庫(kù)系統(tǒng)概念第十七章共11頁(yè)，您現(xiàn)在瀏覽的是第9頁(yè)!Log-BasedRecoveryAlogiskeptonstablestorage.Thelogisasequenceoflogrecords,andmaintainsarecordofupdateactivitiesonthedatabase.WhentransactionTi

starts,itregistersitselfbywritinga

<Ti

start>logrecordBeforeTi

executeswrite(X),alogrecord<Ti,X,V1,V2>

iswritten,whereV1isthevalueofXbeforethewrite,and

V2

isthevaluetobewrittentoX.LogrecordnotesthatTihasperformedawriteondataitemXjX