This is the mail archive of the libc-alpha@sourceware.org mailing list for the glibc project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: Fix sem_post race (bug 14532)

From: Richard Henderson <rth at twiddle dot net>
To: Torvald Riegel <triegel at redhat dot com>
Cc: Carlos O'Donell <carlos at systemhalted dot org>, "Joseph S. Myers" <joseph at codesourcery dot com>,GLIBC Devel <libc-alpha at sourceware dot org>
Date: Wed, 12 Sep 2012 09:31:03 -0700
Subject: Re: Fix sem_post race (bug 14532)
References: <Pine.LNX.4.64.1208302108250.15919@digraph.polyomino.org.uk> <1347399660.3374.296.camel@triegel.csb> <CAE2sS1j_Jt3NinR5DJFeaxsnkqEDJnSRnjsePjy=zWCVX=iyGw@mail.gmail.com> <1347451565.3374.361.camel@triegel.csb>

On 09/12/2012 05:06 AM, Torvald Riegel wrote:
> In general, does glibc intend to replicate/use the C11/C++11 memory
> model (i.e., the semantics etc; we can still implement the atomic ops
> differently)?  That is, are _acq and _rel supposed to have the same
> semantics as in those memory models?

I can't imagine an answer to this question that isn't "Yes, we will
use the C11/C++11 memory model."  Anything else just seems like a
nightmare waiting in the wings.

r~

References:
- Re: Fix sem_post race (bug 14532)
  - From: Torvald Riegel
- Re: Fix sem_post race (bug 14532)
  - From: Carlos O'Donell
- Re: Fix sem_post race (bug 14532)
  - From: Torvald Riegel

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]