Subject: Re: de threadibus
From: rpw3@rpw3.org (Rob Warnock)
Date: Tue, 28 Jun 2005 21:55:43 -0500
Newsgroups: comp.lang.lisp
Message-ID: <9sadnTPtGvMykF_fRVn-gw@speakeasy.net>
Juliusz Chroboczek  <jch@pps.jussieu.fr> 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

-----
Rob Warnock			<rpw3@rpw3.org>
627 26th Avenue			<URL:http://rpw3.org/>
San Mateo, CA 94403		(650)572-2607