lkml.org 
[lkml]   [2012]   [Nov]   [28]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [RFC] [PATCH] fix infinite loop; increase robustness of debugfs_remove_recursive [attached test module]
On Tue, Nov 27, 2012 at 10:16:28PM -0500, Steven Rostedt wrote:
> On Fri, 2012-11-23 at 18:15 +0100, Lars Ellenberg wrote:
> > When toying around with debugfs, intentionally trying to break things,
> > I managed to get it into a reproducible endless loop when cleaning up.
> >
> > debugfs_remove_recursive() completely ignores that entries found
> > on ->d_subdirs may already be d_delete()d, but not yet d_kill()ed.
> >
> > In this case, the first two entries found have both been such dentries
> > (d_iname = ".", btw), while later in the list there was still a real,
> > not yet deleted entry.
> >
> > That way, the "goto next_sibling;" did not catch this case,
> > the "break the infinit loop if we fail to remove something"
> > did not catch it either.
> >
> >
> > Disclaimer: I'm not a dentries and inodes guy...
>
> I'm not a dentries or inodes guy either, so I wont comment on the actual
> merits of this patch.

Though you submitted the "next_sibling" code back in 2009, right?
That's why you ended up on Cc.
I suspect that even back then, the real problem was
"already dead but still linked" dentries, as below:

> > Still, I think the "is this child a non-empty subdir" check
> > was just wrong. This is my fix:
> > - if (list_empty(&child->d_subdirs))
> > + if (!simple_emty(child))
>
> "simple_empty"

