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

[Frode Vatvedt Fjeld]

Matthew Astley <clgard$mca at t8o.org> writes:

> > So much for bringing POSIX threads to CL.  Is anyone interested in
> > talking about what CL can bring to threads?
> >
> > I started wondering about restarts (in the context of deadlock) and
> > how a macro should know which lock to acquire when modifying a
> > variable.

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

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

Here's a link:

http://www.cs.uit.no/forskning/rapporter/Reports/200346.html

-- 
Frode Vatvedt Fjeld