Re: [PATCH -next v2] locking/osq_lock: annotate a data race in osq_lock

From: Qian Cai
Date: Sat May 09 2020 - 12:53:42 EST




> On May 9, 2020, at 12:12 PM, Paul E. McKenney <paulmck@xxxxxxxxxx> wrote:
>
> Ah, and I forgot to ask. Why "if (data_race(prev->next == node)" instead
> of "if (data_race(prev->next) == node"?

I think the one you suggested is slightly better to point out the exact race. Do you want me to resend or you could squash it instead?