Subj : Re: Formal Mutex Semantics
To   : comp.programming.threads
From : John Hickin
Date : Tue Aug 16 2005 01:33 pm


"Joe Seigh" <jseigh_01@xemaps.com> wrote in message
news:JcqdnebRnZy0b5zeRVn-qA@comcast.com...
> Maciej Sobczak wrote:> Posix though it best not to confuse you by trying
to define anything.
> You supposedly have inate intuitive knowlege of mutex semantics.
>

Another way to look at this is that the mutex api augments the C language
that a programmer might use. Considering this augmented thing as a formal
language there are some useful theorems that we want to prove. Then, there
are potentially several models where such proof is possible. So not
specifying the model might be a good thing.

Of course there is no guarantee that I'm not discoursing at length about the
empty set :-)


Regards, John.

.