Search
Now showing items 1-3 of 3
Starvation-Free Solutions of Mutual Exclusion Problems Using Semaphores
(Proceedings of the ACM South Central Regional Conference, 1987-10)
The standard implementation of mutual exclusion by means of a semaphore allows starvation of processes. Between 1979 and 1986, three algorithms were proposed that preclude starvation. These algorithms use a special kind ...
Using the game Cube-4 as an example in an introductory artificial intelligence course
(SIGCSE Bulletin, 1989-09)
No abstract available.
Semaphore Solutions To General Mutual Exclusion Problems
(University of North Texas, Denton, 1988)
Automatic generation of starvation-free semaphore solutions to general mutual exclusion problems is discussed. A reduction approach is introduced for recognizing edge-solvable problems, together with an O(N^2) algorithm ...