CS 245Notes 081 CS 245: Database System Principles Notes 08: Failure Recovery Hector Garcia-Molina.

Slides:



Advertisements
Similar presentations
1 CS411 Database Systems 12: Recovery obama and eric schmidt sysadmin song
Advertisements

ICS 214A: Database Management Systems Fall 2002
1 CPS216: Data-intensive Computing Systems Failure Recovery Shivnath Babu.
Recovery CPSC 356 Database Ellen Walker Hiram College (Includes figures from Database Systems by Connolly & Begg, © Addison Wesley 2002)
1 Failure Recovery Checkpointing Undo/Redo Logging Source: slides by Hector Garcia-Molina.
Transactions A process that reads or modifies the DB is called a transaction. It is a unit of execution of database operations. Basic JDBC transaction.
Cs44321 CS4432: Database Systems II Lecture #19 Database Consistency and Transactions Professor Elke A. Rundensteiner.
Recovery from Crashes. Transactions A process that reads or modifies the DB is called a transaction. It is a unit of execution of database operations.
Recovery from Crashes. ACID A transaction is atomic -- all or none property. If it executes partly, an invalid state is likely to result. A transaction,
1 ICS 214A: Database Management Systems Fall 2002 Lecture 16: Crash Recovery Professor Chen Li.
ACID A transaction is atomic -- all or none property. If it executes partly, an invalid state is likely to result. A transaction, may change the DB from.
1 Failure Recovery Introduction Undo Logging Redo Logging Source: slides by Hector Garcia-Molina.
1 Lecture 12: Transactions: Recovery. 2 Outline Recovery Undo Logging Redo Logging Undo/Redo Logging Book Section 15.1, 15.2, 23, 24, 25.
CS 277 – Spring 2002Notes 081 CS 277: Database System Implementation Notes 08: Failure Recovery Arthur Keller.
1 Θεμελίωση Βάσεων Δεδομένων Notes 09: Failure Recovery Βασίλης Βασσάλος.
Cs4432recovery1 CS4432: Database Systems II Database Consistency and Violations?
Transactions A process that reads or modifies the DB is called a transaction. It is a unit of execution of database operations. Basic JDBC transaction.
1 Anna Östlin Pagh and Rasmus Pagh IT University of Copenhagen Advanced Database Technology March 25, 2004 SYSTEM FAILURES Lecture based on [GUW ,
Cs4432recovery1 CS4432: Database Systems II Lecture #19 Database Consistency and Violations? Professor Elke A. Rundensteiner.
Cs4432recovery1 CS4432: Database Systems II Lecture #20 Failure Recovery Professor Elke A. Rundensteiner.
CS 245Notes 081 CS 245: Database System Principles Notes 08: Failure Recovery Hector Garcia-Molina.
©Silberschatz, Korth and Sudarshan17.1Database System Concepts 3 rd Edition Chapter 17: Recovery System Failure Classification Storage Structure Recovery.
July 16, 2015ICS 5411 Coping With System Failure Chapter 17 of GUW.
1 Recovery Control (Chapter 17) Redo Logging CS4432: Database Systems II.
1 CPS216: Advanced Database Systems Notes 10: Failure Recovery Shivnath Babu.
Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina,
1 Transaction Management. 2 Outline Transaction management –motivation & brief introduction –major issues recovery concurrency control Recovery.
HANDLING FAILURES. Warning This is a first draft I welcome your corrections.
Chapter 15 Recovery. Topics in this Chapter Transactions Transaction Recovery System Recovery Media Recovery Two-Phase Commit SQL Facilities.
CMPT 454, Simon Fraser University, Fall 2009, Martin Ester 294 Database Systems II Coping With System Failures.
DBMS 2001Notes 7: Crash Recovery1 Principles of Database Management Systems 7: Crash Recovery Pekka Kilpeläinen (after Stanford CS245 slide originals.
1 CSE232A: Database System Principles Notes 08: Failure Recovery.
PMIT-6102 Advanced Database Systems By- Jesmin Akhter Assistant Professor, IIT, Jahangirnagar University.
1 How can several users access and update the information at the same time? Real world results Model Database system Physical database Database management.
Chapter 16 Recovery Yonsei University 1 st Semester, 2015 Sanghyun Park.
Chapter 10 Recovery System. ACID Properties  Atomicity. Either all operations of the transaction are properly reflected in the database or none are.
Carnegie Mellon Carnegie Mellon Univ. Dept. of Computer Science Database Applications C. Faloutsos Recovery.
Chapter 17: Recovery System
Transactional Recovery and Checkpoints. Difference How is this different from schedule recovery? It is the details to implementing schedule recovery –It.
1 Ullman et al. : Database System Principles Notes 08: Failure Recovery.
1 Lecture 28: Recovery Friday, December 5 th, 2003.
03/30/2005Yan Huang - CSCI5330 Database Implementation – Recovery Recovery.
1 Lecture 15: Data Storage, Recovery Monday, February 13, 2006.
Database Recovery Zheng (Godric) Gu. Transaction Concept Storage Structure Failure Classification Log-Based Recovery Deferred Database Modification Immediate.
Chapter 81 Chapter 8 Coping With System Failures Spring 2001 Prof. Sang Ho Lee School of Computing, Soongsil Univ.
CS422 Principles of Database Systems Failure Recovery Chengyu Sun California State University, Los Angeles.
Jun-Ki Min. Slide Purpose of Database Recovery ◦ To bring the database into the last consistent stat e, which existed prior to the failure. ◦
1 Advanced Database Systems: DBS CB, 2 nd Edition Recovery Ch. 17.
CS422 Principles of Database Systems Failure Recovery
Recovery Control (Chapter 17)
Lecture 13: Recovery Wednesday, February 2, 2005.
Advanced Database Systems: DBS CB, 2nd Edition
Recovery 6/4/2018.
CS4432: Database Systems II
File Processing : Recovery
Database System Principles Notes 08: Failure Recovery
CS 245: Database System Principles Notes 08: Failure Recovery
CPSC-608 Database Systems
CS 245: Database System Principles Notes 08: Failure Recovery
Lecture 28 Friday, December 7, 2001.
Recovery System.
Transaction Management Overview
Introduction to Database Systems CSE 444 Lectures 15-16: Recovery
Database Recovery 1 Purpose of Database Recovery
CPSC-608 Database Systems
CPSC-608 Database Systems
CPSC-608 Database Systems
Data-intensive Computing Systems Failure Recovery
Lecture 17: Data Storage and Recovery
Lecture 16: Recovery Friday, November 4, 2005.
Presentation transcript:

CS 245Notes 081 CS 245: Database System Principles Notes 08: Failure Recovery Hector Garcia-Molina

CS 245Notes 082 Integrity or correctness of data Would like data to be “accurate” or “correct” at all times EMP Name White Green Gray Age

CS 245Notes 083 Integrity or consistency constraints Predicates data must satisfy Examples: - x is key of relation R - x  y (func. dependency) holds in R -Domain(x) = {Red, Blue, Green} -no employee should make more than twice the average salary

CS 245Notes 084 Definition: Consistent state: satisfies all constraints Consistent DB: DB in consistent state

CS 245Notes 085 Constraints ( as we use here) may not capture “full correctness” Example 1 Transaction constraints When salary is updated, new salary > old salary When account record is deleted, balance = 0

CS 245Notes 086 Note: could be “emulated” by simple constraints, e.g., if deleted = true, then balance = 0 account Acct #….balancedeleted?

CS 245Notes 087 Example 2 Database should reflect real world DB Reality Constraints ( as we use here) may not capture “full correctness”

CS 245Notes 088  in any case, continue with constraints... Observation: DB cannot be consistent always! Example: a 1 + a 2 +…. a n = TOT ( constraint ) Deposit $100 in a 2 : a 2  a TOT  TOT + 100

CS 245Notes 089 a 2 TOT Example: a 1 + a 2 +…. a n = TOT ( constraint ) Deposit $100 in a 2 : a 2  a TOT  TOT + 100

CS 245Notes 0810 Transaction: collection of actions that preserve consistency Consistent DBConsistent DB’ T

CS 245Notes 0811 Big assumption: If T starts with consistent state + T executes in isolation  T leaves consistent state

CS 245Notes 0812 How can constraints be violated? Transaction bug (incomplete transaction) DBMS bug (some process) Hardware failure e.g., disk crash alters balance of account Data sharing e.g.: T1: give 10% raise to programmers T2: change programmers  systems analysts

CS 245Notes 0813 Our failure model processor memory disk CPU M D

CS 245Notes 0814 Events Desired Undesired Expected Unexpected

CS 245Notes 0815 Desired events: see product manuals…. Undesired expected events: System crash - memory lost - cpu halts, resets Undesired Unexpected: Everything else! that’s it!!

CS 245Notes 0816 Examples: Disk data is lost Memory lost without CPU halt CPU implodes wiping out universe…. Undesired Unexpected: Everything else!

CS 245Notes 0817 Is this model reasonable? Approach: Add low level checks + redundancy to increase probability model holds E.g., Replicate disk storage (RAID) Memory parity CPU checks

Memory Disk x x x t P INPUT(X)READ(X,t) WRITE(X,t) OUTPUT(X) Storage hierarchy

CS 245Notes 0819 Operations: Input (x): block containing x  memory Output (x): block containing x  disk Read (x,t): do input(x) if necessary t  value of x in block Write (x,t): do input(x) if necessary value of x in block  t

CS 245Notes 0820 Key problem Unfinished transaction ExampleConstraint: A=B T 1 : A  A  2 B  B  2

CS 245Notes 0821 T 1 :Read (A,t); t  t  2 Write (A,t); Read (B,t); t  t  2 Write (B,t); Output (A); Output (B); A: 8 B: 8 A: 8 B: 8 memory disk

CS 245Notes 0822 T 1 :Read (A,t); t  t  2 Write (A,t); Read (B,t); t  t  2 Write (B,t); Output (A); Output (B); A: 8 B: 8 A: 8 B: 8 memory disk 16

CS 245Notes 0823 T 1 :Read (A,t); t  t  2 Write (A,t); Read (B,t); t  t  2 Write (B,t); Output (A); Output (B); A: 8 B: 8 A: 8 B: 8 memory disk 16 failure!

Steps of a transaction and its effect on memory and disk Action tM-AM-BD-AD-B 1.READ(A,t) t := t* WRITE(A,t) READ(B,t) t := t* WRITE(B,t) OUTPUT(A) OUTPUT(B)

CS 245Notes 0825 Need atomicity: execute all actions of a transaction or none at all One solution: undo logging (immediate modification on disk)

CS 245Notes 0826 The transaction manager will send messages about actions of transactions to the log manager, to the buffer manager about when it is possible or necessary to copy the buffer back to disk, and to the query processor to execute the queries and other database operations that comprise the transaction. The log manager maintains the log. It must deal with the buffer manager, since space for the log initially appears in main-memory buffers, and at certain times these buffers must be copied to disk.

CS 245Notes 0827 T 1 :Read (A,t); t  t  2 A=B Write (A,t); Read (B,t); t  t  2 Write (B,t); Output (A); Output (B); A:8 B:8 A:8 B:8 memory disk log Undo logging (Immediate modification)

CS 245Notes 0828 T 1 :Read (A,t); t  t  2 A=B Write (A,t); Read (B,t); t  t  2 Write (B,t); Output (A); Output (B); A:8 B:8 A:8 B:8 memory disk log Undo logging (Immediate modification) 16

CS 245Notes 0829 T 1 :Read (A,t); t  t  2 A=B Write (A,t); Read (B,t); t  t  2 Write (B,t); Output (A); Output (B); A:8 B:8 A:8 B:8 memory disk log Undo logging (Immediate modification) 16 16

CS 245Notes 0830 T 1 :Read (A,t); t  t  2 A=B Write (A,t); Read (B,t); t  t  2 Write (B,t); Output (A); Output (B); A:8 B:8 A:8 B:8 memory disk log Undo logging (Immediate modification)

CS 245Notes 0831 T 1 :Read (A,t); t  t  2 A=B Write (A,t); Read (B,t); t  t  2 Write (B,t); Output (A); Output (B); A:8 B:8 A:8 B:8 memory disk log Undo logging (Immediate modification)

CS 245Notes 0832 One “complication” Log is first written in memory Not written to disk on every action memory DB Log A: 8 16 B: 8 16 Log: A: 8 B: 8

CS 245Notes 0833 One “complication” Log is first written in memory Not written to disk on every action memory DB Log A: 8 16 B: 8 16 Log: A: 8 B: 8 16 BAD STATE # 1

CS 245Notes 0834 One “complication” Log is first written in memory Written to disk before action memory DB Log A: 8 16 B: 8 16 Log: A: 8 B: 8 16 BAD STATE # 2...

CS 245Notes 0835 Undo logging rules (1) For every action generate undo log record (containing old value) (2) Before x is modified on disk, log records pertaining to x must be on disk (write ahead logging: WAL) (3) Before commit is flushed to log, all writes of transaction must be reflected on disk

Order of steps and disk writes in case of UNDO log StepActivitytM-AM-BD-AD-BLog 1) 2)READ(A,t) )t := t* )WRITE(A,t) )READ(B,t) )t := t* )WRITE(B,t) )FLUSH LOG 9)OUTPUT(A) )OUTPUT(B) ) 12)FLUSH LOG 36

