From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([2001:4830:134:3::10]:39658)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <aph@redhat.com>) id 1UozsF-00066b-Rf
	for qemu-devel@nongnu.org; Tue, 18 Jun 2013 13:39:20 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <aph@redhat.com>) id 1UozsE-0006TE-TX
	for qemu-devel@nongnu.org; Tue, 18 Jun 2013 13:39:19 -0400
Received: from mx1.redhat.com ([209.132.183.28]:52435)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <aph@redhat.com>) id 1UozsE-0006T1-Mx
	for qemu-devel@nongnu.org; Tue, 18 Jun 2013 13:39:18 -0400
Message-ID: <51C09B29.70400@redhat.com>
Date: Tue, 18 Jun 2013 18:38:49 +0100
From: Andrew Haley <aph@redhat.com>
MIME-Version: 1.0
References: <1371381681-14252-1-git-send-email-pingfanl@linux.vnet.ibm.com>
	<1371381681-14252-2-git-send-email-pingfanl@linux.vnet.ibm.com>
	<51BF5C0F.6020209@twiddle.net> <51C05F88.2090308@redhat.com>
In-Reply-To: <51C05F88.2090308@redhat.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Subject: Re: [Qemu-devel] Java volatile vs. C11 seq_cst (was Re: [PATCH v2
 1/2] add a header file for atomic operations)
List-Id: <qemu-devel.nongnu.org>
List-Unsubscribe: <https://lists.nongnu.org/mailman/options/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=unsubscribe>
List-Archive: <http://lists.nongnu.org/archive/html/qemu-devel>
List-Post: <mailto:qemu-devel@nongnu.org>
List-Help: <mailto:qemu-devel-request@nongnu.org?subject=help>
List-Subscribe: <https://lists.nongnu.org/mailman/listinfo/qemu-devel>,
	<mailto:qemu-devel-request@nongnu.org?subject=subscribe>
To: Paolo Bonzini <pbonzini@redhat.com>
Cc: Torvald Riegel <triegel@redhat.com>, qemu-devel@nongnu.org, Liu Ping Fan <qemulist@gmail.com>, Anthony Liguori <anthony@codemonkey.ws>, "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>, Richard Henderson <rth@twiddle.net>

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
there that suggests otherwise.  If we'd wanted to know for certain we
should have CC'd Doug lea.

Andrew.