* [PATCH v5] fs: avoid spurious dentry ref/unref cycle on open
@ 2026-08-03 12:51 Mateusz Guzik
2026-08-28 17:56 ` Mateusz Guzik
2026-08-30 22:05 ` Jori Koolstra
0 siblings, 2 replies; 4+ messages in thread
From: Mateusz Guzik @ 2026-08-03 12:51 UTC (permalink / raw)
To: brauner; +Cc: viro, jack, linux-kernel, linux-fsdevel, Mateusz Guzik
Opening a file grabs a reference on the terminal dentry in
__legitimize_path(), then another one in do_dentry_open() and finally
drops the initial reference in terminate_walk().
That's 2 modifications which don't need to be there -- do_dentry_open()
can consume the already held reference instead.
When benchmarking on a 20-core vm using will-it-scale to open the same
file read-only, the results are (ops/s):
before: 4043375
after: 5629378 (+39%)
Signed-off-by: Mateusz Guzik <mjguzik@gmail.com>
---
The spurious ref cycle remains an issue and it is trivially avoidable,
for the most common case anyway.
Al Viro had a more involved patchset which got stalled, see:
https://lore.kernel.org/linux-fsdevel/20240822003359.GO504335@ZenIV/
I already pointed this out over a year ago when sending v3.
Given lack of traffic on the more involved variant, the nice win from my
simple patch and its overall triviality, I think it should go in. Worst
case, if the more involved work ever gets off the ground it can be
trivially reverted later.
bench is:
$ cat tests/openro3.c
#include <stdlib.h>
#include <unistd.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>
#include <assert.h>
static char tmpfile[] = "/tmp/willitscale.XXXXXX";
char *testcase_description = "Same file open/close read-only";
void testcase_prepare(unsigned long nr_tasks)
{
int fd = mkstemp(tmpfile);
assert(fd >= 0);
close(fd);
}
void testcase(unsigned long long *iterations, unsigned long nr)
{
while (1) {
int fd = open(tmpfile, O_RDONLY);
assert(fd >= 0);
close(fd);
(*iterations)++;
}
}
void testcase_cleanup(void)
{
unlink(tmpfile);
}
v5:
- the extra ref is of course needed, i blame the heatwave for thinking
it is not this time around
v4:
- rebase
- don't grab the extra ref on mnt for truncate
- bench opening things r/o. note perf improved from last year thanks to
other changes
fs/internal.h | 1 +
fs/namei.c | 15 ++++++++++++---
fs/open.c | 27 ++++++++++++++++++++++++++-
3 files changed, 39 insertions(+), 4 deletions(-)
diff --git a/fs/internal.h b/fs/internal.h
index c658c8a5ebd5..9632239036ac 100644
--- a/fs/internal.h
+++ b/fs/internal.h
@@ -205,6 +205,7 @@ int do_fchownat(int dfd, const char __user *filename, uid_t user, gid_t group,
int flag);
int chown_common(const struct path *path, uid_t user, gid_t group);
extern int vfs_open(const struct path *, struct file *);
+int vfs_open_consume(struct path *, struct file *);
/*
* inode.c
diff --git a/fs/namei.c b/fs/namei.c
index 3f9bf103ba12..f71481b9bf8f 100644
--- a/fs/namei.c
+++ b/fs/namei.c
@@ -4789,6 +4789,7 @@ static const char *open_last_lookups(struct nameidata *nd,
static int do_open(struct nameidata *nd,
struct file *file, const struct open_flags *op)
{
+ struct vfsmount *mnt;
struct mnt_idmap *idmap;
int open_flag = op->open_flag;
bool do_truncate;
@@ -4830,11 +4831,17 @@ static int do_open(struct nameidata *nd,
error = mnt_want_write(nd->path.mnt);
if (error)
return error;
+ /*
+ * A dedicated reference is needed because after the call to
+ * vfs_open_consume() we no longer own the reference in nd->path.mnt
+ * while we need to undo write acess below.
+ */
+ mnt = mntget(nd->path.mnt);
do_truncate = true;
}
error = may_open(idmap, &nd->path, acc_mode, open_flag);
if (!error && !(file->f_mode & FMODE_OPENED))
- error = vfs_open(&nd->path, file);
+ error = vfs_open_consume(&nd->path, file);
if (!error)
error = security_file_post_open(file, op->acc_mode);
if (!error && do_truncate)
@@ -4843,8 +4850,10 @@ static int do_open(struct nameidata *nd,
WARN_ON(1);
error = -EINVAL;
}
- if (do_truncate)
- mnt_drop_write(nd->path.mnt);
+ if (do_truncate) {
+ mnt_drop_write(mnt);
+ mntput(mnt);
+ }
return error;
}
diff --git a/fs/open.c b/fs/open.c
index 6b1c14e684a9..2a7697cee00b 100644
--- a/fs/open.c
+++ b/fs/open.c
@@ -931,6 +931,11 @@ static inline int file_get_write_access(struct file *f)
return error;
}
+/*
+ * Populate struct file
+ *
+ * NOTE: it assumes f_path is populated and consumes the caller's reference.
+ */
static int do_dentry_open(struct file *f,
int (*open)(struct inode *, struct file *))
{
@@ -938,7 +943,6 @@ static int do_dentry_open(struct file *f,
struct inode *inode = f->f_path.dentry->d_inode;
int error;
- path_get(&f->f_path);
f->f_inode = inode;
f->f_mapping = inode->i_mapping;
f->f_wb_err = filemap_sample_wb_err(f->f_mapping);
@@ -1055,6 +1059,7 @@ int finish_open(struct file *file, struct dentry *dentry,
BUG_ON(file->f_mode & FMODE_OPENED); /* once it's opened, it's opened */
file->__f_path.dentry = dentry;
+ path_get(&file->f_path);
return do_dentry_open(file, open);
}
EXPORT_SYMBOL(finish_open);
@@ -1098,6 +1103,7 @@ int vfs_open(const struct path *path, struct file *file)
int ret;
file->__f_path = *path;
+ path_get(&file->f_path);
ret = do_dentry_open(file, NULL);
if (!ret) {
/*
@@ -1110,6 +1116,25 @@ int vfs_open(const struct path *path, struct file *file)
return ret;
}
+/**
+ * vfs_open_consume - open the file at the given path and consume the reference
+ * @path: path to open
+ * @file: newly allocated file with f_flag initialized
+ */
+int vfs_open_consume(struct path *path, struct file *file)
+{
+ int ret;
+
+ file->__f_path = *path;
+ path->mnt = NULL;
+ path->dentry = NULL;
+ ret = do_dentry_open(file, NULL);
+ if (!ret) {
+ fsnotify_open(file);
+ }
+ return ret;
+}
+
struct file *dentry_open(const struct path *path, int flags,
const struct cred *cred)
{
--
2.53.0
^ permalink raw reply [flat|nested] 4+ messages in thread* Re: [PATCH v5] fs: avoid spurious dentry ref/unref cycle on open 2026-08-03 12:51 [PATCH v5] fs: avoid spurious dentry ref/unref cycle on open Mateusz Guzik @ 2026-08-28 17:56 ` Mateusz Guzik 2026-08-30 22:05 ` Jori Koolstra 1 sibling, 0 replies; 4+ messages in thread From: Mateusz Guzik @ 2026-08-28 17:56 UTC (permalink / raw) To: brauner; +Cc: viro, jack, linux-kernel, linux-fsdevel any flames on this? it is ridiculous the problem remains imo On Mon, Aug 3, 2026 at 2:51 PM Mateusz Guzik <mjguzik@gmail.com> wrote: > > Opening a file grabs a reference on the terminal dentry in > __legitimize_path(), then another one in do_dentry_open() and finally > drops the initial reference in terminate_walk(). > > That's 2 modifications which don't need to be there -- do_dentry_open() > can consume the already held reference instead. > > When benchmarking on a 20-core vm using will-it-scale to open the same > file read-only, the results are (ops/s): > before: 4043375 > after: 5629378 (+39%) > > Signed-off-by: Mateusz Guzik <mjguzik@gmail.com> > --- > > The spurious ref cycle remains an issue and it is trivially avoidable, > for the most common case anyway. > > Al Viro had a more involved patchset which got stalled, see: > https://lore.kernel.org/linux-fsdevel/20240822003359.GO504335@ZenIV/ > > I already pointed this out over a year ago when sending v3. > > Given lack of traffic on the more involved variant, the nice win from my > simple patch and its overall triviality, I think it should go in. Worst > case, if the more involved work ever gets off the ground it can be > trivially reverted later. > > bench is: > $ cat tests/openro3.c > > #include <stdlib.h> > #include <unistd.h> > #include <sys/types.h> > #include <sys/stat.h> > #include <fcntl.h> > #include <assert.h> > > static char tmpfile[] = "/tmp/willitscale.XXXXXX"; > > char *testcase_description = "Same file open/close read-only"; > > void testcase_prepare(unsigned long nr_tasks) > { > int fd = mkstemp(tmpfile); > > assert(fd >= 0); > close(fd); > } > > void testcase(unsigned long long *iterations, unsigned long nr) > { > while (1) { > int fd = open(tmpfile, O_RDONLY); > assert(fd >= 0); > close(fd); > > (*iterations)++; > } > } > > void testcase_cleanup(void) > { > unlink(tmpfile); > } > > v5: > - the extra ref is of course needed, i blame the heatwave for thinking > it is not this time around > > v4: > - rebase > - don't grab the extra ref on mnt for truncate > - bench opening things r/o. note perf improved from last year thanks to > other changes > > > fs/internal.h | 1 + > fs/namei.c | 15 ++++++++++++--- > fs/open.c | 27 ++++++++++++++++++++++++++- > 3 files changed, 39 insertions(+), 4 deletions(-) > > diff --git a/fs/internal.h b/fs/internal.h > index c658c8a5ebd5..9632239036ac 100644 > --- a/fs/internal.h > +++ b/fs/internal.h > @@ -205,6 +205,7 @@ int do_fchownat(int dfd, const char __user *filename, uid_t user, gid_t group, > int flag); > int chown_common(const struct path *path, uid_t user, gid_t group); > extern int vfs_open(const struct path *, struct file *); > +int vfs_open_consume(struct path *, struct file *); > > /* > * inode.c > diff --git a/fs/namei.c b/fs/namei.c > index 3f9bf103ba12..f71481b9bf8f 100644 > --- a/fs/namei.c > +++ b/fs/namei.c > @@ -4789,6 +4789,7 @@ static const char *open_last_lookups(struct nameidata *nd, > static int do_open(struct nameidata *nd, > struct file *file, const struct open_flags *op) > { > + struct vfsmount *mnt; > struct mnt_idmap *idmap; > int open_flag = op->open_flag; > bool do_truncate; > @@ -4830,11 +4831,17 @@ static int do_open(struct nameidata *nd, > error = mnt_want_write(nd->path.mnt); > if (error) > return error; > + /* > + * A dedicated reference is needed because after the call to > + * vfs_open_consume() we no longer own the reference in nd->path.mnt > + * while we need to undo write acess below. > + */ > + mnt = mntget(nd->path.mnt); > do_truncate = true; > } > error = may_open(idmap, &nd->path, acc_mode, open_flag); > if (!error && !(file->f_mode & FMODE_OPENED)) > - error = vfs_open(&nd->path, file); > + error = vfs_open_consume(&nd->path, file); > if (!error) > error = security_file_post_open(file, op->acc_mode); > if (!error && do_truncate) > @@ -4843,8 +4850,10 @@ static int do_open(struct nameidata *nd, > WARN_ON(1); > error = -EINVAL; > } > - if (do_truncate) > - mnt_drop_write(nd->path.mnt); > + if (do_truncate) { > + mnt_drop_write(mnt); > + mntput(mnt); > + } > return error; > } > > diff --git a/fs/open.c b/fs/open.c > index 6b1c14e684a9..2a7697cee00b 100644 > --- a/fs/open.c > +++ b/fs/open.c > @@ -931,6 +931,11 @@ static inline int file_get_write_access(struct file *f) > return error; > } > > +/* > + * Populate struct file > + * > + * NOTE: it assumes f_path is populated and consumes the caller's reference. > + */ > static int do_dentry_open(struct file *f, > int (*open)(struct inode *, struct file *)) > { > @@ -938,7 +943,6 @@ static int do_dentry_open(struct file *f, > struct inode *inode = f->f_path.dentry->d_inode; > int error; > > - path_get(&f->f_path); > f->f_inode = inode; > f->f_mapping = inode->i_mapping; > f->f_wb_err = filemap_sample_wb_err(f->f_mapping); > @@ -1055,6 +1059,7 @@ int finish_open(struct file *file, struct dentry *dentry, > BUG_ON(file->f_mode & FMODE_OPENED); /* once it's opened, it's opened */ > > file->__f_path.dentry = dentry; > + path_get(&file->f_path); > return do_dentry_open(file, open); > } > EXPORT_SYMBOL(finish_open); > @@ -1098,6 +1103,7 @@ int vfs_open(const struct path *path, struct file *file) > int ret; > > file->__f_path = *path; > + path_get(&file->f_path); > ret = do_dentry_open(file, NULL); > if (!ret) { > /* > @@ -1110,6 +1116,25 @@ int vfs_open(const struct path *path, struct file *file) > return ret; > } > > +/** > + * vfs_open_consume - open the file at the given path and consume the reference > + * @path: path to open > + * @file: newly allocated file with f_flag initialized > + */ > +int vfs_open_consume(struct path *path, struct file *file) > +{ > + int ret; > + > + file->__f_path = *path; > + path->mnt = NULL; > + path->dentry = NULL; > + ret = do_dentry_open(file, NULL); > + if (!ret) { > + fsnotify_open(file); > + } > + return ret; > +} > + > struct file *dentry_open(const struct path *path, int flags, > const struct cred *cred) > { > -- > 2.53.0 > ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [PATCH v5] fs: avoid spurious dentry ref/unref cycle on open 2026-08-03 12:51 [PATCH v5] fs: avoid spurious dentry ref/unref cycle on open Mateusz Guzik 2026-08-28 17:56 ` Mateusz Guzik @ 2026-08-30 22:05 ` Jori Koolstra 2026-09-02 14:01 ` Mateusz Guzik 1 sibling, 1 reply; 4+ messages in thread From: Jori Koolstra @ 2026-08-30 22:05 UTC (permalink / raw) To: Mateusz Guzik; +Cc: brauner, viro, jack, linux-kernel, linux-fsdevel On Mon, Aug 03, 2026 at 02:51:38PM +0200, Mateusz Guzik wrote: > Opening a file grabs a reference on the terminal dentry in > __legitimize_path(), then another one in do_dentry_open() and finally > drops the initial reference in terminate_walk(). > > That's 2 modifications which don't need to be there -- do_dentry_open() > can consume the already held reference instead. > > When benchmarking on a 20-core vm using will-it-scale to open the same > file read-only, the results are (ops/s): > before: 4043375 > after: 5629378 (+39%) > > Signed-off-by: Mateusz Guzik <mjguzik@gmail.com> So, the legitimize path stuff grabs a ref to the nd path which is balanced at terminate_walk(), and you're saying that in the regular open path (not O_TMPFILE or O_PATH), since vfs_open() also grabs a ref, why not reuse that one. Is that what you are saying? It seems then that this issue also plagues do_o_path(): static int do_o_path(struct nameidata *nd, unsigned flags, struct file *file) { struct path path; int error = path_lookupat(nd, flags, &path); if (!error) { audit_inode(nd->name, path.dentry, 0); error = vfs_open(&path, file); path_put(&path); // Not needed? } return error; } > --- > > The spurious ref cycle remains an issue and it is trivially avoidable, > for the most common case anyway. > > Al Viro had a more involved patchset which got stalled, see: > https://lore.kernel.org/linux-fsdevel/20240822003359.GO504335@ZenIV/ > > I already pointed this out over a year ago when sending v3. > > Given lack of traffic on the more involved variant, the nice win from my > simple patch and its overall triviality, I think it should go in. Worst > case, if the more involved work ever gets off the ground it can be > trivially reverted later. > > bench is: > $ cat tests/openro3.c > > #include <stdlib.h> > #include <unistd.h> > #include <sys/types.h> > #include <sys/stat.h> > #include <fcntl.h> > #include <assert.h> > > static char tmpfile[] = "/tmp/willitscale.XXXXXX"; > > char *testcase_description = "Same file open/close read-only"; > > void testcase_prepare(unsigned long nr_tasks) > { > int fd = mkstemp(tmpfile); > > assert(fd >= 0); > close(fd); > } > > void testcase(unsigned long long *iterations, unsigned long nr) > { > while (1) { > int fd = open(tmpfile, O_RDONLY); > assert(fd >= 0); > close(fd); > > (*iterations)++; > } > } > > void testcase_cleanup(void) > { > unlink(tmpfile); > } > > v5: > - the extra ref is of course needed, i blame the heatwave for thinking > it is not this time around > > v4: > - rebase > - don't grab the extra ref on mnt for truncate > - bench opening things r/o. note perf improved from last year thanks to > other changes > > > fs/internal.h | 1 + > fs/namei.c | 15 ++++++++++++--- > fs/open.c | 27 ++++++++++++++++++++++++++- > 3 files changed, 39 insertions(+), 4 deletions(-) > > diff --git a/fs/internal.h b/fs/internal.h > index c658c8a5ebd5..9632239036ac 100644 > --- a/fs/internal.h > +++ b/fs/internal.h > @@ -205,6 +205,7 @@ int do_fchownat(int dfd, const char __user *filename, uid_t user, gid_t group, > int flag); > int chown_common(const struct path *path, uid_t user, gid_t group); > extern int vfs_open(const struct path *, struct file *); > +int vfs_open_consume(struct path *, struct file *); > > /* > * inode.c > diff --git a/fs/namei.c b/fs/namei.c > index 3f9bf103ba12..f71481b9bf8f 100644 > --- a/fs/namei.c > +++ b/fs/namei.c > @@ -4789,6 +4789,7 @@ static const char *open_last_lookups(struct nameidata *nd, > static int do_open(struct nameidata *nd, > struct file *file, const struct open_flags *op) > { > + struct vfsmount *mnt; > struct mnt_idmap *idmap; > int open_flag = op->open_flag; > bool do_truncate; > @@ -4830,11 +4831,17 @@ static int do_open(struct nameidata *nd, > error = mnt_want_write(nd->path.mnt); > if (error) > return error; > + /* > + * A dedicated reference is needed because after the call to > + * vfs_open_consume() we no longer own the reference in nd->path.mnt > + * while we need to undo write acess below. > + */ > + mnt = mntget(nd->path.mnt); Is this needed? The file cannot be closed until after open(2) is done, so how can that ref be lost before reaching mnt_drop_write below? > do_truncate = true; > } > error = may_open(idmap, &nd->path, acc_mode, open_flag); > if (!error && !(file->f_mode & FMODE_OPENED)) > - error = vfs_open(&nd->path, file); > + error = vfs_open_consume(&nd->path, file); > if (!error) > error = security_file_post_open(file, op->acc_mode); > if (!error && do_truncate) > @@ -4843,8 +4850,10 @@ static int do_open(struct nameidata *nd, > WARN_ON(1); > error = -EINVAL; > } > - if (do_truncate) > - mnt_drop_write(nd->path.mnt); > + if (do_truncate) { > + mnt_drop_write(mnt); > + mntput(mnt); > + } > return error; > } > > diff --git a/fs/open.c b/fs/open.c > index 6b1c14e684a9..2a7697cee00b 100644 > --- a/fs/open.c > +++ b/fs/open.c > @@ -931,6 +931,11 @@ static inline int file_get_write_access(struct file *f) > return error; > } > > +/* > + * Populate struct file > + * > + * NOTE: it assumes f_path is populated and consumes the caller's reference. > + */ > static int do_dentry_open(struct file *f, > int (*open)(struct inode *, struct file *)) > { > @@ -938,7 +943,6 @@ static int do_dentry_open(struct file *f, > struct inode *inode = f->f_path.dentry->d_inode; > int error; > > - path_get(&f->f_path); > f->f_inode = inode; > f->f_mapping = inode->i_mapping; > f->f_wb_err = filemap_sample_wb_err(f->f_mapping); > @@ -1055,6 +1059,7 @@ int finish_open(struct file *file, struct dentry *dentry, > BUG_ON(file->f_mode & FMODE_OPENED); /* once it's opened, it's opened */ > > file->__f_path.dentry = dentry; > + path_get(&file->f_path); > return do_dentry_open(file, open); > } > EXPORT_SYMBOL(finish_open); > @@ -1098,6 +1103,7 @@ int vfs_open(const struct path *path, struct file *file) > int ret; > > file->__f_path = *path; > + path_get(&file->f_path); > ret = do_dentry_open(file, NULL); > if (!ret) { > /* > @@ -1110,6 +1116,25 @@ int vfs_open(const struct path *path, struct file *file) > return ret; > } > > +/** > + * vfs_open_consume - open the file at the given path and consume the reference > + * @path: path to open > + * @file: newly allocated file with f_flag initialized > + */ > +int vfs_open_consume(struct path *path, struct file *file) > +{ > + int ret; > + > + file->__f_path = *path; > + path->mnt = NULL; > + path->dentry = NULL; > + ret = do_dentry_open(file, NULL); > + if (!ret) { > + fsnotify_open(file); > + } > + return ret; > +} > + > struct file *dentry_open(const struct path *path, int flags, > const struct cred *cred) > { > -- > 2.53.0 > Thanks, Jori. ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [PATCH v5] fs: avoid spurious dentry ref/unref cycle on open 2026-08-30 22:05 ` Jori Koolstra @ 2026-09-02 14:01 ` Mateusz Guzik 0 siblings, 0 replies; 4+ messages in thread From: Mateusz Guzik @ 2026-09-02 14:01 UTC (permalink / raw) To: Jori Koolstra; +Cc: brauner, viro, jack, linux-kernel, linux-fsdevel On Mon, Aug 31, 2026 at 12:05 AM Jori Koolstra <jkoolstra@xs4all.nl> wrote: > > On Mon, Aug 03, 2026 at 02:51:38PM +0200, Mateusz Guzik wrote: > > Opening a file grabs a reference on the terminal dentry in > > __legitimize_path(), then another one in do_dentry_open() and finally > > drops the initial reference in terminate_walk(). > > > > That's 2 modifications which don't need to be there -- do_dentry_open() > > can consume the already held reference instead. > > > > When benchmarking on a 20-core vm using will-it-scale to open the same > > file read-only, the results are (ops/s): > > before: 4043375 > > after: 5629378 (+39%) > > > > Signed-off-by: Mateusz Guzik <mjguzik@gmail.com> > > So, the legitimize path stuff grabs a ref to the nd path which is > balanced at terminate_walk(), and you're saying that in the regular open > path (not O_TMPFILE or O_PATH), since vfs_open() also grabs a ref, why > not reuse that one. Is that what you are saying? > > It seems then that this issue also plagues do_o_path(): > > static int do_o_path(struct nameidata *nd, unsigned flags, struct file *file) > { > struct path path; > int error = path_lookupat(nd, flags, &path); > if (!error) { > audit_inode(nd->name, path.dentry, 0); > error = vfs_open(&path, file); > path_put(&path); // Not needed? > } > return error; > Indeed. I did not bother looking for other uses. This can be sorted out separately if/when my patch lands or I can add it. > > > --- > > > > The spurious ref cycle remains an issue and it is trivially avoidable, > > for the most common case anyway. > > > > Al Viro had a more involved patchset which got stalled, see: > > https://lore.kernel.org/linux-fsdevel/20240822003359.GO504335@ZenIV/ > > > > I already pointed this out over a year ago when sending v3. > > > > Given lack of traffic on the more involved variant, the nice win from my > > simple patch and its overall triviality, I think it should go in. Worst > > case, if the more involved work ever gets off the ground it can be > > trivially reverted later. > > > > bench is: > > $ cat tests/openro3.c > > > > #include <stdlib.h> > > #include <unistd.h> > > #include <sys/types.h> > > #include <sys/stat.h> > > #include <fcntl.h> > > #include <assert.h> > > > > static char tmpfile[] = "/tmp/willitscale.XXXXXX"; > > > > char *testcase_description = "Same file open/close read-only"; > > > > void testcase_prepare(unsigned long nr_tasks) > > { > > int fd = mkstemp(tmpfile); > > > > assert(fd >= 0); > > close(fd); > > } > > > > void testcase(unsigned long long *iterations, unsigned long nr) > > { > > while (1) { > > int fd = open(tmpfile, O_RDONLY); > > assert(fd >= 0); > > close(fd); > > > > (*iterations)++; > > } > > } > > > > void testcase_cleanup(void) > > { > > unlink(tmpfile); > > } > > > > v5: > > - the extra ref is of course needed, i blame the heatwave for thinking > > it is not this time around > > > > v4: > > - rebase > > - don't grab the extra ref on mnt for truncate > > - bench opening things r/o. note perf improved from last year thanks to > > other changes > > > > > > fs/internal.h | 1 + > > fs/namei.c | 15 ++++++++++++--- > > fs/open.c | 27 ++++++++++++++++++++++++++- > > 3 files changed, 39 insertions(+), 4 deletions(-) > > > > diff --git a/fs/internal.h b/fs/internal.h > > index c658c8a5ebd5..9632239036ac 100644 > > --- a/fs/internal.h > > +++ b/fs/internal.h > > @@ -205,6 +205,7 @@ int do_fchownat(int dfd, const char __user *filename, uid_t user, gid_t group, > > int flag); > > int chown_common(const struct path *path, uid_t user, gid_t group); > > extern int vfs_open(const struct path *, struct file *); > > +int vfs_open_consume(struct path *, struct file *); > > > > /* > > * inode.c > > diff --git a/fs/namei.c b/fs/namei.c > > index 3f9bf103ba12..f71481b9bf8f 100644 > > --- a/fs/namei.c > > +++ b/fs/namei.c > > @@ -4789,6 +4789,7 @@ static const char *open_last_lookups(struct nameidata *nd, > > static int do_open(struct nameidata *nd, > > struct file *file, const struct open_flags *op) > > { > > + struct vfsmount *mnt; > > struct mnt_idmap *idmap; > > int open_flag = op->open_flag; > > bool do_truncate; > > @@ -4830,11 +4831,17 @@ static int do_open(struct nameidata *nd, > > error = mnt_want_write(nd->path.mnt); > > if (error) > > return error; > > + /* > > + * A dedicated reference is needed because after the call to > > + * vfs_open_consume() we no longer own the reference in nd->path.mnt > > + * while we need to undo write acess below. > > + */ > > + mnt = mntget(nd->path.mnt); > > Is this needed? The file cannot be closed until after open(2) is done, > so how can that ref be lost before reaching mnt_drop_write below? > do_dentry_open() whacks the ref on failure and I intentionally did not change that to keep the patch small > > do_truncate = true; > > } > > error = may_open(idmap, &nd->path, acc_mode, open_flag); > > if (!error && !(file->f_mode & FMODE_OPENED)) > > - error = vfs_open(&nd->path, file); > > + error = vfs_open_consume(&nd->path, file); > > if (!error) > > error = security_file_post_open(file, op->acc_mode); > > if (!error && do_truncate) > > @@ -4843,8 +4850,10 @@ static int do_open(struct nameidata *nd, > > WARN_ON(1); > > error = -EINVAL; > > } > > - if (do_truncate) > > - mnt_drop_write(nd->path.mnt); > > + if (do_truncate) { > > + mnt_drop_write(mnt); > > + mntput(mnt); > > + } > > return error; > > } > > > > diff --git a/fs/open.c b/fs/open.c > > index 6b1c14e684a9..2a7697cee00b 100644 > > --- a/fs/open.c > > +++ b/fs/open.c > > @@ -931,6 +931,11 @@ static inline int file_get_write_access(struct file *f) > > return error; > > } > > > > +/* > > + * Populate struct file > > + * > > + * NOTE: it assumes f_path is populated and consumes the caller's reference. > > + */ > > static int do_dentry_open(struct file *f, > > int (*open)(struct inode *, struct file *)) > > { > > @@ -938,7 +943,6 @@ static int do_dentry_open(struct file *f, > > struct inode *inode = f->f_path.dentry->d_inode; > > int error; > > > > - path_get(&f->f_path); > > f->f_inode = inode; > > f->f_mapping = inode->i_mapping; > > f->f_wb_err = filemap_sample_wb_err(f->f_mapping); > > @@ -1055,6 +1059,7 @@ int finish_open(struct file *file, struct dentry *dentry, > > BUG_ON(file->f_mode & FMODE_OPENED); /* once it's opened, it's opened */ > > > > file->__f_path.dentry = dentry; > > + path_get(&file->f_path); > > return do_dentry_open(file, open); > > } > > EXPORT_SYMBOL(finish_open); > > @@ -1098,6 +1103,7 @@ int vfs_open(const struct path *path, struct file *file) > > int ret; > > > > file->__f_path = *path; > > + path_get(&file->f_path); > > ret = do_dentry_open(file, NULL); > > if (!ret) { > > /* > > @@ -1110,6 +1116,25 @@ int vfs_open(const struct path *path, struct file *file) > > return ret; > > } > > > > +/** > > + * vfs_open_consume - open the file at the given path and consume the reference > > + * @path: path to open > > + * @file: newly allocated file with f_flag initialized > > + */ > > +int vfs_open_consume(struct path *path, struct file *file) > > +{ > > + int ret; > > + > > + file->__f_path = *path; > > + path->mnt = NULL; > > + path->dentry = NULL; > > + ret = do_dentry_open(file, NULL); > > + if (!ret) { > > + fsnotify_open(file); > > + } > > + return ret; > > +} > > + > > struct file *dentry_open(const struct path *path, int flags, > > const struct cred *cred) > > { > > -- > > 2.53.0 > > > > Thanks, > Jori. ^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2026-09-02 14:01 UTC | newest] Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2026-08-03 12:51 [PATCH v5] fs: avoid spurious dentry ref/unref cycle on open Mateusz Guzik 2026-08-28 17:56 ` Mateusz Guzik 2026-08-30 22:05 ` Jori Koolstra 2026-09-02 14:01 ` Mateusz Guzik
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®