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: Consensus: data-race freedom as default for glibc code


On Mon, 2014-11-24 at 15:29 +0100, Florian Weimer wrote:
> On 11/21/2014 11:27 PM, Torvald Riegel wrote:
> >> I agree with the idea, but I don't particularly like the term âdata race
> >> freedomâ.
> >
> > That's what the language standard and the language committee use, so
> > that's why I picked that term.
> 
> I know, it's just that it's sometimes used differently in the sense that 
> you don't know precisely what value you will read, but it's from a 
> specific set, and the algorithm can cope with any chosen value.
> 
> > What would you propose to improve the wording?  Stress that this
> > statement is about glibc's implementation only, not making a statement
> > about how glibc is used?
> 
> Perhaps something like this?
> 
>  >   * Parallel algorithms implemented in glibc itself will be free from
>  >     data races (as defined by C11 and its memory model) by default.

I changed it to:
* Concurrent code in glibc is free from data races (as defined by C11
and its memory model) by default.


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