[Gardeners] SSC-Spec & Bordeaux-Threads, was Re: Shared State Concurrency specification.

[Paolo Amoroso]

Nikodemus Siivola <nikodemus at random-state.net> writes:

> IIRC the is a paper by Frode Fjeld on restarts + threads. Sorry, no link handy.

>From the CLD entry http://www.cl-user.net/asp/web-sites/tr-2003-46 :

  "Using a waiting protocol to separate concerns in the mutual exclusion problem"

  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.

  http://www.cs.uit.no/EN/reports/Reports/200346.html


Paolo
-- 
Lisp Propulsion Laboratory log - http://www.paoloamoroso.it/log