Issue No. 05 - May (1989 vol. 15)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.24705
<p>A graphical form of the mutual exclusion problem is considered in which each vertex represents a process and each edge represents a mutual exclusion constraint between the critical sections of the processes associated with its endpoints. An edge semaphore solution for mutual exclusion problems is defined, and those graphs which are edge solvable are characterized in terms of both a forbidden subgraph and a graph grammar. Finally, an efficient algorithm is given which generates the entry and exit sections for all processes in an edge-solvable problem.</p>
mutual exclusion solutions; binary semaphores; graphical form; mutual exclusion problem; vertex; mutual exclusion constraint; edge semaphore solution; edge solvable; forbidden subgraph; graph grammar; efficient algorithm; entry; exit sections; graph theory; operating systems (computers).
I.P. Page, R.T. Jacob, "Synthesis of Mutual Exclusion Solutions Based on Binary Semaphores", IEEE Transactions on Software Engineering, vol. 15, no. , pp. 560-568, May 1989, doi:10.1109/32.24705