On Wed, 13 Nov 2019, Marco Elver wrote:
> An expression works fine. The below patch would work with KCSAN, and all
> your above examples work.
>
> Re name: would it make sense to more directly convey the intent? I.e.
> "this expression can race, and it's fine that the result is approximate
> if it does"?
>
> My vote would go to something like 'smp_lossy' or 'lossy_race' -- but
> don't have a strong preference, and would also be fine with 'data_race'.
> Whatever is most legible. Comments?
Lossiness isn't really relevant. Things like sticky writes work
perfectly well with data races; they don't lose anything.
My preference would be for "data_race" or something very similar
("racy"? "race_ok"?). That's the whole point -- we know the
operation can be part of a data race and we don't care.
Alan Stern
