[concurrency-interest] on happens-before formalism

Qingzhou Luo qluo2 at illinois.edu
Fri Feb 3 00:16:17 EST 2012

I think they did mean reflexive.

See partial order definition:

On Thu, Feb 2, 2012 at 5:51 PM, Pavel Rappo <pavel.rappo at gmail.com> wrote:

> I've been reading "SPECIAL POPL ISSUE The Java Memory Model" by Jeremy
> Manson, William Pugh and Sarita Adve.
> There's one (yet) thing seems strange to me. Though I think it's actually a
> typo it's still worth mentioning.
> page. 8, 2.1: "...Note that all of this means that happens-before is a
> partial order: it is reflexive, transitive and anti-symmetric..."
> Am I right saying authors actually meant "irreflexive"?
> --
> Sincerely yours, Pavel Rappo.
> _______________________________________________
> Concurrency-interest mailing list
> Concurrency-interest at cs.oswego.edu
> http://cs.oswego.edu/mailman/listinfo/concurrency-interest

Qingzhou Luo

Department of Computer Science
University of Illinois, Urbana Champaign
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://cs.oswego.edu/pipermail/concurrency-interest/attachments/20120202/42ca935c/attachment.html>

More information about the Concurrency-interest mailing list