Biology for Computer Engineers Course Handout.pptx
Assignment#15
1. Database System Sunita M. Dol
Page 1
HANDOUT#15
Aim:
Write a program to simulate any one concurrency control protocol.
Theory:
Timestamp-based Protocol
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.
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)
o 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.
o 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)).
• Suppose that transaction Ti issues write(Q).
o 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.
o 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.
o Otherwise, the write operation is executed, and W-timestamp(Q) is set to TS(Ti).
Example:
consider transactions T14 and T15. Transaction T14 displays the contents of accounts A and B:
T14:read(B);
read(A);
display(A + B).
Transaction T15 transfers $50 from account A to account B, and then displays the contents of
both:
2. Database System Sunita M. Dol
Page 2
T15: read(B);
B := B − 50;
write(B);
read(A);
A := A + 50;
write(A);
display(A + B).
in presenting schedules under the timestamp protocol, we shall assume that a transaction is
assigned a timestamp immediately before its first instruction. Thus, in schedule 3 of Figure,
TS(T14) < TS(T15), and the schedule is possible under the timestamp protocol.
Figure: Schedule 3.
The protocol can generate schedules that are not recoverable. However, it can be extended to
make the schedules recoverable, in one of several ways:
• Recoverability and cascadelessness can be ensured by performing all writes together at
the end of the transaction. The writes must be atomic in the following sense: While the
writes are in progress, no transaction is permitted to access any of the data items that
have been written.
• Recoverability and cascadelessness can also be guaranteed by using a limited form of
locking, whereby reads of uncommitted items are postponed until the transaction that
updated the item commits.
• Recoverability alone can be ensured by tracking uncommitted writes, and allowing a
transaction Ti to commit only after the commit of any transaction that wrote a value that
Ti read.
3. Database System Sunita M. Dol
Page 3
Program:
Input and Output:
Conclusion:
We have implemented a program to simulate Timestamp-based concurrency control protocol in
Java. 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.
References:
• Database system concepts by Abraham Silberschatz, Henry F. Korth, S. Sudarshan
(McGraw Hill International Edition) sixth edition.
• Database system concepts by Abraham Silberschatz, Henry F. Korth, S. Sudarshan
(McGraw Hill International Edition) fifth edition.
• http://codex.cs.yale.edu/avi/db-book/db4/slide-dir/
• http://codex.cs.yale.edu/avi/db-book/db5/slide-dir/
• http://codex.cs.yale.edu/avi/db-book/db6/slide-dir/