Login/Register to vote and to have access to more featuresYou are here: Root > By Topic > Concurrency
Using a waiting protocol to separate concerns in the mutual exclusion problem
Created by amoroso on: Mon, 16 Jan 2006 17:37:52 GMT, Last modification: Mon, 16 Jan 2006 17:37:52 GMT
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
Authors
Tags
0 Notes and 0 comments
0 Notes
You must be logged to add a note
0 Comments
You must be logged to add a comment