fsnotify_destroy_mark_locked() is almost safe without holding a reference to destroyed mark (the comment before that function is obviously stale as fsnotify_put_mark() isn't called in that function at all). The only thing that may race with mark freeing is update of group mark count so do that before queueing destruction of the mark. Also update the comment to better describe reality. With this change fsnotify_clear_marks_by_group_flags() has no need to grab reference to fsnotify mark so just remove that. Signed-off-by: Jan Kara <jack@xxxxxxxx> --- fs/notify/mark.c | 26 +++++++++++++------------- 1 file changed, 13 insertions(+), 13 deletions(-) diff --git a/fs/notify/mark.c b/fs/notify/mark.c index 3e594ce41010..f261bb4f7e47 100644 --- a/fs/notify/mark.c +++ b/fs/notify/mark.c @@ -122,9 +122,12 @@ u32 fsnotify_recalc_mask(struct hlist_head *head) } /* - * Any time a mark is getting freed we end up here. - * The caller had better be holding a reference to this mark so we don't actually - * do the final put under the mark->lock + * Any time a mark is getting freed we end up here. We remove mark from + * inode / vfsmount list so that it cannot be found by new events, from the + * group list so that functions manipulating group cannot touch it, and queue + * it for further processing by notification kthread. We are still holding + * initial mark reference which gets dropped by the notification kthread once + * it's done destroying the mark. */ void fsnotify_destroy_mark_locked(struct fsnotify_mark *mark, struct fsnotify_group *group) @@ -157,11 +160,6 @@ void fsnotify_destroy_mark_locked(struct fsnotify_mark *mark, if (inode && (mark->flags & FSNOTIFY_MARK_FLAG_OBJECT_PINNED)) iput(inode); - spin_lock(&destroy_lock); - list_add(&mark->g_list, &destroy_list); - spin_unlock(&destroy_lock); - wake_up(&destroy_waitq); - /* * __fsnotify_update_child_dentry_flags(inode); * @@ -173,8 +171,13 @@ void fsnotify_destroy_mark_locked(struct fsnotify_mark *mark, * children and will update all of these flags then. So really this * is just a lazy update (and could be a perf win...) */ - atomic_dec(&group->num_marks); + + /* Queue for further destruction by kthread */ + spin_lock(&destroy_lock); + list_add(&mark->g_list, &destroy_list); + spin_unlock(&destroy_lock); + wake_up(&destroy_waitq); } void fsnotify_destroy_mark(struct fsnotify_mark *mark, @@ -400,11 +403,8 @@ void fsnotify_clear_marks_by_group_flags(struct fsnotify_group *group, mutex_lock_nested(&group->mark_mutex, SINGLE_DEPTH_NESTING); list_for_each_entry_safe(mark, lmark, &group->marks_list, g_list) { - if (mark->flags & flags) { - fsnotify_get_mark(mark); + if (mark->flags & flags) fsnotify_destroy_mark_locked(mark, group); - fsnotify_put_mark(mark); - } } mutex_unlock(&group->mark_mutex); } -- 2.1.4 -- To unsubscribe from this list: send the line "unsubscribe linux-fsdevel" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html