[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20200721143432.GM119549@hirez.programming.kicks-ass.net>
Date: Tue, 21 Jul 2020 16:34:32 +0200
From: peterz@...radead.org
To: Marco Elver <elver@...gle.com>
Cc: paulmck@...nel.org, will@...nel.org, arnd@...db.de,
mark.rutland@....com, dvyukov@...gle.com, glider@...gle.com,
kasan-dev@...glegroups.com, linux-kernel@...r.kernel.org,
linux-arch@...r.kernel.org
Subject: Re: [PATCH 3/8] kcsan: Skew delay to be longer for certain access
types
On Tue, Jul 21, 2020 at 04:26:54PM +0200, Marco Elver wrote:
> I'll rewrite the commit message:
>
> For compound instrumentation and assert accesses, skew the
> watchpoint delay to be longer if randomized. This is useful to
> improve race detection for such accesses.
>
> For compound accesses we should increase the delay as we've
> aggregated both read and write instrumentation. By giving up 1
> call into the runtime, we're less likely to set up a watchpoint
> and thus less likely to detect a race. We can balance this by
> increasing the watchpoint delay.
Aah, makes sense now. Thanks!
Powered by blists - more mailing lists