Commit 86261d27 authored by Al Viro's avatar Al Viro Committed by Greg Kroah-Hartman

dcache: sort the freeing-without-RCU-delay mess for good.

commit 5467a68c upstream.

For lockless accesses to dentries we don't have pinned we rely
(among other things) upon having an RCU delay between dropping
the last reference and actually freeing the memory.

On the other hand, for things like pipes and sockets we neither
do that kind of lockless access, nor want to deal with the
overhead of an RCU delay every time a socket gets closed.

So delay was made optional - setting DCACHE_RCUACCESS in ->d_flags
made sure it would happen.  We tried to avoid setting it unless
we knew we need it.  Unfortunately, that had led to recurring
class of bugs, in which we missed the need to set it.

We only really need it for dentries that are created by
d_alloc_pseudo(), so let's not bother with trying to be smart -
just make having an RCU delay the default.  The ones that do
*not* get it set the replacement flag (DCACHE_NORCU) and we'd
better use that sparingly.  d_alloc_pseudo() is the only
such user right now.

FWIW, the race that finally prompted that switch had been
between __lock_parent() of immediate subdirectory of what's
currently the root of a disconnected tree (e.g. from
open-by-handle in progress) racing with d_splice_alias()
elsewhere picking another alias for the same inode, either
on outright corrupted fs image, or (in case of open-by-handle
on NFS) that subdirectory having been just moved on server.
It's not easy to hit, so the sky is not falling, but that's
not the first race on similar missed cases and the logics
for settinf DCACHE_RCUACCESS has gotten ridiculously
convoluted.