CS 245Notes 0837 Recovery rules: Undo logging For every Ti with in log: - If or in log, do nothing - Else For all in log: write (X, v) output (X ) Write to log

CS 245Notes 0838 Recovery rules: Undo logging For every Ti with in log: - If or in log, do nothing - Else For all in log: write (X, v) output (X ) Write to log  IS THIS CORRECT??

CS 245Notes 0839 Recovery rules: Undo logging (1) Let S = set of transactions with in log, but no (or ) record in log (2) For each in log, in reverse order (latest  earliest) do: - if Ti  S then - write (X, v) - output (X) (3) For each Ti  S do - write to log

CS 245Notes 0840 What if failure during recovery? No problem!  Undo idempotent

Recovery from Undo log StepActivitytM-AM-BD-AD-BLog 1) 2)READ(A,t) )t := t* )WRITE(A,t) )READ(B,t) )t := t* )WRITE(B,t) )FLUSH LOG 9)OUTPUT(A) )OUTPUT(B) ) 12)FLUSH LOG The crash occurs after step (12). Then the record reached disk before the crash. When we recover, we do not undo the results of T, and all log records concerning T are ignored by the recovery manager.

Recovery from Undo log StepActivitytM-AM-BD-AD-BLog 1) 2)READ(A,t) )t := t* )WRITE(A,t) )READ(B,t) )t := t* )WRITE(B,t) )FLUSH LOG 9)OUTPUT(A) )OUTPUT(B) ) 12)FLUSH LOG The crash occurs between steps (11) and (12). If record reached disk see previous case, if not, see next case.

