[concurrency-interest] on happens-before formalism
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