[concurrency-interest] on happens-before formalism

Joe Bowbeer joe.bowbeer at gmail.com
Fri Feb 3 11:34:15 EST 2012


Oops!  strict is < and non-strict is <=.

The following statement may be correct:

happens-before (<=) is a "non-strict" partial order (also known as a "reflexive
partial order" or "weak partial order").

--Joe

On Fri, Feb 3, 2012 at 8:11 AM, Pavel Rappo wrote:

> Either non-strict or irreflexive :) But I think I got what you mean.
> Thanks.
>
> On 3 Feb 2012, at 20:04, Joe Bowbeer wrote:
>
> > When this question arose on The Art of Multiprocessor Programming
> discussion list a couple years ago, the resolution was that happens-before
> (<=) is a strict partial order, therefore reflexive.
> >
> > In other words, happens-before can be interpreted as
> "happens-before-or-is-equal" -- but no one wants to say or write that.
> >
> > --Joe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://cs.oswego.edu/pipermail/concurrency-interest/attachments/20120203/3281cbd7/attachment.html>


More information about the Concurrency-interest mailing list