Re: [PATCH 3/8] kcsan: Skew delay to be longer for certain access types

From: peterz
Date: Tue Jul 21 2020 - 10:34:43 EST


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!