Recovery from Undo log StepActivitytM-AM-BD-AD-BLog 1) 2)READ(A,t) )t := t* )WRITE(A,t) )READ(B,t) )t := t* )WRITE(B,t) )FLUSH LOG 9)OUTPUT(A) )OUTPUT(B) ) 12)FLUSH LOG The crash occurs between steps (10) and (11). Now, the COMMIT record surely was not written, so T is incomplete and is undone as in the previous case.

Recovery from Undo log StepActivitytM-AM-BD-AD-BLog 1) 2)READ(A,t) )t := t* )WRITE(A,t) )READ(B,t) )t := t* )WRITE(B,t) )FLUSH LOG 9)OUTPUT(A) )OUTPUT(B) ) 12)FLUSH LOG The crash occurs between steps (8) and (10). Again, T is undone. In this case the change to A and/or B may not have reached disk. Nevertheless, the proper value, 8, is restored for each of these database elements.

Recovery from Undo log StepActivitytM-AM-BD-AD-BLog 1) 2)READ(A,t) )t := t* )WRITE(A,t) )READ(B,t) )t := t* )WRITE(B,t) )FLUSH LOG 9)OUTPUT(A) )OUTPUT(B) ) 12)FLUSH LOG The crash occurs prior to step (8). Now, it is not certain whether any of the log records concerning T have reached disk. If the change to A and/or B reached disk, then the corresponding log record reached disk. Therefore if there were changes to A and/or B made on disk by T, then the corresponding log record will cause the recovery manager to undo those changes.

