[concurrency-interest] on happens-before formalism
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
Department of Computer Science
University of Illinois, Urbana Champaign
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Concurrency-interest