> On May 9, 2020, at 12:12 PM, Paul E. McKenney <[email protected]> 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?
- Re: [PATCH -next v2] locking/osq_lock: annotate a data ra... Qian Cai
- Re: [PATCH -next v2] locking/osq_lock: annotate a da... Paul E. McKenney
- Re: [PATCH -next v2] locking/osq_lock: annotate ... Qian Cai
- Re: [PATCH -next v2] locking/osq_lock: annot... Paul E. McKenney
- Re: [PATCH -next v2] locking/osq_lock: a... Qian Cai
- Re: [PATCH -next v2] locking/osq_lo... Paul E. McKenney
- Re: [PATCH -next v2] locking/os... Will Deacon
- Re: [PATCH -next v2] lockin... Qian Cai
- Re: [PATCH -next v2] lockin... Will Deacon
- Re: [PATCH -next v2] lockin... Qian Cai
- Re: [PATCH -next v2] lockin... Paul E. McKenney
- Re: [PATCH -next v2] lockin... Will Deacon
- Re: [PATCH -next v2] lockin... Paul E. McKenney
- Re: [PATCH -next v2] lockin... Will Deacon
- Re: [PATCH -next v2] lockin... Paul E. McKenney