CS 245Notes 0846 To discuss: Redo logging Undo/redo logging, why both? Real world actions Checkpoints Media failures

CS 245Notes 0847 Redo logging (deferred modification) T 1: Read(A,t); t t  2; write (A,t); Read(B,t); t t  2; write (B,t); Output(A); Output(B) A: 8 B: 8 A: 8 B: 8 memory DB LOG

CS 245Notes 0848 Redo logging (deferred modification) T 1: Read(A,t); t t  2; write (A,t); Read(B,t); t t  2; write (B,t); Output(A); Output(B) A: 8 B: 8 A: 8 B: 8 memory DB LOG 16

CS 245Notes 0849 Redo logging (deferred modification) T 1: Read(A,t); t t  2; write (A,t); Read(B,t); t t  2; write (B,t); Output(A); Output(B) A: 8 B: 8 A: 8 B: 8 memory DB LOG 16 output 16

CS 245Notes 0850 Redo logging (deferred modification) T 1: Read(A,t); t t  2; write (A,t); Read(B,t); t t  2; write (B,t); Output(A); Output(B) A: 8 B: 8 A: 8 B: 8 memory DB LOG 16 output 16

CS 245Notes 0851 Redo logging rules (1) For every action, generate redo log record (containing new value) (2) Before X is modified on disk (DB), all log records for transaction that modified X (including commit) must be on disk (3) Flush log at commit (4) Write END record after DB updates flushed to disk

