debugfs: implement per-file removal protection
Since commit49d200deaa
("debugfs: prevent access to removed files' private data"), accesses to a file's private data are protected from concurrent removal by covering all file_operations with a SRCU read section and sychronizing with those before returning from debugfs_remove() by means of synchronize_srcu(). As pointed out by Johannes Berg, there are debugfs files with forever blocking file_operations. Their corresponding SRCU read side sections would block any debugfs_remove() forever as well, even unrelated ones. This results in a livelock. Because a remover can't cancel any indefinite blocking within foreign files, this is a problem. Resolve this by introducing support for more granular protection on a per-file basis. This is implemented by introducing an 'active_users' refcount_t to the per-file struct debugfs_fsdata state. At file creation time, it is set to one and a debugfs_remove() will drop that initial reference. The new debugfs_file_get() and debugfs_file_put(), intended to be used in place of former debugfs_use_file_start() and debugfs_use_file_finish(), increment and decrement it respectively. Once the count drops to zero, debugfs_file_put() will signal a completion which is possibly being waited for from debugfs_remove(). Thus, as long as there is a debugfs_file_get() not yet matched by a corresponding debugfs_file_put() around, debugfs_remove() will block. Actual users of debugfs_use_file_start() and -finish() will get converted to the new debugfs_file_get() and debugfs_file_put() by followup patches. Fixes:49d200deaa
("debugfs: prevent access to removed files' private data") Reported-by: Johannes Berg <johannes@sipsolutions.net> Signed-off-by: Nicolai Stange <nicstange@gmail.com> Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
This commit is contained in:

committed by
Greg Kroah-Hartman

parent
7c8d469877
commit
e9117a5a4b
@@ -374,6 +374,7 @@ static struct dentry *__debugfs_create_file(const char *name, umode_t mode,
|
||||
|
||||
inode->i_fop = proxy_fops;
|
||||
fsd->real_fops = real_fops;
|
||||
refcount_set(&fsd->active_users, 1);
|
||||
dentry->d_fsdata = fsd;
|
||||
|
||||
d_instantiate(dentry, inode);
|
||||
@@ -631,18 +632,34 @@ struct dentry *debugfs_create_symlink(const char *name, struct dentry *parent,
|
||||
}
|
||||
EXPORT_SYMBOL_GPL(debugfs_create_symlink);
|
||||
|
||||
static void __debugfs_remove_file(struct dentry *dentry, struct dentry *parent)
|
||||
{
|
||||
struct debugfs_fsdata *fsd;
|
||||
|
||||
simple_unlink(d_inode(parent), dentry);
|
||||
d_delete(dentry);
|
||||
fsd = dentry->d_fsdata;
|
||||
init_completion(&fsd->active_users_drained);
|
||||
if (!refcount_dec_and_test(&fsd->active_users))
|
||||
wait_for_completion(&fsd->active_users_drained);
|
||||
}
|
||||
|
||||
static int __debugfs_remove(struct dentry *dentry, struct dentry *parent)
|
||||
{
|
||||
int ret = 0;
|
||||
|
||||
if (simple_positive(dentry)) {
|
||||
dget(dentry);
|
||||
if (d_is_dir(dentry))
|
||||
ret = simple_rmdir(d_inode(parent), dentry);
|
||||
else
|
||||
simple_unlink(d_inode(parent), dentry);
|
||||
if (!ret)
|
||||
d_delete(dentry);
|
||||
if (!d_is_reg(dentry)) {
|
||||
if (d_is_dir(dentry))
|
||||
ret = simple_rmdir(d_inode(parent), dentry);
|
||||
else
|
||||
simple_unlink(d_inode(parent), dentry);
|
||||
if (!ret)
|
||||
d_delete(dentry);
|
||||
} else {
|
||||
__debugfs_remove_file(dentry, parent);
|
||||
}
|
||||
dput(dentry);
|
||||
}
|
||||
return ret;
|
||||
|
Reference in New Issue
Block a user