Re: [Qemu-devel] Java volatile vs. C11 seq_cst (was Re: [PATCH v2 1/2] add a header file for atomic operations)

2013-06-19 Thread Andrew Haley
On 06/19/2013 10:30 AM, Paolo Bonzini wrote: > 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#volat

Re: [Qemu-devel] Java volatile vs. C11 seq_cst (was Re: [PATCH v2 1/2] add a header file for atomic operations)

2013-06-18 Thread Andrew Haley
On 06/18/2013 02:24 PM, Paolo Bonzini wrote: > 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