1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * Copyright (C) 2008 Red Hat, Inc., Eric Paris <eparis@redhat.com>
7 * Basic idea behind the notification queue: An fsnotify group (like inotify)
8 * sends the userspace notification about events asynchronously some time after
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
22 #include <linux/init.h>
23 #include <linux/kernel.h>
24 #include <linux/list.h>
25 #include <linux/module.h>
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>
33 #include <linux/atomic.h>
35 #include <linux/fsnotify_backend.h>
38 static atomic_t fsnotify_sync_cookie
= ATOMIC_INIT(0);
41 * fsnotify_get_cookie - return a unique cookie for use in synchronizing events.
42 * Called from fsnotify_move, which is inlined into filesystem modules.
44 u32
fsnotify_get_cookie(void)
46 return atomic_inc_return(&fsnotify_sync_cookie
);
48 EXPORT_SYMBOL_GPL(fsnotify_get_cookie
);
50 /* return true if the notify queue is empty, false otherwise */
51 bool fsnotify_notify_queue_is_empty(struct fsnotify_group
*group
)
53 assert_spin_locked(&group
->notification_lock
);
54 return list_empty(&group
->notification_list
) ? true : false;
57 void fsnotify_destroy_event(struct fsnotify_group
*group
,
58 struct fsnotify_event
*event
)
60 /* Overflow events are per-group and we don't want to free them */
61 if (!event
|| event
== group
->overflow_event
)
64 * If the event is still queued, we have a problem... Do an unreliable
65 * lockless check first to avoid locking in the common case. The
66 * locking may be necessary for permission events which got removed
67 * from the list by a different CPU than the one freeing the event.
69 if (!list_empty(&event
->list
)) {
70 spin_lock(&group
->notification_lock
);
71 WARN_ON(!list_empty(&event
->list
));
72 spin_unlock(&group
->notification_lock
);
74 group
->ops
->free_event(event
);
78 * Add an event to the group notification queue. The group can later pull this
79 * event off the queue to deal with. The function returns 0 if the event was
80 * added to the queue, 1 if the event was merged with some other queued event,
81 * 2 if the event was not queued - either the queue of events has overflown
82 * or the group is shutting down.
84 int fsnotify_add_event(struct fsnotify_group
*group
,
85 struct fsnotify_event
*event
,
86 int (*merge
)(struct list_head
*,
87 struct fsnotify_event
*))
90 struct list_head
*list
= &group
->notification_list
;
92 pr_debug("%s: group=%p event=%p\n", __func__
, group
, event
);
94 spin_lock(&group
->notification_lock
);
96 if (group
->shutdown
) {
97 spin_unlock(&group
->notification_lock
);
101 if (event
== group
->overflow_event
||
102 group
->q_len
>= group
->max_events
) {
104 /* Queue overflow event only if it isn't already queued */
105 if (!list_empty(&group
->overflow_event
->list
)) {
106 spin_unlock(&group
->notification_lock
);
109 event
= group
->overflow_event
;
113 if (!list_empty(list
) && merge
) {
114 ret
= merge(list
, event
);
116 spin_unlock(&group
->notification_lock
);
123 list_add_tail(&event
->list
, list
);
124 spin_unlock(&group
->notification_lock
);
126 wake_up(&group
->notification_waitq
);
127 kill_fasync(&group
->fsn_fa
, SIGIO
, POLL_IN
);
131 void fsnotify_remove_queued_event(struct fsnotify_group
*group
,
132 struct fsnotify_event
*event
)
134 assert_spin_locked(&group
->notification_lock
);
136 * We need to init list head for the case of overflow event so that
137 * check in fsnotify_add_event() works
139 list_del_init(&event
->list
);
144 * Remove and return the first event from the notification list. It is the
145 * responsibility of the caller to destroy the obtained event
147 struct fsnotify_event
*fsnotify_remove_first_event(struct fsnotify_group
*group
)
149 struct fsnotify_event
*event
;
151 assert_spin_locked(&group
->notification_lock
);
153 pr_debug("%s: group=%p\n", __func__
, group
);
155 event
= list_first_entry(&group
->notification_list
,
156 struct fsnotify_event
, list
);
157 fsnotify_remove_queued_event(group
, event
);
162 * This will not remove the event, that must be done with
163 * fsnotify_remove_first_event()
165 struct fsnotify_event
*fsnotify_peek_first_event(struct fsnotify_group
*group
)
167 assert_spin_locked(&group
->notification_lock
);
169 return list_first_entry(&group
->notification_list
,
170 struct fsnotify_event
, list
);
174 * Called when a group is being torn down to clean up any outstanding
175 * event notifications.
177 void fsnotify_flush_notify(struct fsnotify_group
*group
)
179 struct fsnotify_event
*event
;
181 spin_lock(&group
->notification_lock
);
182 while (!fsnotify_notify_queue_is_empty(group
)) {
183 event
= fsnotify_remove_first_event(group
);
184 spin_unlock(&group
->notification_lock
);
185 fsnotify_destroy_event(group
, event
);
186 spin_lock(&group
->notification_lock
);
188 spin_unlock(&group
->notification_lock
);