Directory | Tags | Index | LinkIt | Submit   | Help
    Tuesday, 22 July 2014 - anonymous
Login/Register to vote and to have access to more features

You 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

Frode V. Fjeld

Tags

Concurrency | Papers

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