Re: [Qemu-devel] [PATCH 0/5] More thread sanitizer fixes and atomic.h improvements

[Paolo Bonzini]

----- Original Message -----
> From: "Alex Bennée" <address@hidden>
> To: "Paolo Bonzini" <address@hidden>
> Cc: address@hidden, address@hidden
> Sent: Friday, October 21, 2016 7:38:13 PM
> Subject: Re: [PATCH 0/5] More thread sanitizer fixes and atomic.h improvements
> 
> 
> Paolo Bonzini <address@hidden> 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...
> 
> Are you posting a v2 of this? Alternatively I can slurp them into my
> next patch set as I've got a whole bunch more tsan related fixes that
> are not directly MTTCG related currently in my MTTCG tree:
> 
>   https://github.com/stsquad/qemu/commits/mttcg/base-patches-v5

I'm posting a pull request early next week.

Paolo

> >
> > 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
>