[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-Id: <20200313235357.2646756-52-viro@ZenIV.linux.org.uk>
Date: Fri, 13 Mar 2020 23:53:40 +0000
From: Al Viro <viro@...IV.linux.org.uk>
To: linux-fsdevel@...r.kernel.org
Cc: linux-kernel@...r.kernel.org,
Linus Torvalds <torvalds@...ux-foundation.org>
Subject: [RFC][PATCH v4 52/69] follow_dotdot(): be lazy about changing nd->path
From: Al Viro <viro@...iv.linux.org.uk>
Change nd->path only after the loop is done and only in case we hadn't
ended up finding ourselves in root. Same for NO_XDEV check.
That separates the "check how far back do we need to go through the
mount stack" logics from the rest of .. traversal.
NOTE: path_get/path_put introduced here are temporary. They will
go away later in the series.
Signed-off-by: Al Viro <viro@...iv.linux.org.uk>
---
fs/namei.c | 18 +++++++++++++-----
1 file changed, 13 insertions(+), 5 deletions(-)
diff --git a/fs/namei.c b/fs/namei.c
index e569ccdd3513..bda303090467 100644
--- a/fs/namei.c
+++ b/fs/namei.c
@@ -1748,16 +1748,24 @@ static struct dentry *follow_dotdot(struct nameidata *nd,
if (path_equal(&nd->path, &nd->root))
goto in_root;
if (unlikely(nd->path.dentry == nd->path.mnt->mnt_root)) {
+ struct path path = nd->path;
+ path_get(&path);
while (1) {
- if (!follow_up(&nd->path))
+ if (!follow_up(&path)) {
+ path_put(&path);
goto in_root;
- if (unlikely(nd->flags & LOOKUP_NO_XDEV))
- return ERR_PTR(-EXDEV);
- if (path_equal(&nd->path, &nd->root))
+ }
+ if (path_equal(&path, &nd->root)) {
+ path_put(&path);
goto in_root;
- if (nd->path.dentry != nd->path.mnt->mnt_root)
+ }
+ if (path.dentry != nd->path.mnt->mnt_root)
break;
}
+ path_put(&nd->path);
+ nd->path = path;
+ if (unlikely(nd->flags & LOOKUP_NO_XDEV))
+ return ERR_PTR(-EXDEV);
}
/* rare case of legitimate dget_parent()... */
parent = dget_parent(nd->path.dentry);
--
2.11.0
Powered by blists - more mailing lists