blob: 9c884abc785089d596b13a1edf7520ef0ee4123d [file] [log] [blame]
Andrea Arcangelicddb8a52008-07-28 15:46:29 -07001/*
2 * linux/mm/mmu_notifier.c
3 *
4 * Copyright (C) 2008 Qumranet, Inc.
5 * Copyright (C) 2008 SGI
Christoph Lameter93e205a2016-03-17 14:21:15 -07006 * Christoph Lameter <cl@linux.com>
Andrea Arcangelicddb8a52008-07-28 15:46:29 -07007 *
8 * This work is licensed under the terms of the GNU GPL, version 2. See
9 * the COPYING file in the top-level directory.
10 */
11
12#include <linux/rculist.h>
13#include <linux/mmu_notifier.h>
Paul Gortmakerb95f1b312011-10-16 02:01:52 -040014#include <linux/export.h>
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070015#include <linux/mm.h>
16#include <linux/err.h>
Sagi Grimberg21a92732012-10-08 16:29:24 -070017#include <linux/srcu.h>
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070018#include <linux/rcupdate.h>
19#include <linux/sched.h>
Ingo Molnar6e84f312017-02-08 18:51:29 +010020#include <linux/sched/mm.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +090021#include <linux/slab.h>
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070022
Sagi Grimberg21a92732012-10-08 16:29:24 -070023/* global SRCU for all MMs */
Paul E. McKenneydde8da62017-03-25 10:42:07 -070024DEFINE_STATIC_SRCU(srcu);
Sagi Grimberg21a92732012-10-08 16:29:24 -070025
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070026/*
Peter Zijlstrab9722162014-08-06 16:08:20 -070027 * This function allows mmu_notifier::release callback to delay a call to
28 * a function that will free appropriate resources. The function must be
29 * quick and must not block.
30 */
31void mmu_notifier_call_srcu(struct rcu_head *rcu,
32 void (*func)(struct rcu_head *rcu))
33{
34 call_srcu(&srcu, rcu, func);
35}
36EXPORT_SYMBOL_GPL(mmu_notifier_call_srcu);
37
Peter Zijlstrab9722162014-08-06 16:08:20 -070038/*
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070039 * This function can't run concurrently against mmu_notifier_register
40 * because mm->mm_users > 0 during mmu_notifier_register and exit_mmap
41 * runs with mm_users == 0. Other tasks may still invoke mmu notifiers
42 * in parallel despite there being no task using this mm any more,
43 * through the vmas outside of the exit_mmap context, such as with
44 * vmtruncate. This serializes against mmu_notifier_unregister with
Sagi Grimberg21a92732012-10-08 16:29:24 -070045 * the mmu_notifier_mm->lock in addition to SRCU and it serializes
46 * against the other mmu notifiers with SRCU. struct mmu_notifier_mm
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070047 * can't go away from under us as exit_mmap holds an mm_count pin
48 * itself.
49 */
50void __mmu_notifier_release(struct mm_struct *mm)
51{
52 struct mmu_notifier *mn;
Sagi Grimberg21a92732012-10-08 16:29:24 -070053 int id;
Xiao Guangrong3ad3d902012-07-31 16:45:52 -070054
55 /*
Xiao Guangrongd34883d2013-05-24 15:55:11 -070056 * SRCU here will block mmu_notifier_unregister until
57 * ->release returns.
Xiao Guangrong3ad3d902012-07-31 16:45:52 -070058 */
Sagi Grimberg21a92732012-10-08 16:29:24 -070059 id = srcu_read_lock(&srcu);
Xiao Guangrongd34883d2013-05-24 15:55:11 -070060 hlist_for_each_entry_rcu(mn, &mm->mmu_notifier_mm->list, hlist)
61 /*
62 * If ->release runs before mmu_notifier_unregister it must be
63 * handled, as it's the only way for the driver to flush all
64 * existing sptes and stop the driver from establishing any more
65 * sptes before all the pages in the mm are freed.
66 */
67 if (mn->ops->release)
68 mn->ops->release(mn, mm);
Xiao Guangrongd34883d2013-05-24 15:55:11 -070069
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070070 spin_lock(&mm->mmu_notifier_mm->lock);
71 while (unlikely(!hlist_empty(&mm->mmu_notifier_mm->list))) {
72 mn = hlist_entry(mm->mmu_notifier_mm->list.first,
73 struct mmu_notifier,
74 hlist);
75 /*
Xiao Guangrongd34883d2013-05-24 15:55:11 -070076 * We arrived before mmu_notifier_unregister so
77 * mmu_notifier_unregister will do nothing other than to wait
78 * for ->release to finish and for mmu_notifier_unregister to
79 * return.
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070080 */
81 hlist_del_init_rcu(&mn->hlist);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070082 }
83 spin_unlock(&mm->mmu_notifier_mm->lock);
Peter Zijlstrab9722162014-08-06 16:08:20 -070084 srcu_read_unlock(&srcu, id);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070085
86 /*
Xiao Guangrongd34883d2013-05-24 15:55:11 -070087 * synchronize_srcu here prevents mmu_notifier_release from returning to
88 * exit_mmap (which would proceed with freeing all pages in the mm)
89 * until the ->release method returns, if it was invoked by
90 * mmu_notifier_unregister.
91 *
92 * The mmu_notifier_mm can't go away from under us because one mm_count
93 * is held by exit_mmap.
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070094 */
Sagi Grimberg21a92732012-10-08 16:29:24 -070095 synchronize_srcu(&srcu);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070096}
97
98/*
99 * If no young bitflag is supported by the hardware, ->clear_flush_young can
100 * unmap the address and return 1 or 0 depending if the mapping previously
101 * existed or not.
102 */
103int __mmu_notifier_clear_flush_young(struct mm_struct *mm,
Andres Lagar-Cavilla57128462014-09-22 14:54:42 -0700104 unsigned long start,
105 unsigned long end)
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700106{
107 struct mmu_notifier *mn;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700108 int young = 0, id;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700109
Sagi Grimberg21a92732012-10-08 16:29:24 -0700110 id = srcu_read_lock(&srcu);
Sasha Levinb67bfe02013-02-27 17:06:00 -0800111 hlist_for_each_entry_rcu(mn, &mm->mmu_notifier_mm->list, hlist) {
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700112 if (mn->ops->clear_flush_young)
Andres Lagar-Cavilla57128462014-09-22 14:54:42 -0700113 young |= mn->ops->clear_flush_young(mn, mm, start, end);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700114 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700115 srcu_read_unlock(&srcu, id);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700116
117 return young;
118}
119
Vladimir Davydov1d7715c2015-09-09 15:35:41 -0700120int __mmu_notifier_clear_young(struct mm_struct *mm,
121 unsigned long start,
122 unsigned long end)
123{
124 struct mmu_notifier *mn;
125 int young = 0, id;
126
127 id = srcu_read_lock(&srcu);
128 hlist_for_each_entry_rcu(mn, &mm->mmu_notifier_mm->list, hlist) {
129 if (mn->ops->clear_young)
130 young |= mn->ops->clear_young(mn, mm, start, end);
131 }
132 srcu_read_unlock(&srcu, id);
133
134 return young;
135}
136
Andrea Arcangeli8ee53822011-01-13 15:47:10 -0800137int __mmu_notifier_test_young(struct mm_struct *mm,
138 unsigned long address)
139{
140 struct mmu_notifier *mn;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700141 int young = 0, id;
Andrea Arcangeli8ee53822011-01-13 15:47:10 -0800142
Sagi Grimberg21a92732012-10-08 16:29:24 -0700143 id = srcu_read_lock(&srcu);
Sasha Levinb67bfe02013-02-27 17:06:00 -0800144 hlist_for_each_entry_rcu(mn, &mm->mmu_notifier_mm->list, hlist) {
Andrea Arcangeli8ee53822011-01-13 15:47:10 -0800145 if (mn->ops->test_young) {
146 young = mn->ops->test_young(mn, mm, address);
147 if (young)
148 break;
149 }
150 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700151 srcu_read_unlock(&srcu, id);
Andrea Arcangeli8ee53822011-01-13 15:47:10 -0800152
153 return young;
154}
155
Izik Eidus828502d2009-09-21 17:01:51 -0700156void __mmu_notifier_change_pte(struct mm_struct *mm, unsigned long address,
157 pte_t pte)
158{
159 struct mmu_notifier *mn;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700160 int id;
Izik Eidus828502d2009-09-21 17:01:51 -0700161
Sagi Grimberg21a92732012-10-08 16:29:24 -0700162 id = srcu_read_lock(&srcu);
Sasha Levinb67bfe02013-02-27 17:06:00 -0800163 hlist_for_each_entry_rcu(mn, &mm->mmu_notifier_mm->list, hlist) {
Izik Eidus828502d2009-09-21 17:01:51 -0700164 if (mn->ops->change_pte)
165 mn->ops->change_pte(mn, mm, address, pte);
Izik Eidus828502d2009-09-21 17:01:51 -0700166 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700167 srcu_read_unlock(&srcu, id);
Izik Eidus828502d2009-09-21 17:01:51 -0700168}
169
Jérôme Glisseac46d4f2018-12-28 00:38:09 -0800170int __mmu_notifier_invalidate_range_start(struct mmu_notifier_range *range)
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700171{
172 struct mmu_notifier *mn;
Michal Hocko93065ac2018-08-21 21:52:33 -0700173 int ret = 0;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700174 int id;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700175
Sagi Grimberg21a92732012-10-08 16:29:24 -0700176 id = srcu_read_lock(&srcu);
Jérôme Glisseac46d4f2018-12-28 00:38:09 -0800177 hlist_for_each_entry_rcu(mn, &range->mm->mmu_notifier_mm->list, hlist) {
Michal Hocko93065ac2018-08-21 21:52:33 -0700178 if (mn->ops->invalidate_range_start) {
Jérôme Glisse5d6527a2018-12-28 00:38:05 -0800179 int _ret = mn->ops->invalidate_range_start(mn, range);
Michal Hocko93065ac2018-08-21 21:52:33 -0700180 if (_ret) {
181 pr_info("%pS callback failed with %d in %sblockable context.\n",
Jérôme Glisseac46d4f2018-12-28 00:38:09 -0800182 mn->ops->invalidate_range_start, _ret,
183 !range->blockable ? "non-" : "");
Michal Hocko93065ac2018-08-21 21:52:33 -0700184 ret = _ret;
185 }
186 }
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700187 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700188 srcu_read_unlock(&srcu, id);
Michal Hocko93065ac2018-08-21 21:52:33 -0700189
190 return ret;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700191}
Cliff Wickmanfa794192013-02-22 16:35:58 -0800192EXPORT_SYMBOL_GPL(__mmu_notifier_invalidate_range_start);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700193
Jérôme Glisseac46d4f2018-12-28 00:38:09 -0800194void __mmu_notifier_invalidate_range_end(struct mmu_notifier_range *range,
Jérôme Glisse4645b9f2017-11-15 17:34:11 -0800195 bool only_end)
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700196{
197 struct mmu_notifier *mn;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700198 int id;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700199
Sagi Grimberg21a92732012-10-08 16:29:24 -0700200 id = srcu_read_lock(&srcu);
Jérôme Glisseac46d4f2018-12-28 00:38:09 -0800201 hlist_for_each_entry_rcu(mn, &range->mm->mmu_notifier_mm->list, hlist) {
Joerg Roedel0f0a3272014-11-13 13:46:09 +1100202 /*
203 * Call invalidate_range here too to avoid the need for the
204 * subsystem of having to register an invalidate_range_end
205 * call-back when there is invalidate_range already. Usually a
206 * subsystem registers either invalidate_range_start()/end() or
207 * invalidate_range(), so this will be no additional overhead
208 * (besides the pointer check).
Jérôme Glisse4645b9f2017-11-15 17:34:11 -0800209 *
210 * We skip call to invalidate_range() if we know it is safe ie
211 * call site use mmu_notifier_invalidate_range_only_end() which
212 * is safe to do when we know that a call to invalidate_range()
213 * already happen under page table lock.
Joerg Roedel0f0a3272014-11-13 13:46:09 +1100214 */
Jérôme Glisse4645b9f2017-11-15 17:34:11 -0800215 if (!only_end && mn->ops->invalidate_range)
Jérôme Glisseac46d4f2018-12-28 00:38:09 -0800216 mn->ops->invalidate_range(mn, range->mm,
217 range->start,
218 range->end);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700219 if (mn->ops->invalidate_range_end)
Jérôme Glisse5d6527a2018-12-28 00:38:05 -0800220 mn->ops->invalidate_range_end(mn, range);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700221 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700222 srcu_read_unlock(&srcu, id);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700223}
Cliff Wickmanfa794192013-02-22 16:35:58 -0800224EXPORT_SYMBOL_GPL(__mmu_notifier_invalidate_range_end);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700225
Joerg Roedel0f0a3272014-11-13 13:46:09 +1100226void __mmu_notifier_invalidate_range(struct mm_struct *mm,
227 unsigned long start, unsigned long end)
228{
229 struct mmu_notifier *mn;
230 int id;
231
232 id = srcu_read_lock(&srcu);
233 hlist_for_each_entry_rcu(mn, &mm->mmu_notifier_mm->list, hlist) {
234 if (mn->ops->invalidate_range)
235 mn->ops->invalidate_range(mn, mm, start, end);
236 }
237 srcu_read_unlock(&srcu, id);
238}
239EXPORT_SYMBOL_GPL(__mmu_notifier_invalidate_range);
240
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700241static int do_mmu_notifier_register(struct mmu_notifier *mn,
242 struct mm_struct *mm,
243 int take_mmap_sem)
244{
245 struct mmu_notifier_mm *mmu_notifier_mm;
246 int ret;
247
248 BUG_ON(atomic_read(&mm->mm_users) <= 0);
249
Gavin Shan35cfa2b2012-10-25 13:38:01 -0700250 ret = -ENOMEM;
251 mmu_notifier_mm = kmalloc(sizeof(struct mmu_notifier_mm), GFP_KERNEL);
252 if (unlikely(!mmu_notifier_mm))
253 goto out;
254
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700255 if (take_mmap_sem)
256 down_write(&mm->mmap_sem);
257 ret = mm_take_all_locks(mm);
258 if (unlikely(ret))
Gavin Shan35cfa2b2012-10-25 13:38:01 -0700259 goto out_clean;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700260
261 if (!mm_has_notifiers(mm)) {
262 INIT_HLIST_HEAD(&mmu_notifier_mm->list);
263 spin_lock_init(&mmu_notifier_mm->lock);
Gavin Shane0f3c3f2012-10-08 16:29:26 -0700264
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700265 mm->mmu_notifier_mm = mmu_notifier_mm;
Gavin Shan35cfa2b2012-10-25 13:38:01 -0700266 mmu_notifier_mm = NULL;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700267 }
Vegard Nossumf1f10072017-02-27 14:30:07 -0800268 mmgrab(mm);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700269
270 /*
271 * Serialize the update against mmu_notifier_unregister. A
272 * side note: mmu_notifier_release can't run concurrently with
273 * us because we hold the mm_users pin (either implicitly as
274 * current->mm or explicitly with get_task_mm() or similar).
275 * We can't race against any other mmu notifier method either
276 * thanks to mm_take_all_locks().
277 */
278 spin_lock(&mm->mmu_notifier_mm->lock);
279 hlist_add_head(&mn->hlist, &mm->mmu_notifier_mm->list);
280 spin_unlock(&mm->mmu_notifier_mm->lock);
281
282 mm_drop_all_locks(mm);
Gavin Shan35cfa2b2012-10-25 13:38:01 -0700283out_clean:
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700284 if (take_mmap_sem)
285 up_write(&mm->mmap_sem);
Gavin Shan35cfa2b2012-10-25 13:38:01 -0700286 kfree(mmu_notifier_mm);
287out:
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700288 BUG_ON(atomic_read(&mm->mm_users) <= 0);
289 return ret;
290}
291
292/*
293 * Must not hold mmap_sem nor any other VM related lock when calling
294 * this registration function. Must also ensure mm_users can't go down
295 * to zero while this runs to avoid races with mmu_notifier_release,
296 * so mm has to be current->mm or the mm should be pinned safely such
297 * as with get_task_mm(). If the mm is not current->mm, the mm_users
298 * pin should be released by calling mmput after mmu_notifier_register
299 * returns. mmu_notifier_unregister must be always called to
300 * unregister the notifier. mm_count is automatically pinned to allow
301 * mmu_notifier_unregister to safely run at any time later, before or
302 * after exit_mmap. ->release will always be called before exit_mmap
303 * frees the pages.
304 */
305int mmu_notifier_register(struct mmu_notifier *mn, struct mm_struct *mm)
306{
307 return do_mmu_notifier_register(mn, mm, 1);
308}
309EXPORT_SYMBOL_GPL(mmu_notifier_register);
310
311/*
312 * Same as mmu_notifier_register but here the caller must hold the
313 * mmap_sem in write mode.
314 */
315int __mmu_notifier_register(struct mmu_notifier *mn, struct mm_struct *mm)
316{
317 return do_mmu_notifier_register(mn, mm, 0);
318}
319EXPORT_SYMBOL_GPL(__mmu_notifier_register);
320
321/* this is called after the last mmu_notifier_unregister() returned */
322void __mmu_notifier_mm_destroy(struct mm_struct *mm)
323{
324 BUG_ON(!hlist_empty(&mm->mmu_notifier_mm->list));
325 kfree(mm->mmu_notifier_mm);
326 mm->mmu_notifier_mm = LIST_POISON1; /* debug */
327}
328
329/*
330 * This releases the mm_count pin automatically and frees the mm
331 * structure if it was the last user of it. It serializes against
Sagi Grimberg21a92732012-10-08 16:29:24 -0700332 * running mmu notifiers with SRCU and against mmu_notifier_unregister
333 * with the unregister lock + SRCU. All sptes must be dropped before
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700334 * calling mmu_notifier_unregister. ->release or any other notifier
335 * method may be invoked concurrently with mmu_notifier_unregister,
336 * and only after mmu_notifier_unregister returned we're guaranteed
337 * that ->release or any other method can't run anymore.
338 */
339void mmu_notifier_unregister(struct mmu_notifier *mn, struct mm_struct *mm)
340{
341 BUG_ON(atomic_read(&mm->mm_count) <= 0);
342
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700343 if (!hlist_unhashed(&mn->hlist)) {
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700344 /*
345 * SRCU here will force exit_mmap to wait for ->release to
346 * finish before freeing the pages.
347 */
Sagi Grimberg21a92732012-10-08 16:29:24 -0700348 int id;
Xiao Guangrong3ad3d902012-07-31 16:45:52 -0700349
Robin Holt751efd82013-02-22 16:35:34 -0800350 id = srcu_read_lock(&srcu);
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700351 /*
352 * exit_mmap will block in mmu_notifier_release to guarantee
353 * that ->release is called before freeing the pages.
354 */
Robin Holt751efd82013-02-22 16:35:34 -0800355 if (mn->ops->release)
356 mn->ops->release(mn, mm);
Robin Holt751efd82013-02-22 16:35:34 -0800357 srcu_read_unlock(&srcu, id);
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700358
359 spin_lock(&mm->mmu_notifier_mm->lock);
360 /*
361 * Can not use list_del_rcu() since __mmu_notifier_release
362 * can delete it before we hold the lock.
363 */
364 hlist_del_init_rcu(&mn->hlist);
Robin Holt751efd82013-02-22 16:35:34 -0800365 spin_unlock(&mm->mmu_notifier_mm->lock);
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700366 }
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700367
368 /*
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700369 * Wait for any running method to finish, of course including
Geert Uytterhoeven83a35e32013-06-28 11:27:31 +0200370 * ->release if it was run by mmu_notifier_release instead of us.
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700371 */
Sagi Grimberg21a92732012-10-08 16:29:24 -0700372 synchronize_srcu(&srcu);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700373
374 BUG_ON(atomic_read(&mm->mm_count) <= 0);
375
376 mmdrop(mm);
377}
378EXPORT_SYMBOL_GPL(mmu_notifier_unregister);
Sagi Grimberg21a92732012-10-08 16:29:24 -0700379
Peter Zijlstrab9722162014-08-06 16:08:20 -0700380/*
381 * Same as mmu_notifier_unregister but no callback and no srcu synchronization.
382 */
383void mmu_notifier_unregister_no_release(struct mmu_notifier *mn,
384 struct mm_struct *mm)
385{
386 spin_lock(&mm->mmu_notifier_mm->lock);
387 /*
388 * Can not use list_del_rcu() since __mmu_notifier_release
389 * can delete it before we hold the lock.
390 */
391 hlist_del_init_rcu(&mn->hlist);
392 spin_unlock(&mm->mmu_notifier_mm->lock);
393
394 BUG_ON(atomic_read(&mm->mm_count) <= 0);
395 mmdrop(mm);
396}
397EXPORT_SYMBOL_GPL(mmu_notifier_unregister_no_release);