<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Jan 15, 2020 at 8:34 PM Wei Liu <<a href="mailto:wei.liu@kernel.org">wei.liu@kernel.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Wed, Jan 15, 2020 at 07:36:38PM +0530, Madhuparna Bhowmik wrote:<br>
[...]<br>
> <br>
> > The surrounding code makes it pretty clear that the lock is already held<br>
> > by the time list_for_each_entry_rcu is called, yet the checking involved<br>
> > in lockdep_is_held is not trivial, so I'm afraid I don't consider this a<br>
> > strict improvement over the existing code.<br>
> ><br>
> > Actually,  we want to make CONFIG_PROVE_LIST_RCU enabled by default.<br>
<br>
I think you meant CONFIG_PROVE_RCU_LIST.<br>
<br></blockquote><div>I am sorry about this. Yes, I meant  CONFIG_PROVE_RCU_LIST.</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
> And if the cond argument is not passed when the usage of<br>
> list_for_each_entry_rcu()<br>
> is outside of rcu_read_lock(), it will lead to a false positive.<br>
> Therefore, I think this patch is required.<br>
<br>
Fair enough.<br>
<br></blockquote><div>Thank you,</div><div>Madhuparna</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Wei.<br>
</blockquote></div></div>