chapter 171 chapter 17: coping with system failures (slides by hector garcia-molina,...
TRANSCRIPT
![Page 1: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/1.jpg)
Chapter 17 1
Chapter 17:Coping with System
Failures
(Slides by Hector Garcia-Molina,http://www-db.stanford.edu/~hector/cs245/
notes.htm)
![Page 2: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/2.jpg)
Chapter 17 2
Integrity or correctness of data
• Would like data to be “accurate” or“correct” at all times
EMP Name
WhiteGreenGray
Age
523421
1
![Page 3: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/3.jpg)
Chapter 17 3
Integrity or consistency constraints• Predicates data must satisfy• Examples:
- x is key of relation R- x y holds in R- Domain(x) = {Red, Blue, Green}is valid index for attribute x of R- no employee should make more than
twice the average salary
![Page 4: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/4.jpg)
Chapter 17 4
Definition:
• Consistent state: satisfies all constraints
• Consistent DB: DB in consistent state
![Page 5: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/5.jpg)
Chapter 17 5
Observation: DB cannot be consistent always!
Example: a1 + a2 +…. an = TOT (constraint)Deposit $100 in a2: a2 a2 + 100
TOT TOT + 100
![Page 6: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/6.jpg)
Chapter 17 6
a2
TOT
.
.50
.
.1000
.
.150
.
.1000
.
.150
.
.1100
Example: a1 + a2 +…. an = TOT (constraint)Deposit $100 in a2: a2 a2 + 100
TOT TOT + 100
![Page 7: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/7.jpg)
Chapter 17 7
Transaction: collection of actions
that preserve consistency
Consistent DB Consistent DB’T
![Page 8: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/8.jpg)
Chapter 17 8
Big assumption:
If T starts with consistent state + T executes in isolation
T leaves consistent state
![Page 9: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/9.jpg)
Chapter 17 9
Correctness (informally)
• If we stop running transactions,DB left consistent
• Each transaction sees a consistent DB
![Page 10: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/10.jpg)
Chapter 17 10
How can constraints be violated?
• Transaction bug• DBMS bug• Hardware failure
e.g., disk crash alters balance of account
• Data sharinge.g.: T1: give 10% raise to programmers
T2: change programmers systems analysts
![Page 11: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/11.jpg)
Chapter 17 11
We will not consider:
• How to write correct transactions• How to write correct DBMS• Constraint checking & repair
That is, solutions studied here do not need
to know constraints
![Page 12: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/12.jpg)
Chapter 17 12
Exercise
• Given a consistency constraint– 0 <= A <=B
• Which of the transactions preserves consistency?– A := A+B; B := A+B– B := A+B; A := A+B– A := B+1; B := A+1
![Page 13: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/13.jpg)
Chapter 17 13
Chapter 17 Recovery Management
• First order of business:Failure Model
![Page 14: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/14.jpg)
Chapter 17 14
Events Desired Undesired Expected
Unexpected
![Page 15: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/15.jpg)
Chapter 17 15
Our failure model
processor
memory disk
CPU
M D
![Page 16: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/16.jpg)
Chapter 17 16
Desired events: see product manuals….
Undesired expected events:System crash
- memory lost- cpu halts, resets
Undesired Unexpected: Everything else!
that’s it!!
![Page 17: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/17.jpg)
Chapter 17 17
Examples:• Disk data is lost• Memory lost without CPU halt• CPU implodes wiping out universe….
Undesired Unexpected: Everything else!
![Page 18: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/18.jpg)
Chapter 17 18
Is this model reasonable?
Approach: Add low level checks + redundancy to increase
probability model holds
E.g., Replicate disk storage (stable store)
Memory parity CPU checks
![Page 19: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/19.jpg)
Chapter 17 19
Second order of business:
Storage hierarchy
Memory Disk
x x
![Page 20: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/20.jpg)
Chapter 17 20
Operations:
• Input (x): block with x memory• Output (x): block with 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
![Page 21: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/21.jpg)
Chapter 17 21
Exercise
• Consider transaction– A := A+B; B := A+B
• Assume initially A=5 and B=10• Add read- and write-actions to the
computation • Show the effects of the steps on
main memory and disk
![Page 22: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/22.jpg)
Chapter 17 22
Key problem Unfinished transaction
Example Constraint: A=B T1: A A 2 B B 2
![Page 23: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/23.jpg)
Chapter 17 23
T1: Read (A,t); t t2Write (A,t);Read (B,t); t t2Write (B,t);Output (A);Output (B);
A: 8B: 8
A: 8B: 8
memory disk
1616
16
failure!
![Page 24: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/24.jpg)
Chapter 17 24
• Need atomicity: execute all actions of a transaction or none at all
![Page 25: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/25.jpg)
Chapter 17 25
One solution: undo logging (immediate
modification)
due to: Hansel and Gretel, 782 AD
• Improved in 784 AD to durable undo logging
![Page 26: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/26.jpg)
Chapter 17 26
T1: Read (A,t); t t2 A=B
Write (A,t);Read (B,t); t t2Write (B,t);Output (A);Output (B);
A:8B:8
A:8B:8
memory disk log
Undo logging (Immediate modification)
1616
<T1, start><T1, A, 8>
<T1, commit>16 <T1, B, 8>
16
![Page 27: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/27.jpg)
Chapter 17 27
One “complication”
• Log is first written in memory• Not written to disk on every action
memory
DB
Log
A: 8 16B: 8 16Log:<T1,start><T1, A, 8><T1, B, 8>
A: 8B: 8
16BAD STATE
# 1
![Page 28: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/28.jpg)
Chapter 17 28
One “complication”
• Log is first written in memory• Not written to disk on every action
memory
DB
Log
A: 8 16B: 8 16Log:<T1,start><T1, A, 8><T1, B, 8><T1, commit>
A: 8B: 8
16BAD STATE
# 2
<T1, B, 8><T1, commit>
...
![Page 29: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/29.jpg)
Chapter 17 29
Undo logging rules
(1) For every action generate undo logrecord (containing old value)
(2) Before x is modified on disk, logrecords pertaining to x must beon disk (write ahead logging:
WAL)(3) Before commit is flushed to log, all
writes of transaction must bereflected on disk
![Page 30: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/30.jpg)
Chapter 17 30
Recovery rules: Undo logging
(1) Let S = set of transactions with<Ti, start> in log, but no<Ti, commit> (or <Ti, abort>) record
in log(2) For each <Ti, X, v> in log,
in reverse order (latest earliest) do:
- if Ti S then - write (X, v)
- output (X)
(3) For each Ti S do
- write <Ti, abort> to log
![Page 31: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/31.jpg)
Chapter 17 31
Exercise• Consider the following undo-log records
by two transactions T and U:– <START T>; <T, A, 10>; <START U>, <U, B,
20>; <T, C, 30>; <U, D, 40>; <COMMIT U>; <T, E, 50>; <COMMIT T>
– Suppose there is a crash and the last log record on disk is <T, E, 50>.
– Describe the actions of the recovery manager.– What if the last log record on disk is <COMMIT,
U>?
![Page 32: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/32.jpg)
Chapter 17 32
What if failure during recovery?No problem! Undo idempotent
![Page 33: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/33.jpg)
Chapter 17 33
Redo logging (deferred modification)
T1: Read(A,t); t t2; write (A,t); Read(B,t); t t2; write (B,t);
Output(A); Output(B)
A: 8B: 8
A: 8B: 8
memory DB LOG
1616
<T1, start><T1, A, 16><T1, B, 16>
<T1, commit>
output16
![Page 34: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/34.jpg)
Chapter 17 34
Redo logging rules
(1) For every action, generate redo logrecord (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
![Page 35: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/35.jpg)
Chapter 17 35
(1) Let S = set of transactions with<Ti, commit> in log
(2) For each <Ti, X, v> in log, in forward order (earliest latest) do:
- if Ti S then Write(X, v) Output(X)
optional
Recovery rules: Redo logging
![Page 36: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/36.jpg)
Chapter 17 36
Exercise• Consider the following redo-log records by
two transactions T and U:– <START T>; <T, A, 10>; <START U>, <U, B,
20>; <T, C, 30>; <U, D, 40>; <COMMIT U>; <T, E, 50>; <COMMIT T>
– Suppose there is a crash and the last log record on disk is <T, E, 50>.
– Describe the actions of the recovery manager.– What if the last log record on disk is <COMMIT,
U>?
![Page 37: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/37.jpg)
Chapter 17 37
Recovery is very, very
SLOW !Redo log:
First T1 wrote A,B LastRecord Committed a year ago
Record(1 year ago) --> STILL, Need to redo after crash!!
... ... ...
Crash
![Page 38: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/38.jpg)
Chapter 17 38
Solution: Checkpoint (simple version)
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
![Page 39: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/39.jpg)
Chapter 17 39
Example: what to do at recovery?
Redo log (disk):
<T1
,A,1
6>
<T1
,com
mit
>
Ch
eck
poin
t
<T2
,B,1
7>
<T2
,com
mit
>
<T3
,C,2
1>
Crash... ... ... ...
...
...
![Page 40: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/40.jpg)
Chapter 17 40
Comparison of undo and redo logging
Key drawbacks:• Undo logging: must flush data to disk
immediately after a transaction finishes– Why is it bad?
• Redo logging: need to keep all modified blocks in memory until commit– Why is it bad?
![Page 41: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/41.jpg)
Chapter 17 41
Solution: undo/redo logging!
Update <Ti, Xid, Old X val, New X val>page X
![Page 42: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/42.jpg)
Chapter 17 42
Rules
• Page X can be flushed before orafter Ti commit
• Log record flushed before corresponding updated page (WAL)
• Flush at commit (log only)
![Page 43: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/43.jpg)
Chapter 17 43
Recovery process:
• Backwards pass (end of log latest checkpoint start)
– construct set S of committed transactions
– undo actions of transactions not in S
• Forward pass (latest checkpoint start end of log)
– redo actions of S transactionsbackward pass
forward pass
![Page 44: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/44.jpg)
Chapter 17 44
Exercise• Consider undo/redo log records by two
transactions T and U:– <START T>; <T, A, 10, 11>; <START U>;
<U, B, 20, 21>; <T, C, 30, 31>; <U, D, 40, 41>; <COMMIT U>; <T, E, 50, 51>; <COMMIT T>;
– Suppose there is a crash and the last log record on disk is <T, E, 50, 51>.
– Describe the actions of the recovery manager.
![Page 45: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/45.jpg)
Chapter 17 45
Non-quiescent checkpoint
LOG
for undo dirty buffer
pool pagesflushed
Start-ckptactive TR:
Ti,T2,...
endckpt
.........
...
![Page 46: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/46.jpg)
Chapter 17 46
Examples what to do at recovery time?
no T1 commit
LOG
T1,-a
...CkptT1
...Ckptend
...T1-b
...
Undo T1 (undo a,b)
![Page 47: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/47.jpg)
Chapter 17 47
Example
LOG
...T1
a... ...
T1
b... ...
T1
c...
T1
cmt...
ckpt-end
ckpt-sT1
Redo T1: (redo b,c)
![Page 48: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/48.jpg)
Chapter 17 48
Nonquiescent checkpoint
• The rules: section 17.4.3• Example 17.12 p. 906
![Page 49: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/49.jpg)
Chapter 17 49
Real world actions
E.g., dispense cash at ATMTi = a1 a2 …... aj …... an
$
![Page 50: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/50.jpg)
Chapter 17 50
Solution
execute real-world actions after commit
![Page 51: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/51.jpg)
Chapter 17 51
ATMGive$$(amt, Tid, time)
$
give(amt)
lastTid:
time:
![Page 52: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/52.jpg)
Chapter 17 52
Media failure (loss of non-volatile storage)
A: 16
Solution: Make copies of data!
![Page 53: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/53.jpg)
Chapter 17 53
Example 1 Triple modular redundancy
• Keep 3 copies on separate disks• Output(X) --> three outputs• Input(X) --> three inputs + vote
X1 X2 X3
![Page 54: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/54.jpg)
Chapter 17 54
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
![Page 55: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/55.jpg)
Chapter 17 55
Example #3: DB Dump + Log
backupdatabase
activedatabase
log
• If active database is lost,– restore active database from backup– bring up-to-date using redo entries in log
![Page 56: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/56.jpg)
Chapter 17 56
When can log be discarded?
check-point
dbdump
lastneededundo
not needed formedia recovery
not needed for undoafter system failure
not needed forredo after system failure
log
time
![Page 57: Chapter 171 Chapter 17: Coping with System Failures (Slides by Hector Garcia-Molina, hector/cs245/notes.htm)](https://reader035.vdocuments.site/reader035/viewer/2022062217/56649e575503460f94b503f6/html5/thumbnails/57.jpg)
Chapter 17 57
Summary
• Consistency of data• One source of problems: failures
- Logging- Redundancy
• Another source of problems: Data Sharing..... Next: Chapter 18