[concurrency-interest] on happens-before formalism

Pavel Rappo pavel.rappo at gmail.com
Thu Feb 2 18:51:01 EST 2012

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.

More information about the Concurrency-interest mailing list