Subject: Re: Are shared-structure mutations actually important?
From: rpw3@rpw3.org (Rob Warnock)
Date: Tue, 18 Nov 2008 06:09:51 -0600
Newsgroups: comp.lang.lisp,comp.lang.scheme
Message-ID: <a-KdnQTvt_0SLb_UnZ2dnUVZ_sTinZ2d@speakeasy.net>
George Neuner  <gneuner2@comcast.net> wrote:
+---------------
| Not to mention that aliased mutation is at the heart of every mutual
| exclusion algorithm.  Disallowing it would make handling exclusive use
| resources impossible.
+---------------

I'm sorry, I don't understand this. For example, Dekker's
Algorithm <http://en.wikipedia.org/wiki/Dekker%27s_algorithm>
does not use aliased mutation. [Mutation, yes, but not aliased.]
So AFAICT aliased mutation is certainly *not* at the heart of
*every* mutual exclusion algorithm...


-Rob

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