© 1991 by British Computer Society
| ||||||||||||||||||||||||||||||||||||||||||||||||||||
An Efficient Starvation-Free Semaphore Solution for the Graphical Mutual Exclusion Problem

1 Department of Computer Science, University of Houston - Clear Lake, 2700 Bay Area Boulevard, Houston, TX 77058-1098, USA, 2 Department of Computer Science, University of North Texas, Denton, TX 76203-3886, USA
A fast method for constructing efficient solutions for graphical mutual exclusion problems based on semaphores associated with processes is described. The number of semaphores used is equal to the number of processes in the mutual exclusion problem. The solution is both deadlock-free and starvation-free, and allows a reasonable degree of concurrency. This method can be generalised to deal with generalised semaphore systems such as the PVchunk.
Received April 1989. revised July 1989.
* Department of Computer Science, University of Houston - Clear Lake, 2700 Bay Area Boulevard, Houston, TX 77058-1098, USA
Department of Computer Science, University of North Texas, Denton, TX 76203-3886, USA