REDO logging rules Step Activity tM-AM-BD-AD-BLog 1) 2)READ(A,t) )t := t* )WRITE(A,t) )READ(B,t) )t := t* )WRITE(B,t) ) 9)FLUSH LOG 10)OUTPUT(A) )OUTPUT(B) ) 13)FLUSH LOG

CS 245Notes 0853 For every Ti with in log: –For all in log: Write(X, v) Output(X) Recovery rules: Redo logging

CS 245Notes 0854 For every Ti with in log: –For all in log: Write(X, v) Output(X) Recovery rules: Redo logging  IS THIS CORRECT??

CS 245Notes 0855 (1) Let S = set of transactions with (and no ) in log (2) For each in log, in forward order (earliest  latest) do: - if Ti  S then Write(X, v) Output(X) (3) For each Ti  S, write Recovery rules: Redo logging

In the Textbook you find this modified version. This way we use the same log records as in UNDO logging. In the following we use this version. This is synchronized with UNDO log. Modified REDO log We don’t use record for completed transactions, but use for incomplete ones.

CS 245Notes 0857 (1) Let S = set of transactions with in log (2) For each in log, in forward order (earliest  latest) do: - if Ti  S then Write(X, v) Output(X) (3) For each Ti NOT in S, write Recovery rules: Modified Redo log

CS 245Notes 0858 Checkpoint Periodically: (1) Do not accept new transactions (2) Wait until all transactions finish (3) Flush all log records to disk (log) (4) Flush all buffers to disk (DB) (do not discard buffers) (5) Write “checkpoint” record on disk (log) (6) Resume transaction processing simple checkpoint

CS 245Notes 0859 Example: what to do at recovery? Redo log (disk): Checkpoint Crash...

CS 245Notes 0860 Key drawbacks: Undo logging: need frequent disk writes Redo logging: need to keep all modified blocks inmemory until commit

CS 245Notes 0861 Solution: undo/redo logging! Update 

CS 245Notes 0862 Rules Page X can be flushed before or after Ti commit Log record flushed before corresponding updated page (WAL) Flush at commit (log only) UR1 Before modifying any database element X on disk because of changes made by some transaction T, it is necessary that the update record appear on disk. UR2 A record must be flushed to disk as soon as it appears in the log.

CS 245Notes 0863 Example: Undo/Redo logging what to do at recovery? log (disk): Crash... The undo/redo recovery policy is: 1. Redo all the committed transactions in the order earliest-first, and 2. Undo all the incomplete transactions in the order latest-first.

CS 245Notes 0864 Non-quiesce checkpoint L O G for undodirty buffer pool pages flushed Start-ckpt active TR: Ti,T2,... end ckpt...

CS 245Notes 0865 Media failure (loss of non-volatile storage) A: 16 Solution: Make copies of data!

CS 245Notes 0866 Example 1 Triple modular redundancy Keep 3 copies on separate disks Output(X) --> three outputs Input(X) --> three inputs + vote X1X2 X3

CS 245Notes 0867 Example #2 Redundant writes, Single reads Keep N copies on separate disks Output(X) --> N outputs Input(X) --> Input one copy - if ok, done - else try another one  Assumes bad data can be detected

CS 245Notes 0868 Example #3: DB Dump + Log backup database active database log If active database is lost, – restore active database from backup – bring up-to-date using redo entries in log

Backup Database Just like checkpoint, except that we write full database CS 245Notes 0869 database create backup database: for i := 1 to DB_Size do [read DB block i; write to backup] [transactions run concurrently]

Backup Database Just like checkpoint, except that we write full database CS 245Notes 0870 database create backup database: for i := 1 to DB_Size do [read DB block i; write to backup] [transactions run concurrently] Restore from backup DB and log: Similar to recovery from checkpoint and log

CS 245Notes 0871 When can log be discarded? check- point db dump last needed undo not needed for media recovery redo not needed for undo after system failure not needed for redo after system failure log time last needed undo not needed for media recovery

CS 245Notes 0872 Summary Consistency of data One source of problems: failures - Logging - Redundancy Another source of problems: Data Sharing..... next