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

[Nikodemus Siivola]

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.

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

Cheers,

  -- Nikodemus              Schemer: "Buddha is small, clean, and serious."
                   Lispnik: "Buddha is big, has hairy armpits, and laughs."