blob: ef3973a5d34a9481ede0a2e34d22371c9dbc5e60 [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
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400169 * 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:
202 * mn_tree_invalidate_start(): mmu_interval_read_begin():
203 * 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
210 * op->invalidate_range():
211 * 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);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400310 hlist_for_each_entry_rcu(subscription, &subscriptions->list, hlist)
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700311 /*
312 * If ->release runs before mmu_notifier_unregister it must be
313 * handled, as it's the only way for the driver to flush all
314 * existing sptes and stop the driver from establishing any more
315 * sptes before all the pages in the mm are freed.
316 */
Jason Gunthorpe19917222020-01-14 11:11:17 -0400317 if (subscription->ops->release)
318 subscription->ops->release(subscription, mm);
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700319
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400320 spin_lock(&subscriptions->lock);
321 while (unlikely(!hlist_empty(&subscriptions->list))) {
Jason Gunthorpe19917222020-01-14 11:11:17 -0400322 subscription = hlist_entry(subscriptions->list.first,
323 struct mmu_notifier, hlist);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700324 /*
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700325 * We arrived before mmu_notifier_unregister so
326 * mmu_notifier_unregister will do nothing other than to wait
327 * for ->release to finish and for mmu_notifier_unregister to
328 * return.
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700329 */
Jason Gunthorpe19917222020-01-14 11:11:17 -0400330 hlist_del_init_rcu(&subscription->hlist);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700331 }
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400332 spin_unlock(&subscriptions->lock);
Peter Zijlstrab9722162014-08-06 16:08:20 -0700333 srcu_read_unlock(&srcu, id);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700334
335 /*
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700336 * synchronize_srcu here prevents mmu_notifier_release from returning to
337 * exit_mmap (which would proceed with freeing all pages in the mm)
338 * until the ->release method returns, if it was invoked by
339 * mmu_notifier_unregister.
340 *
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400341 * The notifier_subscriptions can't go away from under us because
342 * one mm_count is held by exit_mmap.
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700343 */
Sagi Grimberg21a92732012-10-08 16:29:24 -0700344 synchronize_srcu(&srcu);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700345}
346
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400347void __mmu_notifier_release(struct mm_struct *mm)
348{
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400349 struct mmu_notifier_subscriptions *subscriptions =
350 mm->notifier_subscriptions;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400351
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400352 if (subscriptions->has_itree)
353 mn_itree_release(subscriptions, mm);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400354
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400355 if (!hlist_empty(&subscriptions->list))
356 mn_hlist_release(subscriptions, mm);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400357}
358
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700359/*
360 * If no young bitflag is supported by the hardware, ->clear_flush_young can
361 * unmap the address and return 1 or 0 depending if the mapping previously
362 * existed or not.
363 */
364int __mmu_notifier_clear_flush_young(struct mm_struct *mm,
Andres Lagar-Cavilla57128462014-09-22 14:54:42 -0700365 unsigned long start,
366 unsigned long end)
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700367{
Jason Gunthorpe19917222020-01-14 11:11:17 -0400368 struct mmu_notifier *subscription;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700369 int young = 0, id;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700370
Sagi Grimberg21a92732012-10-08 16:29:24 -0700371 id = srcu_read_lock(&srcu);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400372 hlist_for_each_entry_rcu(subscription,
373 &mm->notifier_subscriptions->list, hlist) {
374 if (subscription->ops->clear_flush_young)
375 young |= subscription->ops->clear_flush_young(
376 subscription, mm, start, end);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700377 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700378 srcu_read_unlock(&srcu, id);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700379
380 return young;
381}
382
Vladimir Davydov1d7715c2015-09-09 15:35:41 -0700383int __mmu_notifier_clear_young(struct mm_struct *mm,
384 unsigned long start,
385 unsigned long end)
386{
Jason Gunthorpe19917222020-01-14 11:11:17 -0400387 struct mmu_notifier *subscription;
Vladimir Davydov1d7715c2015-09-09 15:35:41 -0700388 int young = 0, id;
389
390 id = srcu_read_lock(&srcu);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400391 hlist_for_each_entry_rcu(subscription,
392 &mm->notifier_subscriptions->list, hlist) {
393 if (subscription->ops->clear_young)
394 young |= subscription->ops->clear_young(subscription,
395 mm, start, end);
Vladimir Davydov1d7715c2015-09-09 15:35:41 -0700396 }
397 srcu_read_unlock(&srcu, id);
398
399 return young;
400}
401
Andrea Arcangeli8ee53822011-01-13 15:47:10 -0800402int __mmu_notifier_test_young(struct mm_struct *mm,
403 unsigned long address)
404{
Jason Gunthorpe19917222020-01-14 11:11:17 -0400405 struct mmu_notifier *subscription;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700406 int young = 0, id;
Andrea Arcangeli8ee53822011-01-13 15:47:10 -0800407
Sagi Grimberg21a92732012-10-08 16:29:24 -0700408 id = srcu_read_lock(&srcu);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400409 hlist_for_each_entry_rcu(subscription,
410 &mm->notifier_subscriptions->list, hlist) {
411 if (subscription->ops->test_young) {
412 young = subscription->ops->test_young(subscription, mm,
413 address);
Andrea Arcangeli8ee53822011-01-13 15:47:10 -0800414 if (young)
415 break;
416 }
417 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700418 srcu_read_unlock(&srcu, id);
Andrea Arcangeli8ee53822011-01-13 15:47:10 -0800419
420 return young;
421}
422
Izik Eidus828502d2009-09-21 17:01:51 -0700423void __mmu_notifier_change_pte(struct mm_struct *mm, unsigned long address,
424 pte_t pte)
425{
Jason Gunthorpe19917222020-01-14 11:11:17 -0400426 struct mmu_notifier *subscription;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700427 int id;
Izik Eidus828502d2009-09-21 17:01:51 -0700428
Sagi Grimberg21a92732012-10-08 16:29:24 -0700429 id = srcu_read_lock(&srcu);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400430 hlist_for_each_entry_rcu(subscription,
431 &mm->notifier_subscriptions->list, hlist) {
432 if (subscription->ops->change_pte)
433 subscription->ops->change_pte(subscription, mm, address,
434 pte);
Izik Eidus828502d2009-09-21 17:01:51 -0700435 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700436 srcu_read_unlock(&srcu, id);
Izik Eidus828502d2009-09-21 17:01:51 -0700437}
438
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400439static int mn_itree_invalidate(struct mmu_notifier_subscriptions *subscriptions,
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400440 const struct mmu_notifier_range *range)
441{
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400442 struct mmu_interval_notifier *interval_sub;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400443 unsigned long cur_seq;
444
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400445 for (interval_sub =
446 mn_itree_inv_start_range(subscriptions, range, &cur_seq);
447 interval_sub;
448 interval_sub = mn_itree_inv_next(interval_sub, range)) {
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400449 bool ret;
450
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400451 ret = interval_sub->ops->invalidate(interval_sub, range,
452 cur_seq);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400453 if (!ret) {
454 if (WARN_ON(mmu_notifier_range_blockable(range)))
455 continue;
456 goto out_would_block;
457 }
458 }
459 return 0;
460
461out_would_block:
462 /*
463 * On -EAGAIN the non-blocking caller is not allowed to call
464 * invalidate_range_end()
465 */
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400466 mn_itree_inv_end(subscriptions);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400467 return -EAGAIN;
468}
469
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400470static int mn_hlist_invalidate_range_start(
471 struct mmu_notifier_subscriptions *subscriptions,
472 struct mmu_notifier_range *range)
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700473{
Jason Gunthorpe19917222020-01-14 11:11:17 -0400474 struct mmu_notifier *subscription;
Michal Hocko93065ac2018-08-21 21:52:33 -0700475 int ret = 0;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700476 int id;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700477
Sagi Grimberg21a92732012-10-08 16:29:24 -0700478 id = srcu_read_lock(&srcu);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400479 hlist_for_each_entry_rcu(subscription, &subscriptions->list, hlist) {
480 const struct mmu_notifier_ops *ops = subscription->ops;
481
482 if (ops->invalidate_range_start) {
Daniel Vetterba170f72019-08-26 22:14:24 +0200483 int _ret;
484
485 if (!mmu_notifier_range_blockable(range))
486 non_block_start();
Jason Gunthorpe19917222020-01-14 11:11:17 -0400487 _ret = ops->invalidate_range_start(subscription, range);
Daniel Vetterba170f72019-08-26 22:14:24 +0200488 if (!mmu_notifier_range_blockable(range))
489 non_block_end();
Michal Hocko93065ac2018-08-21 21:52:33 -0700490 if (_ret) {
491 pr_info("%pS callback failed with %d in %sblockable context.\n",
Jason Gunthorpe19917222020-01-14 11:11:17 -0400492 ops->invalidate_range_start, _ret,
493 !mmu_notifier_range_blockable(range) ?
494 "non-" :
495 "");
Daniel Vetter8402ce62019-08-14 22:20:23 +0200496 WARN_ON(mmu_notifier_range_blockable(range) ||
Jason Gunthorpedf2ec762019-11-05 21:16:37 -0800497 _ret != -EAGAIN);
Michal Hocko93065ac2018-08-21 21:52:33 -0700498 ret = _ret;
499 }
500 }
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700501 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700502 srcu_read_unlock(&srcu, id);
Michal Hocko93065ac2018-08-21 21:52:33 -0700503
504 return ret;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700505}
506
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400507int __mmu_notifier_invalidate_range_start(struct mmu_notifier_range *range)
508{
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400509 struct mmu_notifier_subscriptions *subscriptions =
510 range->mm->notifier_subscriptions;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400511 int ret;
512
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400513 if (subscriptions->has_itree) {
514 ret = mn_itree_invalidate(subscriptions, range);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400515 if (ret)
516 return ret;
517 }
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400518 if (!hlist_empty(&subscriptions->list))
519 return mn_hlist_invalidate_range_start(subscriptions, range);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400520 return 0;
521}
522
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400523static void
524mn_hlist_invalidate_end(struct mmu_notifier_subscriptions *subscriptions,
525 struct mmu_notifier_range *range, bool only_end)
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700526{
Jason Gunthorpe19917222020-01-14 11:11:17 -0400527 struct mmu_notifier *subscription;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700528 int id;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700529
Sagi Grimberg21a92732012-10-08 16:29:24 -0700530 id = srcu_read_lock(&srcu);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400531 hlist_for_each_entry_rcu(subscription, &subscriptions->list, hlist) {
Joerg Roedel0f0a3272014-11-13 13:46:09 +1100532 /*
533 * Call invalidate_range here too to avoid the need for the
534 * subsystem of having to register an invalidate_range_end
535 * call-back when there is invalidate_range already. Usually a
536 * subsystem registers either invalidate_range_start()/end() or
537 * invalidate_range(), so this will be no additional overhead
538 * (besides the pointer check).
Jérôme Glisse4645b9f2017-11-15 17:34:11 -0800539 *
540 * We skip call to invalidate_range() if we know it is safe ie
541 * call site use mmu_notifier_invalidate_range_only_end() which
542 * is safe to do when we know that a call to invalidate_range()
543 * already happen under page table lock.
Joerg Roedel0f0a3272014-11-13 13:46:09 +1100544 */
Jason Gunthorpe19917222020-01-14 11:11:17 -0400545 if (!only_end && subscription->ops->invalidate_range)
546 subscription->ops->invalidate_range(subscription,
547 range->mm,
548 range->start,
549 range->end);
550 if (subscription->ops->invalidate_range_end) {
Daniel Vetterba170f72019-08-26 22:14:24 +0200551 if (!mmu_notifier_range_blockable(range))
552 non_block_start();
Jason Gunthorpe19917222020-01-14 11:11:17 -0400553 subscription->ops->invalidate_range_end(subscription,
554 range);
Daniel Vetterba170f72019-08-26 22:14:24 +0200555 if (!mmu_notifier_range_blockable(range))
556 non_block_end();
557 }
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700558 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700559 srcu_read_unlock(&srcu, id);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400560}
561
562void __mmu_notifier_invalidate_range_end(struct mmu_notifier_range *range,
563 bool only_end)
564{
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400565 struct mmu_notifier_subscriptions *subscriptions =
566 range->mm->notifier_subscriptions;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400567
568 lock_map_acquire(&__mmu_notifier_invalidate_range_start_map);
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400569 if (subscriptions->has_itree)
570 mn_itree_inv_end(subscriptions);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400571
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400572 if (!hlist_empty(&subscriptions->list))
573 mn_hlist_invalidate_end(subscriptions, range, only_end);
Daniel Vetter23b68392019-08-26 22:14:21 +0200574 lock_map_release(&__mmu_notifier_invalidate_range_start_map);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700575}
576
Joerg Roedel0f0a3272014-11-13 13:46:09 +1100577void __mmu_notifier_invalidate_range(struct mm_struct *mm,
578 unsigned long start, unsigned long end)
579{
Jason Gunthorpe19917222020-01-14 11:11:17 -0400580 struct mmu_notifier *subscription;
Joerg Roedel0f0a3272014-11-13 13:46:09 +1100581 int id;
582
583 id = srcu_read_lock(&srcu);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400584 hlist_for_each_entry_rcu(subscription,
585 &mm->notifier_subscriptions->list, hlist) {
586 if (subscription->ops->invalidate_range)
587 subscription->ops->invalidate_range(subscription, mm,
588 start, end);
Joerg Roedel0f0a3272014-11-13 13:46:09 +1100589 }
590 srcu_read_unlock(&srcu, id);
591}
Joerg Roedel0f0a3272014-11-13 13:46:09 +1100592
Jason Gunthorpe56c571032019-08-06 20:15:38 -0300593/*
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400594 * Same as mmu_notifier_register but here the caller must hold the mmap_sem in
595 * write mode. A NULL mn signals the notifier is being registered for itree
596 * mode.
Jason Gunthorpe56c571032019-08-06 20:15:38 -0300597 */
Jason Gunthorpe19917222020-01-14 11:11:17 -0400598int __mmu_notifier_register(struct mmu_notifier *subscription,
599 struct mm_struct *mm)
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700600{
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400601 struct mmu_notifier_subscriptions *subscriptions = NULL;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700602 int ret;
603
Jason Gunthorpe56c571032019-08-06 20:15:38 -0300604 lockdep_assert_held_write(&mm->mmap_sem);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700605 BUG_ON(atomic_read(&mm->mm_users) <= 0);
606
Daniel Vetter66204f12019-08-26 22:14:22 +0200607 if (IS_ENABLED(CONFIG_LOCKDEP)) {
608 fs_reclaim_acquire(GFP_KERNEL);
609 lock_map_acquire(&__mmu_notifier_invalidate_range_start_map);
610 lock_map_release(&__mmu_notifier_invalidate_range_start_map);
611 fs_reclaim_release(GFP_KERNEL);
612 }
613
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400614 if (!mm->notifier_subscriptions) {
Jason Gunthorpe70df2912019-08-06 20:15:39 -0300615 /*
616 * kmalloc cannot be called under mm_take_all_locks(), but we
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400617 * know that mm->notifier_subscriptions can't change while we
618 * hold the write side of the mmap_sem.
Jason Gunthorpe70df2912019-08-06 20:15:39 -0300619 */
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400620 subscriptions = kzalloc(
621 sizeof(struct mmu_notifier_subscriptions), GFP_KERNEL);
622 if (!subscriptions)
Jason Gunthorpe70df2912019-08-06 20:15:39 -0300623 return -ENOMEM;
624
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400625 INIT_HLIST_HEAD(&subscriptions->list);
626 spin_lock_init(&subscriptions->lock);
627 subscriptions->invalidate_seq = 2;
628 subscriptions->itree = RB_ROOT_CACHED;
629 init_waitqueue_head(&subscriptions->wq);
630 INIT_HLIST_HEAD(&subscriptions->deferred_list);
Jason Gunthorpe70df2912019-08-06 20:15:39 -0300631 }
Gavin Shan35cfa2b2012-10-25 13:38:01 -0700632
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700633 ret = mm_take_all_locks(mm);
634 if (unlikely(ret))
Gavin Shan35cfa2b2012-10-25 13:38:01 -0700635 goto out_clean;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700636
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700637 /*
638 * Serialize the update against mmu_notifier_unregister. A
639 * side note: mmu_notifier_release can't run concurrently with
640 * us because we hold the mm_users pin (either implicitly as
641 * current->mm or explicitly with get_task_mm() or similar).
642 * We can't race against any other mmu notifier method either
643 * thanks to mm_take_all_locks().
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400644 *
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400645 * release semantics on the initialization of the
646 * mmu_notifier_subscriptions's contents are provided for unlocked
647 * readers. acquire can only be used while holding the mmgrab or
648 * mmget, and is safe because once created the
649 * mmu_notifier_subscriptions is not freed until the mm is destroyed.
650 * As above, users holding the mmap_sem or one of the
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400651 * mm_take_all_locks() do not need to use acquire semantics.
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700652 */
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400653 if (subscriptions)
654 smp_store_release(&mm->notifier_subscriptions, subscriptions);
Jason Gunthorpe70df2912019-08-06 20:15:39 -0300655
Jason Gunthorpe19917222020-01-14 11:11:17 -0400656 if (subscription) {
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400657 /* Pairs with the mmdrop in mmu_notifier_unregister_* */
658 mmgrab(mm);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400659 subscription->mm = mm;
660 subscription->users = 1;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400661
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400662 spin_lock(&mm->notifier_subscriptions->lock);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400663 hlist_add_head_rcu(&subscription->hlist,
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400664 &mm->notifier_subscriptions->list);
665 spin_unlock(&mm->notifier_subscriptions->lock);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400666 } else
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400667 mm->notifier_subscriptions->has_itree = true;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700668
669 mm_drop_all_locks(mm);
Jason Gunthorpe70df2912019-08-06 20:15:39 -0300670 BUG_ON(atomic_read(&mm->mm_users) <= 0);
671 return 0;
672
Gavin Shan35cfa2b2012-10-25 13:38:01 -0700673out_clean:
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400674 kfree(subscriptions);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700675 return ret;
676}
Jason Gunthorpe56c571032019-08-06 20:15:38 -0300677EXPORT_SYMBOL_GPL(__mmu_notifier_register);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700678
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300679/**
680 * mmu_notifier_register - Register a notifier on a mm
681 * @mn: The notifier to attach
682 * @mm: The mm to attach the notifier to
683 *
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700684 * Must not hold mmap_sem nor any other VM related lock when calling
685 * this registration function. Must also ensure mm_users can't go down
686 * to zero while this runs to avoid races with mmu_notifier_release,
687 * so mm has to be current->mm or the mm should be pinned safely such
688 * as with get_task_mm(). If the mm is not current->mm, the mm_users
689 * pin should be released by calling mmput after mmu_notifier_register
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300690 * returns.
691 *
692 * mmu_notifier_unregister() or mmu_notifier_put() must be always called to
693 * unregister the notifier.
694 *
Jason Gunthorpe19917222020-01-14 11:11:17 -0400695 * While the caller has a mmu_notifier get the subscription->mm pointer will remain
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300696 * valid, and can be converted to an active mm pointer via mmget_not_zero().
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700697 */
Jason Gunthorpe19917222020-01-14 11:11:17 -0400698int mmu_notifier_register(struct mmu_notifier *subscription,
699 struct mm_struct *mm)
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700700{
Jason Gunthorpe56c571032019-08-06 20:15:38 -0300701 int ret;
702
703 down_write(&mm->mmap_sem);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400704 ret = __mmu_notifier_register(subscription, mm);
Jason Gunthorpe56c571032019-08-06 20:15:38 -0300705 up_write(&mm->mmap_sem);
706 return ret;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700707}
708EXPORT_SYMBOL_GPL(mmu_notifier_register);
709
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300710static struct mmu_notifier *
711find_get_mmu_notifier(struct mm_struct *mm, const struct mmu_notifier_ops *ops)
712{
Jason Gunthorpe19917222020-01-14 11:11:17 -0400713 struct mmu_notifier *subscription;
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300714
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400715 spin_lock(&mm->notifier_subscriptions->lock);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400716 hlist_for_each_entry_rcu(subscription,
717 &mm->notifier_subscriptions->list, hlist) {
718 if (subscription->ops != ops)
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300719 continue;
720
Jason Gunthorpe19917222020-01-14 11:11:17 -0400721 if (likely(subscription->users != UINT_MAX))
722 subscription->users++;
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300723 else
Jason Gunthorpe19917222020-01-14 11:11:17 -0400724 subscription = ERR_PTR(-EOVERFLOW);
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400725 spin_unlock(&mm->notifier_subscriptions->lock);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400726 return subscription;
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300727 }
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400728 spin_unlock(&mm->notifier_subscriptions->lock);
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300729 return NULL;
730}
731
732/**
733 * mmu_notifier_get_locked - Return the single struct mmu_notifier for
734 * the mm & ops
735 * @ops: The operations struct being subscribe with
736 * @mm : The mm to attach notifiers too
737 *
738 * This function either allocates a new mmu_notifier via
739 * ops->alloc_notifier(), or returns an already existing notifier on the
740 * list. The value of the ops pointer is used to determine when two notifiers
741 * are the same.
742 *
743 * Each call to mmu_notifier_get() must be paired with a call to
744 * mmu_notifier_put(). The caller must hold the write side of mm->mmap_sem.
745 *
746 * While the caller has a mmu_notifier get the mm pointer will remain valid,
747 * and can be converted to an active mm pointer via mmget_not_zero().
748 */
749struct mmu_notifier *mmu_notifier_get_locked(const struct mmu_notifier_ops *ops,
750 struct mm_struct *mm)
751{
Jason Gunthorpe19917222020-01-14 11:11:17 -0400752 struct mmu_notifier *subscription;
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300753 int ret;
754
755 lockdep_assert_held_write(&mm->mmap_sem);
756
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400757 if (mm->notifier_subscriptions) {
Jason Gunthorpe19917222020-01-14 11:11:17 -0400758 subscription = find_get_mmu_notifier(mm, ops);
759 if (subscription)
760 return subscription;
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300761 }
762
Jason Gunthorpe19917222020-01-14 11:11:17 -0400763 subscription = ops->alloc_notifier(mm);
764 if (IS_ERR(subscription))
765 return subscription;
766 subscription->ops = ops;
767 ret = __mmu_notifier_register(subscription, mm);
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300768 if (ret)
769 goto out_free;
Jason Gunthorpe19917222020-01-14 11:11:17 -0400770 return subscription;
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300771out_free:
Jason Gunthorpe19917222020-01-14 11:11:17 -0400772 subscription->ops->free_notifier(subscription);
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300773 return ERR_PTR(ret);
774}
775EXPORT_SYMBOL_GPL(mmu_notifier_get_locked);
776
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700777/* this is called after the last mmu_notifier_unregister() returned */
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400778void __mmu_notifier_subscriptions_destroy(struct mm_struct *mm)
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700779{
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400780 BUG_ON(!hlist_empty(&mm->notifier_subscriptions->list));
781 kfree(mm->notifier_subscriptions);
782 mm->notifier_subscriptions = LIST_POISON1; /* debug */
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700783}
784
785/*
786 * This releases the mm_count pin automatically and frees the mm
787 * structure if it was the last user of it. It serializes against
Sagi Grimberg21a92732012-10-08 16:29:24 -0700788 * running mmu notifiers with SRCU and against mmu_notifier_unregister
789 * with the unregister lock + SRCU. All sptes must be dropped before
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700790 * calling mmu_notifier_unregister. ->release or any other notifier
791 * method may be invoked concurrently with mmu_notifier_unregister,
792 * and only after mmu_notifier_unregister returned we're guaranteed
793 * that ->release or any other method can't run anymore.
794 */
Jason Gunthorpe19917222020-01-14 11:11:17 -0400795void mmu_notifier_unregister(struct mmu_notifier *subscription,
796 struct mm_struct *mm)
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700797{
798 BUG_ON(atomic_read(&mm->mm_count) <= 0);
799
Jason Gunthorpe19917222020-01-14 11:11:17 -0400800 if (!hlist_unhashed(&subscription->hlist)) {
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700801 /*
802 * SRCU here will force exit_mmap to wait for ->release to
803 * finish before freeing the pages.
804 */
Sagi Grimberg21a92732012-10-08 16:29:24 -0700805 int id;
Xiao Guangrong3ad3d902012-07-31 16:45:52 -0700806
Robin Holt751efd82013-02-22 16:35:34 -0800807 id = srcu_read_lock(&srcu);
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700808 /*
809 * exit_mmap will block in mmu_notifier_release to guarantee
810 * that ->release is called before freeing the pages.
811 */
Jason Gunthorpe19917222020-01-14 11:11:17 -0400812 if (subscription->ops->release)
813 subscription->ops->release(subscription, mm);
Robin Holt751efd82013-02-22 16:35:34 -0800814 srcu_read_unlock(&srcu, id);
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700815
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400816 spin_lock(&mm->notifier_subscriptions->lock);
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700817 /*
818 * Can not use list_del_rcu() since __mmu_notifier_release
819 * can delete it before we hold the lock.
820 */
Jason Gunthorpe19917222020-01-14 11:11:17 -0400821 hlist_del_init_rcu(&subscription->hlist);
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400822 spin_unlock(&mm->notifier_subscriptions->lock);
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700823 }
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700824
825 /*
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700826 * Wait for any running method to finish, of course including
Geert Uytterhoeven83a35e32013-06-28 11:27:31 +0200827 * ->release if it was run by mmu_notifier_release instead of us.
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700828 */
Sagi Grimberg21a92732012-10-08 16:29:24 -0700829 synchronize_srcu(&srcu);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700830
831 BUG_ON(atomic_read(&mm->mm_count) <= 0);
832
833 mmdrop(mm);
834}
835EXPORT_SYMBOL_GPL(mmu_notifier_unregister);
Sagi Grimberg21a92732012-10-08 16:29:24 -0700836
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300837static void mmu_notifier_free_rcu(struct rcu_head *rcu)
838{
Jason Gunthorpe19917222020-01-14 11:11:17 -0400839 struct mmu_notifier *subscription =
840 container_of(rcu, struct mmu_notifier, rcu);
841 struct mm_struct *mm = subscription->mm;
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300842
Jason Gunthorpe19917222020-01-14 11:11:17 -0400843 subscription->ops->free_notifier(subscription);
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300844 /* Pairs with the get in __mmu_notifier_register() */
845 mmdrop(mm);
846}
847
848/**
849 * mmu_notifier_put - Release the reference on the notifier
850 * @mn: The notifier to act on
851 *
852 * This function must be paired with each mmu_notifier_get(), it releases the
853 * reference obtained by the get. If this is the last reference then process
854 * to free the notifier will be run asynchronously.
855 *
856 * Unlike mmu_notifier_unregister() the get/put flow only calls ops->release
857 * when the mm_struct is destroyed. Instead free_notifier is always called to
858 * release any resources held by the user.
859 *
860 * As ops->release is not guaranteed to be called, the user must ensure that
861 * all sptes are dropped, and no new sptes can be established before
862 * mmu_notifier_put() is called.
863 *
864 * This function can be called from the ops->release callback, however the
865 * caller must still ensure it is called pairwise with mmu_notifier_get().
866 *
867 * Modules calling this function must call mmu_notifier_synchronize() in
868 * their __exit functions to ensure the async work is completed.
869 */
Jason Gunthorpe19917222020-01-14 11:11:17 -0400870void mmu_notifier_put(struct mmu_notifier *subscription)
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300871{
Jason Gunthorpe19917222020-01-14 11:11:17 -0400872 struct mm_struct *mm = subscription->mm;
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300873
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400874 spin_lock(&mm->notifier_subscriptions->lock);
Jason Gunthorpe19917222020-01-14 11:11:17 -0400875 if (WARN_ON(!subscription->users) || --subscription->users)
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300876 goto out_unlock;
Jason Gunthorpe19917222020-01-14 11:11:17 -0400877 hlist_del_init_rcu(&subscription->hlist);
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400878 spin_unlock(&mm->notifier_subscriptions->lock);
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300879
Jason Gunthorpe19917222020-01-14 11:11:17 -0400880 call_srcu(&srcu, &subscription->rcu, mmu_notifier_free_rcu);
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300881 return;
882
883out_unlock:
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400884 spin_unlock(&mm->notifier_subscriptions->lock);
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -0300885}
886EXPORT_SYMBOL_GPL(mmu_notifier_put);
887
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400888static int __mmu_interval_notifier_insert(
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400889 struct mmu_interval_notifier *interval_sub, struct mm_struct *mm,
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400890 struct mmu_notifier_subscriptions *subscriptions, unsigned long start,
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400891 unsigned long length, const struct mmu_interval_notifier_ops *ops)
892{
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400893 interval_sub->mm = mm;
894 interval_sub->ops = ops;
895 RB_CLEAR_NODE(&interval_sub->interval_tree.rb);
896 interval_sub->interval_tree.start = start;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400897 /*
898 * Note that the representation of the intervals in the interval tree
899 * considers the ending point as contained in the interval.
900 */
901 if (length == 0 ||
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400902 check_add_overflow(start, length - 1,
903 &interval_sub->interval_tree.last))
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400904 return -EOVERFLOW;
905
906 /* Must call with a mmget() held */
907 if (WARN_ON(atomic_read(&mm->mm_count) <= 0))
908 return -EINVAL;
909
910 /* pairs with mmdrop in mmu_interval_notifier_remove() */
911 mmgrab(mm);
912
913 /*
914 * If some invalidate_range_start/end region is going on in parallel
915 * we don't know what VA ranges are affected, so we must assume this
916 * new range is included.
917 *
918 * If the itree is invalidating then we are not allowed to change
919 * it. Retrying until invalidation is done is tricky due to the
920 * possibility for live lock, instead defer the add to
921 * mn_itree_inv_end() so this algorithm is deterministic.
922 *
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400923 * In all cases the value for the interval_sub->invalidate_seq should be
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400924 * odd, see mmu_interval_read_begin()
925 */
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400926 spin_lock(&subscriptions->lock);
927 if (subscriptions->active_invalidate_ranges) {
928 if (mn_itree_is_invalidating(subscriptions))
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400929 hlist_add_head(&interval_sub->deferred_item,
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400930 &subscriptions->deferred_list);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400931 else {
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400932 subscriptions->invalidate_seq |= 1;
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400933 interval_tree_insert(&interval_sub->interval_tree,
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400934 &subscriptions->itree);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400935 }
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400936 interval_sub->invalidate_seq = subscriptions->invalidate_seq;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400937 } else {
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400938 WARN_ON(mn_itree_is_invalidating(subscriptions));
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400939 /*
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400940 * The starting seq for a subscription not under invalidation
941 * should be odd, not equal to the current invalidate_seq and
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400942 * invalidate_seq should not 'wrap' to the new seq any time
943 * soon.
944 */
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400945 interval_sub->invalidate_seq =
946 subscriptions->invalidate_seq - 1;
947 interval_tree_insert(&interval_sub->interval_tree,
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400948 &subscriptions->itree);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400949 }
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400950 spin_unlock(&subscriptions->lock);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400951 return 0;
952}
953
954/**
955 * mmu_interval_notifier_insert - Insert an interval notifier
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400956 * @interval_sub: Interval subscription to register
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400957 * @start: Starting virtual address to monitor
958 * @length: Length of the range to monitor
959 * @mm : mm_struct to attach to
960 *
961 * This function subscribes the interval notifier for notifications from the
962 * mm. Upon return the ops related to mmu_interval_notifier will be called
963 * whenever an event that intersects with the given range occurs.
964 *
965 * Upon return the range_notifier may not be present in the interval tree yet.
966 * The caller must use the normal interval notifier read flow via
967 * mmu_interval_read_begin() to establish SPTEs for this range.
968 */
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400969int mmu_interval_notifier_insert(struct mmu_interval_notifier *interval_sub,
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400970 struct mm_struct *mm, unsigned long start,
971 unsigned long length,
972 const struct mmu_interval_notifier_ops *ops)
973{
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400974 struct mmu_notifier_subscriptions *subscriptions;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400975 int ret;
976
977 might_lock(&mm->mmap_sem);
978
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400979 subscriptions = smp_load_acquire(&mm->notifier_subscriptions);
980 if (!subscriptions || !subscriptions->has_itree) {
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400981 ret = mmu_notifier_register(NULL, mm);
982 if (ret)
983 return ret;
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400984 subscriptions = mm->notifier_subscriptions;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400985 }
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400986 return __mmu_interval_notifier_insert(interval_sub, mm, subscriptions,
987 start, length, ops);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400988}
989EXPORT_SYMBOL_GPL(mmu_interval_notifier_insert);
990
991int mmu_interval_notifier_insert_locked(
Jason Gunthorpe5292e242020-01-14 11:29:52 -0400992 struct mmu_interval_notifier *interval_sub, struct mm_struct *mm,
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400993 unsigned long start, unsigned long length,
994 const struct mmu_interval_notifier_ops *ops)
995{
Jason Gunthorpe984cfe42019-12-18 13:40:35 -0400996 struct mmu_notifier_subscriptions *subscriptions =
997 mm->notifier_subscriptions;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -0400998 int ret;
999
1000 lockdep_assert_held_write(&mm->mmap_sem);
1001
Jason Gunthorpe984cfe42019-12-18 13:40:35 -04001002 if (!subscriptions || !subscriptions->has_itree) {
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001003 ret = __mmu_notifier_register(NULL, mm);
1004 if (ret)
1005 return ret;
Jason Gunthorpe984cfe42019-12-18 13:40:35 -04001006 subscriptions = mm->notifier_subscriptions;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001007 }
Jason Gunthorpe5292e242020-01-14 11:29:52 -04001008 return __mmu_interval_notifier_insert(interval_sub, mm, subscriptions,
1009 start, length, ops);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001010}
1011EXPORT_SYMBOL_GPL(mmu_interval_notifier_insert_locked);
1012
1013/**
1014 * mmu_interval_notifier_remove - Remove a interval notifier
Jason Gunthorpe5292e242020-01-14 11:29:52 -04001015 * @interval_sub: Interval subscription to unregister
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001016 *
1017 * This function must be paired with mmu_interval_notifier_insert(). It cannot
1018 * be called from any ops callback.
1019 *
1020 * Once this returns ops callbacks are no longer running on other CPUs and
1021 * will not be called in future.
1022 */
Jason Gunthorpe5292e242020-01-14 11:29:52 -04001023void mmu_interval_notifier_remove(struct mmu_interval_notifier *interval_sub)
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001024{
Jason Gunthorpe5292e242020-01-14 11:29:52 -04001025 struct mm_struct *mm = interval_sub->mm;
Jason Gunthorpe984cfe42019-12-18 13:40:35 -04001026 struct mmu_notifier_subscriptions *subscriptions =
1027 mm->notifier_subscriptions;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001028 unsigned long seq = 0;
1029
1030 might_sleep();
1031
Jason Gunthorpe984cfe42019-12-18 13:40:35 -04001032 spin_lock(&subscriptions->lock);
1033 if (mn_itree_is_invalidating(subscriptions)) {
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001034 /*
1035 * remove is being called after insert put this on the
1036 * deferred list, but before the deferred list was processed.
1037 */
Jason Gunthorpe5292e242020-01-14 11:29:52 -04001038 if (RB_EMPTY_NODE(&interval_sub->interval_tree.rb)) {
1039 hlist_del(&interval_sub->deferred_item);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001040 } else {
Jason Gunthorpe5292e242020-01-14 11:29:52 -04001041 hlist_add_head(&interval_sub->deferred_item,
Jason Gunthorpe984cfe42019-12-18 13:40:35 -04001042 &subscriptions->deferred_list);
1043 seq = subscriptions->invalidate_seq;
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001044 }
1045 } else {
Jason Gunthorpe5292e242020-01-14 11:29:52 -04001046 WARN_ON(RB_EMPTY_NODE(&interval_sub->interval_tree.rb));
1047 interval_tree_remove(&interval_sub->interval_tree,
Jason Gunthorpe984cfe42019-12-18 13:40:35 -04001048 &subscriptions->itree);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001049 }
Jason Gunthorpe984cfe42019-12-18 13:40:35 -04001050 spin_unlock(&subscriptions->lock);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001051
1052 /*
1053 * The possible sleep on progress in the invalidation requires the
1054 * caller not hold any locks held by invalidation callbacks.
1055 */
1056 lock_map_acquire(&__mmu_notifier_invalidate_range_start_map);
1057 lock_map_release(&__mmu_notifier_invalidate_range_start_map);
1058 if (seq)
Jason Gunthorpe984cfe42019-12-18 13:40:35 -04001059 wait_event(subscriptions->wq,
1060 READ_ONCE(subscriptions->invalidate_seq) != seq);
Jason Gunthorpe99cb2522019-11-12 16:22:19 -04001061
1062 /* pairs with mmgrab in mmu_interval_notifier_insert() */
1063 mmdrop(mm);
1064}
1065EXPORT_SYMBOL_GPL(mmu_interval_notifier_remove);
1066
Jason Gunthorpe2c7933f2019-08-06 20:15:40 -03001067/**
1068 * mmu_notifier_synchronize - Ensure all mmu_notifiers are freed
1069 *
1070 * This function ensures that all outstanding async SRU work from
1071 * mmu_notifier_put() is completed. After it returns any mmu_notifier_ops
1072 * associated with an unused mmu_notifier will no longer be called.
1073 *
1074 * Before using the caller must ensure that all of its mmu_notifiers have been
1075 * fully released via mmu_notifier_put().
1076 *
1077 * Modules using the mmu_notifier_put() API should call this in their __exit
1078 * function to avoid module unloading races.
1079 */
1080void mmu_notifier_synchronize(void)
1081{
1082 synchronize_srcu(&srcu);
1083}
1084EXPORT_SYMBOL_GPL(mmu_notifier_synchronize);
1085
Jérôme Glissec6d23412019-05-13 17:21:00 -07001086bool
1087mmu_notifier_range_update_to_read_only(const struct mmu_notifier_range *range)
1088{
1089 if (!range->vma || range->event != MMU_NOTIFY_PROTECTION_VMA)
1090 return false;
1091 /* Return true if the vma still have the read flag set. */
1092 return range->vma->vm_flags & VM_READ;
1093}
1094EXPORT_SYMBOL_GPL(mmu_notifier_range_update_to_read_only);