Thomas Gleixner | c82ee6d | 2019-05-19 15:51:48 +0200 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0-or-later |
Eric Paris | 9058652 | 2009-05-21 17:01:20 -0400 | [diff] [blame] | 2 | /* |
| 3 | * Copyright (C) 2008 Red Hat, Inc., Eric Paris <eparis@redhat.com> |
Eric Paris | 9058652 | 2009-05-21 17:01:20 -0400 | [diff] [blame] | 4 | */ |
| 5 | |
Eric Paris | a2d8bc6 | 2009-05-21 17:01:37 -0400 | [diff] [blame] | 6 | /* |
| 7 | * Basic idea behind the notification queue: An fsnotify group (like inotify) |
Adam Buchbinder | b3834be | 2012-09-19 21:48:02 -0400 | [diff] [blame] | 8 | * sends the userspace notification about events asynchronously some time after |
Eric Paris | a2d8bc6 | 2009-05-21 17:01:37 -0400 | [diff] [blame] | 9 | * the event happened. When inotify gets an event it will need to add that |
| 10 | * event to the group notify queue. Since a single event might need to be on |
| 11 | * multiple group's notification queues we can't add the event directly to each |
| 12 | * queue and instead add a small "event_holder" to each queue. This event_holder |
| 13 | * has a pointer back to the original event. Since the majority of events are |
| 14 | * going to end up on one, and only one, notification queue we embed one |
| 15 | * event_holder into each event. This means we have a single allocation instead |
| 16 | * of always needing two. If the embedded event_holder is already in use by |
| 17 | * another group a new event_holder (from fsnotify_event_holder_cachep) will be |
| 18 | * allocated and used. |
| 19 | */ |
| 20 | |
Eric Paris | 9058652 | 2009-05-21 17:01:20 -0400 | [diff] [blame] | 21 | #include <linux/fs.h> |
| 22 | #include <linux/init.h> |
| 23 | #include <linux/kernel.h> |
| 24 | #include <linux/list.h> |
Eric Paris | 47882c6 | 2009-05-21 17:01:47 -0400 | [diff] [blame] | 25 | #include <linux/module.h> |
Eric Paris | 9058652 | 2009-05-21 17:01:20 -0400 | [diff] [blame] | 26 | #include <linux/mount.h> |
| 27 | #include <linux/mutex.h> |
| 28 | #include <linux/namei.h> |
| 29 | #include <linux/path.h> |
| 30 | #include <linux/slab.h> |
| 31 | #include <linux/spinlock.h> |
| 32 | |
Arun Sharma | 60063497 | 2011-07-26 16:09:06 -0700 | [diff] [blame] | 33 | #include <linux/atomic.h> |
Eric Paris | 9058652 | 2009-05-21 17:01:20 -0400 | [diff] [blame] | 34 | |
| 35 | #include <linux/fsnotify_backend.h> |
| 36 | #include "fsnotify.h" |
| 37 | |
Eric Paris | 47882c6 | 2009-05-21 17:01:47 -0400 | [diff] [blame] | 38 | static atomic_t fsnotify_sync_cookie = ATOMIC_INIT(0); |
| 39 | |
| 40 | /** |
| 41 | * fsnotify_get_cookie - return a unique cookie for use in synchronizing events. |
| 42 | * Called from fsnotify_move, which is inlined into filesystem modules. |
| 43 | */ |
| 44 | u32 fsnotify_get_cookie(void) |
| 45 | { |
| 46 | return atomic_inc_return(&fsnotify_sync_cookie); |
| 47 | } |
| 48 | EXPORT_SYMBOL_GPL(fsnotify_get_cookie); |
Eric Paris | a2d8bc6 | 2009-05-21 17:01:37 -0400 | [diff] [blame] | 49 | |
Jan Kara | 7053aee | 2014-01-21 15:48:14 -0800 | [diff] [blame] | 50 | void fsnotify_destroy_event(struct fsnotify_group *group, |
| 51 | struct fsnotify_event *event) |
Eric Paris | 9058652 | 2009-05-21 17:01:20 -0400 | [diff] [blame] | 52 | { |
Jan Kara | 7053aee | 2014-01-21 15:48:14 -0800 | [diff] [blame] | 53 | /* Overflow events are per-group and we don't want to free them */ |
Amir Goldstein | a0a92d2 | 2019-01-10 19:04:31 +0200 | [diff] [blame] | 54 | if (!event || event == group->overflow_event) |
Eric Paris | 9058652 | 2009-05-21 17:01:20 -0400 | [diff] [blame] | 55 | return; |
Jan Kara | 0b1b865 | 2016-10-07 16:56:58 -0700 | [diff] [blame] | 56 | /* |
| 57 | * If the event is still queued, we have a problem... Do an unreliable |
| 58 | * lockless check first to avoid locking in the common case. The |
| 59 | * locking may be necessary for permission events which got removed |
| 60 | * from the list by a different CPU than the one freeing the event. |
| 61 | */ |
| 62 | if (!list_empty(&event->list)) { |
| 63 | spin_lock(&group->notification_lock); |
| 64 | WARN_ON(!list_empty(&event->list)); |
| 65 | spin_unlock(&group->notification_lock); |
| 66 | } |
Gabriel Krisman Bertazi | 330ae77 | 2021-10-25 16:27:27 -0300 | [diff] [blame] | 67 | group->ops->free_event(group, event); |
Eric Paris | e4aff11 | 2009-05-21 17:01:50 -0400 | [diff] [blame] | 68 | } |
| 69 | |
| 70 | /* |
Amir Goldstein | 94e00d2 | 2021-03-04 12:48:25 +0200 | [diff] [blame] | 71 | * Try to add an event to the notification queue. |
| 72 | * The group can later pull this event off the queue to deal with. |
| 73 | * The group can use the @merge hook to merge the event with a queued event. |
| 74 | * The group can use the @insert hook to insert the event into hash table. |
| 75 | * The function returns: |
| 76 | * 0 if the event was added to a queue |
| 77 | * 1 if the event was merged with some other queued event |
Jan Kara | 12703db | 2016-09-19 14:44:27 -0700 | [diff] [blame] | 78 | * 2 if the event was not queued - either the queue of events has overflown |
Amir Goldstein | 94e00d2 | 2021-03-04 12:48:25 +0200 | [diff] [blame] | 79 | * or the group is shutting down. |
Eric Paris | a2d8bc6 | 2009-05-21 17:01:37 -0400 | [diff] [blame] | 80 | */ |
Gabriel Krisman Bertazi | 1ad03c3 | 2021-10-25 16:27:24 -0300 | [diff] [blame] | 81 | int fsnotify_insert_event(struct fsnotify_group *group, |
| 82 | struct fsnotify_event *event, |
| 83 | int (*merge)(struct fsnotify_group *, |
| 84 | struct fsnotify_event *), |
| 85 | void (*insert)(struct fsnotify_group *, |
| 86 | struct fsnotify_event *)) |
Eric Paris | a2d8bc6 | 2009-05-21 17:01:37 -0400 | [diff] [blame] | 87 | { |
Jan Kara | 83c0e1b | 2014-01-28 18:53:22 +0100 | [diff] [blame] | 88 | int ret = 0; |
Eric Paris | a2d8bc6 | 2009-05-21 17:01:37 -0400 | [diff] [blame] | 89 | struct list_head *list = &group->notification_list; |
Eric Paris | e4aff11 | 2009-05-21 17:01:50 -0400 | [diff] [blame] | 90 | |
Jan Kara | 7053aee | 2014-01-21 15:48:14 -0800 | [diff] [blame] | 91 | pr_debug("%s: group=%p event=%p\n", __func__, group, event); |
Eric Paris | a2d8bc6 | 2009-05-21 17:01:37 -0400 | [diff] [blame] | 92 | |
Jan Kara | c21dbe2 | 2016-10-07 16:56:52 -0700 | [diff] [blame] | 93 | spin_lock(&group->notification_lock); |
Eric Paris | a2d8bc6 | 2009-05-21 17:01:37 -0400 | [diff] [blame] | 94 | |
Jan Kara | 12703db | 2016-09-19 14:44:27 -0700 | [diff] [blame] | 95 | if (group->shutdown) { |
Jan Kara | c21dbe2 | 2016-10-07 16:56:52 -0700 | [diff] [blame] | 96 | spin_unlock(&group->notification_lock); |
Jan Kara | 12703db | 2016-09-19 14:44:27 -0700 | [diff] [blame] | 97 | return 2; |
| 98 | } |
| 99 | |
Jan Kara | 7b1f641 | 2018-02-21 15:07:52 +0100 | [diff] [blame] | 100 | if (event == group->overflow_event || |
| 101 | group->q_len >= group->max_events) { |
Jan Kara | 482ef06 | 2014-02-21 19:07:54 +0100 | [diff] [blame] | 102 | ret = 2; |
Jan Kara | 7053aee | 2014-01-21 15:48:14 -0800 | [diff] [blame] | 103 | /* Queue overflow event only if it isn't already queued */ |
Jan Kara | ff57cd5 | 2014-02-21 19:14:11 +0100 | [diff] [blame] | 104 | if (!list_empty(&group->overflow_event->list)) { |
Jan Kara | c21dbe2 | 2016-10-07 16:56:52 -0700 | [diff] [blame] | 105 | spin_unlock(&group->notification_lock); |
Jan Kara | 482ef06 | 2014-02-21 19:07:54 +0100 | [diff] [blame] | 106 | return ret; |
| 107 | } |
Jan Kara | ff57cd5 | 2014-02-21 19:14:11 +0100 | [diff] [blame] | 108 | event = group->overflow_event; |
Jan Kara | 482ef06 | 2014-02-21 19:07:54 +0100 | [diff] [blame] | 109 | goto queue; |
Eric Paris | e4aff11 | 2009-05-21 17:01:50 -0400 | [diff] [blame] | 110 | } |
Eric Paris | a2d8bc6 | 2009-05-21 17:01:37 -0400 | [diff] [blame] | 111 | |
Eric Paris | 74766bb | 2009-12-17 21:24:21 -0500 | [diff] [blame] | 112 | if (!list_empty(list) && merge) { |
Amir Goldstein | 94e00d2 | 2021-03-04 12:48:25 +0200 | [diff] [blame] | 113 | ret = merge(group, event); |
Jan Kara | 83c0e1b | 2014-01-28 18:53:22 +0100 | [diff] [blame] | 114 | if (ret) { |
Jan Kara | c21dbe2 | 2016-10-07 16:56:52 -0700 | [diff] [blame] | 115 | spin_unlock(&group->notification_lock); |
Jan Kara | 83c0e1b | 2014-01-28 18:53:22 +0100 | [diff] [blame] | 116 | return ret; |
Eric Paris | f70ab54 | 2010-07-28 10:18:37 -0400 | [diff] [blame] | 117 | } |
Eric Paris | a2d8bc6 | 2009-05-21 17:01:37 -0400 | [diff] [blame] | 118 | } |
| 119 | |
Jan Kara | 482ef06 | 2014-02-21 19:07:54 +0100 | [diff] [blame] | 120 | queue: |
Eric Paris | a2d8bc6 | 2009-05-21 17:01:37 -0400 | [diff] [blame] | 121 | group->q_len++; |
Jan Kara | 7053aee | 2014-01-21 15:48:14 -0800 | [diff] [blame] | 122 | list_add_tail(&event->list, list); |
Amir Goldstein | 94e00d2 | 2021-03-04 12:48:25 +0200 | [diff] [blame] | 123 | if (insert) |
| 124 | insert(group, event); |
Jan Kara | c21dbe2 | 2016-10-07 16:56:52 -0700 | [diff] [blame] | 125 | spin_unlock(&group->notification_lock); |
Eric Paris | a2d8bc6 | 2009-05-21 17:01:37 -0400 | [diff] [blame] | 126 | |
| 127 | wake_up(&group->notification_waitq); |
Eric Paris | 0a6b6bd | 2011-10-14 17:43:39 -0400 | [diff] [blame] | 128 | kill_fasync(&group->fsn_fa, SIGIO, POLL_IN); |
Jan Kara | 83c0e1b | 2014-01-28 18:53:22 +0100 | [diff] [blame] | 129 | return ret; |
Eric Paris | a2d8bc6 | 2009-05-21 17:01:37 -0400 | [diff] [blame] | 130 | } |
| 131 | |
Jan Kara | f7db89a | 2019-01-09 13:15:23 +0100 | [diff] [blame] | 132 | void fsnotify_remove_queued_event(struct fsnotify_group *group, |
| 133 | struct fsnotify_event *event) |
| 134 | { |
| 135 | assert_spin_locked(&group->notification_lock); |
| 136 | /* |
| 137 | * We need to init list head for the case of overflow event so that |
| 138 | * check in fsnotify_add_event() works |
| 139 | */ |
| 140 | list_del_init(&event->list); |
| 141 | group->q_len--; |
| 142 | } |
| 143 | |
Eric Paris | a2d8bc6 | 2009-05-21 17:01:37 -0400 | [diff] [blame] | 144 | /* |
Amir Goldstein | 6f73171 | 2021-03-04 12:48:22 +0200 | [diff] [blame] | 145 | * Return the first event on the notification list without removing it. |
| 146 | * Returns NULL if the list is empty. |
Eric Paris | a2d8bc6 | 2009-05-21 17:01:37 -0400 | [diff] [blame] | 147 | */ |
Jan Kara | 8ba8fa91 | 2014-08-06 16:03:26 -0700 | [diff] [blame] | 148 | struct fsnotify_event *fsnotify_peek_first_event(struct fsnotify_group *group) |
Eric Paris | a2d8bc6 | 2009-05-21 17:01:37 -0400 | [diff] [blame] | 149 | { |
Jan Kara | ed27264 | 2016-10-07 16:57:01 -0700 | [diff] [blame] | 150 | assert_spin_locked(&group->notification_lock); |
Eric Paris | a2d8bc6 | 2009-05-21 17:01:37 -0400 | [diff] [blame] | 151 | |
Amir Goldstein | 6f73171 | 2021-03-04 12:48:22 +0200 | [diff] [blame] | 152 | if (fsnotify_notify_queue_is_empty(group)) |
| 153 | return NULL; |
| 154 | |
Jan Kara | 7053aee | 2014-01-21 15:48:14 -0800 | [diff] [blame] | 155 | return list_first_entry(&group->notification_list, |
| 156 | struct fsnotify_event, list); |
Eric Paris | a2d8bc6 | 2009-05-21 17:01:37 -0400 | [diff] [blame] | 157 | } |
| 158 | |
| 159 | /* |
Amir Goldstein | 6f73171 | 2021-03-04 12:48:22 +0200 | [diff] [blame] | 160 | * Remove and return the first event from the notification list. It is the |
| 161 | * responsibility of the caller to destroy the obtained event |
| 162 | */ |
| 163 | struct fsnotify_event *fsnotify_remove_first_event(struct fsnotify_group *group) |
| 164 | { |
| 165 | struct fsnotify_event *event = fsnotify_peek_first_event(group); |
| 166 | |
| 167 | if (!event) |
| 168 | return NULL; |
| 169 | |
| 170 | pr_debug("%s: group=%p event=%p\n", __func__, group, event); |
| 171 | |
| 172 | fsnotify_remove_queued_event(group, event); |
| 173 | |
| 174 | return event; |
| 175 | } |
| 176 | |
| 177 | /* |
Eric Paris | a2d8bc6 | 2009-05-21 17:01:37 -0400 | [diff] [blame] | 178 | * Called when a group is being torn down to clean up any outstanding |
| 179 | * event notifications. |
| 180 | */ |
| 181 | void fsnotify_flush_notify(struct fsnotify_group *group) |
| 182 | { |
| 183 | struct fsnotify_event *event; |
| 184 | |
Jan Kara | c21dbe2 | 2016-10-07 16:56:52 -0700 | [diff] [blame] | 185 | spin_lock(&group->notification_lock); |
Eric Paris | a2d8bc6 | 2009-05-21 17:01:37 -0400 | [diff] [blame] | 186 | while (!fsnotify_notify_queue_is_empty(group)) { |
Jan Kara | 8ba8fa91 | 2014-08-06 16:03:26 -0700 | [diff] [blame] | 187 | event = fsnotify_remove_first_event(group); |
Jan Kara | c21dbe2 | 2016-10-07 16:56:52 -0700 | [diff] [blame] | 188 | spin_unlock(&group->notification_lock); |
Jan Kara | 7053aee | 2014-01-21 15:48:14 -0800 | [diff] [blame] | 189 | fsnotify_destroy_event(group, event); |
Jan Kara | c21dbe2 | 2016-10-07 16:56:52 -0700 | [diff] [blame] | 190 | spin_lock(&group->notification_lock); |
Eric Paris | a2d8bc6 | 2009-05-21 17:01:37 -0400 | [diff] [blame] | 191 | } |
Jan Kara | c21dbe2 | 2016-10-07 16:56:52 -0700 | [diff] [blame] | 192 | spin_unlock(&group->notification_lock); |
Eric Paris | a2d8bc6 | 2009-05-21 17:01:37 -0400 | [diff] [blame] | 193 | } |