Professional Documents
Culture Documents
De Thi 2013 Xu Ly Song Song Va Phan Tan
De Thi 2013 Xu Ly Song Song Va Phan Tan
ii.
Cu 2: Logical Clocks
a. Cho ba tin trnh A, B v C. Tt c ng h chy cng tc nhng khi u ng h ca A
c 10, ng h ca B c 0 v ng h ca C c 5. Ti thi im 10 ca ng h A, A gi
mt thng ip ti B, thng ip ny mt 4 n v thi gian n B. B i mt n v thi
gian v sau gi mt thng ip mt 2 n v thi gian ti C. Gi s rng h thng hin
thc tem thi gian Lamport (Lamport timestamps), hy v hnh minh ha tem thi gian cho
cc thng ip v gii thch cc tem thi gian c s dng nh th no. (3 im)
b. Hai s kin ng thi (concurent) l g? V gii thch mi quan h ng thi ca hai s kin
trong tem thi gian Lamport. (1 im)
Cu 3: (2 im)
p1
Time
p2
Hnh trn biu din cc s kin ang xy ra ca hai tin trnh p1 v p2. Mi tn gia cc tin trnh l
truyn thng ip. V v nh nhn li cc trng thi tng thch (lattice of consistent states) (p1
state, p2 state), bt u vi trng thi khi to (0,0).
Duy t cua Trng b mn/ Trng khoa
Can b ra