fs/ceph: add a bunch of missing ceph_path_info initializers
Subsystems (2)
PATCH 1/1 fs/ceph: add a bunch of missing ceph_path_info initializers
ceph_mdsc_build_path() must be called with a zero-initialized ceph_path_info parameter, or else the following ceph_mdsc_free_path_info() may crash.
Example crash (on Linux 6.18.12):
virt_to_cache: Object is not a Slab page!
WARNING: CPU: 184 PID: 2871736 at mm/slub.c:6732 kmem_cache_free+0x316/0x400 [...] Call Trace: [...] ceph_open+0x13d/0x3e0 do_dentry_open+0x134/0x480 vfs_open+0x2a/0xe0 path_openat+0x9a3/0x1160 [...] cache_from_obj: Wrong slab cache. names_cache but object is from ceph_inode_info WARNING: CPU: 184 PID: 2871736 at mm/slub.c:6746 kmem_cache_free+0x2dd/0x400 [...] kernel BUG at mm/slub.c:634! Oops: invalid opcode: 0000 [#1] SMP NOPTI RIP: 0010:__slab_free+0x1a4/0x350
Some of the ceph_mdsc_build_path() callers had initializers, but others had not, even though they were all added by
commit 15f519e9f883 ("ceph: fix race condition validating r_parent before applying state").
The ones without initializer are suspectible to random crashes. (I can imagine it could even be possible to exploit this bug to elevate privileges.)
Unfortunately, these Ceph functions are undocumented and its semantics can only be derived from the code. I see that ceph_mdsc_build_path() initializes the structure only on success, but not on error.
Calling ceph_mdsc_free_path_info() after a failed ceph_mdsc_build_path() call does not even make sense, but that's what all callers do, and for it to be safe, the structure must be zero-initialized. The least intrusive approach to fix this is therefore to add initializers everywhere.
--- fs/ceph/debugfs.c | 4 ++-- fs/ceph/dir.c | 2 +- fs/ceph/file.c | 4 ++-- fs/ceph/inode.c | 2 +- 4 files changed, 6 insertions(+), 6 deletions(-)
fs/ceph/debugfs.c +2 -2
@@ -79,7 +79,7 @@ static int mdsc_show(struct seq_file *s, void *p)if (req->r_inode) {seq_printf (s," #%llx" ,ceph_ino (req->r_inode)); }else if (req->r_dentry) { -struct ceph_path_info path_info; +struct ceph_path_info path_info = {0 }; path =ceph_mdsc_build_path (mdsc, req->r_dentry, &path_info,0 );if (IS_ERR (path)) path =NULL ;
@@ -98,7 +98,7 @@ static int mdsc_show(struct seq_file *s, void *p) }if (req->r_old_dentry) { -struct ceph_path_info path_info; +struct ceph_path_info path_info = {0 }; path =ceph_mdsc_build_path (mdsc, req->r_old_dentry, &path_info,0 );if (IS_ERR (path)) path =NULL ;
fs/ceph/dir.c +1 -1
@@ -1363,7 +1363,7 @@ static int ceph_unlink(struct inode *dir, struct dentry *dentry)if (!dn) { try_async = false; }else { -struct ceph_path_info path_info; +struct ceph_path_info path_info = {0 }; path =ceph_mdsc_build_path (mdsc, dn, &path_info,0 );if (IS_ERR (path)) { try_async = false;
fs/ceph/file.c +2 -2
@@ -397,7 +397,7 @@ int ceph_open(struct inode *inode, struct file *file)if (!dentry) { do_sync = true; }else { -struct ceph_path_info path_info; +struct ceph_path_info path_info = {0 }; path =ceph_mdsc_build_path (mdsc, dentry, &path_info,0 );if (IS_ERR (path)) { do_sync = true;
@@ -807,7 +807,7 @@ int ceph_atomic_open(struct inode *dir, struct dentry *dentry,if (!dn) { try_async = false; }else { -struct ceph_path_info path_info; +struct ceph_path_info path_info = {0 }; path =ceph_mdsc_build_path (mdsc, dn, &path_info,0 );if (IS_ERR (path)) { try_async = false;
fs/ceph/inode.c +1 -1
@@ -2551,7 +2551,7 @@ int __ceph_setattr(struct mnt_idmap *idmap, struct inode *inode,if (!dentry) { do_sync = true; }else { -struct ceph_path_info path_info; +struct ceph_path_info path_info = {0 }; path =ceph_mdsc_build_path (mdsc, dentry, &path_info,0 );if (IS_ERR (path)) { do_sync = true;
Signature · 1 line
2.47.3
Quoted 113 lines · Max Kellermann
ceph_mdsc_build_path()must be called with a zero-initializedceph_path_infoparameter, or else the followingceph_mdsc_free_path_info()may crash.Example crash (on Linux 6.18.12):
virt_to_cache: Object is not a Slab page!WARNING: CPU: 184 PID: 2871736 at mm/slub.c:6732 kmem_cache_free+0x316/0x400 [...] Call Trace: [...] ceph_open+0x13d/0x3e0 do_dentry_open+0x134/0x480 vfs_open+0x2a/0xe0 path_openat+0x9a3/0x1160 [...] cache_from_obj: Wrong slab cache. names_cache but object is from ceph_inode_info WARNING: CPU: 184 PID: 2871736 at mm/slub.c:6746 kmem_cache_free+0x2dd/0x400 [...] kernel BUG at mm/slub.c:634! Oops: invalid opcode: 0000 [#1] SMP NOPTI RIP: 0010:__slab_free+0x1a4/0x350Some of the
ceph_mdsc_build_path()callers had initializers, but others had not, even though they were all added by
commit15f519e9f883("ceph: fix race condition validatingr_parentbefore applying state").
The ones without initializer are suspectible to random crashes. (I can imagine it could even be possible to exploit this bug to elevate privileges.)Unfortunately, these Ceph functions are undocumented and its semantics can only be derived from the code. I see that
ceph_mdsc_build_path()initializes the structure only on success, but not on error.Calling
ceph_mdsc_free_path_info()after a failedceph_mdsc_build_path()call does not even make sense, but that's what all callers do, and for it to be safe, the structure must be zero-initialized. The least intrusive approach to fix this is therefore to add initializers everywhere.Fixes 15f519e9f883 ("ceph: fix race condition validating r_parent before applying state")Signed-off-by Max Kellermann <[email protected]>--- fs/ceph/debugfs.c | 4 ++-- fs/ceph/dir.c | 2 +- fs/ceph/file.c | 4 ++-- fs/ceph/inode.c | 2 +- 4 files changed, 6 insertions(+), 6 deletions(-)fs/ceph/debugfs.c +2
-2@@ -79,7 +79,7 @@ static int mdsc_show(struct seq_file *s, void *p)if (req->r_inode) {seq_printf (s," #%llx" ,ceph_ino (req->r_inode)); }else if (req->r_dentry) { -struct ceph_path_info path_info; +struct ceph_path_info path_info = {0 }; path =ceph_mdsc_build_path (mdsc, req->r_dentry, &path_info,0 );if (IS_ERR (path)) path =NULL ;@@ -98,7 +98,7 @@ static int mdsc_show(struct seq_file *s, void *p) }if (req->r_old_dentry) { -struct ceph_path_info path_info; +struct ceph_path_info path_info = {0 }; path =ceph_mdsc_build_path (mdsc, req->r_old_dentry, &path_info,0 );if (IS_ERR (path)) path =NULL ;fs/ceph/dir.c +1
-1@@ -1363,7 +1363,7 @@ static int ceph_unlink(struct inode *dir, struct dentry *dentry)if (!dn) { try_async = false; }else { -struct ceph_path_info path_info; +struct ceph_path_info path_info = {0 }; path =ceph_mdsc_build_path (mdsc, dn, &path_info,0 );if (IS_ERR (path)) { try_async = false;fs/ceph/file.c +2
-2@@ -397,7 +397,7 @@ int ceph_open(struct inode *inode, struct file *file)if (!dentry) { do_sync = true; }else { -struct ceph_path_info path_info; +struct ceph_path_info path_info = {0 }; path =ceph_mdsc_build_path (mdsc, dentry, &path_info,0 );if (IS_ERR (path)) { do_sync = true;@@ -807,7 +807,7 @@ int ceph_atomic_open(struct inode *dir, struct dentry *dentry,if (!dn) { try_async = false; }else { -struct ceph_path_info path_info; +struct ceph_path_info path_info = {0 }; path =ceph_mdsc_build_path (mdsc, dn, &path_info,0 );if (IS_ERR (path)) { try_async = false;fs/ceph/inode.c +0
-0
fs/ceph/inode.c int __ceph_setattr(struct mnt_idmap *idmap, struct inode *inode, · line 2557
Quoted 8 lines
fs/ceph/inode.c +1
-1@@ -2551,7 +2551,7 @@ int __ceph_setattr(struct mnt_idmap *idmap, struct inode *inode,if (!dentry) { do_sync = true; }else { -struct ceph_path_info path_info; +struct ceph_path_info path_info = {0 }; path =ceph_mdsc_build_path (mdsc, dentry, &path_info,0 );if (IS_ERR (path)) { do_sync = true;
Looks good.
Thanks,
Slava.