[Date Prev][Date Next][Thread Prev][Thread Next][Author Index][Date Index][Thread Index]
Re: [zzdev] Re: :zz: The !@#$% General solution impossible?
- To: zzdev@xxxxxxxxxx
- Subject: Re: [zzdev] Re: :zz: The !@#$% General solution impossible?
- From: "Mark S. Miller" <markm@xxxxxxxxxx>
- Date: Tue, 06 Apr 1999 11:58:08 -0700
- Cc: Andrew Pam <xanni@xxxxxxxxxxxxxxxxx>, ted@xxxxxxxxxxxxxx
- In-reply-to: <3.0.6.32.19990403180739.009a3360@xxxxxxxxxxxxxxxxxxx>
- References: <19990403111002.B749@xxxxxxxxxxxxxxxxx> <3.0.6.32.19990402231020.0079c330@xxxxxxxxxxxxxxxxxxx> <3.0.6.32.19990402080942.0099a100@xxxxxxxxxxxxxxxxxxx> <3.0.6.32.19990331143342.0092e8c0@xxxxxxxxxxxxxxxxxxx> <3.0.6.32.19990331005450.007ffa90@xxxxxxxxxxxxxxxxxxx> <3.0.6.32.19990331005450.007ffa90@xxxxxxxxxxxxxxxxxxx> <19990331024514.H9852@xxxxxxxxxxxxxxxxx> <3.0.6.32.19990331143342.0092e8c0@xxxxxxxxxxxxxxxxxxx> <19990331164928.B10875@xxxxxxxxxxxxxxxxx> <3.0.6.32.19990402080942.0099a100@xxxxxxxxxxxxxxxxxxx> <19990402094635.A520@xxxxxxxxxxxxxxxxx> <3.0.6.32.19990402231020.0079c330@xxxxxxxxxxxxxxxxxxx>
- Reply-to: zzdev@xxxxxxxxxx
At 02:07 AM 4/3/99 , Ted Nelson wrote:
>You said:
>>I don't presently see any simple solution for the general case, except
>>to note that these are traditional problems of parallelism ...
>
>The reason is that if we aren't seriously simplifying
> in some original way, maybe we shouldn't be doing it.
E's concurrency control model, derived from Actors, FCP, and Joule
http://www.agorics.com/joule.html but reconciled with sequential
programming, is a solution to the general concurrency control problem that's
much simpler and more robust than the thread/locking model. Unfortunately,
I haven't adequately documented this model yet, but see
"http://www.erights.org";, especially
"http://www.erights.org/elib/concurrency/index.html"; and
"http://www.erights.org/elib/concurrency/vat.html";. My guess is that all
this would apply perfectly well to zigzag.
Cheers,
--MarkM