Cc: stable@vger.kernel.org
Signed-off-by: default avatarAl Viro <viro@zeniv.linux.org.uk>
Signed-off-by: default avatarGreg Kroah-Hartman <gregkh@linuxfoundation.org>
parent 3e8487c0
...@@ -638,3 +638,8 @@ in your dentry operations instead. ...@@ -638,3 +638,8 @@ in your dentry operations instead.
inode to d_splice_alias() will also do the right thing (equivalent of inode to d_splice_alias() will also do the right thing (equivalent of
d_add(dentry, NULL); return NULL;), so that kind of special cases d_add(dentry, NULL); return NULL;), so that kind of special cases
also doesn't need a separate treatment. also doesn't need a separate treatment.
--
[mandatory]
DCACHE_RCUACCESS is gone; having an RCU delay on dentry freeing is the
default. DCACHE_NORCU opts out, and only d_alloc_pseudo() has any
business doing so.
...@@ -344,7 +344,7 @@ static void dentry_free(struct dentry *dentry) ...@@ -344,7 +344,7 @@ static void dentry_free(struct dentry *dentry)
} }
} }
/* if dentry was never visible to RCU, immediate free is OK */ /* if dentry was never visible to RCU, immediate free is OK */
if (!(dentry->d_flags & DCACHE_RCUACCESS)) if (dentry->d_flags & DCACHE_NORCU)
__d_free(&dentry->d_u.d_rcu); __d_free(&dentry->d_u.d_rcu);
else else
call_rcu(&dentry->d_u.d_rcu, __d_free); call_rcu(&dentry->d_u.d_rcu, __d_free);
...@@ -1701,7 +1701,6 @@ struct dentry *d_alloc(struct dentry * parent, const struct qstr *name) ...@@ -1701,7 +1701,6 @@ struct dentry *d_alloc(struct dentry * parent, const struct qstr *name)
struct dentry *dentry = __d_alloc(parent->d_sb, name); struct dentry *dentry = __d_alloc(parent->d_sb, name);
if (!dentry) if (!dentry)
return NULL; return NULL;
dentry->d_flags |= DCACHE_RCUACCESS;
spin_lock(&parent->d_lock); spin_lock(&parent->d_lock);
/* /*
* don't need child lock because it is not subject * don't need child lock because it is not subject
...@@ -1726,7 +1725,7 @@ struct dentry *d_alloc_cursor(struct dentry * parent) ...@@ -1726,7 +1725,7 @@ struct dentry *d_alloc_cursor(struct dentry * parent)
{ {
struct dentry *dentry = d_alloc_anon(parent->d_sb); struct dentry *dentry = d_alloc_anon(parent->d_sb);
if (dentry) { if (dentry) {
dentry->d_flags |= DCACHE_RCUACCESS | DCACHE_DENTRY_CURSOR; dentry->d_flags |= DCACHE_DENTRY_CURSOR;
dentry->d_parent = dget(parent); dentry->d_parent = dget(parent);
} }
return dentry; return dentry;
...@@ -1739,10 +1738,17 @@ struct dentry *d_alloc_cursor(struct dentry * parent) ...@@ -1739,10 +1738,17 @@ struct dentry *d_alloc_cursor(struct dentry * parent)
* *
* For a filesystem that just pins its dentries in memory and never * For a filesystem that just pins its dentries in memory and never
* performs lookups at all, return an unhashed IS_ROOT dentry. * performs lookups at all, return an unhashed IS_ROOT dentry.
* This is used for pipes, sockets et.al. - the stuff that should
* never be anyone's children or parents. Unlike all other
* dentries, these will not have RCU delay between dropping the
* last reference and freeing them.
*/ */
struct dentry *d_alloc_pseudo(struct super_block *sb, const struct qstr *name) struct dentry *d_alloc_pseudo(struct super_block *sb, const struct qstr *name)
{ {
return __d_alloc(sb, name); struct dentry *dentry = __d_alloc(sb, name);
if (likely(dentry))
dentry->d_flags |= DCACHE_NORCU;
return dentry;
} }
EXPORT_SYMBOL(d_alloc_pseudo); EXPORT_SYMBOL(d_alloc_pseudo);
...@@ -1911,12 +1917,10 @@ struct dentry *d_make_root(struct inode *root_inode) ...@@ -1911,12 +1917,10 @@ struct dentry *d_make_root(struct inode *root_inode)
if (root_inode) { if (root_inode) {
res = d_alloc_anon(root_inode->i_sb); res = d_alloc_anon(root_inode->i_sb);
if (res) { if (res)
res->d_flags |= DCACHE_RCUACCESS;
d_instantiate(res, root_inode); d_instantiate(res, root_inode);
} else { else
iput(root_inode); iput(root_inode);
}
} }
return res; return res;
} }
...@@ -2781,9 +2785,7 @@ static void __d_move(struct dentry *dentry, struct dentry *target, ...@@ -2781,9 +2785,7 @@ static void __d_move(struct dentry *dentry, struct dentry *target,
copy_name(dentry, target); copy_name(dentry, target);
target->d_hash.pprev = NULL; target->d_hash.pprev = NULL;
dentry->d_parent->d_lockref.count++; dentry->d_parent->d_lockref.count++;
if (dentry == old_parent) if (dentry != old_parent) /* wasn't IS_ROOT */
dentry->d_flags |= DCACHE_RCUACCESS;
else
WARN_ON(!--old_parent->d_lockref.count); WARN_ON(!--old_parent->d_lockref.count);
} else { } else {
target->d_parent = old_parent; target->d_parent = old_parent;
......
...@@ -85,13 +85,12 @@ static void *__ns_get_path(struct path *path, struct ns_common *ns) ...@@ -85,13 +85,12 @@ static void *__ns_get_path(struct path *path, struct ns_common *ns)
inode->i_fop = &ns_file_operations; inode->i_fop = &ns_file_operations;
inode->i_private = ns; inode->i_private = ns;
dentry = d_alloc_pseudo(mnt->mnt_sb, &empty_name); dentry = d_alloc_anon(mnt->mnt_sb);
if (!dentry) { if (!dentry) {
iput(inode); iput(inode);
return ERR_PTR(-ENOMEM); return ERR_PTR(-ENOMEM);
} }
d_instantiate(dentry, inode); d_instantiate(dentry, inode);
dentry->d_flags |= DCACHE_RCUACCESS;
dentry->d_fsdata = (void *)ns->ops; dentry->d_fsdata = (void *)ns->ops;
d = atomic_long_cmpxchg(&ns->stashed, 0, (unsigned long)dentry); d = atomic_long_cmpxchg(&ns->stashed, 0, (unsigned long)dentry);
if (d) { if (d) {
......
...@@ -176,7 +176,6 @@ struct dentry_operations { ...@@ -176,7 +176,6 @@ struct dentry_operations {
* typically using d_splice_alias. */ * typically using d_splice_alias. */
#define DCACHE_REFERENCED 0x00000040 /* Recently used, don't discard. */ #define DCACHE_REFERENCED 0x00000040 /* Recently used, don't discard. */
#define DCACHE_RCUACCESS 0x00000080 /* Entry has ever been RCU-visible */
#define DCACHE_CANT_MOUNT 0x00000100 #define DCACHE_CANT_MOUNT 0x00000100
#define DCACHE_GENOCIDE 0x00000200 #define DCACHE_GENOCIDE 0x00000200
...@@ -217,6 +216,7 @@ struct dentry_operations { ...@@ -217,6 +216,7 @@ struct dentry_operations {
#define DCACHE_PAR_LOOKUP 0x10000000 /* being looked up (with parent locked shared) */ #define DCACHE_PAR_LOOKUP 0x10000000 /* being looked up (with parent locked shared) */
#define DCACHE_DENTRY_CURSOR 0x20000000 #define DCACHE_DENTRY_CURSOR 0x20000000
#define DCACHE_NORCU 0x40000000 /* No RCU delay for freeing */
extern seqlock_t rename_lock; extern seqlock_t rename_lock;
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment