Lock and Waiters
<html><div style='background-color:'><DIV class=RTE>
<P><BR><BR></P>
<DIV></DIV><FONT color=#000000></DIV>
<DIV>I have question on Locks and waiting. <BR>In the readme pgsql/src/backend/storage/lmgr/README</DIV>
<DIV><BR>Each waiter is awoken if (a) its request<BR>does not conflict with already-granted locks, and (b) its request does<BR>not conflict with the requests of prior un-wakable waiters.</DIV>
<DIV> </DIV>
<DIV>Let us imagine if there is Process P which is holding a lock and there are individual waiters p1 p2 p3 p4 p5 p6 requiring the same lock. Now since they are in conflict it is sure that there will be wait queue that will get generated as in p1 p2 p3 p4 p5 p6. <BR>Imagine if Process P releases it lock. As per explaination given in (a) it is sure that p1 will wake up. What is the status of p2. It was in conflict with process P and hence should we term it that it will not wake up. Same is the case with p2 ... p6. </DIV>
<DIV> </DIV>
<DIV>Under what circumstance will p2 be also woken up taking into consideration that the lock held by process P is released.</DIV>
<DIV>Secondly if p2 is not woken up and if p3's lock doesn't conflict with ( P and p2 ) then by rule(b) will p3 move ahead of p2</DIV>
<DIV> </DIV>
<DIV>Thanks,<BR>Kenneth</DIV></FONT></div><br clear=all><hr>Tried the new MSN Messenger? It�s cool! <a href="http://g.msn.com/8HMAENIN/2749??PS=47575" target="_top">Download now.</a> </html>
kenneth d'souza wrote:
<DIV>Let us imagine if there is Process P which is holding a lock and
there are individual waiters p1 p2 p3 p4 p5 p6 requiring the same
lock. Now since they are in conflict it is sure that there will be
wait queue that will get generated as in p1 p2 p3 p4 p5 p6.
<BR>Imagine if Process P releases it lock. As per explaination given
in (a) it is sure that p1 will wake up. What is the status of p2. It
was in conflict with process P and hence should we term it that it
will not wake up. Same is the case with p2 ... p6. </DIV>
If p2's requested lock does not conflict with p1's granted lock, then it
will be awakened also (for example if P had an AccessExclusive lock and
both p1 and p2 were requesting an AccessShare lock).
<DIV>Secondly if p2 is not woken up and if p3's lock doesn't conflict
with ( P and p2 ) then by rule(b) will p3 move ahead of
p2</DIV>
No, sleeping waiters are not moved ahead.
--
Alvaro Herrera http://www.CommandPrompt.com/
The PostgreSQL Company - Command Prompt, Inc.