1 // SPDX-License-Identifier: GPL-2.0-only
3 * linux/mm/mmu_notifier.c
5 * Copyright (C) 2008 Qumranet, Inc.
6 * Copyright (C) 2008 SGI
7 * Christoph Lameter <cl@linux.com>
10 #include <linux/rculist.h>
11 #include <linux/mmu_notifier.h>
12 #include <linux/export.h>
14 #include <linux/err.h>
15 #include <linux/interval_tree.h>
16 #include <linux/srcu.h>
17 #include <linux/rcupdate.h>
18 #include <linux/sched.h>
19 #include <linux/sched/mm.h>
20 #include <linux/slab.h>
22 /* global SRCU for all MMs */
23 DEFINE_STATIC_SRCU(srcu
);
26 struct lockdep_map __mmu_notifier_invalidate_range_start_map
= {
27 .name
= "mmu_notifier_invalidate_range_start"
32 * The mmu notifier_mm structure is allocated and installed in
33 * mm->mmu_notifier_mm inside the mm_take_all_locks() protected
34 * critical section and it's released only when mm_count reaches zero
37 struct mmu_notifier_mm
{
38 /* all mmu notifiers registered in this mm are queued in this list */
39 struct hlist_head list
;
41 /* to serialize the list modifications and hlist_unhashed */
43 unsigned long invalidate_seq
;
44 unsigned long active_invalidate_ranges
;
45 struct rb_root_cached itree
;
47 struct hlist_head deferred_list
;
51 * 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
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.
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.
66 * The write side has two states, fully excluded:
67 * - mm->active_invalidate_ranges != 0
68 * - mnn->invalidate_seq & 1 == True (odd)
69 * - some range on the mm_struct is being invalidated
70 * - the itree is not allowed to change
72 * And partially excluded:
73 * - mm->active_invalidate_ranges != 0
74 * - mnn->invalidate_seq & 1 == False (even)
75 * - some range on the mm_struct is being invalidated
76 * - the itree is allowed to change
78 * Operations on mmu_notifier_mm->invalidate_seq (under spinlock):
79 * seq |= 1 # Begin writing
80 * seq++ # Release the writing state
81 * seq & 1 # True if a writer exists
83 * The later state avoids some expensive work on inv_end in the common case of
84 * no mni monitoring the VA.
86 static bool mn_itree_is_invalidating(struct mmu_notifier_mm
*mmn_mm
)
88 lockdep_assert_held(&mmn_mm
->lock
);
89 return mmn_mm
->invalidate_seq
& 1;
92 static struct mmu_interval_notifier
*
93 mn_itree_inv_start_range(struct mmu_notifier_mm
*mmn_mm
,
94 const struct mmu_notifier_range
*range
,
97 struct interval_tree_node
*node
;
98 struct mmu_interval_notifier
*res
= NULL
;
100 spin_lock(&mmn_mm
->lock
);
101 mmn_mm
->active_invalidate_ranges
++;
102 node
= interval_tree_iter_first(&mmn_mm
->itree
, range
->start
,
105 mmn_mm
->invalidate_seq
|= 1;
106 res
= container_of(node
, struct mmu_interval_notifier
,
110 *seq
= mmn_mm
->invalidate_seq
;
111 spin_unlock(&mmn_mm
->lock
);
115 static struct mmu_interval_notifier
*
116 mn_itree_inv_next(struct mmu_interval_notifier
*mni
,
117 const struct mmu_notifier_range
*range
)
119 struct interval_tree_node
*node
;
121 node
= interval_tree_iter_next(&mni
->interval_tree
, range
->start
,
125 return container_of(node
, struct mmu_interval_notifier
, interval_tree
);
128 static void mn_itree_inv_end(struct mmu_notifier_mm
*mmn_mm
)
130 struct mmu_interval_notifier
*mni
;
131 struct hlist_node
*next
;
133 spin_lock(&mmn_mm
->lock
);
134 if (--mmn_mm
->active_invalidate_ranges
||
135 !mn_itree_is_invalidating(mmn_mm
)) {
136 spin_unlock(&mmn_mm
->lock
);
140 /* Make invalidate_seq even */
141 mmn_mm
->invalidate_seq
++;
144 * The inv_end incorporates a deferred mechanism like rtnl_unlock().
145 * Adds and removes are queued until the final inv_end happens then
146 * they are progressed. This arrangement for tree updates is used to
147 * avoid using a blocking lock during invalidate_range_start.
149 hlist_for_each_entry_safe(mni
, next
, &mmn_mm
->deferred_list
,
151 if (RB_EMPTY_NODE(&mni
->interval_tree
.rb
))
152 interval_tree_insert(&mni
->interval_tree
,
155 interval_tree_remove(&mni
->interval_tree
,
157 hlist_del(&mni
->deferred_item
);
159 spin_unlock(&mmn_mm
->lock
);
161 wake_up_all(&mmn_mm
->wq
);
165 * mmu_interval_read_begin - Begin a read side critical section against a VA
167 * mni: The range to use
169 * mmu_iterval_read_begin()/mmu_iterval_read_retry() implement a
170 * collision-retry scheme similar to seqcount for the VA range under mni. If
171 * the mm invokes invalidation during the critical section then
172 * mmu_interval_read_retry() will return true.
174 * This is useful to obtain shadow PTEs where teardown or setup of the SPTEs
175 * require a blocking context. The critical region formed by this can sleep,
176 * and the required 'user_lock' can also be a sleeping lock.
178 * The caller is required to provide a 'user_lock' to serialize both teardown
181 * The return value should be passed to mmu_interval_read_retry().
183 unsigned long mmu_interval_read_begin(struct mmu_interval_notifier
*mni
)
185 struct mmu_notifier_mm
*mmn_mm
= mni
->mm
->mmu_notifier_mm
;
187 bool is_invalidating
;
190 * If the mni has a different seq value under the user_lock than we
191 * started with then it has collided.
193 * If the mni currently has the same seq value as the mmn_mm seq, then
194 * it is currently between invalidate_start/end and is colliding.
196 * The locking looks broadly like this:
197 * mn_tree_invalidate_start(): mmu_interval_read_begin():
199 * seq = READ_ONCE(mni->invalidate_seq);
200 * seq == mmn_mm->invalidate_seq
203 * seq = ++mmn_mm->invalidate_seq
205 * op->invalidate_range():
207 * mmu_interval_set_seq()
208 * mni->invalidate_seq = seq
211 * [Required: mmu_interval_read_retry() == true]
213 * mn_itree_inv_end():
215 * seq = ++mmn_mm->invalidate_seq
219 * mmu_interval_read_retry():
220 * mni->invalidate_seq != seq
223 * Barriers are not needed here as any races here are closed by an
224 * eventual mmu_interval_read_retry(), which provides a barrier via the
227 spin_lock(&mmn_mm
->lock
);
228 /* Pairs with the WRITE_ONCE in mmu_interval_set_seq() */
229 seq
= READ_ONCE(mni
->invalidate_seq
);
230 is_invalidating
= seq
== mmn_mm
->invalidate_seq
;
231 spin_unlock(&mmn_mm
->lock
);
234 * mni->invalidate_seq must always be set to an odd value via
235 * mmu_interval_set_seq() using the provided cur_seq from
236 * mn_itree_inv_start_range(). This ensures that if seq does wrap we
237 * will always clear the below sleep in some reasonable time as
238 * mmn_mm->invalidate_seq is even in the idle state.
240 lock_map_acquire(&__mmu_notifier_invalidate_range_start_map
);
241 lock_map_release(&__mmu_notifier_invalidate_range_start_map
);
243 wait_event(mmn_mm
->wq
,
244 READ_ONCE(mmn_mm
->invalidate_seq
) != seq
);
247 * Notice that mmu_interval_read_retry() can already be true at this
248 * point, avoiding loops here allows the caller to provide a global
254 EXPORT_SYMBOL_GPL(mmu_interval_read_begin
);
256 static void mn_itree_release(struct mmu_notifier_mm
*mmn_mm
,
257 struct mm_struct
*mm
)
259 struct mmu_notifier_range range
= {
260 .flags
= MMU_NOTIFIER_RANGE_BLOCKABLE
,
261 .event
= MMU_NOTIFY_RELEASE
,
266 struct mmu_interval_notifier
*mni
;
267 unsigned long cur_seq
;
270 for (mni
= mn_itree_inv_start_range(mmn_mm
, &range
, &cur_seq
); mni
;
271 mni
= mn_itree_inv_next(mni
, &range
)) {
272 ret
= mni
->ops
->invalidate(mni
, &range
, cur_seq
);
276 mn_itree_inv_end(mmn_mm
);
280 * This function can't run concurrently against mmu_notifier_register
281 * because mm->mm_users > 0 during mmu_notifier_register and exit_mmap
282 * runs with mm_users == 0. Other tasks may still invoke mmu notifiers
283 * in parallel despite there being no task using this mm any more,
284 * through the vmas outside of the exit_mmap context, such as with
285 * vmtruncate. This serializes against mmu_notifier_unregister with
286 * the mmu_notifier_mm->lock in addition to SRCU and it serializes
287 * against the other mmu notifiers with SRCU. struct mmu_notifier_mm
288 * can't go away from under us as exit_mmap holds an mm_count pin
291 static void mn_hlist_release(struct mmu_notifier_mm
*mmn_mm
,
292 struct mm_struct
*mm
)
294 struct mmu_notifier
*mn
;
298 * SRCU here will block mmu_notifier_unregister until
301 id
= srcu_read_lock(&srcu
);
302 hlist_for_each_entry_rcu(mn
, &mmn_mm
->list
, hlist
)
304 * If ->release runs before mmu_notifier_unregister it must be
305 * handled, as it's the only way for the driver to flush all
306 * existing sptes and stop the driver from establishing any more
307 * sptes before all the pages in the mm are freed.
309 if (mn
->ops
->release
)
310 mn
->ops
->release(mn
, mm
);
312 spin_lock(&mmn_mm
->lock
);
313 while (unlikely(!hlist_empty(&mmn_mm
->list
))) {
314 mn
= hlist_entry(mmn_mm
->list
.first
, struct mmu_notifier
,
317 * We arrived before mmu_notifier_unregister so
318 * mmu_notifier_unregister will do nothing other than to wait
319 * for ->release to finish and for mmu_notifier_unregister to
322 hlist_del_init_rcu(&mn
->hlist
);
324 spin_unlock(&mmn_mm
->lock
);
325 srcu_read_unlock(&srcu
, id
);
328 * synchronize_srcu here prevents mmu_notifier_release from returning to
329 * exit_mmap (which would proceed with freeing all pages in the mm)
330 * until the ->release method returns, if it was invoked by
331 * mmu_notifier_unregister.
333 * The mmu_notifier_mm can't go away from under us because one mm_count
334 * is held by exit_mmap.
336 synchronize_srcu(&srcu
);
339 void __mmu_notifier_release(struct mm_struct
*mm
)
341 struct mmu_notifier_mm
*mmn_mm
= mm
->mmu_notifier_mm
;
343 if (mmn_mm
->has_itree
)
344 mn_itree_release(mmn_mm
, mm
);
346 if (!hlist_empty(&mmn_mm
->list
))
347 mn_hlist_release(mmn_mm
, mm
);
351 * If no young bitflag is supported by the hardware, ->clear_flush_young can
352 * unmap the address and return 1 or 0 depending if the mapping previously
355 int __mmu_notifier_clear_flush_young(struct mm_struct
*mm
,
359 struct mmu_notifier
*mn
;
362 id
= srcu_read_lock(&srcu
);
363 hlist_for_each_entry_rcu(mn
, &mm
->mmu_notifier_mm
->list
, hlist
) {
364 if (mn
->ops
->clear_flush_young
)
365 young
|= mn
->ops
->clear_flush_young(mn
, mm
, start
, end
);
367 srcu_read_unlock(&srcu
, id
);
372 int __mmu_notifier_clear_young(struct mm_struct
*mm
,
376 struct mmu_notifier
*mn
;
379 id
= srcu_read_lock(&srcu
);
380 hlist_for_each_entry_rcu(mn
, &mm
->mmu_notifier_mm
->list
, hlist
) {
381 if (mn
->ops
->clear_young
)
382 young
|= mn
->ops
->clear_young(mn
, mm
, start
, end
);
384 srcu_read_unlock(&srcu
, id
);
389 int __mmu_notifier_test_young(struct mm_struct
*mm
,
390 unsigned long address
)
392 struct mmu_notifier
*mn
;
395 id
= srcu_read_lock(&srcu
);
396 hlist_for_each_entry_rcu(mn
, &mm
->mmu_notifier_mm
->list
, hlist
) {
397 if (mn
->ops
->test_young
) {
398 young
= mn
->ops
->test_young(mn
, mm
, address
);
403 srcu_read_unlock(&srcu
, id
);
408 void __mmu_notifier_change_pte(struct mm_struct
*mm
, unsigned long address
,
411 struct mmu_notifier
*mn
;
414 id
= srcu_read_lock(&srcu
);
415 hlist_for_each_entry_rcu(mn
, &mm
->mmu_notifier_mm
->list
, hlist
) {
416 if (mn
->ops
->change_pte
)
417 mn
->ops
->change_pte(mn
, mm
, address
, pte
);
419 srcu_read_unlock(&srcu
, id
);
422 static int mn_itree_invalidate(struct mmu_notifier_mm
*mmn_mm
,
423 const struct mmu_notifier_range
*range
)
425 struct mmu_interval_notifier
*mni
;
426 unsigned long cur_seq
;
428 for (mni
= mn_itree_inv_start_range(mmn_mm
, range
, &cur_seq
); mni
;
429 mni
= mn_itree_inv_next(mni
, range
)) {
432 ret
= mni
->ops
->invalidate(mni
, range
, cur_seq
);
434 if (WARN_ON(mmu_notifier_range_blockable(range
)))
436 goto out_would_block
;
443 * On -EAGAIN the non-blocking caller is not allowed to call
444 * invalidate_range_end()
446 mn_itree_inv_end(mmn_mm
);
450 static int mn_hlist_invalidate_range_start(struct mmu_notifier_mm
*mmn_mm
,
451 struct mmu_notifier_range
*range
)
453 struct mmu_notifier
*mn
;
457 id
= srcu_read_lock(&srcu
);
458 hlist_for_each_entry_rcu(mn
, &mmn_mm
->list
, hlist
) {
459 if (mn
->ops
->invalidate_range_start
) {
462 if (!mmu_notifier_range_blockable(range
))
464 _ret
= mn
->ops
->invalidate_range_start(mn
, range
);
465 if (!mmu_notifier_range_blockable(range
))
468 pr_info("%pS callback failed with %d in %sblockable context.\n",
469 mn
->ops
->invalidate_range_start
, _ret
,
470 !mmu_notifier_range_blockable(range
) ? "non-" : "");
471 WARN_ON(mmu_notifier_range_blockable(range
) ||
477 srcu_read_unlock(&srcu
, id
);
482 int __mmu_notifier_invalidate_range_start(struct mmu_notifier_range
*range
)
484 struct mmu_notifier_mm
*mmn_mm
= range
->mm
->mmu_notifier_mm
;
487 if (mmn_mm
->has_itree
) {
488 ret
= mn_itree_invalidate(mmn_mm
, range
);
492 if (!hlist_empty(&mmn_mm
->list
))
493 return mn_hlist_invalidate_range_start(mmn_mm
, range
);
497 static void mn_hlist_invalidate_end(struct mmu_notifier_mm
*mmn_mm
,
498 struct mmu_notifier_range
*range
,
501 struct mmu_notifier
*mn
;
504 id
= srcu_read_lock(&srcu
);
505 hlist_for_each_entry_rcu(mn
, &mmn_mm
->list
, hlist
) {
507 * Call invalidate_range here too to avoid the need for the
508 * subsystem of having to register an invalidate_range_end
509 * call-back when there is invalidate_range already. Usually a
510 * subsystem registers either invalidate_range_start()/end() or
511 * invalidate_range(), so this will be no additional overhead
512 * (besides the pointer check).
514 * We skip call to invalidate_range() if we know it is safe ie
515 * call site use mmu_notifier_invalidate_range_only_end() which
516 * is safe to do when we know that a call to invalidate_range()
517 * already happen under page table lock.
519 if (!only_end
&& mn
->ops
->invalidate_range
)
520 mn
->ops
->invalidate_range(mn
, range
->mm
,
523 if (mn
->ops
->invalidate_range_end
) {
524 if (!mmu_notifier_range_blockable(range
))
526 mn
->ops
->invalidate_range_end(mn
, range
);
527 if (!mmu_notifier_range_blockable(range
))
531 srcu_read_unlock(&srcu
, id
);
534 void __mmu_notifier_invalidate_range_end(struct mmu_notifier_range
*range
,
537 struct mmu_notifier_mm
*mmn_mm
= range
->mm
->mmu_notifier_mm
;
539 lock_map_acquire(&__mmu_notifier_invalidate_range_start_map
);
540 if (mmn_mm
->has_itree
)
541 mn_itree_inv_end(mmn_mm
);
543 if (!hlist_empty(&mmn_mm
->list
))
544 mn_hlist_invalidate_end(mmn_mm
, range
, only_end
);
545 lock_map_release(&__mmu_notifier_invalidate_range_start_map
);
548 void __mmu_notifier_invalidate_range(struct mm_struct
*mm
,
549 unsigned long start
, unsigned long end
)
551 struct mmu_notifier
*mn
;
554 id
= srcu_read_lock(&srcu
);
555 hlist_for_each_entry_rcu(mn
, &mm
->mmu_notifier_mm
->list
, hlist
) {
556 if (mn
->ops
->invalidate_range
)
557 mn
->ops
->invalidate_range(mn
, mm
, start
, end
);
559 srcu_read_unlock(&srcu
, id
);
563 * Same as mmu_notifier_register but here the caller must hold the mmap_sem in
564 * write mode. A NULL mn signals the notifier is being registered for itree
567 int __mmu_notifier_register(struct mmu_notifier
*mn
, struct mm_struct
*mm
)
569 struct mmu_notifier_mm
*mmu_notifier_mm
= NULL
;
572 lockdep_assert_held_write(&mm
->mmap_sem
);
573 BUG_ON(atomic_read(&mm
->mm_users
) <= 0);
575 if (IS_ENABLED(CONFIG_LOCKDEP
)) {
576 fs_reclaim_acquire(GFP_KERNEL
);
577 lock_map_acquire(&__mmu_notifier_invalidate_range_start_map
);
578 lock_map_release(&__mmu_notifier_invalidate_range_start_map
);
579 fs_reclaim_release(GFP_KERNEL
);
582 if (!mm
->mmu_notifier_mm
) {
584 * kmalloc cannot be called under mm_take_all_locks(), but we
585 * know that mm->mmu_notifier_mm can't change while we hold
586 * the write side of the mmap_sem.
589 kzalloc(sizeof(struct mmu_notifier_mm
), GFP_KERNEL
);
590 if (!mmu_notifier_mm
)
593 INIT_HLIST_HEAD(&mmu_notifier_mm
->list
);
594 spin_lock_init(&mmu_notifier_mm
->lock
);
595 mmu_notifier_mm
->invalidate_seq
= 2;
596 mmu_notifier_mm
->itree
= RB_ROOT_CACHED
;
597 init_waitqueue_head(&mmu_notifier_mm
->wq
);
598 INIT_HLIST_HEAD(&mmu_notifier_mm
->deferred_list
);
601 ret
= mm_take_all_locks(mm
);
606 * Serialize the update against mmu_notifier_unregister. A
607 * side note: mmu_notifier_release can't run concurrently with
608 * us because we hold the mm_users pin (either implicitly as
609 * current->mm or explicitly with get_task_mm() or similar).
610 * We can't race against any other mmu notifier method either
611 * thanks to mm_take_all_locks().
613 * release semantics on the initialization of the mmu_notifier_mm's
614 * contents are provided for unlocked readers. acquire can only be
615 * used while holding the mmgrab or mmget, and is safe because once
616 * created the mmu_notififer_mm is not freed until the mm is
617 * destroyed. As above, users holding the mmap_sem or one of the
618 * mm_take_all_locks() do not need to use acquire semantics.
621 smp_store_release(&mm
->mmu_notifier_mm
, mmu_notifier_mm
);
624 /* Pairs with the mmdrop in mmu_notifier_unregister_* */
629 spin_lock(&mm
->mmu_notifier_mm
->lock
);
630 hlist_add_head_rcu(&mn
->hlist
, &mm
->mmu_notifier_mm
->list
);
631 spin_unlock(&mm
->mmu_notifier_mm
->lock
);
633 mm
->mmu_notifier_mm
->has_itree
= true;
635 mm_drop_all_locks(mm
);
636 BUG_ON(atomic_read(&mm
->mm_users
) <= 0);
640 kfree(mmu_notifier_mm
);
643 EXPORT_SYMBOL_GPL(__mmu_notifier_register
);
646 * mmu_notifier_register - Register a notifier on a mm
647 * @mn: The notifier to attach
648 * @mm: The mm to attach the notifier to
650 * Must not hold mmap_sem nor any other VM related lock when calling
651 * this registration function. Must also ensure mm_users can't go down
652 * to zero while this runs to avoid races with mmu_notifier_release,
653 * so mm has to be current->mm or the mm should be pinned safely such
654 * as with get_task_mm(). If the mm is not current->mm, the mm_users
655 * pin should be released by calling mmput after mmu_notifier_register
658 * mmu_notifier_unregister() or mmu_notifier_put() must be always called to
659 * unregister the notifier.
661 * While the caller has a mmu_notifier get the mn->mm pointer will remain
662 * valid, and can be converted to an active mm pointer via mmget_not_zero().
664 int mmu_notifier_register(struct mmu_notifier
*mn
, struct mm_struct
*mm
)
668 down_write(&mm
->mmap_sem
);
669 ret
= __mmu_notifier_register(mn
, mm
);
670 up_write(&mm
->mmap_sem
);
673 EXPORT_SYMBOL_GPL(mmu_notifier_register
);
675 static struct mmu_notifier
*
676 find_get_mmu_notifier(struct mm_struct
*mm
, const struct mmu_notifier_ops
*ops
)
678 struct mmu_notifier
*mn
;
680 spin_lock(&mm
->mmu_notifier_mm
->lock
);
681 hlist_for_each_entry_rcu (mn
, &mm
->mmu_notifier_mm
->list
, hlist
) {
685 if (likely(mn
->users
!= UINT_MAX
))
688 mn
= ERR_PTR(-EOVERFLOW
);
689 spin_unlock(&mm
->mmu_notifier_mm
->lock
);
692 spin_unlock(&mm
->mmu_notifier_mm
->lock
);
697 * mmu_notifier_get_locked - Return the single struct mmu_notifier for
699 * @ops: The operations struct being subscribe with
700 * @mm : The mm to attach notifiers too
702 * This function either allocates a new mmu_notifier via
703 * ops->alloc_notifier(), or returns an already existing notifier on the
704 * list. The value of the ops pointer is used to determine when two notifiers
707 * Each call to mmu_notifier_get() must be paired with a call to
708 * mmu_notifier_put(). The caller must hold the write side of mm->mmap_sem.
710 * While the caller has a mmu_notifier get the mm pointer will remain valid,
711 * and can be converted to an active mm pointer via mmget_not_zero().
713 struct mmu_notifier
*mmu_notifier_get_locked(const struct mmu_notifier_ops
*ops
,
714 struct mm_struct
*mm
)
716 struct mmu_notifier
*mn
;
719 lockdep_assert_held_write(&mm
->mmap_sem
);
721 if (mm
->mmu_notifier_mm
) {
722 mn
= find_get_mmu_notifier(mm
, ops
);
727 mn
= ops
->alloc_notifier(mm
);
731 ret
= __mmu_notifier_register(mn
, mm
);
736 mn
->ops
->free_notifier(mn
);
739 EXPORT_SYMBOL_GPL(mmu_notifier_get_locked
);
741 /* this is called after the last mmu_notifier_unregister() returned */
742 void __mmu_notifier_mm_destroy(struct mm_struct
*mm
)
744 BUG_ON(!hlist_empty(&mm
->mmu_notifier_mm
->list
));
745 kfree(mm
->mmu_notifier_mm
);
746 mm
->mmu_notifier_mm
= LIST_POISON1
; /* debug */
750 * This releases the mm_count pin automatically and frees the mm
751 * structure if it was the last user of it. It serializes against
752 * running mmu notifiers with SRCU and against mmu_notifier_unregister
753 * with the unregister lock + SRCU. All sptes must be dropped before
754 * calling mmu_notifier_unregister. ->release or any other notifier
755 * method may be invoked concurrently with mmu_notifier_unregister,
756 * and only after mmu_notifier_unregister returned we're guaranteed
757 * that ->release or any other method can't run anymore.
759 void mmu_notifier_unregister(struct mmu_notifier
*mn
, struct mm_struct
*mm
)
761 BUG_ON(atomic_read(&mm
->mm_count
) <= 0);
763 if (!hlist_unhashed(&mn
->hlist
)) {
765 * SRCU here will force exit_mmap to wait for ->release to
766 * finish before freeing the pages.
770 id
= srcu_read_lock(&srcu
);
772 * exit_mmap will block in mmu_notifier_release to guarantee
773 * that ->release is called before freeing the pages.
775 if (mn
->ops
->release
)
776 mn
->ops
->release(mn
, mm
);
777 srcu_read_unlock(&srcu
, id
);
779 spin_lock(&mm
->mmu_notifier_mm
->lock
);
781 * Can not use list_del_rcu() since __mmu_notifier_release
782 * can delete it before we hold the lock.
784 hlist_del_init_rcu(&mn
->hlist
);
785 spin_unlock(&mm
->mmu_notifier_mm
->lock
);
789 * Wait for any running method to finish, of course including
790 * ->release if it was run by mmu_notifier_release instead of us.
792 synchronize_srcu(&srcu
);
794 BUG_ON(atomic_read(&mm
->mm_count
) <= 0);
798 EXPORT_SYMBOL_GPL(mmu_notifier_unregister
);
800 static void mmu_notifier_free_rcu(struct rcu_head
*rcu
)
802 struct mmu_notifier
*mn
= container_of(rcu
, struct mmu_notifier
, rcu
);
803 struct mm_struct
*mm
= mn
->mm
;
805 mn
->ops
->free_notifier(mn
);
806 /* Pairs with the get in __mmu_notifier_register() */
811 * mmu_notifier_put - Release the reference on the notifier
812 * @mn: The notifier to act on
814 * This function must be paired with each mmu_notifier_get(), it releases the
815 * reference obtained by the get. If this is the last reference then process
816 * to free the notifier will be run asynchronously.
818 * Unlike mmu_notifier_unregister() the get/put flow only calls ops->release
819 * when the mm_struct is destroyed. Instead free_notifier is always called to
820 * release any resources held by the user.
822 * As ops->release is not guaranteed to be called, the user must ensure that
823 * all sptes are dropped, and no new sptes can be established before
824 * mmu_notifier_put() is called.
826 * This function can be called from the ops->release callback, however the
827 * caller must still ensure it is called pairwise with mmu_notifier_get().
829 * Modules calling this function must call mmu_notifier_synchronize() in
830 * their __exit functions to ensure the async work is completed.
832 void mmu_notifier_put(struct mmu_notifier
*mn
)
834 struct mm_struct
*mm
= mn
->mm
;
836 spin_lock(&mm
->mmu_notifier_mm
->lock
);
837 if (WARN_ON(!mn
->users
) || --mn
->users
)
839 hlist_del_init_rcu(&mn
->hlist
);
840 spin_unlock(&mm
->mmu_notifier_mm
->lock
);
842 call_srcu(&srcu
, &mn
->rcu
, mmu_notifier_free_rcu
);
846 spin_unlock(&mm
->mmu_notifier_mm
->lock
);
848 EXPORT_SYMBOL_GPL(mmu_notifier_put
);
850 static int __mmu_interval_notifier_insert(
851 struct mmu_interval_notifier
*mni
, struct mm_struct
*mm
,
852 struct mmu_notifier_mm
*mmn_mm
, unsigned long start
,
853 unsigned long length
, const struct mmu_interval_notifier_ops
*ops
)
857 RB_CLEAR_NODE(&mni
->interval_tree
.rb
);
858 mni
->interval_tree
.start
= start
;
860 * Note that the representation of the intervals in the interval tree
861 * considers the ending point as contained in the interval.
864 check_add_overflow(start
, length
- 1, &mni
->interval_tree
.last
))
867 /* Must call with a mmget() held */
868 if (WARN_ON(atomic_read(&mm
->mm_count
) <= 0))
871 /* pairs with mmdrop in mmu_interval_notifier_remove() */
875 * If some invalidate_range_start/end region is going on in parallel
876 * we don't know what VA ranges are affected, so we must assume this
877 * new range is included.
879 * If the itree is invalidating then we are not allowed to change
880 * it. Retrying until invalidation is done is tricky due to the
881 * possibility for live lock, instead defer the add to
882 * mn_itree_inv_end() so this algorithm is deterministic.
884 * In all cases the value for the mni->invalidate_seq should be
885 * odd, see mmu_interval_read_begin()
887 spin_lock(&mmn_mm
->lock
);
888 if (mmn_mm
->active_invalidate_ranges
) {
889 if (mn_itree_is_invalidating(mmn_mm
))
890 hlist_add_head(&mni
->deferred_item
,
891 &mmn_mm
->deferred_list
);
893 mmn_mm
->invalidate_seq
|= 1;
894 interval_tree_insert(&mni
->interval_tree
,
897 mni
->invalidate_seq
= mmn_mm
->invalidate_seq
;
899 WARN_ON(mn_itree_is_invalidating(mmn_mm
));
901 * The starting seq for a mni not under invalidation should be
902 * odd, not equal to the current invalidate_seq and
903 * invalidate_seq should not 'wrap' to the new seq any time
906 mni
->invalidate_seq
= mmn_mm
->invalidate_seq
- 1;
907 interval_tree_insert(&mni
->interval_tree
, &mmn_mm
->itree
);
909 spin_unlock(&mmn_mm
->lock
);
914 * mmu_interval_notifier_insert - Insert an interval notifier
915 * @mni: Interval notifier to register
916 * @start: Starting virtual address to monitor
917 * @length: Length of the range to monitor
918 * @mm : mm_struct to attach to
920 * This function subscribes the interval notifier for notifications from the
921 * mm. Upon return the ops related to mmu_interval_notifier will be called
922 * whenever an event that intersects with the given range occurs.
924 * Upon return the range_notifier may not be present in the interval tree yet.
925 * The caller must use the normal interval notifier read flow via
926 * mmu_interval_read_begin() to establish SPTEs for this range.
928 int mmu_interval_notifier_insert(struct mmu_interval_notifier
*mni
,
929 struct mm_struct
*mm
, unsigned long start
,
930 unsigned long length
,
931 const struct mmu_interval_notifier_ops
*ops
)
933 struct mmu_notifier_mm
*mmn_mm
;
936 might_lock(&mm
->mmap_sem
);
938 mmn_mm
= smp_load_acquire(&mm
->mmu_notifier_mm
);
939 if (!mmn_mm
|| !mmn_mm
->has_itree
) {
940 ret
= mmu_notifier_register(NULL
, mm
);
943 mmn_mm
= mm
->mmu_notifier_mm
;
945 return __mmu_interval_notifier_insert(mni
, mm
, mmn_mm
, start
, length
,
948 EXPORT_SYMBOL_GPL(mmu_interval_notifier_insert
);
950 int mmu_interval_notifier_insert_locked(
951 struct mmu_interval_notifier
*mni
, struct mm_struct
*mm
,
952 unsigned long start
, unsigned long length
,
953 const struct mmu_interval_notifier_ops
*ops
)
955 struct mmu_notifier_mm
*mmn_mm
;
958 lockdep_assert_held_write(&mm
->mmap_sem
);
960 mmn_mm
= mm
->mmu_notifier_mm
;
961 if (!mmn_mm
|| !mmn_mm
->has_itree
) {
962 ret
= __mmu_notifier_register(NULL
, mm
);
965 mmn_mm
= mm
->mmu_notifier_mm
;
967 return __mmu_interval_notifier_insert(mni
, mm
, mmn_mm
, start
, length
,
970 EXPORT_SYMBOL_GPL(mmu_interval_notifier_insert_locked
);
973 * mmu_interval_notifier_remove - Remove a interval notifier
974 * @mni: Interval notifier to unregister
976 * This function must be paired with mmu_interval_notifier_insert(). It cannot
977 * be called from any ops callback.
979 * Once this returns ops callbacks are no longer running on other CPUs and
980 * will not be called in future.
982 void mmu_interval_notifier_remove(struct mmu_interval_notifier
*mni
)
984 struct mm_struct
*mm
= mni
->mm
;
985 struct mmu_notifier_mm
*mmn_mm
= mm
->mmu_notifier_mm
;
986 unsigned long seq
= 0;
990 spin_lock(&mmn_mm
->lock
);
991 if (mn_itree_is_invalidating(mmn_mm
)) {
993 * remove is being called after insert put this on the
994 * deferred list, but before the deferred list was processed.
996 if (RB_EMPTY_NODE(&mni
->interval_tree
.rb
)) {
997 hlist_del(&mni
->deferred_item
);
999 hlist_add_head(&mni
->deferred_item
,
1000 &mmn_mm
->deferred_list
);
1001 seq
= mmn_mm
->invalidate_seq
;
1004 WARN_ON(RB_EMPTY_NODE(&mni
->interval_tree
.rb
));
1005 interval_tree_remove(&mni
->interval_tree
, &mmn_mm
->itree
);
1007 spin_unlock(&mmn_mm
->lock
);
1010 * The possible sleep on progress in the invalidation requires the
1011 * caller not hold any locks held by invalidation callbacks.
1013 lock_map_acquire(&__mmu_notifier_invalidate_range_start_map
);
1014 lock_map_release(&__mmu_notifier_invalidate_range_start_map
);
1016 wait_event(mmn_mm
->wq
,
1017 READ_ONCE(mmn_mm
->invalidate_seq
) != seq
);
1019 /* pairs with mmgrab in mmu_interval_notifier_insert() */
1022 EXPORT_SYMBOL_GPL(mmu_interval_notifier_remove
);
1025 * mmu_notifier_synchronize - Ensure all mmu_notifiers are freed
1027 * This function ensures that all outstanding async SRU work from
1028 * mmu_notifier_put() is completed. After it returns any mmu_notifier_ops
1029 * associated with an unused mmu_notifier will no longer be called.
1031 * Before using the caller must ensure that all of its mmu_notifiers have been
1032 * fully released via mmu_notifier_put().
1034 * Modules using the mmu_notifier_put() API should call this in their __exit
1035 * function to avoid module unloading races.
1037 void mmu_notifier_synchronize(void)
1039 synchronize_srcu(&srcu
);
1041 EXPORT_SYMBOL_GPL(mmu_notifier_synchronize
);
1044 mmu_notifier_range_update_to_read_only(const struct mmu_notifier_range
*range
)
1046 if (!range
->vma
|| range
->event
!= MMU_NOTIFY_PROTECTION_VMA
)
1048 /* Return true if the vma still have the read flag set. */
1049 return range
->vma
->vm_flags
& VM_READ
;
1051 EXPORT_SYMBOL_GPL(mmu_notifier_range_update_to_read_only
);