University

Of Sicence BI TP H QUN TR C S D LIU BI TP CHNG 3:

IU KHIN NG THI
K THUT KHO
Bi tp 1.0.
K THUT KHO a. Hy gii thch k thut lc quan v k thut kho bi quan khc nhau nh th no? b. Hy trnh by k thut kho n gin c. Hy trnh by k thut kho c vit d. Hy trnh by nghi thc kho 2 giai on. e. Gii thch hot ng ca kho cp nht ? Li ch ca kho cp nht l g ? f. Trnh by cc tnh hung xy ra deadlock vi k thut kho n gin v k thut kho c vit. Trnh by cch pht hin v phng trnh. --

Bi tp 1.1.
a. Xt 2 giao tc T0 v T1 vi lch S nh sau: r0(A) w0(A) r1(A) r1(B) c1 r0(B) w0(B) c0 Lch S c kh tun t xung t hay khng ? Gii thch. b. Hy ch ra nu p dng nghi thc kho 2 giai on dng phng thc kho n gin vo 2 giao tc trn th s m bo c tnh KH TUN T XUNG T. c. Hy ch ra trng hp nu khng s dng nghi thc kho 2 giai on th c th to ra lch m KHNG KH TUN T XUNG T --

GVLT: Nguyn Trng Sn (ntson@fit.hcmus.edu.vn)

Bi tp 1.2.
Cho 2 n v d liu X v Y. Gi s rng c 2 giao tc T1 v T2. T1 u tin c X v Y sau thc hin ghi X v ghi Y. T2 thc hin vic c v ghi X sau thc hin c v ghi Y. a. Cho v d v mt lch to t 2 giao tc trn m khng kh tun t xung t. Gii thch ti sao. b. Hy ch ra rng nu s dng nghi thc kho 2 giai on th lch to ra khng bao gi ging lch cu trn. --

Bi tp 1.3.
Lch S sau y c kh tun t xung t hay khng ? R1(X) W1(X) R2(X) R3(Y) W3(Y) W2(X) R4(Y) W1(Y) Nu c hy xc nh lch tun t tng ng ? Hy vit li lch s dng nghi thc kho 2 giai on vi kho c vit. --

University Of Sicence BI TP H QUN TR C S D LIU

Bi tp 1.4.
Cho 2 giao tc sau: T1 T2 ------------ ------------ read(A) read(B) A := 10*A+4 B := 2*B+3 write(A) write(B) read(B) read(A) B := 3*B A := 100-A write(B) write(A) a. Hy p dng nghi thc kho 2 giai on vo cc giao tc trn. b. C mt lch no khng phi tun t c lp t 2 giao tc T1 v T2 trn m li kh tun t ? c. C lch no c to thnh t T1 v T2 m gy ra kho cht ? Nu c th hy cho v d ? Nu khng th gii thch ti sao ? --

GVLT: Nguyn Trng Sn (ntson@fit.hcmus.edu.vn)

Bi tp 1.5.
Vi mi lch sau hy xc nh: - - - Lch c kh tun t hay khng ? Lch c th c to thnh bng nghi thc kho 2 giai on hay khng ? Lch c th c to thnh bng nghi thc kho 2 giai on nghim ngt hay khng ? a. S1 1 2 3 4 W(A) 5 6 7 8 9 10 W(B) 11 12 13 14

b. S2 T2 T3 T1 T2 T3

c. S3 T1 T2 T3

T1

R(D)

W(A) R(D) R(B) W(A)

R(B)

W(D)

R(B)

W(D)

W(B)

W(B)

R(D) R(D) R(D)

W(D) W(D)

--

University Of Sicence BI TP H QUN TR C S D LIU

Bi tp 1.6.
Cho cc lch sau. Gi s Shared-Lock c yu cu ngay trc mi lnh c v Exclusive- Lock c yu cu ngay trc mi lnh ghi. Unlock xut hin ngay sau lnh cui cng ca giao tc. Hy m t hot ng ca lch bn di: Hnh ng no b t chi (denied), Deadlock c xy ra hay khng ? a. S1 S1 1 2 3 4 5 6 7 8 9

b. S2 T1 R(A) R(B) W(C) R(D) R(E) W(B) W(C) W(A)

T2

T3

T4

S2 T1 1 2 3 4 5 6 R(A)

T2 R(B)

T3 R(C)

W(B)

W(C) W(D)

W(D)

--

GVLT: Nguyn Trng Sn (ntson@fit.hcmus.edu.vn)

Bi tp 1.7.
Vi mi pht biu sau y cho bit NG hay SAI v gii thch: (a) Lch sau l mt lch kh tun t: r0[A]w0[A]r1[B]w1[B]r1[A]w1[A]r0[C]w0[C]c0 c1 (b) Nghi thc kho 2 giai on nghim ngt (Strict 2PL) s khng bao gi to ra tnh trng kho cht. --

