Ricart–Agrawala algorithm: Difference between revisions

Revision as of 15:18, 4 February 2007

Revision as of 23:07, 28 February 2007

Line 16:

* Upon reception of a <math>request(ts, i)</math> message, the receiving site <math>P_j</math> will immediately send a timestamped <math>reply(ts, j)</math> message if and only if:

** <math>P_j</math> is not requesting or executing the critical section OR

** <math>P_j</math> is requesting the critical section but sent a request with a higher timestamp than the timestamp onof <math>P_jP_i</math>

* Otherwise, <math>P_j</math> will defer the <math>reply</math> message.