Professional Documents
Culture Documents
Lock-Based Protocols
Timestamp-Based Protocols
Validation-Based Protocols
Multiple Granularity
Multiversion Schemes
Insert and Delete Operations
Concurrency in Index Structures
Database System Concepts - 6th Edition 15.2 ©Silberschatz, Korth and Sudarshan
Concurrency Control
Database System Concepts - 6th Edition 15.3 ©Silberschatz, Korth and Sudarshan
Problems of concurrency control
.
1.Lost updates
2. Dirty read
3. Unrepeatable read
Database System Concepts - 6th Edition 15.4 ©Silberschatz, Korth and Sudarshan
1. Lost update problem
• When two transactions that access the same database items contain their operations in a
way that makes the value of some database item incorrect, then the lost update problem
occurs.
• If two transactions T1 and T2 read a record and then update it, then the effect of updating
of the first record will be overwritten by the second update.
Database System Concepts - 6th Edition 15.5 ©Silberschatz, Korth and Sudarshan
Here,
At time t2, transaction-X reads A's value.
At time t3, Transaction-Y reads A's value.
At time t4, Transactions-X writes A's value on the basis of the value seen at time t2.
At time t5, Transactions-Y writes A's value on the basis of the value seen at time t3.
So at time T5, the update of Transaction-X is lost because Transaction y overwrites it
without looking at its current value.
Such type of problem is known as Lost Update Problem as update made by one
transaction is lost here.
Database System Concepts - 6th Edition 15.6 ©Silberschatz, Korth and Sudarshan
2. Dirty Read
• The dirty read occurs in the case when one transaction updates an item of the
database, and then the transaction fails for some reason. The updated database
item is accessed by another transaction before it is changed back to the original
value.
• A transaction T1 updates a record which is read by T2. If T1 aborts then T2 now
has values which have never formed part of the stable database.
Database System Concepts - 6th Edition 15.7 ©Silberschatz, Korth and Sudarshan
At time t2, transaction-Y writes A's value.
At time t3, Transaction-X reads A's value.
At time t4, Transactions-Y rollbacks. So, it changes A's value back to that of prior to
t1.
So, Transaction-X now contains a value which has never become part of the stable
database.
Such type of problem is known as Dirty Read Problem, as one transaction reads a
dirty value which has not been committed.
Database System Concepts - 6th Edition 15.8 ©Silberschatz, Korth and Sudarshan
3. Inconsistent Retrievals Problem
•A transaction T1 reads a record and then does some other processing during which the
transaction T2 updates the record. Now when the transaction T1 reads the record, then the
new value will be inconsistent with the previous value.
Database System Concepts - 6th Edition 15.9 ©Silberschatz, Korth and Sudarshan
Example:
Suppose two transactions operate on three accounts.
Database System Concepts - 6th Edition 15.10 ©Silberschatz, Korth and Sudarshan
• Transaction-X is doing the sum of all balance while transaction-Y is transferring
an amount 50 from Account-1 to Account-3.
• Here, transaction-X produces the result of 550 which is incorrect. If we write
this produced result in the database, the database will become an inconsistent
state because the actual sum is 600.
Here, transaction-X has seen an inconsistent state of the database.
Database System Concepts - 6th Edition 15.11 ©Silberschatz, Korth and Sudarshan
Concurrency Control Protocol
Database System Concepts - 6th Edition 15.12 ©Silberschatz, Korth and Sudarshan
Lock-Based Protocols
In this type of protocol, any transaction cannot read or write
data until it acquires an appropriate lock on it. There are two
types of lock:
1. Shared lock:
It is also known as a Read-only lock. In a shared lock, the
data item can only read by the transaction.
It can be shared between the transactions because when the
transaction holds a lock, then it can't update the data on the
data item.
2. Exclusive lock:
In the exclusive lock, the data item can be both reads as well
as written by the transaction.
This lock is exclusive, and in this lock, multiple transactions do
not modify the same data simultaneously.
Database System Concepts - 6th Edition 15.13 ©Silberschatz, Korth and Sudarshan
There are four types of lock protocols available:
Database System Concepts - 6th Edition 15.14 ©Silberschatz, Korth and Sudarshan
2. Pre-claiming Lock Protocol
Database System Concepts - 6th Edition 15.15 ©Silberschatz, Korth and Sudarshan
3. Two-phase locking (2PL)
Database System Concepts - 6th Edition 15.16 ©Silberschatz, Korth and Sudarshan
There are two phases of 2PL:
Growing phase: In the growing phase, a new lock on the data item may be acquired by
the transaction, but none can be released.
Shrinking phase: In the shrinking phase, existing lock held by the transaction may be
released, but no new locks can be acquired.
In the below example, if lock conversion is allowed then the following phase can happen:
Upgrading of lock (from S(a) to X (a)) is allowed in growing phase.
Downgrading of lock (from X(a) to S(a)) must be done in shrinking phase.
Database System Concepts - 6th Edition 15.17 ©Silberschatz, Korth and Sudarshan
Database System Concepts - 6th Edition 15.18 ©Silberschatz, Korth and Sudarshan
The following way shows how unlocking and locking work with 2-PL.
Transaction T1:
• Growing phase: from step 1-3
•Shrinking phase: from step 5-7
•Lock point: at 3
Transaction T2:
•Growing phase: from step 2-6
•Shrinking phase: from step 8-9
•Lock point: at 6
Database System Concepts - 6th Edition 15.19 ©Silberschatz, Korth and Sudarshan
4. Strict Two-phase locking (Strict-2PL)
Database System Concepts - 6th Edition 15.20 ©Silberschatz, Korth and Sudarshan
Timestamp Ordering Protocol
Let's assume there are two transactions T1 and T2. Suppose the
transaction T1 has entered the system at 007 times and
transaction T2 has entered the system at 009 times. T1 has the
higher priority, so it executes first as it is entered the system first.
• The timestamp ordering protocol also maintains the timestamp
of last 'read' and 'write' operation on a data.
Database System Concepts - 6th Edition 15.21 ©Silberschatz, Korth and Sudarshan
Database System Concepts - 6th Edition 15.22 ©Silberschatz, Korth and Sudarshan
Advantages and Disadvantages of TO protocol:
Database System Concepts - 6th Edition 15.23 ©Silberschatz, Korth and Sudarshan
Validation Based Protocol
Database System Concepts - 6th Edition 15.24 ©Silberschatz, Korth and Sudarshan
Database System Concepts - 6th Edition 15.25 ©Silberschatz, Korth and Sudarshan
Thomas write Rule
Database System Concepts - 6th Edition 15.26 ©Silberschatz, Korth and Sudarshan
Database System Concepts - 6th Edition 15.27 ©Silberschatz, Korth and Sudarshan
Database System Concepts - 6th Edition 15.28 ©Silberschatz, Korth and Sudarshan
Database System Concepts - 6th Edition 15.29 ©Silberschatz, Korth and Sudarshan
Lock-Based Protocols
A lock is a mechanism to control concurrent access to a data
item
Data items can be locked in two modes :
1. exclusive (X) mode. Data item can be both read as well as
written. X-lock is requested using lock-X instruction.
2. shared (S) mode. Data item can only be read. S-lock is
Database System Concepts - 6th Edition 15.30 ©Silberschatz, Korth and Sudarshan
Lock-Based Protocols (Cont.)
Lock-compatibility matrix
Database System Concepts - 6th Edition 15.31 ©Silberschatz, Korth and Sudarshan
Lock-Based Protocols (Cont.)
Example of a transaction performing locking:
T2: lock-S(A);
read (A);
unlock(A);
lock-S(B);
read (B);
unlock(B);
display(A+B)
Locking as above is not sufficient to guarantee serializability
— if A and B get updated in-between the read of A and B, the
displayed sum would be wrong.
A locking protocol is a set of rules followed by all
transactions while requesting and releasing locks. Locking
protocols restrict the set of possible schedules.
Database System Concepts - 6th Edition 15.32 ©Silberschatz, Korth and Sudarshan
The Two-Phase Locking Protocol
Database System Concepts - 6th Edition 15.33 ©Silberschatz, Korth and Sudarshan
The Two-Phase Locking Protocol (Cont.)
Database System Concepts - 6th Edition 15.34 ©Silberschatz, Korth and Sudarshan
Deadlocks
Consider the partial schedule
Database System Concepts - 6th Edition 15.35 ©Silberschatz, Korth and Sudarshan
Deadlocks (Cont.)
Database System Concepts - 6th Edition 15.36 ©Silberschatz, Korth and Sudarshan
Deadlocks (Cont.)
The potential for deadlock exists in most locking protocols.
Deadlocks are a necessary evil.
When a deadlock occurs there is a possibility of cascading roll-
backs.
Cascading roll-back is possible under two-phase locking. To
avoid this, follow a modified protocol called strict two-phase
locking -- a transaction must hold all its exclusive locks till it
commits/aborts.
Rigorous two-phase locking is even stricter. Here, all locks
are held till commit/abort. In this protocol transactions can be
serialized in the order in which they commit.
Database System Concepts - 6th Edition 15.37 ©Silberschatz, Korth and Sudarshan
Deadlock Handling
System is deadlocked if there is a set of transactions such that
every transaction in the set is waiting for another transaction in
the set.
Deadlock prevention protocols ensure that the system will never
enter into a deadlock state. Some prevention strategies :
Require that each transaction locks all its data items before it
begins execution (predeclaration).
Impose partial ordering of all data items and require that a
transaction can lock data items only in the order specified by
the partial order.
Database System Concepts - 6th Edition 15.38 ©Silberschatz, Korth and Sudarshan
More Deadlock Prevention Strategies
Following schemes use transaction timestamps for the sake of
deadlock prevention alone.
wait-die scheme — non-preemptive
older transaction may wait for younger one to release data item.
(older means smaller timestamp) Younger transactions never
Younger transactions never wait for older ones; they are rolled
back instead.
a transaction may die several times before acquiring needed data
item
wound-wait scheme — preemptive
older transaction wounds (forces rollback) of younger transaction
instead of waiting for it. Younger transactions may wait for older
ones.
may be fewer rollbacks than wait-die scheme.
Database System Concepts - 6th Edition 15.39 ©Silberschatz, Korth and Sudarshan
Deadlock prevention (Cont.)
Both in wait-die and in wound-wait schemes, a rolled back
transactions is restarted with its original timestamp. Older transactions
thus have precedence over newer ones, and starvation is hence
avoided.
Timeout-Based Schemes:
a transaction waits for a lock only for a specified amount of time. If
the lock has not been granted within that time, the transaction is
rolled back and restarted,
Thus, deadlocks are not possible
simple to implement; but starvation is possible. Also difficult to
determine good value of the timeout interval.
Database System Concepts - 6th Edition 15.40 ©Silberschatz, Korth and Sudarshan
Deadlock Detection
Deadlocks can be described as a wait-for graph, which consists of a
pair G = (V,E),
V is a set of vertices (all the transactions in the system)
E is a set of edges; each element is an ordered pair Ti Tj.
If Ti Tj is in E, then there is a directed edge from Ti to Tj, implying
that Ti is waiting for Tj to release a data item.
When Ti requests a data item currently being held by Tj, then the edge
Ti Tj is inserted in the wait-for graph. This edge is removed only
when Tj is no longer holding a data item needed by Ti.
The system is in a deadlock state if and only if the wait-for graph has a
cycle. Must invoke a deadlock-detection algorithm periodically to look
for cycles.
Database System Concepts - 6th Edition 15.41 ©Silberschatz, Korth and Sudarshan
Deadlock Detection (Cont.)
Database System Concepts - 6th Edition 15.42 ©Silberschatz, Korth and Sudarshan
Deadlock Recovery
When deadlock is detected :
Some transaction will have to rolled back (made a victim) to
break deadlock. Select that transaction as victim that will incur
minimum cost.
Rollback -- determine how far to roll back transaction
Total rollback: Abort the transaction and then restart it.
More effective to roll back transaction only as far as
necessary to break deadlock.
Starvation happens if same transaction is always chosen as
victim. Include the number of rollbacks in the cost factor to avoid
starvation
Database System Concepts - 6th Edition 15.43 ©Silberschatz, Korth and Sudarshan
Timestamp-Based Protocols
Each transaction is issued a timestamp when it enters the system. If
an old transaction Ti has time-stamp TS(Ti), a new transaction Tj is
assigned time-stamp TS(Tj) such that TS(Ti) <TS(Tj).
The protocol manages concurrent execution such that the time-stamps
determine the serializability order.
In order to assure such behavior, the protocol maintains for each data
Q two timestamp values:
W-timestamp(Q) is the largest time-stamp of any transaction that
executed write(Q) successfully.
R-timestamp(Q) is the largest time-stamp of any transaction that
executed read(Q) successfully.
Database System Concepts - 6th Edition 15.44 ©Silberschatz, Korth and Sudarshan
Timestamp-Based Protocols (Cont.)
The timestamp ordering protocol ensures that any conflicting read
and write operations are executed in timestamp order.
Suppose a transaction Ti issues a read(Q)
1. If TS(Ti) W-timestamp(Q), then Ti needs to read a value of Q
that was already overwritten.
Hence, the read operation is rejected, and Ti is rolled back.
2. If TS(Ti) W-timestamp(Q), then the read operation is
executed, and R-timestamp(Q) is set to max(R-timestamp(Q),
TS(Ti)).
Database System Concepts - 6th Edition 15.45 ©Silberschatz, Korth and Sudarshan
Timestamp-Based Protocols (Cont.)
Suppose that transaction Ti issues write(Q).
1. If TS(Ti) < R-timestamp(Q), then the value of Q that Ti is
producing was needed previously, and the system assumed that
that value would never be produced.
Hence, the write operation is rejected, and Ti is rolled back.
2. If TS(Ti) < W-timestamp(Q), then Ti is attempting to write an
obsolete value of Q.
Hence, this write operation is rejected, and Ti is rolled back.
3. Otherwise, the write operation is executed, and W-timestamp(Q)
is set to TS(Ti).
Database System Concepts - 6th Edition 15.46 ©Silberschatz, Korth and Sudarshan
Example Use of the Protocol
A partial schedule for several data items for transactions with
timestamps 1, 2, 3, 4, 5
Database System Concepts - 6th Edition 15.47 ©Silberschatz, Korth and Sudarshan
Thomas’ Write Rule
Modified version of the timestamp-ordering protocol in which obsolete
write operations may be ignored under certain circumstances.
When Ti attempts to write data item Q, if TS(Ti) < W-timestamp(Q),
then Ti is attempting to write an obsolete value of {Q}.
Rather than rolling back Ti as the timestamp ordering protocol
would have done, this {write} operation can be ignored.
Otherwise this protocol is the same as the timestamp ordering
protocol.
Thomas' Write Rule allows greater potential concurrency.
Allows some view-serializable schedules that are not conflict-
serializable.
Database System Concepts - 6th Edition 15.48 ©Silberschatz, Korth and Sudarshan
Validation-Based Protocol
Execution of transaction Ti is done in three phases.
1. Read and execution phase: Transaction Ti writes only to
temporary local variables
2. Validation phase: Transaction Ti performs a ''validation test''
to determine if local variables can be written without violating
serializability.
3. Write phase: If Ti is validated, the updates are applied to the
database; otherwise, Ti is rolled back.
The three phases of concurrently executing transactions can be
interleaved, but each transaction must go through the three phases in that
order.
Assume for simplicity that the validation and write phase occur
together, atomically and serially
I.e., only one transaction executes validation/write at a time.
Also called as optimistic concurrency control since transaction executes
fully in the hope that all will go well during validation
Database System Concepts - 6th Edition 15.49 ©Silberschatz, Korth and Sudarshan
Validation-Based Protocol (Cont.)
Each transaction Ti has 3 timestamps
Start(Ti) : the time when Ti started its execution
Validation(Ti): the time when Ti entered its validation phase
Finish(Ti) : the time when Ti finished its write phase
Serializability order is determined by timestamp given at validation time;
this is done to increase concurrency.
Thus, TS(Ti) is given the value of Validation(Ti).
This protocol is useful and gives greater degree of concurrency if
probability of conflicts is low.
because the serializability order is not pre-decided, and
relatively few transactions will have to be rolled back.
Database System Concepts - 6th Edition 15.50 ©Silberschatz, Korth and Sudarshan
Validation Test for Transaction Tj
If for all Ti with TS (Ti) < TS (Tj) either one of the following condition
holds:
finish(Ti) < start(Tj)
start(Tj) < finish(Ti) < validation(Tj) and the set of data items
written by Ti does not intersect with the set of data items read
by Tj.
then validation succeeds and Tj can be committed. Otherwise,
validation fails and Tj is aborted.
Justification: Either the first condition is satisfied, and there is no
overlapped execution, or the second condition is satisfied and
the writes of Tj do not affect reads of Ti since they occur after Ti
has finished its reads.
the writes of Ti do not affect reads of Tj since Tj does not read
any item written by Ti.
Database System Concepts - 6th Edition 15.51 ©Silberschatz, Korth and Sudarshan
Schedule Produced by Validation
Example of schedule produced using validation
Database System Concepts - 6th Edition 15.52 ©Silberschatz, Korth and Sudarshan
End of Module 16
Database System Concepts - 6th Edition 15.53 ©Silberschatz, Korth and Sudarshan