Bi tp 1.8.
Vi mi lch sau: a) S1: r1(z) r1(y) w2(y) r2(v) r2(z) w3(z) w2(v) r1(x) b) S2: r1(z) w1(y) r2(y) r2(v) r2(z) w3(z) w2(v) r1(x) Hy cho bit: -- Lch c kh tun t hay khng ? C th c sinh ra bi nghi thc 2PL hay khng ? C th c sinh ra bi nghi thc strict 2PL hay khng ?

University Of Sicence BI TP H QUN TR C S D LIU

K THUT NHN THI GIAN

Bi tp 2.0.
a. Trnh by k thut nhn thi gian ton phn. b. Trnh by k thut nhn thi gian ring phn. c. Trnh by k thut nhn thi gian nhiu phin bn. --

Bi tp 2.1.
Cho lch S gm chui cc hnh ng nh sau: st1; st2; r1(A); r2(B); w2(A); w1(B)

Hy cho bit nhng g xy ra vi mi hnh ng tng ng theo k thut nhn thi gian. --

Bi tp 2.2.
Cho lch S gm chui cc hnh ng nh sau: st1; st2; st3; r1(A); r3(B); w1(C); r2(B); r2(C); w3(B); w2(A)

Hy cho bit nhng g xy ra vi mi hnh ng tng ng theo k thut nhn thi gian. --

Bi tp 2.3.
Cho lch S gm chui cc hnh ng nh sau: st1; st2; st3; st4; w1(A); w2(A); w3(A); r2(A); r4(A)

Hy cho bit nhng g xy ra vi mi hnh ng tng ng theo k thut nhn thi gian & k thut nhn thi gian nhiu phin bn. --

GVLT: Nguyn Trng Sn (ntson@fit.hcmus.edu.vn)

Bi tp 2.4.
Xt k thut iu khin ng thi s dng nhn thi gian. Vi mi trng hp sau y, cho bit iu g s xy ra vi yu cu c/ghi cui cng. Chn 1 trong 4 phng n sau: (a) yu cu c chp nhn, (b) yu cu c b qua, (c) giao tc b tr hon, (d) giao tc b hu. Lu : sti giao tc Ti start. coi giao tc Ti commit (a) st1; st2; r1(A); r2(A); w1(B); w2(B); (b) st1; st2; r2(A); co2; r1(A); w1(A) (c) st1; st2; st3; r1(A); w3(A); co3; r2(B); w2(A) (d) st1; st2; st3; r1(A); w1(A); r2(A); (e) st1; st2; st3; r1(A); w2(A); w3(A); r2(A); --

Bi tp 2.5.
Hy tm mt lch m c th c to ra bng nghi thc kho 2 giai on nhng khng th c to ra bng k thut nhn thi gian v ngc li. --

University Of Sicence BI TP H QUN TR C S D LIU

Bi tp 2.6.
Tm hiu cc thut ng sau: - - - - - rigorous schedule strict 2PL schedule strong strict two-phase locking (SS2PL) schedule cascading rollback recoverable schedule

Mi thut ng cn tm hiu nh ngha, gii thch, cho v d, cc c im, v ghi ngun ti liu tham kho (LINK) cho nhng ti liu tham kho s dng. --

1 0

GVLT: Nguyn Trng Sn (ntson@fit.hcmus.edu.vn)

Bi tp 2.7. (Tu chn) Lm mt tp tin khc t tn l: MSSV1_MSSV2_...Validation.docx

Tm hiu iu khin ng thi vi k thut xc nhn hp l (Concurrency Control by Validation). - - - - Trnh by chi tit k thut V d Bi tp & Li gii Ti liu tham kho s dng

BO CO CNG IM: - Trnh by ti lp 1015 pht.

TIU CH NH GI: - Bo co v trnh by r rng mch lc

NG K TRNH BY: - Gi mail cho gio vin [Nh gi mail ng quy tc]

THI GIAN TRNH BY D KIN: 4/9/2013

University Of Sicence BI TP H QUN TR C S D LIU 1

Bi tp 2.8. (Tu chn) Lm mt tp tin khc t tn l: MSSV1_MSSV2_...Validation.docx

Tm hiu k thut NGHI THC CY (Tree Protocol). - - - - Trnh by k thut V d Bi tp & Li gii Ti liu tham kho s dng

BO CO CNG IM: - Trnh by ti lp 1015 pht.

TIU CH NH GI: - Bo co v trnh by r rng mch lc

NG K TRNH BY: - - -- --- HT --- Gi mail cho gio vin [Nh gi mail ng quy tc] THI GIAN TRNH BY D KIN: 4/9/2013