|
| From: | Paolo Bonzini |
| Subject: | Re: [Qemu-devel] Java volatile vs. C11 seq_cst (was Re: [PATCH v2 1/2] add a header file for atomic operations) |
| Date: | Wed, 19 Jun 2013 11:30:37 +0200 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130514 Thunderbird/17.0.6 |
Il 18/06/2013 19:38, Andrew Haley ha scritto: >> > Or is Java volatile somewhere between acq_rel and seq_cst, as the last >> > paragraph of >> > http://www.cs.umd.edu/~pugh/java/memoryModel/jsr-133-faq.html#volatile >> > seems to suggest? > As far as I know, the Java semantics are acq/rel. I can't see anything > there that suggests otherwise. If we'd wanted to know for certain we > should have CC'd Doug lea. acq/rel wouldn't have a full store-load barrier between a volatile store and a volatile load. Paolo
| [Prev in Thread] | Current Thread | [Next in Thread] |