[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <CAHk-=wheF6DDWZa0nvopnVLbBjoL_rTmfoTmw1mJRhkR_bKH5w@mail.gmail.com>
Date: Thu, 2 Jul 2020 22:45:24 -0700
From: Linus Torvalds <torvalds@...ux-foundation.org>
To: Christian Brauner <christian.brauner@...ntu.com>
Cc: Linux Kernel Mailing List <linux-kernel@...r.kernel.org>
Subject: Re: [GIT PULL] fixes for v5.8-rc4
On Thu, Jul 2, 2020 at 1:51 PM Christian Brauner
<christian.brauner@...ntu.com> wrote:
>
> A few comments on this since doing a grep data_race() reveals that currently
> only kernel/rcu/* is making use of this new annotation and this seems to be the
> first annotation in core kernel: when this was first sent to me I was obviously
> aware of the existence of KCSAN but not whether we had established a consenus
> around annotating places in the (core) kernel where we currently have benign
> data races that KCSAN complains about. I don't know whether we have reached a
> consensus in general yet or we're just doing this subsystem specific.
I'm not sure there's any consensus, and it depends on the quality of
the KCSAN bug reports (and the reporters). There were some KCSAN
reports that seemed to not actually be real data races as much as
"KCSAN was being stupid and not understanding idempotent value
setting".
It also depends on the quality of the patch and the description. If
KCSAN patches end up being "just shut up the tool", I will stop taking
them.
But in this case, as you say, we already had the comment about the
situation, and telling the tool about it obviously won't hurt.
Linus
Powered by blists - more mailing lists