From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from eggs.gnu.org ([2001:4830:134:3::10]:43467)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <alex.bennee@linaro.org>) id 1buHmF-0002zS-BP
	for qemu-devel@nongnu.org; Wed, 12 Oct 2016 07:32:52 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <alex.bennee@linaro.org>) id 1buHmB-0001el-6f
	for qemu-devel@nongnu.org; Wed, 12 Oct 2016 07:32:50 -0400
Received: from mail-lf0-x231.google.com ([2a00:1450:4010:c07::231]:36766)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <alex.bennee@linaro.org>) id 1buHmA-0001eY-Tc
	for qemu-devel@nongnu.org; Wed, 12 Oct 2016 07:32:47 -0400
Received: by mail-lf0-x231.google.com with SMTP id b75so70698362lfg.3
	for <qemu-devel@nongnu.org>; Wed, 12 Oct 2016 04:32:46 -0700 (PDT)
References: <1476107947-31430-1-git-send-email-pbonzini@redhat.com>
From: Alex =?utf-8?Q?Benn=C3=A9e?= <alex.bennee@linaro.org>
In-reply-to: <1476107947-31430-1-git-send-email-pbonzini@redhat.com>
Date: Wed, 12 Oct 2016 12:32:44 +0100
Message-ID: <87shs1ol9f.fsf@linaro.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Subject: Re: [Qemu-devel] [PATCH 0/5] More thread sanitizer fixes and
 atomic.h improvements
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: qemu-devel@nongnu.org, cota@braap.org


Paolo Bonzini <pbonzini@redhat.com> writes:

> See each patch.  My attempt at fixing whatever I did when I obviously
> didn't know enough^W about the C11 memory model, and at setting a
> better example for future generations...

Have you had a chance to check up on any of the errors "make check"
throws up with the sanitizer on?

>
> Paolo Bonzini (5):
>   atomic: introduce smp_mb_acquire and smp_mb_release
>   cpus: use atomic_read to read seqlock-protected variables
>   qemu-thread: use acquire/release to clarify semantics of QemuEvent
>   rcu: simplify memory barriers
>   atomic: base mb_read/mb_set on load-acquire and store-release
>
>  cpus.c                   |   9 +--
>  docs/atomics.txt         |  84 ++++++++++++++++------------
>  include/qemu/atomic.h    | 139 ++++++++++++++++++++---------------------------
>  util/qemu-thread-posix.c |  15 ++++-
>  util/qemu-thread-win32.c |  15 ++++-
>  util/rcu.c               |  11 ++--
>  6 files changed, 143 insertions(+), 130 deletions(-)


--
Alex Bennée