[cs63201] for those implementing mutual exclusion.

Mikhail Nesterenko mikhail at cs.kent.edu
Fri Oct 12 17:35:10 EDT 2007


There are three parameters that the environment provides for these
algorithms:

-- requesting critical section
-- staying in critical section (for arbitrary but finite time)
-- arbitrary message delay.

Some boundary conditions to consider and possibly implement:

- all processes are requesting the CS concurrently
-- a single process keeps requesting while another is waiting
-- a process is requesting but messages to/from it are delayed
-- processes are requesting but there is a process that stays
   in the critical section "long".

Thanks,
-- 
Mikhail


More information about the cs63201 mailing list