Paper by Frode V. Fjeld, Department of Computer Science, University of Tromso (Norway) Technical Report 2003-46, 21 November 2003.
It proposes a separation of concerns in concurrent systems between mutual exclusion detection and how to handle it. The paper also discusses Common Lisp code for a waiting protocol that helps design and implement both the lower and higher levels of such a system, and how the technique can be used for deadlock prevention.
Document location: http://www.cs.uit.no/EN/reports/Reports/200346.html
You must be logged to add a note
You must be logged to add a comment