Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.kernel > #1620954
| From | Al Viro <viro@ZenIV.linux.org.uk> |
|---|---|
| Newsgroups | linux.kernel |
| Subject | Re: [git pull] vfs fixes |
| Date | 2017-04-11 08:50 +0200 |
| Message-ID | <tuXMJ-3sI-11@gated-at.bofh.it> (permalink) |
| References | <tudTA-7da-3@gated-at.bofh.it> <tuXjI-3jn-19@gated-at.bofh.it> |
| Organization | linux.* mail to news gateway |
On Mon, Apr 10, 2017 at 11:10:19PM -0700, Linus Torvalds wrote:
> It looks odd because the lock part is
>
> if (flags & LOOKUP_RCU)
> rcu_read_lock();
>
> ie it's locked conditionally, and the code in between does not seem to
> return every time LOOKUP_RCU is clear.
>
> So mind giving this a look? Is it as obviously buggy as I think it is,
> or is there something I'm missing?
It's more obscure than I would like, and can grow into a bug one day, but...
nd_jump_root() can only return non-zero if you have LOOKUP_RCU. So without
LOOKUP_RCU in flags, this
if (flags & LOOKUP_RCU)
rcu_read_lock();
set_root(nd);
if (likely(!nd_jump_root(nd)))
return s;
nd->root.mnt = NULL;
rcu_read_unlock();
won't get to that rcu_read_unlock() at all - it'll get zero from nd_jump_root()
and proceed to return s;
Back to linux.kernel | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Re: [git pull] vfs fixes Linus Torvalds <torvalds@linux-foundation.org> - 2017-04-11 08:20 +0200
Re: [git pull] vfs fixes Al Viro <viro@ZenIV.linux.org.uk> - 2017-04-11 08:50 +0200
Re: [git pull] vfs fixes Andreas Dilger <adilger@dilger.ca> - 2017-04-11 23:10 +0200
Re: [git pull] vfs fixes Linus Torvalds <torvalds@linux-foundation.org> - 2017-04-12 09:10 +0200
csiph-web