lkml.org 
[lkml]   [2017]   [Nov]   [20]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    Date
    From
    SubjectRe: [PATCH] fs: Safe rcu access to hlist.
    On Sun, Nov 19, 2017 at 09:28:49PM +0000, Al Viro wrote:
    > On Sun, Nov 19, 2017 at 03:02:10PM -0500, Tim Hansen wrote:
    > > Adds hlist_first_rcu and hlist_next_rcu for safe access
    > > to the hlist in seq_hlist_next_rcu.
    > >
    > > Found on linux-next branch, tag next-20171117 with sparse.
    >
    > Frankly, I'm tempted to take sparse RCU annotations out for good -
    > they are far too noisy and I'm not sure sparse is suitable for the
    > analysis needed to prove safety of that stuff, so unless you (or
    > somebody else) figures out how to use them in a reasonably clean
    > way, we'd probably be better off just dropping them.

    Can you detail how sparse is insufficent to prove RCU saftey?
    I'm not an RCU expert by any means but I don't know of any
    complaints regarding the capabilities of sparse to detect RCU
    correctness in the community. That however could just be my
    own ignornace. As far as I know these sparse RCU annotations
    are used widely across other subsystems.

    I'd defer to other people more knowledgable on sparse to chime
    in regarding the "correctness" of it's capability on the RCU.

    \
     
     \ /
      Last update: 2017-11-20 19:56    [W:7.521 / U:0.012 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site