Subject: Re: de threadibus
From: (Rob Warnock)
Date: Tue, 28 Jun 2005 21:55:43 -0500
Newsgroups: comp.lang.lisp
Message-ID: <>
Juliusz Chroboczek  <> wrote:
| We don't have any sound principles for designing systems that
| are free from deadlocks and race conditions (the one exception
| being putting a total ordering on critical sections)...

Why doesn't enforcing a partial ordering suffice to avoid deadlock?
I'll agree that a total ordering may be easier to *administer*,
but I didn't think it was strictly necessary.


Rob Warnock			<>
627 26th Avenue			<URL:>
San Mateo, CA 94403		(650)572-2607