2018-04-11

Apr 11 In-Class Exercise Thread.

Post your solutions to the Apr 11 In-Class Exercise Thread to this thread.
Best,
Chris
Post your solutions to the Apr 11 In-Class Exercise Thread to this thread. Best, Chris

-- Apr 11 In-Class Exercise Thread
R1(A), W1(A), R2(B), W2(B), R2(C), W2(C), R1(B), W1(B), C1, R3(A), W3(A), C2, R3(B), W3( C) , W3(C ), C3
Add locks to this schedule so that it is consistent with two phase locking.
 l1(A), R1(A), W1(A), l2(B), R2(B), W2(B), l2(c), R2(C), W2(C), u2(B), u2(C), l1(B), R1(B), W1(B), u1(A), u1(b), C1, l3(A), R3(A), W3(A), C2, l3(B), R3(B), l3(C),W3(C), W3(C), u3(A), u3(C), C3 
Determine a serial transaction which it is conflict equivalent to.
 R2(B), W2(B), R2(C), W2(C), C2, R1(A), W1(A), R1(B), W1(B), C1, R3(A), W3(A), W3(C) , W3©, C3
Come to us with a conflict serializable schedule that could not be done using 2PL and the simple locks we have so far.
 R1(A), W1(A), R2(B), W2(B), R1(B), W1(B), C1, R3(A), W3(A), R2(C), W2(C), C2, R3(B), W3(C), W3(C), C3 
(Edited: 2018-04-11)
R1(A), W1(A), R2(B), W2(B), R2(C), W2(C), R1(B), W1(B), C1, R3(A), W3(A), C2, R3(B), W3( C) , W3(C ), C3 Add locks to this schedule so that it is consistent with two phase locking. l1(A), R1(A), W1(A), l2(B), R2(B), W2(B), l2(c), R2(C), W2(C), u2(B), u2(C), l1(B), R1(B), W1(B), u1(A), u1(b), C1, l3(A), R3(A), W3(A), C2, l3(B), R3(B), l3(C),W3(C), W3(C), u3(A), u3(C), C3 Determine a serial transaction which it is conflict equivalent to. R2(B), W2(B), R2(C), W2(C), C2, R1(A), W1(A), R1(B), W1(B), C1, R3(A), W3(A), W3(C) , W3©, C3 Come to us with a conflict serializable schedule that could not be done using 2PL and the simple locks we have so far. R1(A), W1(A), R2(B), W2(B), R1(B), W1(B), C1, R3(A), W3(A), R2(C), W2(C), C2, R3(B), W3(C), W3(C), C3

-- Apr 11 In-Class Exercise Thread
After locks are added:
  l1(A), R1(A), W1(A), l2(B), R2(B), W2(B), l2(C), R2(C), W2(C), u2(B), u2(C) l1(B), R1(B), W1(B), u1(A), u1(B), C1, l3(A), R3(A), W3(A), u3(A), C2, l3(B), R3(B), W3(B), l3(C), R3(C), W3(C), u3(B), u3(C), C3.
(Edited: 2018-04-11)
After locks are added: l1(A), R1(A), W1(A), l2(B), R2(B), W2(B), l2(C), R2(C), W2(C), u2(B), u2(C) l1(B), R1(B), W1(B), u1(A), u1(B), C1, l3(A), R3(A), W3(A), u3(A), C2, l3(B), R3(B), W3(B), l3(C), R3(C), W3(C), u3(B), u3(C), C3.

-- Apr 11 In-Class Exercise Thread
1. l1(A) , R1(A), W1(A), l2(B) , R2(B), W2(B), l2(C) , R2(C), W2(C), u2(B) , u2(C) , l1(B) , R1(B), W1(B), u1(A) , u1(B) , C1, l3(A) , R3(A), W3(A), u3(A) , C2, l3(B) , R3(B), W3(B), l3(C) , R3(C), W3(C), u3(B) , u3(C) , C3
2. R1(A), W1(A), R1(B), W1(B), C1,
R2(B), W3(B), R2(C), W2(C), C2,
R3(A), W3(A), R3(B), W3(B), R3(C), W3(C), C3
3. R1(A), W1(A), R2(B), W2(B), R2(C), W2(C), R1(B), W1(B), C1,
R2(B), W2(B), R2(C), W2(C), C2,
R3(A), W3(A), R3(B), W3(B), R3(C), W3(C), C3
-Casey
(Edited: 2018-04-16)
1. '''l1(A)''', R1(A), W1(A), '''l2(B)''', R2(B), W2(B), '''l2(C)''', R2(C), W2(C), '''u2(B)''', '''u2(C)''',''' l1(B)''', R1(B), W1(B),''' u1(A)''', '''u1(B)''', C1, '''l3(A)''', R3(A), W3(A), '''u3(A)''', C2, '''l3(B)''', R3(B), W3(B), '''l3(C)''', R3(C), W3(C), '''u3(B)''', '''u3(C)''', C3 2. R1(A), W1(A), R1(B), W1(B), C1, R2(B), W3(B), R2(C), W2(C), C2, R3(A), W3(A), R3(B), W3(B), R3(C), W3(C), C3 3. R1(A), W1(A), R2(B), W2(B), R2(C), W2(C), R1(B), W1(B), C1, R2(B), W2(B), R2(C), W2(C), C2, R3(A), W3(A), R3(B), W3(B), R3(C), W3(C), C3 -Casey

-- Apr 11 In-Class Exercise Thread
Part 1 :
LOCK1(A), R1(A), W1(A),
LOCK2(B), R2(B), W2(B),
LOCK2(C), R2(C), W2(C),
UNLOCK2(B), UNLOCK2(C),
LOCK1(B), R1(B), W1(B),
UNLOCK1(A), UNLOCK1(B),
C1,
LOCK3(A), R3(A), W3(A),
C2,
LOCK3(B), R3(B), W3(B),
LOCK3(C), R3(C), W3(C),
UNLOCK3(A), UNLOCK3(B), UNLOCK3(C),
C3
Part 2 :
R1(A), W1(A), R1(B), W1(B),
C1,
R2(B), W2(B), R2(C), W2(C),
C2,
R3(A), W3(A), R3(B), W3(B), R3(C), W3(C),
C3
Part 3 :
R1(A), W1(A), R2(B), W2(B), R2(C), W2(C), R1(B), W1(B),
C1,
R3(A), W3(A),
C2,
R3(B), W3(B), R3(C), W3(C),
C3
(Edited: 2018-04-11)
'''<u>Part 1</u>''': LOCK1(A), R1(A), W1(A), LOCK2(B), R2(B), W2(B), LOCK2(C), R2(C), W2(C), UNLOCK2(B), UNLOCK2(C), LOCK1(B), R1(B), W1(B), UNLOCK1(A), UNLOCK1(B), C1, LOCK3(A), R3(A), W3(A), C2, LOCK3(B), R3(B), W3(B), LOCK3(C), R3(C), W3(C), UNLOCK3(A), UNLOCK3(B), UNLOCK3(C), C3 '''<u>Part 2</u>''': R1(A), W1(A), R1(B), W1(B), C1, R2(B), W2(B), R2(C), W2(C), C2, R3(A), W3(A), R3(B), W3(B), R3(C), W3(C), C3 '''<u>Part 3</u>''': R1(A), W1(A), R2(B), W2(B), R2(C), W2(C), R1(B), W1(B), C1, R3(A), W3(A), C2, R3(B), W3(B), R3(C), W3(C), C3

-- Apr 11 In-Class Exercise Thread
ANSWER:
 
 l1(A),  R1(A),  W1(A),  l2(B),  R2(B),  W2(B),  u2(B),  l2(C),  R2(C),  W2(C),  l1(B),  R1(B),  W1(B),  u1(A),  u1(B),  C1,  3(A),  R3(A), 
 W3(A),  u3(A),  C2,  l3(B),  R3(B),  W3(B),  u3(B),  l3(C),  R3(C),  W3(C),  u3(C),  C3
ANSWER: l1(A), R1(A), W1(A), l2(B), R2(B), W2(B), u2(B), l2(C), R2(C), W2(C), l1(B), R1(B), W1(B), u1(A), u1(B), C1, 3(A), R3(A), W3(A), u3(A), C2, l3(B), R3(B), W3(B), u3(B), l3(C), R3(C), W3(C), u3(C), C3

User Icon
-- Apr 11 In-Class Exercise Thread
Original: R1(A), W1(A), R2(B), W2(B), R2(C), W2(C), R1(B), W1(B), C1, R3(A), W3(A), C2, R3(B), W3(B), R3(C), W3(C), C3
Locks added: L1(A) , R1(A), W1(A), L2(B) , R2(B), W2(B), L2(C) , R2(C), W2(C), U2(B) , U2(C) , L1(B) , R1(B), W1(B), U1(A) , U1(B) , C1, L3(A) , R3(A), W3(A), C2, L3(B) , R3(B), W3(B), L3(C) , R3(C), W3(C), U3(A) , U3(B) , U3(C) , C3.
Serial Schedule: R2(B), W2(B), R2(C), W2(C), C2, R1(A), W1(A), R1(B), W1(B), C1, R3(A), W3(A), R3(B), W3(B), R3(C), W3(C), C3
Conflict Serialized: R2(B), W2(B), R1(B), W1(B), R3(B), R3(B), R2(C), W2(C), R3(C), W3(C), R1(A), W1(A), R3(A), W3(A)
(Edited: 2018-04-11)
Original: R1(A), W1(A), R2(B), W2(B), R2(C), W2(C), R1(B), W1(B), C1, R3(A), W3(A), C2, R3(B), W3(B), R3(C), W3(C), C3 Locks added: '''L1(A)''', R1(A), W1(A), '''L2(B)''', R2(B), W2(B), '''L2(C)''', R2(C), W2(C), '''U2(B)''', '''U2(C)''', '''L1(B)''', R1(B), W1(B), '''U1(A)''', '''U1(B)''', C1, '''L3(A)''', R3(A), W3(A), C2, '''L3(B)''', R3(B), W3(B), '''L3(C)''', R3(C), W3(C), '''U3(A)''', '''U3(B)''', '''U3(C)''', C3. Serial Schedule: R2(B), W2(B), R2(C), W2(C), C2, R1(A), W1(A), R1(B), W1(B), C1, R3(A), W3(A), R3(B), W3(B), R3(C), W3(C), C3 Conflict Serialized: R2(B), W2(B), R1(B), W1(B), R3(B), R3(B), R2(C), W2(C), R3(C), W3(C), R1(A), W1(A), R3(A), W3(A)

-- Apr 11 In-Class Exercise Thread
Resource Description for 15234869787715103426389669422629.jpg
((resource:15234869787715103426389669422629.jpg|Resource Description for 15234869787715103426389669422629.jpg))

-- Apr 11 In-Class Exercise Thread
Apply locking to the following schedule: R1(A), W1(A), R2(B), W2(B), R2(C), W2(C), R1(B), W1(B), C1, R3(A), W3(A), C2 R3(B), W3(B), R3(C), W3(C), C3.

l1(A), R1(A), W1(A), l2(B), R2(B), W2(B), l2(C), R2(C), W2(C), u2(B), u2(C), l1(B), R1(B), W1(B), u1(A), u1(B), C1, l3(A), R3(A), W3(A), C2, l3(B), R3(B), W3(B), l3(C), R3(C), W3(C), u3(A), u3(B), u3(C), C3

Serial transaction conflict equivalent to the above: R1(A), W1(A), R1(B), W1(B), C1, R2(B), W2(B), R2(C), W2(C), C2, R3(A), W3(A), R3(B), W3(B), R3(C), W3(C), C3

Conflict serializable schedule but not 2PL-able: R1(A), W1(A), R2(B), W2(B), R1(B), W1(B), C1, R2(C), W2(C), R3(A), W3(A), C2, R3(B), W3(B), R3(C), W3(C), C3
Apply locking to the following schedule: R1(A), W1(A), R2(B), W2(B), R2(C), W2(C), R1(B), W1(B), C1, R3(A), W3(A), C2 R3(B), W3(B), R3(C), W3(C), C3.<br /><br /> l1(A), R1(A), W1(A), l2(B), R2(B), W2(B), l2(C), R2(C), W2(C), u2(B), u2(C), l1(B), R1(B), W1(B), u1(A), u1(B), C1, l3(A), R3(A), W3(A), C2, l3(B), R3(B), W3(B), l3(C), R3(C), W3(C), u3(A), u3(B), u3(C), C3<br /><br /> <u>Serial transaction conflict equivalent to the above:</u> R1(A), W1(A), R1(B), W1(B), C1, R2(B), W2(B), R2(C), W2(C), C2, R3(A), W3(A), R3(B), W3(B), R3(C), W3(C), C3<br /><br /> <u>Conflict serializable schedule but not 2PL-able:</u> R1(A), W1(A), R2(B), W2(B), R1(B), W1(B), C1, R2(C), W2(C), R3(A), W3(A), C2, R3(B), W3(B), R3(C), W3(C), C3

-- Apr 11 In-Class Exercise Thread
1. L1(A), R1(A), W1(A), L2(B), R2(B), W2(B), L2(C), R2(C), W2(C), U2(B), U2(C), L1(B), R1(B), W1(B), U1(A), U1(B), C1, L3(A), R3(A), W3(A), C2, L3(B), R3(B), W3(B), L3(C) , R3(C), W3(C), U3(A), U3(B), U3(C), C3.
(Edited: 2018-04-11)
1. L1(A), R1(A), W1(A), L2(B), R2(B), W2(B), L2(C), R2(C), W2(C), U2(B), U2(C), L1(B), R1(B), W1(B), U1(A), U1(B), C1, L3(A), R3(A), W3(A), C2, L3(B), R3(B), W3(B), L3(C) , R3(C), W3(C), U3(A), U3(B), U3(C), C3.
[ Next ]
X