Dbms Unit 4 Notes.
Dbms Unit 4 Notes.
Outline
Failure Classification
Storage Structure
Recovery and Atomicity
Log-Based Recovery
Remote Backup Systems
Failure Classification
Transaction failure :
Logical errors: transaction cannot complete due to some internal error
condition
System errors: the database system must terminate an active transaction
due to an error condition (e.g., deadlock)
System crash: a power failure or other hardware or software failure
causes the system to crash.
Fail-stop assumption: non-volatile storage contents are assumed to not
be corrupted by system crash
Database systems have numerous integrity checks to prevent corruption of disk
data
Disk failure: a head crash or similar disk failure destroys all or part
of disk storage
Destruction is assumed to be detectable: disk drives use checksums to
detect failures
Recovery and Atomicity
To ensure atomicity despite failures, we first output information
describing the modifications to stable storage without modifying the
database itself.
We study log-based recovery mechanisms in detail
We first present key concepts
And then present the actual recovery algorithm
Less used alternative: shadow-copy and shadow-paging (brief details
in book)
shadow-copy
Log-Based Recovery
A log is a sequence of log records. The records keep information
about update activities on the database.
The log is kept on stable storage
When transaction Ti starts, it registers itself by writing a
<Ti start> log record
<T0 start>
<T0, A, 1000, 950>
<T0, B, 2000, 2050>
A = 950
B = 2050
<T0 commit>
<T1 start>
<T1, C, 700, 600>
BC output before T1
C = 600 commits
B B , BC
<T1 commit>
BA
BA output after T0
Note: BX denotes block containing X. commits
Concurrency Control and Recovery
With concurrent transactions, all transactions share a single disk
buffer and a single log
A buffer block can have data items updated by one or more transactions
We assume that if a transaction Ti has modified an item, no other
transaction can modify the same item until Ti has committed or
aborted
i.e., the updates of uncommitted transactions should not be visible to
other transactions
Otherwise, how to perform undo if T1 updates A, then T2 updates A and commits,
and finally T1 has to abort?
redo(Ti) -- sets the value of all data items updated by Ti to the new
values, going forward from the first log record for Ti
No logging is done in this case
Recovering from Failure
When recovering after failure:
Transaction Ti needs to be undone if the log
Contains the record <Ti start>,
But does not contain either the record <Ti commit> or <Ti abort>.
3. Write a log record < checkpoint L> onto stable storage where L is a
list of all transactions active at the time of checkpoint.
4. All updates are stopped while doing checkpointing
Checkpoints (Cont.)
During recovery we need to consider only the most recent
transaction Ti that started before the checkpoint, and transactions
that started after Ti.
Scan backwards from end of log to find the most recent <checkpoint L>
record
Only transactions that are in L or started after the checkpoint need to
be redone or undone
Transactions that committed or aborted before the checkpoint already
have all their updates output to stable storage.
Some earlier part of the log may be needed for undo operations
Continue scanning backwards till a record <Ti start> is found for every
transaction Ti in L.
Parts of log prior to earliest <Ti start> record above are not needed for
recovery, and can be erased whenever desired.
Example of Checkpoints
T2 and T3 redone.
T4 undone
T2 and T3 redone.
T4 undone
Shadow Paging
Shadow paging is an alternative to log-based recovery; this scheme
is useful if transactions execute serially
Idea: maintain two page tables during the lifetime of a transaction –
the current page table, and the shadow page table
Store the shadow page table in nonvolatile storage, such that state
of the database prior to transaction execution may be recovered.
Shadow page table is never modified during execution
To start with, both the page tables are identical. Only current page
table is used for data item accesses during execution of the
transaction.
Whenever any page is about to be written for the first time
A copy of this page is made onto an unused page.
The current page table is then made to point to the copy
The update is performed on the copy
Sample Page Table
Example of Shadow Paging
Shadow and current page tables after write to page 4
Shadow Paging (Cont.)
To commit a transaction :
1. Flush all modified pages in main memory to disk
2. Output current page table to disk
3. Make the current page table the new shadow page table, as
follows:
keep a pointer to the shadow page table at a fixed (known) location on
disk.
to make the current page table the new shadow page table, simply
update the pointer to point to current page table on disk
Once pointer to shadow page table has been written, transaction is
committed.
No recovery is needed after a crash — new transactions can start
right away, using the shadow page table.
Pages not pointed to from current/shadow page table should be
freed (garbage collected).
Show Paging (Cont.)
Advantages of shadow-paging over log-based schemes
no overhead of writing log records
recovery is trivial
Disadvantages:
Copying the entire page table is very expensive
Can be reduced by using a page table structured like a B+-tree
No need to copy entire tree, only need to copy paths in the tree that lead to updated
leaf nodes