lkml.org 
[lkml]   [2019]   [Nov]   [13]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: KCSAN: data-race in __alloc_file / __alloc_file
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

\
 
 \ /
  Last update: 2019-11-13 22:51    [W:0.085 / U:0.580 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site