Of course. I mistyped both lines in the email body :-/
In the patch below it was correct:
- if (!list_empty(&child->d_subdirs)) {
+ if (!simple_empty(child)) {

> > Also, always trying to __debugfs_remove() the first entry found from
> > parent->d_subdirs.next is wrong, we need to skip over any already
> > deleted children. I introduced the debugfs_find_next_positive_child()
> > helper for this.
> >
> > If I understand it correctly, if we do it this way, it can never fail.
> > That is, as long as we can be sure that no new dentries will be created
> > while we are in debugfs_remove_recursive().
> > So the
> > if (debugfs_positive(child)) {
> > /*
> > * Avoid infinite loop if we fail to remove
> > * one dentry.
> > is probably dead code now?
> >
> >
> > As an additional fix, to prevent an access after free and resulting Oops,
> > I serialize dereferencing of attr->get/set and attr->data with d_delete(),
> > using the file->f_dentry->d_parent->d_inode->i_mutex.
> >
> > If this file->f_dentry meanwhile has been deleted, simple_attr_read()
> > and simple_attr_write() now returns -ESTALE. (Any other error code preferences?)
> >
> >
> > With this patch, I was able to
> > cd /sys/debugfs/test-module/some/dir
> > exec 7< some-file
> > rmmod test-module
> > cat <&7
>
> I saw this and thought "hmm, I wonder if the trace_events have issues,
> as they create debugfs directories and files via modules too". I went
> and tried to reproduce but couldn't get passed the rmmod, as the module
> count gets incremented for any open files that the module creates.

Is that so.

> I take it that you didn't add that feature to your test module.

If you use the "debugfs_create_u32" (and similar "_<simple attribute>")
wrappers, you don't get a chance to do so from the attribute callbacks,
all callbacks are predefined, you just submit a pointer.

You mean something like this, or am I missing something?
__module_get();
debugfs_create_u32();
And later
debugfs_remove_recursive();
module_put();

You still have the race between someone opening some attribute file,
you removing the attribute and releasing your refcount, then the other
guy dereferencing that pointer in the read() call.

I think you can only deal with that race,
if you provide your own file_operations for all your attributes.

I'm about to add some such debugfs entries for our driver, and would
like to avoid re-implementing all of the simple_attribute fops.

> > without any infinite loops, hangs, oopses or other problems,
> > and as expected get an ESTALE for the cat.
> >
> > Without the patch, I'll get either an infinite loop and rmmod never
> > terminates, or cat oopses.
> >
> >
> > If you think this is correct, please comment on the FIXME
> > below, and help me write a nice commit message.
> >
> > If you think this is still wrong or even makes things worse,
> > please help me with a proper fix ;-)
> >
> >
> > Patch is against upstream as of yesterday,
> > but looks like it still applies way back into 2009, 2.6.3x,
> > so if it is correct, it may even qualify for the stable branches?
> >
>
> Now, is there any current user of debugfs that is susceptible for this
> bug?

I'm unsure. Grepping for debugfs_create_u32, I suspect that some of the
crypto or wifi modules may be affected.

> I'm not saying that these issues shouldn't be fixed. But I'm also
> concerned about exploits and other things that just a root user may
> accidentally cause harm.

I'm concerned about monitoring/statistic gathering stuff (running as any
user) may hold some debugfs file open,
and race with removal of dynamic debugfs entries.

> If there's current problem then maybe this
> isn't needed for stable. But should probably be fixed for the future.

I attach my "hello-debugfs" module.
# make -C /lib/modules/`uname -r`/build M=$PWD modules

Test case1:
cd /sys/kernel/debug/hello-debugfs/dir1/dir3/
rmmod
will unload the module, but give up on removing
/sys/kernel/debug/hello-debugfs/dir1
You won't be able to insmod a second time.

Test case 2:
cd /sys/kernel/debug/hello-debugfs/dir1/dir3/
exec 7< file7
rmmod
cat <&7
As described above, depending on I don't know what exactly,
the outcome was either some infinite loop, or cat will oops/panic.

Note that all but rmmod may be done as normal user,
e.g. some monitoring or statistics gathering tool,
and the rmmod is just a placeholder for
"any event that triggers removal of dynamic debugfs entries".

Lars

/*
* test module to try and submit one single 4K bio
* with multiple bvecs
*/

#define pr_fmt(fmt) "hello-debugfs: " fmt

#include <linux/kernel.h>
#include <linux/module.h>
#include <linux/debugfs.h>
#include <linux/stat.h>

#define MODULE_NAME "hello-debugfs"
MODULE_VERSION("1.0");

MODULE_AUTHOR("Lars Ellenberg <lars@linbit.com>");
MODULE_DESCRIPTION("hello-debugfs - to excercise debugfs_remove_recursive");
MODULE_LICENSE("GPL");

static struct dentry *debug_dir;

struct hello_entry {
int s_ifmt;
char *d_iname;
u32 value;
};

struct hello_entry tree[] = {
{ S_IFDIR, "dir1" },
{ S_IFREG, "file1", 1 },
{ S_IFREG, "file2", 2 },
{ S_IFREG, "file3", 3 },
{ S_IFREG, "file4", 4 },
{ S_IFDIR, "dir2" },
{ S_IFREG, "file5", 5 },
{ S_IFDIR, /* .. */ },
{ S_IFDIR, "dir3" },
{ S_IFREG, "file6", 6 },
{ S_IFREG, "file7", 7 },
{ S_IFREG, "file8", 8 },
{ S_IFREG, "file9", 9 },
};

int __init hello_debugfs(void)
{
struct dentry *dir;
int i;

debug_dir = debugfs_create_dir("hello-debugfs", NULL);
if (IS_ERR_OR_NULL(debug_dir)) {
pr_info("sorry, failed to create my top level dir\n");
if (debug_dir)
return PTR_ERR(debug_dir);
else
return -EINVAL;
}

dir = debug_dir;
for (i = 0; i < ARRAY_SIZE(tree); i++) {
struct hello_entry *e = tree+i;
switch(e->s_ifmt & S_IFMT) {
default:
continue;
case S_IFDIR:
if (!e->d_iname) {
if (dir != debug_dir)
dir = dir->d_parent;
} else
dir = debugfs_create_dir(e->d_iname, dir);
break;
case S_IFREG:
debugfs_create_u32(e->d_iname, 0444, dir, &e->value);
break;
}
}

return 0;
}

static void good_bye_debugfs(void)
{
debugfs_remove_recursive(debug_dir);
}

module_init(hello_debugfs)
module_exit(good_bye_debugfs)
hello_debugfs-obj := hello-debugfs

obj-m += hello-debugfs.o
\
 
 \ /
  Last update: 2012-11-28 11:21    [W:0.057 / U:3.812 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site