Commit ea5aac6f authored by Linus Torvalds's avatar Linus Torvalds

Merge tag 'fs.v6.3' of git://git.kernel.org/pub/scm/linux/kernel/git/vfs/idmapping

Pull vfs hardening update from Christian Brauner:
 "Jan pointed out that during shutdown both filp_close() and super block
  destruction will use basic printk logging when bugs are detected. This
  causes issues in a few scenarios:

   - Tools like syzkaller cannot figure out that the logged message
     indicates a bug.

   - Users that explicitly opt in to have the kernel bug on data
     corruption by selecting CONFIG_BUG_ON_DATA_CORRUPTION should see
     the kernel crash when they did actually select that option.

   - When there are busy inodes after the superblock is shut down later
     access to such a busy inodes walks through freed memory. It would
     be better to cleanly crash instead.

  All of this can be addressed by using the already existing
  CHECK_DATA_CORRUPTION() macro in these places when kernel bugs are
  detected. Its logging improvement is useful for all users.

  Otherwise this only has a meaningful behavioral effect when users do
  select CONFIG_BUG_ON_DATA_CORRUPTION which means this is backward
  compatible for regular users"

* tag 'fs.v6.3' of git://git.kernel.org/pub/scm/linux/kernel/git/vfs/idmapping:
  fs: Use CHECK_DATA_CORRUPTION() when kernel bugs are detected
parents 05e6295f 47d58691
...@@ -1413,8 +1413,9 @@ int filp_close(struct file *filp, fl_owner_t id) ...@@ -1413,8 +1413,9 @@ int filp_close(struct file *filp, fl_owner_t id)
{ {
int retval = 0; int retval = 0;
if (!file_count(filp)) { if (CHECK_DATA_CORRUPTION(file_count(filp) == 0,
printk(KERN_ERR "VFS: Close: file count is 0\n"); "VFS: Close: file count is 0 (f_op=%ps)",
filp->f_op)) {
return 0; return 0;
} }
......
...@@ -491,10 +491,23 @@ void generic_shutdown_super(struct super_block *sb) ...@@ -491,10 +491,23 @@ void generic_shutdown_super(struct super_block *sb)
if (sop->put_super) if (sop->put_super)
sop->put_super(sb); sop->put_super(sb);
if (!list_empty(&sb->s_inodes)) { if (CHECK_DATA_CORRUPTION(!list_empty(&sb->s_inodes),
printk("VFS: Busy inodes after unmount of %s. " "VFS: Busy inodes after unmount of %s (%s)",
"Self-destruct in 5 seconds. Have a nice day...\n", sb->s_id, sb->s_type->name)) {
sb->s_id); /*
* Adding a proper bailout path here would be hard, but
* we can at least make it more likely that a later
* iput_final() or such crashes cleanly.
*/
struct inode *inode;
spin_lock(&sb->s_inode_list_lock);
list_for_each_entry(inode, &sb->s_inodes, i_sb_list) {
inode->i_op = VFS_PTR_POISON;
inode->i_sb = VFS_PTR_POISON;
inode->i_mapping = VFS_PTR_POISON;
}
spin_unlock(&sb->s_inode_list_lock);
} }
} }
spin_lock(&sb_lock); spin_lock(&sb_lock);
......
...@@ -84,4 +84,7 @@ ...@@ -84,4 +84,7 @@
/********** kernel/bpf/ **********/ /********** kernel/bpf/ **********/
#define BPF_PTR_POISON ((void *)(0xeB9FUL + POISON_POINTER_DELTA)) #define BPF_PTR_POISON ((void *)(0xeB9FUL + POISON_POINTER_DELTA))
/********** VFS **********/
#define VFS_PTR_POISON ((void *)(0xF5 + POISON_POINTER_DELTA))
#endif #endif
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