blob: ec3b068cbbe6b1730c4205237c798834ad8d1ebe [file] [log] [blame]
Thomas Gleixner20c8ccb2019-06-04 10:11:32 +02001// SPDX-License-Identifier: GPL-2.0-only
Andrea Arcangelicddb8a52008-07-28 15:46:29 -07002/*
3 * linux/mm/mmu_notifier.c
4 *
5 * Copyright (C) 2008 Qumranet, Inc.
6 * Copyright (C) 2008 SGI
Christoph Lameter93e205a2016-03-17 14:21:15 -07007 * Christoph Lameter <cl@linux.com>
Andrea Arcangelicddb8a52008-07-28 15:46:29 -07008 */
9
10#include <linux/rculist.h>
11#include <linux/mmu_notifier.h>
Paul Gortmakerb95f1b312011-10-16 02:01:52 -040012#include <linux/export.h>
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070013#include <linux/mm.h>
14#include <linux/err.h>
Jason Gunthorpe99cb2522019-11-12 16:22:19 -040015#include <linux/interval_tree.h>
Sagi Grimberg21a92732012-10-08 16:29:24 -070016#include <linux/srcu.h>
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070017#include <linux/rcupdate.h>
18#include <linux/sched.h>
Ingo Molnar6e84f312017-02-08 18:51:29 +010019#include <linux/sched/mm.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090020#include <linux/slab.h>
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070021
Sagi Grimberg21a92732012-10-08 16:29:24 -070022/* global SRCU for all MMs */
Paul E. McKenneydde8da62017-03-25 10:42:07 -070023DEFINE_STATIC_SRCU(srcu);
Sagi Grimberg21a92732012-10-08 16:29:24 -070024
Daniel Vetter23b68392019-08-26 22:14:21 +020025#ifdef CONFIG_LOCKDEP
26struct lockdep_map __mmu_notifier_invalidate_range_start_map = {
27 .name = "mmu_notifier_invalidate_range_start"
28};
29#endif
30
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070031/*
Jason Gunthorpe984cfe42019-12-18 13:40:35 -040032 * The mmu_notifier_subscriptions structure is allocated and installed in
33 * mm->notifier_subscriptions inside the mm_take_all_locks() protected
Jason Gunthorpe56f434f2019-11-12 16:22:18 -040034 * critical section and it's released only when mm_count reaches zero
35 * in mmdrop().
36 */
Jason Gunthorpe984cfe42019-12-18 13:40:35 -040037struct mmu_notifier_subscriptions {
Jason Gunthorpe56f434f2019-11-12 16:22:18 -040038 /* all mmu notifiers registered in this mm are queued in this list */
39 struct hlist_head list;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -040040 bool has_itree;
Jason Gunthorpe56f434f2019-11-12 16:22:18 -040041 /* to serialize the list modifications and hlist_unhashed */
42 spinlock_t lock;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -040043 unsigned long invalidate_seq;
44 unsigned long active_invalidate_ranges;
45 struct rb_root_cached itree;
46 wait_queue_head_t wq;
47 struct hlist_head deferred_list;
Jason Gunthorpe56f434f2019-11-12 16:22:18 -040048};
49
50/*
Jason Gunthorpe99cb2522019-11-12 16:22:19 -040051 * This is a collision-retry read-side/write-side 'lock', a lot like a
52 * seqcount, however this allows multiple write-sides to hold it at
53 * once. Conceptually the write side is protecting the values of the PTEs in
54 * this mm, such that PTES cannot be read into SPTEs (shadow PTEs) while any
55 * writer exists.
56 *
57 * Note that the core mm creates nested invalidate_range_start()/end() regions
58 * within the same thread, and runs invalidate_range_start()/end() in parallel
59 * on multiple CPUs. This is designed to not reduce concurrency or block
60 * progress on the mm side.
61 *
62 * As a secondary function, holding the full write side also serves to prevent
63 * writers for the itree, this is an optimization to avoid extra locking
64 * during invalidate_range_start/end notifiers.
65 *
66 * The write side has two states, fully excluded:
67 * - mm->active_invalidate_ranges != 0
Jason Gunthorpe984cfe42019-12-18 13:40:35 -040068 * - subscriptions->invalidate_seq & 1 == True (odd)
Jason Gunthorpe99cb2522019-11-12 16:22:19 -040069 * - some range on the mm_struct is being invalidated
70 * - the itree is not allowed to change
71 *
72 * And partially excluded:
73 * - mm->active_invalidate_ranges != 0
Jason Gunthorpe984cfe42019-12-18 13:40:35 -040074 * - subscriptions->invalidate_seq & 1 == False (even)
Jason Gunthorpe99cb2522019-11-12 16:22:19 -040075 * - some range on the mm_struct is being invalidated
76 * - the itree is allowed to change
77 *
Jason Gunthorpe984cfe42019-12-18 13:40:35 -040078 * Operations on notifier_subscriptions->invalidate_seq (under spinlock):
Jason Gunthorpe99cb2522019-11-12 16:22:19 -040079 * seq |= 1 # Begin writing
80 * seq++ # Release the writing state
81 * seq & 1 # True if a writer exists
82 *
83 * The later state avoids some expensive work on inv_end in the common case of
Jason Gunthorpe5292e242020-01-14 11:29:52 -040084 * no mmu_interval_notifier monitoring the VA.
Jason Gunthorpe99cb2522019-11-12 16:22:19 -040085 */
Jason Gunthorpe984cfe42019-12-18 13:40:35 -040086static bool
87mn_itree_is_invalidating(struct mmu_notifier_subscriptions *subscriptions)
Jason Gunthorpe99cb2522019-11-12 16:22:19 -040088{
Jason Gunthorpe984cfe42019-12-18 13:40:35 -040089 lockdep_assert_held(&subscriptions->lock);
90 return subscriptions->invalidate_seq & 1;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -040091}
92
93static struct mmu_interval_notifier *
Jason Gunthorpe984cfe42019-12-18 13:40:35 -040094mn_itree_inv_start_range(struct mmu_notifier_subscriptions *subscriptions,
Jason Gunthorpe99cb2522019-11-12 16:22:19 -040095 const struct mmu_notifier_range *range,
96 unsigned long *seq)
97{
98 struct interval_tree_node *node;
99 struct mmu_interval_notifier *res = NULL;
100
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400101 spin_lock(&subscriptions->lock);
102 subscriptions->active_invalidate_ranges++;
103 node = interval_tree_iter_first(&subscriptions->itree, range->start,
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400104 range->end - 1);
105 if (node) {
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400106 subscriptions->invalidate_seq |= 1;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400107 res = container_of(node, struct mmu_interval_notifier,
108 interval_tree);
109 }
110
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400111 *seq = subscriptions->invalidate_seq;
112 spin_unlock(&subscriptions->lock);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400113 return res;
114}
115
116static struct mmu_interval_notifier *
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400117mn_itree_inv_next(struct mmu_interval_notifier *interval_sub,
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400118 const struct mmu_notifier_range *range)
119{
120 struct interval_tree_node *node;
121
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400122 node = interval_tree_iter_next(&interval_sub->interval_tree,
123 range->start, range->end - 1);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400124 if (!node)
125 return NULL;
126 return container_of(node, struct mmu_interval_notifier, interval_tree);
127}
128
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400129static void mn_itree_inv_end(struct mmu_notifier_subscriptions *subscriptions)
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400130{
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400131 struct mmu_interval_notifier *interval_sub;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400132 struct hlist_node *next;
133
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400134 spin_lock(&subscriptions->lock);
135 if (--subscriptions->active_invalidate_ranges ||
136 !mn_itree_is_invalidating(subscriptions)) {
137 spin_unlock(&subscriptions->lock);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400138 return;
139 }
140
141 /* Make invalidate_seq even */
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400142 subscriptions->invalidate_seq++;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400143
144 /*
145 * The inv_end incorporates a deferred mechanism like rtnl_unlock().
146 * Adds and removes are queued until the final inv_end happens then
147 * they are progressed. This arrangement for tree updates is used to
148 * avoid using a blocking lock during invalidate_range_start.
149 */
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400150 hlist_for_each_entry_safe(interval_sub, next,
151 &subscriptions->deferred_list,
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400152 deferred_item) {
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400153 if (RB_EMPTY_NODE(&interval_sub->interval_tree.rb))
154 interval_tree_insert(&interval_sub->interval_tree,
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400155 &subscriptions->itree);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400156 else
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400157 interval_tree_remove(&interval_sub->interval_tree,
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400158 &subscriptions->itree);
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400159 hlist_del(&interval_sub->deferred_item);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400160 }
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400161 spin_unlock(&subscriptions->lock);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400162
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400163 wake_up_all(&subscriptions->wq);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400164}
165
166/**
167 * mmu_interval_read_begin - Begin a read side critical section against a VA
168 * range
Krzysztof Kozlowskid49653f2020-08-11 18:32:09 -0700169 * @interval_sub: The interval subscription
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400170 *
171 * mmu_iterval_read_begin()/mmu_iterval_read_retry() implement a
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400172 * collision-retry scheme similar to seqcount for the VA range under
173 * subscription. If the mm invokes invalidation during the critical section
174 * then mmu_interval_read_retry() will return true.
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400175 *
176 * This is useful to obtain shadow PTEs where teardown or setup of the SPTEs
177 * require a blocking context. The critical region formed by this can sleep,
178 * and the required 'user_lock' can also be a sleeping lock.
179 *
180 * The caller is required to provide a 'user_lock' to serialize both teardown
181 * and setup.
182 *
183 * The return value should be passed to mmu_interval_read_retry().
184 */
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400185unsigned long
186mmu_interval_read_begin(struct mmu_interval_notifier *interval_sub)
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400187{
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400188 struct mmu_notifier_subscriptions *subscriptions =
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400189 interval_sub->mm->notifier_subscriptions;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400190 unsigned long seq;
191 bool is_invalidating;
192
193 /*
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400194 * If the subscription has a different seq value under the user_lock
195 * than we started with then it has collided.
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400196 *
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400197 * If the subscription currently has the same seq value as the
198 * subscriptions seq, then it is currently between
199 * invalidate_start/end and is colliding.
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400200 *
201 * The locking looks broadly like this:
Alistair Popple57b037d2023-07-25 23:42:04 +1000202 * mn_itree_inv_start(): mmu_interval_read_begin():
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400203 * spin_lock
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400204 * seq = READ_ONCE(interval_sub->invalidate_seq);
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400205 * seq == subs->invalidate_seq
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400206 * spin_unlock
207 * spin_lock
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400208 * seq = ++subscriptions->invalidate_seq
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400209 * spin_unlock
Alistair Popple57b037d2023-07-25 23:42:04 +1000210 * op->invalidate():
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400211 * user_lock
212 * mmu_interval_set_seq()
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400213 * interval_sub->invalidate_seq = seq
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400214 * user_unlock
215 *
216 * [Required: mmu_interval_read_retry() == true]
217 *
218 * mn_itree_inv_end():
219 * spin_lock
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400220 * seq = ++subscriptions->invalidate_seq
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400221 * spin_unlock
222 *
223 * user_lock
224 * mmu_interval_read_retry():
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400225 * interval_sub->invalidate_seq != seq
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400226 * user_unlock
227 *
228 * Barriers are not needed here as any races here are closed by an
229 * eventual mmu_interval_read_retry(), which provides a barrier via the
230 * user_lock.
231 */
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400232 spin_lock(&subscriptions->lock);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400233 /* Pairs with the WRITE_ONCE in mmu_interval_set_seq() */
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400234 seq = READ_ONCE(interval_sub->invalidate_seq);
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400235 is_invalidating = seq == subscriptions->invalidate_seq;
236 spin_unlock(&subscriptions->lock);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400237
238 /*
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400239 * interval_sub->invalidate_seq must always be set to an odd value via
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400240 * mmu_interval_set_seq() using the provided cur_seq from
241 * mn_itree_inv_start_range(). This ensures that if seq does wrap we
242 * will always clear the below sleep in some reasonable time as
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400243 * subscriptions->invalidate_seq is even in the idle state.
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400244 */
245 lock_map_acquire(&__mmu_notifier_invalidate_range_start_map);
246 lock_map_release(&__mmu_notifier_invalidate_range_start_map);
247 if (is_invalidating)
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400248 wait_event(subscriptions->wq,
249 READ_ONCE(subscriptions->invalidate_seq) != seq);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400250
251 /*
252 * Notice that mmu_interval_read_retry() can already be true at this
253 * point, avoiding loops here allows the caller to provide a global
254 * time bound.
255 */
256
257 return seq;
258}
259EXPORT_SYMBOL_GPL(mmu_interval_read_begin);
260
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400261static void mn_itree_release(struct mmu_notifier_subscriptions *subscriptions,
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400262 struct mm_struct *mm)
263{
264 struct mmu_notifier_range range = {
265 .flags = MMU_NOTIFIER_RANGE_BLOCKABLE,
266 .event = MMU_NOTIFY_RELEASE,
267 .mm = mm,
268 .start = 0,
269 .end = ULONG_MAX,
270 };
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400271 struct mmu_interval_notifier *interval_sub;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400272 unsigned long cur_seq;
273 bool ret;
274
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400275 for (interval_sub =
276 mn_itree_inv_start_range(subscriptions, &range, &cur_seq);
277 interval_sub;
278 interval_sub = mn_itree_inv_next(interval_sub, &range)) {
279 ret = interval_sub->ops->invalidate(interval_sub, &range,
280 cur_seq);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400281 WARN_ON(!ret);
282 }
283
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400284 mn_itree_inv_end(subscriptions);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400285}
286
287/*
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700288 * This function can't run concurrently against mmu_notifier_register
289 * because mm->mm_users > 0 during mmu_notifier_register and exit_mmap
290 * runs with mm_users == 0. Other tasks may still invoke mmu notifiers
291 * in parallel despite there being no task using this mm any more,
292 * through the vmas outside of the exit_mmap context, such as with
293 * vmtruncate. This serializes against mmu_notifier_unregister with
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400294 * the notifier_subscriptions->lock in addition to SRCU and it serializes
295 * against the other mmu notifiers with SRCU. struct mmu_notifier_subscriptions
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700296 * can't go away from under us as exit_mmap holds an mm_count pin
297 * itself.
298 */
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400299static void mn_hlist_release(struct mmu_notifier_subscriptions *subscriptions,
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400300 struct mm_struct *mm)
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700301{
Jason Gunthorpe19917222020-01-14 11:11:17 -0400302 struct mmu_notifier *subscription;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700303 int id;
Xiao Guangrong3ad3d902012-07-31 16:45:52 -0700304
305 /*
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700306 * SRCU here will block mmu_notifier_unregister until
307 * ->release returns.
Xiao Guangrong3ad3d902012-07-31 16:45:52 -0700308 */
Sagi Grimberg21a92732012-10-08 16:29:24 -0700309 id = srcu_read_lock(&srcu);
Qian Cai63886ba2020-03-21 18:22:34 -0700310 hlist_for_each_entry_rcu(subscription, &subscriptions->list, hlist,
311 srcu_read_lock_held(&srcu))
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700312 /*
313 * If ->release runs before mmu_notifier_unregister it must be
314 * handled, as it's the only way for the driver to flush all
315 * existing sptes and stop the driver from establishing any more
316 * sptes before all the pages in the mm are freed.
317 */
Jason Gunthorpe19917222020-01-14 11:11:17 -0400318 if (subscription->ops->release)
319 subscription->ops->release(subscription, mm);
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700320
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400321 spin_lock(&subscriptions->lock);
322 while (unlikely(!hlist_empty(&subscriptions->list))) {
Jason Gunthorpe19917222020-01-14 11:11:17 -0400323 subscription = hlist_entry(subscriptions->list.first,
324 struct mmu_notifier, hlist);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700325 /*
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700326 * We arrived before mmu_notifier_unregister so
327 * mmu_notifier_unregister will do nothing other than to wait
328 * for ->release to finish and for mmu_notifier_unregister to
329 * return.
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700330 */
Jason Gunthorpe19917222020-01-14 11:11:17 -0400331 hlist_del_init_rcu(&subscription->hlist);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700332 }
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400333 spin_unlock(&subscriptions->lock);
Peter Zijlstrab9722162014-08-06 16:08:20 -0700334 srcu_read_unlock(&srcu, id);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700335
336 /*
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700337 * synchronize_srcu here prevents mmu_notifier_release from returning to
338 * exit_mmap (which would proceed with freeing all pages in the mm)
339 * until the ->release method returns, if it was invoked by
340 * mmu_notifier_unregister.
341 *
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400342 * The notifier_subscriptions can't go away from under us because
343 * one mm_count is held by exit_mmap.
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700344 */
Sagi Grimberg21a92732012-10-08 16:29:24 -0700345 synchronize_srcu(&srcu);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700346}
347
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400348void __mmu_notifier_release(struct mm_struct *mm)
349{
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400350 struct mmu_notifier_subscriptions *subscriptions =
351 mm->notifier_subscriptions;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400352
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400353 if (subscriptions->has_itree)
354 mn_itree_release(subscriptions, mm);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400355
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400356 if (!hlist_empty(&subscriptions->list))
357 mn_hlist_release(subscriptions, mm);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400358}
359
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700360/*
361 * If no young bitflag is supported by the hardware, ->clear_flush_young can
362 * unmap the address and return 1 or 0 depending if the mapping previously
363 * existed or not.
364 */
365int __mmu_notifier_clear_flush_young(struct mm_struct *mm,
Andres Lagar-Cavilla57128462014-09-22 14:54:42 -0700366 unsigned long start,
367 unsigned long end)
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700368{
Jason Gunthorpe19917222020-01-14 11:11:17 -0400369 struct mmu_notifier *subscription;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700370 int young = 0, id;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700371
Sagi Grimberg21a92732012-10-08 16:29:24 -0700372 id = srcu_read_lock(&srcu);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400373 hlist_for_each_entry_rcu(subscription,
Qian Cai63886ba2020-03-21 18:22:34 -0700374 &mm->notifier_subscriptions->list, hlist,
375 srcu_read_lock_held(&srcu)) {
Jason Gunthorpe19917222020-01-14 11:11:17 -0400376 if (subscription->ops->clear_flush_young)
377 young |= subscription->ops->clear_flush_young(
378 subscription, mm, start, end);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700379 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700380 srcu_read_unlock(&srcu, id);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700381
382 return young;
383}
384
Vladimir Davydov1d7715c2015-09-09 15:35:41 -0700385int __mmu_notifier_clear_young(struct mm_struct *mm,
386 unsigned long start,
387 unsigned long end)
388{
Jason Gunthorpe19917222020-01-14 11:11:17 -0400389 struct mmu_notifier *subscription;
Vladimir Davydov1d7715c2015-09-09 15:35:41 -0700390 int young = 0, id;
391
392 id = srcu_read_lock(&srcu);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400393 hlist_for_each_entry_rcu(subscription,
Qian Cai63886ba2020-03-21 18:22:34 -0700394 &mm->notifier_subscriptions->list, hlist,
395 srcu_read_lock_held(&srcu)) {
Jason Gunthorpe19917222020-01-14 11:11:17 -0400396 if (subscription->ops->clear_young)
397 young |= subscription->ops->clear_young(subscription,
398 mm, start, end);
Vladimir Davydov1d7715c2015-09-09 15:35:41 -0700399 }
400 srcu_read_unlock(&srcu, id);
401
402 return young;
403}
404
Andrea Arcangeli8ee53822011-01-13 15:47:10 -0800405int __mmu_notifier_test_young(struct mm_struct *mm,
406 unsigned long address)
407{
Jason Gunthorpe19917222020-01-14 11:11:17 -0400408 struct mmu_notifier *subscription;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700409 int young = 0, id;
Andrea Arcangeli8ee53822011-01-13 15:47:10 -0800410
Sagi Grimberg21a92732012-10-08 16:29:24 -0700411 id = srcu_read_lock(&srcu);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400412 hlist_for_each_entry_rcu(subscription,
Qian Cai63886ba2020-03-21 18:22:34 -0700413 &mm->notifier_subscriptions->list, hlist,
414 srcu_read_lock_held(&srcu)) {
Jason Gunthorpe19917222020-01-14 11:11:17 -0400415 if (subscription->ops->test_young) {
416 young = subscription->ops->test_young(subscription, mm,
417 address);
Andrea Arcangeli8ee53822011-01-13 15:47:10 -0800418 if (young)
419 break;
420 }
421 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700422 srcu_read_unlock(&srcu, id);
Andrea Arcangeli8ee53822011-01-13 15:47:10 -0800423
424 return young;
425}
426
Izik Eidus828502d2009-09-21 17:01:51 -0700427void __mmu_notifier_change_pte(struct mm_struct *mm, unsigned long address,
428 pte_t pte)
429{
Jason Gunthorpe19917222020-01-14 11:11:17 -0400430 struct mmu_notifier *subscription;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700431 int id;
Izik Eidus828502d2009-09-21 17:01:51 -0700432
Sagi Grimberg21a92732012-10-08 16:29:24 -0700433 id = srcu_read_lock(&srcu);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400434 hlist_for_each_entry_rcu(subscription,
Qian Cai63886ba2020-03-21 18:22:34 -0700435 &mm->notifier_subscriptions->list, hlist,
436 srcu_read_lock_held(&srcu)) {
Jason Gunthorpe19917222020-01-14 11:11:17 -0400437 if (subscription->ops->change_pte)
438 subscription->ops->change_pte(subscription, mm, address,
439 pte);
Izik Eidus828502d2009-09-21 17:01:51 -0700440 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700441 srcu_read_unlock(&srcu, id);
Izik Eidus828502d2009-09-21 17:01:51 -0700442}
443
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400444static int mn_itree_invalidate(struct mmu_notifier_subscriptions *subscriptions,
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400445 const struct mmu_notifier_range *range)
446{
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400447 struct mmu_interval_notifier *interval_sub;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400448 unsigned long cur_seq;
449
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400450 for (interval_sub =
451 mn_itree_inv_start_range(subscriptions, range, &cur_seq);
452 interval_sub;
453 interval_sub = mn_itree_inv_next(interval_sub, range)) {
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400454 bool ret;
455
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400456 ret = interval_sub->ops->invalidate(interval_sub, range,
457 cur_seq);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400458 if (!ret) {
459 if (WARN_ON(mmu_notifier_range_blockable(range)))
460 continue;
461 goto out_would_block;
462 }
463 }
464 return 0;
465
466out_would_block:
467 /*
468 * On -EAGAIN the non-blocking caller is not allowed to call
469 * invalidate_range_end()
470 */
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400471 mn_itree_inv_end(subscriptions);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400472 return -EAGAIN;
473}
474
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400475static int mn_hlist_invalidate_range_start(
476 struct mmu_notifier_subscriptions *subscriptions,
477 struct mmu_notifier_range *range)
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700478{
Jason Gunthorpe19917222020-01-14 11:11:17 -0400479 struct mmu_notifier *subscription;
Michal Hocko93065ac2018-08-21 21:52:33 -0700480 int ret = 0;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700481 int id;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700482
Sagi Grimberg21a92732012-10-08 16:29:24 -0700483 id = srcu_read_lock(&srcu);
Qian Cai63886ba2020-03-21 18:22:34 -0700484 hlist_for_each_entry_rcu(subscription, &subscriptions->list, hlist,
485 srcu_read_lock_held(&srcu)) {
Jason Gunthorpe19917222020-01-14 11:11:17 -0400486 const struct mmu_notifier_ops *ops = subscription->ops;
487
488 if (ops->invalidate_range_start) {
Daniel Vetterba170f72019-08-26 22:14:24 +0200489 int _ret;
490
491 if (!mmu_notifier_range_blockable(range))
492 non_block_start();
Jason Gunthorpe19917222020-01-14 11:11:17 -0400493 _ret = ops->invalidate_range_start(subscription, range);
Daniel Vetterba170f72019-08-26 22:14:24 +0200494 if (!mmu_notifier_range_blockable(range))
495 non_block_end();
Michal Hocko93065ac2018-08-21 21:52:33 -0700496 if (_ret) {
497 pr_info("%pS callback failed with %d in %sblockable context.\n",
Jason Gunthorpe19917222020-01-14 11:11:17 -0400498 ops->invalidate_range_start, _ret,
499 !mmu_notifier_range_blockable(range) ?
500 "non-" :
501 "");
Daniel Vetter8402ce62019-08-14 22:20:23 +0200502 WARN_ON(mmu_notifier_range_blockable(range) ||
Jason Gunthorpedf2ec762019-11-05 21:16:37 -0800503 _ret != -EAGAIN);
Sean Christophersonc2655832021-03-24 21:37:23 -0700504 /*
505 * We call all the notifiers on any EAGAIN,
506 * there is no way for a notifier to know if
507 * its start method failed, thus a start that
508 * does EAGAIN can't also do end.
509 */
510 WARN_ON(ops->invalidate_range_end);
Michal Hocko93065ac2018-08-21 21:52:33 -0700511 ret = _ret;
512 }
513 }
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700514 }
Sean Christophersonc2655832021-03-24 21:37:23 -0700515
516 if (ret) {
517 /*
518 * Must be non-blocking to get here. If there are multiple
519 * notifiers and one or more failed start, any that succeeded
520 * start are expecting their end to be called. Do so now.
521 */
522 hlist_for_each_entry_rcu(subscription, &subscriptions->list,
523 hlist, srcu_read_lock_held(&srcu)) {
524 if (!subscription->ops->invalidate_range_end)
525 continue;
526
527 subscription->ops->invalidate_range_end(subscription,
528 range);
529 }
530 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700531 srcu_read_unlock(&srcu, id);
Michal Hocko93065ac2018-08-21 21:52:33 -0700532
533 return ret;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700534}
535
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400536int __mmu_notifier_invalidate_range_start(struct mmu_notifier_range *range)
537{
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400538 struct mmu_notifier_subscriptions *subscriptions =
539 range->mm->notifier_subscriptions;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400540 int ret;
541
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400542 if (subscriptions->has_itree) {
543 ret = mn_itree_invalidate(subscriptions, range);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400544 if (ret)
545 return ret;
546 }
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400547 if (!hlist_empty(&subscriptions->list))
548 return mn_hlist_invalidate_range_start(subscriptions, range);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400549 return 0;
550}
551
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400552static void
553mn_hlist_invalidate_end(struct mmu_notifier_subscriptions *subscriptions,
Alistair Poppleec8832d2023-07-25 23:42:06 +1000554 struct mmu_notifier_range *range)
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700555{
Jason Gunthorpe19917222020-01-14 11:11:17 -0400556 struct mmu_notifier *subscription;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700557 int id;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700558
Sagi Grimberg21a92732012-10-08 16:29:24 -0700559 id = srcu_read_lock(&srcu);
Qian Cai63886ba2020-03-21 18:22:34 -0700560 hlist_for_each_entry_rcu(subscription, &subscriptions->list, hlist,
561 srcu_read_lock_held(&srcu)) {
Jason Gunthorpe19917222020-01-14 11:11:17 -0400562 if (subscription->ops->invalidate_range_end) {
Daniel Vetterba170f72019-08-26 22:14:24 +0200563 if (!mmu_notifier_range_blockable(range))
564 non_block_start();
Jason Gunthorpe19917222020-01-14 11:11:17 -0400565 subscription->ops->invalidate_range_end(subscription,
566 range);
Daniel Vetterba170f72019-08-26 22:14:24 +0200567 if (!mmu_notifier_range_blockable(range))
568 non_block_end();
569 }
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700570 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700571 srcu_read_unlock(&srcu, id);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400572}
573
Alistair Poppleec8832d2023-07-25 23:42:06 +1000574void __mmu_notifier_invalidate_range_end(struct mmu_notifier_range *range)
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400575{
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400576 struct mmu_notifier_subscriptions *subscriptions =
577 range->mm->notifier_subscriptions;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400578
579 lock_map_acquire(&__mmu_notifier_invalidate_range_start_map);
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400580 if (subscriptions->has_itree)
581 mn_itree_inv_end(subscriptions);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400582
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400583 if (!hlist_empty(&subscriptions->list))
Alistair Poppleec8832d2023-07-25 23:42:06 +1000584 mn_hlist_invalidate_end(subscriptions, range);
Daniel Vetter23b68392019-08-26 22:14:21 +0200585 lock_map_release(&__mmu_notifier_invalidate_range_start_map);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700586}
587
Alistair Popple1af5a812023-07-25 23:42:07 +1000588void __mmu_notifier_arch_invalidate_secondary_tlbs(struct mm_struct *mm,
589 unsigned long start, unsigned long end)
Joerg Roedel0f0a3272014-11-13 13:46:09 +1100590{
Jason Gunthorpe19917222020-01-14 11:11:17 -0400591 struct mmu_notifier *subscription;
Joerg Roedel0f0a3272014-11-13 13:46:09 +1100592 int id;
593
594 id = srcu_read_lock(&srcu);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400595 hlist_for_each_entry_rcu(subscription,
Qian Cai63886ba2020-03-21 18:22:34 -0700596 &mm->notifier_subscriptions->list, hlist,
597 srcu_read_lock_held(&srcu)) {
Alistair Popple1af5a812023-07-25 23:42:07 +1000598 if (subscription->ops->arch_invalidate_secondary_tlbs)
599 subscription->ops->arch_invalidate_secondary_tlbs(
600 subscription, mm,
601 start, end);
Joerg Roedel0f0a3272014-11-13 13:46:09 +1100602 }
603 srcu_read_unlock(&srcu, id);
604}
Joerg Roedel0f0a3272014-11-13 13:46:09 +1100605
Jason Gunthorpe56c571032019-08-06 20:15:38 -0300606/*
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -0700607 * Same as mmu_notifier_register but here the caller must hold the mmap_lock in
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400608 * write mode. A NULL mn signals the notifier is being registered for itree
609 * mode.
Jason Gunthorpe56c571032019-08-06 20:15:38 -0300610 */
Jason Gunthorpe19917222020-01-14 11:11:17 -0400611int __mmu_notifier_register(struct mmu_notifier *subscription,
612 struct mm_struct *mm)
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700613{
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400614 struct mmu_notifier_subscriptions *subscriptions = NULL;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700615 int ret;
616
Michel Lespinasse42fc5412020-06-08 21:33:44 -0700617 mmap_assert_write_locked(mm);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700618 BUG_ON(atomic_read(&mm->mm_users) <= 0);
619
Alistair Popple1af5a812023-07-25 23:42:07 +1000620 /*
621 * Subsystems should only register for invalidate_secondary_tlbs() or
622 * invalidate_range_start()/end() callbacks, not both.
623 */
624 if (WARN_ON_ONCE(subscription &&
625 (subscription->ops->arch_invalidate_secondary_tlbs &&
626 (subscription->ops->invalidate_range_start ||
627 subscription->ops->invalidate_range_end))))
628 return -EINVAL;
629
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400630 if (!mm->notifier_subscriptions) {
Jason Gunthorpe70df2912019-08-06 20:15:39 -0300631 /*
632 * kmalloc cannot be called under mm_take_all_locks(), but we
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400633 * know that mm->notifier_subscriptions can't change while we
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -0700634 * hold the write side of the mmap_lock.
Jason Gunthorpe70df2912019-08-06 20:15:39 -0300635 */
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400636 subscriptions = kzalloc(
637 sizeof(struct mmu_notifier_subscriptions), GFP_KERNEL);
638 if (!subscriptions)
Jason Gunthorpe70df2912019-08-06 20:15:39 -0300639 return -ENOMEM;
640
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400641 INIT_HLIST_HEAD(&subscriptions->list);
642 spin_lock_init(&subscriptions->lock);
643 subscriptions->invalidate_seq = 2;
644 subscriptions->itree = RB_ROOT_CACHED;
645 init_waitqueue_head(&subscriptions->wq);
646 INIT_HLIST_HEAD(&subscriptions->deferred_list);
Jason Gunthorpe70df2912019-08-06 20:15:39 -0300647 }
Gavin Shan35cfa2b2012-10-25 13:38:01 -0700648
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700649 ret = mm_take_all_locks(mm);
650 if (unlikely(ret))
Gavin Shan35cfa2b2012-10-25 13:38:01 -0700651 goto out_clean;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700652
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700653 /*
654 * Serialize the update against mmu_notifier_unregister. A
655 * side note: mmu_notifier_release can't run concurrently with
656 * us because we hold the mm_users pin (either implicitly as
657 * current->mm or explicitly with get_task_mm() or similar).
658 * We can't race against any other mmu notifier method either
659 * thanks to mm_take_all_locks().
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400660 *
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400661 * release semantics on the initialization of the
662 * mmu_notifier_subscriptions's contents are provided for unlocked
663 * readers. acquire can only be used while holding the mmgrab or
664 * mmget, and is safe because once created the
665 * mmu_notifier_subscriptions is not freed until the mm is destroyed.
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -0700666 * As above, users holding the mmap_lock or one of the
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400667 * mm_take_all_locks() do not need to use acquire semantics.
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700668 */
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400669 if (subscriptions)
670 smp_store_release(&mm->notifier_subscriptions, subscriptions);
Jason Gunthorpe70df2912019-08-06 20:15:39 -0300671
Jason Gunthorpe19917222020-01-14 11:11:17 -0400672 if (subscription) {
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400673 /* Pairs with the mmdrop in mmu_notifier_unregister_* */
674 mmgrab(mm);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400675 subscription->mm = mm;
676 subscription->users = 1;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400677
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400678 spin_lock(&mm->notifier_subscriptions->lock);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400679 hlist_add_head_rcu(&subscription->hlist,
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400680 &mm->notifier_subscriptions->list);
681 spin_unlock(&mm->notifier_subscriptions->lock);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400682 } else
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400683 mm->notifier_subscriptions->has_itree = true;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700684
685 mm_drop_all_locks(mm);
Jason Gunthorpe70df2912019-08-06 20:15:39 -0300686 BUG_ON(atomic_read(&mm->mm_users) <= 0);
687 return 0;
688
Gavin Shan35cfa2b2012-10-25 13:38:01 -0700689out_clean:
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400690 kfree(subscriptions);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700691 return ret;
692}
Jason Gunthorpe56c571032019-08-06 20:15:38 -0300693EXPORT_SYMBOL_GPL(__mmu_notifier_register);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700694
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300695/**
696 * mmu_notifier_register - Register a notifier on a mm
Krzysztof Kozlowskid49653f2020-08-11 18:32:09 -0700697 * @subscription: The notifier to attach
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300698 * @mm: The mm to attach the notifier to
699 *
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -0700700 * Must not hold mmap_lock nor any other VM related lock when calling
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700701 * this registration function. Must also ensure mm_users can't go down
702 * to zero while this runs to avoid races with mmu_notifier_release,
703 * so mm has to be current->mm or the mm should be pinned safely such
704 * as with get_task_mm(). If the mm is not current->mm, the mm_users
705 * pin should be released by calling mmput after mmu_notifier_register
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300706 * returns.
707 *
708 * mmu_notifier_unregister() or mmu_notifier_put() must be always called to
709 * unregister the notifier.
710 *
Jason Gunthorpe19917222020-01-14 11:11:17 -0400711 * While the caller has a mmu_notifier get the subscription->mm pointer will remain
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300712 * valid, and can be converted to an active mm pointer via mmget_not_zero().
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700713 */
Jason Gunthorpe19917222020-01-14 11:11:17 -0400714int mmu_notifier_register(struct mmu_notifier *subscription,
715 struct mm_struct *mm)
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700716{
Jason Gunthorpe56c571032019-08-06 20:15:38 -0300717 int ret;
718
Michel Lespinassed8ed45c2020-06-08 21:33:25 -0700719 mmap_write_lock(mm);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400720 ret = __mmu_notifier_register(subscription, mm);
Michel Lespinassed8ed45c2020-06-08 21:33:25 -0700721 mmap_write_unlock(mm);
Jason Gunthorpe56c571032019-08-06 20:15:38 -0300722 return ret;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700723}
724EXPORT_SYMBOL_GPL(mmu_notifier_register);
725
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300726static struct mmu_notifier *
727find_get_mmu_notifier(struct mm_struct *mm, const struct mmu_notifier_ops *ops)
728{
Jason Gunthorpe19917222020-01-14 11:11:17 -0400729 struct mmu_notifier *subscription;
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300730
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400731 spin_lock(&mm->notifier_subscriptions->lock);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400732 hlist_for_each_entry_rcu(subscription,
Qian Cai63886ba2020-03-21 18:22:34 -0700733 &mm->notifier_subscriptions->list, hlist,
734 lockdep_is_held(&mm->notifier_subscriptions->lock)) {
Jason Gunthorpe19917222020-01-14 11:11:17 -0400735 if (subscription->ops != ops)
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300736 continue;
737
Jason Gunthorpe19917222020-01-14 11:11:17 -0400738 if (likely(subscription->users != UINT_MAX))
739 subscription->users++;
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300740 else
Jason Gunthorpe19917222020-01-14 11:11:17 -0400741 subscription = ERR_PTR(-EOVERFLOW);
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400742 spin_unlock(&mm->notifier_subscriptions->lock);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400743 return subscription;
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300744 }
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400745 spin_unlock(&mm->notifier_subscriptions->lock);
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300746 return NULL;
747}
748
749/**
750 * mmu_notifier_get_locked - Return the single struct mmu_notifier for
751 * the mm & ops
752 * @ops: The operations struct being subscribe with
753 * @mm : The mm to attach notifiers too
754 *
755 * This function either allocates a new mmu_notifier via
756 * ops->alloc_notifier(), or returns an already existing notifier on the
757 * list. The value of the ops pointer is used to determine when two notifiers
758 * are the same.
759 *
760 * Each call to mmu_notifier_get() must be paired with a call to
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -0700761 * mmu_notifier_put(). The caller must hold the write side of mm->mmap_lock.
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300762 *
763 * While the caller has a mmu_notifier get the mm pointer will remain valid,
764 * and can be converted to an active mm pointer via mmget_not_zero().
765 */
766struct mmu_notifier *mmu_notifier_get_locked(const struct mmu_notifier_ops *ops,
767 struct mm_struct *mm)
768{
Jason Gunthorpe19917222020-01-14 11:11:17 -0400769 struct mmu_notifier *subscription;
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300770 int ret;
771
Michel Lespinasse42fc5412020-06-08 21:33:44 -0700772 mmap_assert_write_locked(mm);
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300773
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400774 if (mm->notifier_subscriptions) {
Jason Gunthorpe19917222020-01-14 11:11:17 -0400775 subscription = find_get_mmu_notifier(mm, ops);
776 if (subscription)
777 return subscription;
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300778 }
779
Jason Gunthorpe19917222020-01-14 11:11:17 -0400780 subscription = ops->alloc_notifier(mm);
781 if (IS_ERR(subscription))
782 return subscription;
783 subscription->ops = ops;
784 ret = __mmu_notifier_register(subscription, mm);
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300785 if (ret)
786 goto out_free;
Jason Gunthorpe19917222020-01-14 11:11:17 -0400787 return subscription;
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300788out_free:
Jason Gunthorpe19917222020-01-14 11:11:17 -0400789 subscription->ops->free_notifier(subscription);
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300790 return ERR_PTR(ret);
791}
792EXPORT_SYMBOL_GPL(mmu_notifier_get_locked);
793
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700794/* this is called after the last mmu_notifier_unregister() returned */
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400795void __mmu_notifier_subscriptions_destroy(struct mm_struct *mm)
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700796{
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400797 BUG_ON(!hlist_empty(&mm->notifier_subscriptions->list));
798 kfree(mm->notifier_subscriptions);
799 mm->notifier_subscriptions = LIST_POISON1; /* debug */
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700800}
801
802/*
803 * This releases the mm_count pin automatically and frees the mm
804 * structure if it was the last user of it. It serializes against
Sagi Grimberg21a92732012-10-08 16:29:24 -0700805 * running mmu notifiers with SRCU and against mmu_notifier_unregister
806 * with the unregister lock + SRCU. All sptes must be dropped before
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700807 * calling mmu_notifier_unregister. ->release or any other notifier
808 * method may be invoked concurrently with mmu_notifier_unregister,
809 * and only after mmu_notifier_unregister returned we're guaranteed
810 * that ->release or any other method can't run anymore.
811 */
Jason Gunthorpe19917222020-01-14 11:11:17 -0400812void mmu_notifier_unregister(struct mmu_notifier *subscription,
813 struct mm_struct *mm)
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700814{
815 BUG_ON(atomic_read(&mm->mm_count) <= 0);
816
Jason Gunthorpe19917222020-01-14 11:11:17 -0400817 if (!hlist_unhashed(&subscription->hlist)) {
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700818 /*
819 * SRCU here will force exit_mmap to wait for ->release to
820 * finish before freeing the pages.
821 */
Sagi Grimberg21a92732012-10-08 16:29:24 -0700822 int id;
Xiao Guangrong3ad3d902012-07-31 16:45:52 -0700823
Robin Holt751efd82013-02-22 16:35:34 -0800824 id = srcu_read_lock(&srcu);
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700825 /*
826 * exit_mmap will block in mmu_notifier_release to guarantee
827 * that ->release is called before freeing the pages.
828 */
Jason Gunthorpe19917222020-01-14 11:11:17 -0400829 if (subscription->ops->release)
830 subscription->ops->release(subscription, mm);
Robin Holt751efd82013-02-22 16:35:34 -0800831 srcu_read_unlock(&srcu, id);
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700832
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400833 spin_lock(&mm->notifier_subscriptions->lock);
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700834 /*
835 * Can not use list_del_rcu() since __mmu_notifier_release
836 * can delete it before we hold the lock.
837 */
Jason Gunthorpe19917222020-01-14 11:11:17 -0400838 hlist_del_init_rcu(&subscription->hlist);
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400839 spin_unlock(&mm->notifier_subscriptions->lock);
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700840 }
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700841
842 /*
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700843 * Wait for any running method to finish, of course including
Geert Uytterhoeven83a35e32013-06-28 11:27:31 +0200844 * ->release if it was run by mmu_notifier_release instead of us.
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700845 */
Sagi Grimberg21a92732012-10-08 16:29:24 -0700846 synchronize_srcu(&srcu);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700847
848 BUG_ON(atomic_read(&mm->mm_count) <= 0);
849
850 mmdrop(mm);
851}
852EXPORT_SYMBOL_GPL(mmu_notifier_unregister);
Sagi Grimberg21a92732012-10-08 16:29:24 -0700853
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300854static void mmu_notifier_free_rcu(struct rcu_head *rcu)
855{
Jason Gunthorpe19917222020-01-14 11:11:17 -0400856 struct mmu_notifier *subscription =
857 container_of(rcu, struct mmu_notifier, rcu);
858 struct mm_struct *mm = subscription->mm;
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300859
Jason Gunthorpe19917222020-01-14 11:11:17 -0400860 subscription->ops->free_notifier(subscription);
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300861 /* Pairs with the get in __mmu_notifier_register() */
862 mmdrop(mm);
863}
864
865/**
866 * mmu_notifier_put - Release the reference on the notifier
Krzysztof Kozlowskid49653f2020-08-11 18:32:09 -0700867 * @subscription: The notifier to act on
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300868 *
869 * This function must be paired with each mmu_notifier_get(), it releases the
870 * reference obtained by the get. If this is the last reference then process
871 * to free the notifier will be run asynchronously.
872 *
873 * Unlike mmu_notifier_unregister() the get/put flow only calls ops->release
874 * when the mm_struct is destroyed. Instead free_notifier is always called to
875 * release any resources held by the user.
876 *
877 * As ops->release is not guaranteed to be called, the user must ensure that
878 * all sptes are dropped, and no new sptes can be established before
879 * mmu_notifier_put() is called.
880 *
881 * This function can be called from the ops->release callback, however the
882 * caller must still ensure it is called pairwise with mmu_notifier_get().
883 *
884 * Modules calling this function must call mmu_notifier_synchronize() in
885 * their __exit functions to ensure the async work is completed.
886 */
Jason Gunthorpe19917222020-01-14 11:11:17 -0400887void mmu_notifier_put(struct mmu_notifier *subscription)
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300888{
Jason Gunthorpe19917222020-01-14 11:11:17 -0400889 struct mm_struct *mm = subscription->mm;
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300890
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400891 spin_lock(&mm->notifier_subscriptions->lock);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400892 if (WARN_ON(!subscription->users) || --subscription->users)
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300893 goto out_unlock;
Jason Gunthorpe19917222020-01-14 11:11:17 -0400894 hlist_del_init_rcu(&subscription->hlist);
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400895 spin_unlock(&mm->notifier_subscriptions->lock);
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300896
Jason Gunthorpe19917222020-01-14 11:11:17 -0400897 call_srcu(&srcu, &subscription->rcu, mmu_notifier_free_rcu);
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300898 return;
899
900out_unlock:
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400901 spin_unlock(&mm->notifier_subscriptions->lock);
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300902}
903EXPORT_SYMBOL_GPL(mmu_notifier_put);
904
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400905static int __mmu_interval_notifier_insert(
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400906 struct mmu_interval_notifier *interval_sub, struct mm_struct *mm,
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400907 struct mmu_notifier_subscriptions *subscriptions, unsigned long start,
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400908 unsigned long length, const struct mmu_interval_notifier_ops *ops)
909{
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400910 interval_sub->mm = mm;
911 interval_sub->ops = ops;
912 RB_CLEAR_NODE(&interval_sub->interval_tree.rb);
913 interval_sub->interval_tree.start = start;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400914 /*
915 * Note that the representation of the intervals in the interval tree
916 * considers the ending point as contained in the interval.
917 */
918 if (length == 0 ||
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400919 check_add_overflow(start, length - 1,
920 &interval_sub->interval_tree.last))
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400921 return -EOVERFLOW;
922
923 /* Must call with a mmget() held */
Jann Hornc9682d12020-10-15 20:07:43 -0700924 if (WARN_ON(atomic_read(&mm->mm_users) <= 0))
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400925 return -EINVAL;
926
927 /* pairs with mmdrop in mmu_interval_notifier_remove() */
928 mmgrab(mm);
929
930 /*
931 * If some invalidate_range_start/end region is going on in parallel
932 * we don't know what VA ranges are affected, so we must assume this
933 * new range is included.
934 *
935 * If the itree is invalidating then we are not allowed to change
936 * it. Retrying until invalidation is done is tricky due to the
937 * possibility for live lock, instead defer the add to
938 * mn_itree_inv_end() so this algorithm is deterministic.
939 *
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400940 * In all cases the value for the interval_sub->invalidate_seq should be
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400941 * odd, see mmu_interval_read_begin()
942 */
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400943 spin_lock(&subscriptions->lock);
944 if (subscriptions->active_invalidate_ranges) {
945 if (mn_itree_is_invalidating(subscriptions))
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400946 hlist_add_head(&interval_sub->deferred_item,
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400947 &subscriptions->deferred_list);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400948 else {
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400949 subscriptions->invalidate_seq |= 1;
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400950 interval_tree_insert(&interval_sub->interval_tree,
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400951 &subscriptions->itree);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400952 }
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400953 interval_sub->invalidate_seq = subscriptions->invalidate_seq;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400954 } else {
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400955 WARN_ON(mn_itree_is_invalidating(subscriptions));
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400956 /*
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400957 * The starting seq for a subscription not under invalidation
958 * should be odd, not equal to the current invalidate_seq and
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400959 * invalidate_seq should not 'wrap' to the new seq any time
960 * soon.
961 */
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400962 interval_sub->invalidate_seq =
963 subscriptions->invalidate_seq - 1;
964 interval_tree_insert(&interval_sub->interval_tree,
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400965 &subscriptions->itree);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400966 }
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400967 spin_unlock(&subscriptions->lock);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400968 return 0;
969}
970
971/**
972 * mmu_interval_notifier_insert - Insert an interval notifier
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400973 * @interval_sub: Interval subscription to register
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400974 * @start: Starting virtual address to monitor
975 * @length: Length of the range to monitor
Krzysztof Kozlowskid49653f2020-08-11 18:32:09 -0700976 * @mm: mm_struct to attach to
977 * @ops: Interval notifier operations to be called on matching events
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400978 *
979 * This function subscribes the interval notifier for notifications from the
980 * mm. Upon return the ops related to mmu_interval_notifier will be called
981 * whenever an event that intersects with the given range occurs.
982 *
983 * Upon return the range_notifier may not be present in the interval tree yet.
984 * The caller must use the normal interval notifier read flow via
985 * mmu_interval_read_begin() to establish SPTEs for this range.
986 */
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400987int mmu_interval_notifier_insert(struct mmu_interval_notifier *interval_sub,
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400988 struct mm_struct *mm, unsigned long start,
989 unsigned long length,
990 const struct mmu_interval_notifier_ops *ops)
991{
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400992 struct mmu_notifier_subscriptions *subscriptions;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400993 int ret;
994
Michel Lespinasseda1c55f2020-06-08 21:33:47 -0700995 might_lock(&mm->mmap_lock);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400996
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400997 subscriptions = smp_load_acquire(&mm->notifier_subscriptions);
998 if (!subscriptions || !subscriptions->has_itree) {
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400999 ret = mmu_notifier_register(NULL, mm);
1000 if (ret)
1001 return ret;
Jason Gunthorpe984cfe42019-12-18 13:40:35 -04001002 subscriptions = mm->notifier_subscriptions;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001003 }
Jason Gunthorpe5292e242020-01-14 11:29:52 -04001004 return __mmu_interval_notifier_insert(interval_sub, mm, subscriptions,
1005 start, length, ops);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001006}
1007EXPORT_SYMBOL_GPL(mmu_interval_notifier_insert);
1008
1009int mmu_interval_notifier_insert_locked(
Jason Gunthorpe5292e242020-01-14 11:29:52 -04001010 struct mmu_interval_notifier *interval_sub, struct mm_struct *mm,
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001011 unsigned long start, unsigned long length,
1012 const struct mmu_interval_notifier_ops *ops)
1013{
Jason Gunthorpe984cfe42019-12-18 13:40:35 -04001014 struct mmu_notifier_subscriptions *subscriptions =
1015 mm->notifier_subscriptions;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001016 int ret;
1017
Michel Lespinasse42fc5412020-06-08 21:33:44 -07001018 mmap_assert_write_locked(mm);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001019
Jason Gunthorpe984cfe42019-12-18 13:40:35 -04001020 if (!subscriptions || !subscriptions->has_itree) {
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001021 ret = __mmu_notifier_register(NULL, mm);
1022 if (ret)
1023 return ret;
Jason Gunthorpe984cfe42019-12-18 13:40:35 -04001024 subscriptions = mm->notifier_subscriptions;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001025 }
Jason Gunthorpe5292e242020-01-14 11:29:52 -04001026 return __mmu_interval_notifier_insert(interval_sub, mm, subscriptions,
1027 start, length, ops);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001028}
1029EXPORT_SYMBOL_GPL(mmu_interval_notifier_insert_locked);
1030
Alistair Popple31956162022-04-21 16:36:10 -07001031static bool
1032mmu_interval_seq_released(struct mmu_notifier_subscriptions *subscriptions,
1033 unsigned long seq)
1034{
1035 bool ret;
1036
1037 spin_lock(&subscriptions->lock);
1038 ret = subscriptions->invalidate_seq != seq;
1039 spin_unlock(&subscriptions->lock);
1040 return ret;
1041}
1042
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001043/**
1044 * mmu_interval_notifier_remove - Remove a interval notifier
Jason Gunthorpe5292e242020-01-14 11:29:52 -04001045 * @interval_sub: Interval subscription to unregister
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001046 *
1047 * This function must be paired with mmu_interval_notifier_insert(). It cannot
1048 * be called from any ops callback.
1049 *
1050 * Once this returns ops callbacks are no longer running on other CPUs and
1051 * will not be called in future.
1052 */
Jason Gunthorpe5292e242020-01-14 11:29:52 -04001053void mmu_interval_notifier_remove(struct mmu_interval_notifier *interval_sub)
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001054{
Jason Gunthorpe5292e242020-01-14 11:29:52 -04001055 struct mm_struct *mm = interval_sub->mm;
Jason Gunthorpe984cfe42019-12-18 13:40:35 -04001056 struct mmu_notifier_subscriptions *subscriptions =
1057 mm->notifier_subscriptions;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001058 unsigned long seq = 0;
1059
1060 might_sleep();
1061
Jason Gunthorpe984cfe42019-12-18 13:40:35 -04001062 spin_lock(&subscriptions->lock);
1063 if (mn_itree_is_invalidating(subscriptions)) {
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001064 /*
1065 * remove is being called after insert put this on the
1066 * deferred list, but before the deferred list was processed.
1067 */
Jason Gunthorpe5292e242020-01-14 11:29:52 -04001068 if (RB_EMPTY_NODE(&interval_sub->interval_tree.rb)) {
1069 hlist_del(&interval_sub->deferred_item);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001070 } else {
Jason Gunthorpe5292e242020-01-14 11:29:52 -04001071 hlist_add_head(&interval_sub->deferred_item,
Jason Gunthorpe984cfe42019-12-18 13:40:35 -04001072 &subscriptions->deferred_list);
1073 seq = subscriptions->invalidate_seq;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001074 }
1075 } else {
Jason Gunthorpe5292e242020-01-14 11:29:52 -04001076 WARN_ON(RB_EMPTY_NODE(&interval_sub->interval_tree.rb));
1077 interval_tree_remove(&interval_sub->interval_tree,
Jason Gunthorpe984cfe42019-12-18 13:40:35 -04001078 &subscriptions->itree);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001079 }
Jason Gunthorpe984cfe42019-12-18 13:40:35 -04001080 spin_unlock(&subscriptions->lock);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001081
1082 /*
1083 * The possible sleep on progress in the invalidation requires the
1084 * caller not hold any locks held by invalidation callbacks.
1085 */
1086 lock_map_acquire(&__mmu_notifier_invalidate_range_start_map);
1087 lock_map_release(&__mmu_notifier_invalidate_range_start_map);
1088 if (seq)
Jason Gunthorpe984cfe42019-12-18 13:40:35 -04001089 wait_event(subscriptions->wq,
Alistair Popple31956162022-04-21 16:36:10 -07001090 mmu_interval_seq_released(subscriptions, seq));
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001091
1092 /* pairs with mmgrab in mmu_interval_notifier_insert() */
1093 mmdrop(mm);
1094}
1095EXPORT_SYMBOL_GPL(mmu_interval_notifier_remove);
1096
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -03001097/**
1098 * mmu_notifier_synchronize - Ensure all mmu_notifiers are freed
1099 *
1100 * This function ensures that all outstanding async SRU work from
1101 * mmu_notifier_put() is completed. After it returns any mmu_notifier_ops
1102 * associated with an unused mmu_notifier will no longer be called.
1103 *
1104 * Before using the caller must ensure that all of its mmu_notifiers have been
1105 * fully released via mmu_notifier_put().
1106 *
1107 * Modules using the mmu_notifier_put() API should call this in their __exit
1108 * function to avoid module unloading races.
1109 */
1110void mmu_notifier_synchronize(void)
1111{
1112 synchronize_srcu(&srcu);
1113}
1114EXPORT_SYMBOL_GPL(mmu_notifier_synchronize);