blob: be04122fb277acd6a43a2f020e184ed2065258df [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
6 * Christoph Lameter <clameter@sgi.com>
7 *
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>
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 */
Andrea Arcangeli70400302012-10-08 16:31:52 -070023static struct srcu_struct srcu;
Sagi Grimberg21a92732012-10-08 16:29:24 -070024
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070025/*
26 * This function can't run concurrently against mmu_notifier_register
27 * because mm->mm_users > 0 during mmu_notifier_register and exit_mmap
28 * runs with mm_users == 0. Other tasks may still invoke mmu notifiers
29 * in parallel despite there being no task using this mm any more,
30 * through the vmas outside of the exit_mmap context, such as with
31 * vmtruncate. This serializes against mmu_notifier_unregister with
Sagi Grimberg21a92732012-10-08 16:29:24 -070032 * the mmu_notifier_mm->lock in addition to SRCU and it serializes
33 * against the other mmu notifiers with SRCU. struct mmu_notifier_mm
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070034 * can't go away from under us as exit_mmap holds an mm_count pin
35 * itself.
36 */
37void __mmu_notifier_release(struct mm_struct *mm)
38{
39 struct mmu_notifier *mn;
Sagi Grimberg21a92732012-10-08 16:29:24 -070040 int id;
Xiao Guangrong3ad3d902012-07-31 16:45:52 -070041
42 /*
Robin Holt751efd82013-02-22 16:35:34 -080043 * srcu_read_lock() here will block synchronize_srcu() in
44 * mmu_notifier_unregister() until all registered
45 * ->release() callouts this function makes have
46 * returned.
Xiao Guangrong3ad3d902012-07-31 16:45:52 -070047 */
Sagi Grimberg21a92732012-10-08 16:29:24 -070048 id = srcu_read_lock(&srcu);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070049 spin_lock(&mm->mmu_notifier_mm->lock);
50 while (unlikely(!hlist_empty(&mm->mmu_notifier_mm->list))) {
51 mn = hlist_entry(mm->mmu_notifier_mm->list.first,
52 struct mmu_notifier,
53 hlist);
Robin Holt751efd82013-02-22 16:35:34 -080054
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070055 /*
Robin Holt751efd82013-02-22 16:35:34 -080056 * Unlink. This will prevent mmu_notifier_unregister()
57 * from also making the ->release() callout.
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070058 */
59 hlist_del_init_rcu(&mn->hlist);
Robin Holt751efd82013-02-22 16:35:34 -080060 spin_unlock(&mm->mmu_notifier_mm->lock);
61
62 /*
63 * Clear sptes. (see 'release' description in mmu_notifier.h)
64 */
65 if (mn->ops->release)
66 mn->ops->release(mn, mm);
67
68 spin_lock(&mm->mmu_notifier_mm->lock);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070069 }
70 spin_unlock(&mm->mmu_notifier_mm->lock);
71
72 /*
Robin Holt751efd82013-02-22 16:35:34 -080073 * All callouts to ->release() which we have done are complete.
74 * Allow synchronize_srcu() in mmu_notifier_unregister() to complete
75 */
76 srcu_read_unlock(&srcu, id);
77
78 /*
79 * mmu_notifier_unregister() may have unlinked a notifier and may
80 * still be calling out to it. Additionally, other notifiers
81 * may have been active via vmtruncate() et. al. Block here
82 * to ensure that all notifier callouts for this mm have been
83 * completed and the sptes are really cleaned up before returning
84 * to exit_mmap().
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070085 */
Sagi Grimberg21a92732012-10-08 16:29:24 -070086 synchronize_srcu(&srcu);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070087}
88
89/*
90 * If no young bitflag is supported by the hardware, ->clear_flush_young can
91 * unmap the address and return 1 or 0 depending if the mapping previously
92 * existed or not.
93 */
94int __mmu_notifier_clear_flush_young(struct mm_struct *mm,
95 unsigned long address)
96{
97 struct mmu_notifier *mn;
Sagi Grimberg21a92732012-10-08 16:29:24 -070098 int young = 0, id;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070099
Sagi Grimberg21a92732012-10-08 16:29:24 -0700100 id = srcu_read_lock(&srcu);
Sasha Levinb67bfe02013-02-27 17:06:00 -0800101 hlist_for_each_entry_rcu(mn, &mm->mmu_notifier_mm->list, hlist) {
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700102 if (mn->ops->clear_flush_young)
103 young |= mn->ops->clear_flush_young(mn, mm, address);
104 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700105 srcu_read_unlock(&srcu, id);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700106
107 return young;
108}
109
Andrea Arcangeli8ee53822011-01-13 15:47:10 -0800110int __mmu_notifier_test_young(struct mm_struct *mm,
111 unsigned long address)
112{
113 struct mmu_notifier *mn;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700114 int young = 0, id;
Andrea Arcangeli8ee53822011-01-13 15:47:10 -0800115
Sagi Grimberg21a92732012-10-08 16:29:24 -0700116 id = srcu_read_lock(&srcu);
Sasha Levinb67bfe02013-02-27 17:06:00 -0800117 hlist_for_each_entry_rcu(mn, &mm->mmu_notifier_mm->list, hlist) {
Andrea Arcangeli8ee53822011-01-13 15:47:10 -0800118 if (mn->ops->test_young) {
119 young = mn->ops->test_young(mn, mm, address);
120 if (young)
121 break;
122 }
123 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700124 srcu_read_unlock(&srcu, id);
Andrea Arcangeli8ee53822011-01-13 15:47:10 -0800125
126 return young;
127}
128
Izik Eidus828502d2009-09-21 17:01:51 -0700129void __mmu_notifier_change_pte(struct mm_struct *mm, unsigned long address,
130 pte_t pte)
131{
132 struct mmu_notifier *mn;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700133 int id;
Izik Eidus828502d2009-09-21 17:01:51 -0700134
Sagi Grimberg21a92732012-10-08 16:29:24 -0700135 id = srcu_read_lock(&srcu);
Sasha Levinb67bfe02013-02-27 17:06:00 -0800136 hlist_for_each_entry_rcu(mn, &mm->mmu_notifier_mm->list, hlist) {
Izik Eidus828502d2009-09-21 17:01:51 -0700137 if (mn->ops->change_pte)
138 mn->ops->change_pte(mn, mm, address, pte);
Izik Eidus828502d2009-09-21 17:01:51 -0700139 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700140 srcu_read_unlock(&srcu, id);
Izik Eidus828502d2009-09-21 17:01:51 -0700141}
142
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700143void __mmu_notifier_invalidate_page(struct mm_struct *mm,
144 unsigned long address)
145{
146 struct mmu_notifier *mn;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700147 int id;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700148
Sagi Grimberg21a92732012-10-08 16:29:24 -0700149 id = srcu_read_lock(&srcu);
Sasha Levinb67bfe02013-02-27 17:06:00 -0800150 hlist_for_each_entry_rcu(mn, &mm->mmu_notifier_mm->list, hlist) {
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700151 if (mn->ops->invalidate_page)
152 mn->ops->invalidate_page(mn, mm, address);
153 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700154 srcu_read_unlock(&srcu, id);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700155}
156
157void __mmu_notifier_invalidate_range_start(struct mm_struct *mm,
158 unsigned long start, unsigned long end)
159{
160 struct mmu_notifier *mn;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700161 int id;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700162
Sagi Grimberg21a92732012-10-08 16:29:24 -0700163 id = srcu_read_lock(&srcu);
Sasha Levinb67bfe02013-02-27 17:06:00 -0800164 hlist_for_each_entry_rcu(mn, &mm->mmu_notifier_mm->list, hlist) {
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700165 if (mn->ops->invalidate_range_start)
166 mn->ops->invalidate_range_start(mn, mm, start, end);
167 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700168 srcu_read_unlock(&srcu, id);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700169}
Cliff Wickmanfa794192013-02-22 16:35:58 -0800170EXPORT_SYMBOL_GPL(__mmu_notifier_invalidate_range_start);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700171
172void __mmu_notifier_invalidate_range_end(struct mm_struct *mm,
173 unsigned long start, unsigned long end)
174{
175 struct mmu_notifier *mn;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700176 int id;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700177
Sagi Grimberg21a92732012-10-08 16:29:24 -0700178 id = srcu_read_lock(&srcu);
Sasha Levinb67bfe02013-02-27 17:06:00 -0800179 hlist_for_each_entry_rcu(mn, &mm->mmu_notifier_mm->list, hlist) {
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700180 if (mn->ops->invalidate_range_end)
181 mn->ops->invalidate_range_end(mn, mm, start, end);
182 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700183 srcu_read_unlock(&srcu, id);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700184}
Cliff Wickmanfa794192013-02-22 16:35:58 -0800185EXPORT_SYMBOL_GPL(__mmu_notifier_invalidate_range_end);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700186
187static int do_mmu_notifier_register(struct mmu_notifier *mn,
188 struct mm_struct *mm,
189 int take_mmap_sem)
190{
191 struct mmu_notifier_mm *mmu_notifier_mm;
192 int ret;
193
194 BUG_ON(atomic_read(&mm->mm_users) <= 0);
195
Sagi Grimberg21a92732012-10-08 16:29:24 -0700196 /*
Gavin Shan35cfa2b2012-10-25 13:38:01 -0700197 * Verify that mmu_notifier_init() already run and the global srcu is
198 * initialized.
199 */
Sagi Grimberg21a92732012-10-08 16:29:24 -0700200 BUG_ON(!srcu.per_cpu_ref);
201
Gavin Shan35cfa2b2012-10-25 13:38:01 -0700202 ret = -ENOMEM;
203 mmu_notifier_mm = kmalloc(sizeof(struct mmu_notifier_mm), GFP_KERNEL);
204 if (unlikely(!mmu_notifier_mm))
205 goto out;
206
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700207 if (take_mmap_sem)
208 down_write(&mm->mmap_sem);
209 ret = mm_take_all_locks(mm);
210 if (unlikely(ret))
Gavin Shan35cfa2b2012-10-25 13:38:01 -0700211 goto out_clean;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700212
213 if (!mm_has_notifiers(mm)) {
214 INIT_HLIST_HEAD(&mmu_notifier_mm->list);
215 spin_lock_init(&mmu_notifier_mm->lock);
Gavin Shane0f3c3f2012-10-08 16:29:26 -0700216
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700217 mm->mmu_notifier_mm = mmu_notifier_mm;
Gavin Shan35cfa2b2012-10-25 13:38:01 -0700218 mmu_notifier_mm = NULL;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700219 }
220 atomic_inc(&mm->mm_count);
221
222 /*
223 * Serialize the update against mmu_notifier_unregister. A
224 * side note: mmu_notifier_release can't run concurrently with
225 * us because we hold the mm_users pin (either implicitly as
226 * current->mm or explicitly with get_task_mm() or similar).
227 * We can't race against any other mmu notifier method either
228 * thanks to mm_take_all_locks().
229 */
230 spin_lock(&mm->mmu_notifier_mm->lock);
231 hlist_add_head(&mn->hlist, &mm->mmu_notifier_mm->list);
232 spin_unlock(&mm->mmu_notifier_mm->lock);
233
234 mm_drop_all_locks(mm);
Gavin Shan35cfa2b2012-10-25 13:38:01 -0700235out_clean:
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700236 if (take_mmap_sem)
237 up_write(&mm->mmap_sem);
Gavin Shan35cfa2b2012-10-25 13:38:01 -0700238 kfree(mmu_notifier_mm);
239out:
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700240 BUG_ON(atomic_read(&mm->mm_users) <= 0);
241 return ret;
242}
243
244/*
245 * Must not hold mmap_sem nor any other VM related lock when calling
246 * this registration function. Must also ensure mm_users can't go down
247 * to zero while this runs to avoid races with mmu_notifier_release,
248 * so mm has to be current->mm or the mm should be pinned safely such
249 * as with get_task_mm(). If the mm is not current->mm, the mm_users
250 * pin should be released by calling mmput after mmu_notifier_register
251 * returns. mmu_notifier_unregister must be always called to
252 * unregister the notifier. mm_count is automatically pinned to allow
253 * mmu_notifier_unregister to safely run at any time later, before or
254 * after exit_mmap. ->release will always be called before exit_mmap
255 * frees the pages.
256 */
257int mmu_notifier_register(struct mmu_notifier *mn, struct mm_struct *mm)
258{
259 return do_mmu_notifier_register(mn, mm, 1);
260}
261EXPORT_SYMBOL_GPL(mmu_notifier_register);
262
263/*
264 * Same as mmu_notifier_register but here the caller must hold the
265 * mmap_sem in write mode.
266 */
267int __mmu_notifier_register(struct mmu_notifier *mn, struct mm_struct *mm)
268{
269 return do_mmu_notifier_register(mn, mm, 0);
270}
271EXPORT_SYMBOL_GPL(__mmu_notifier_register);
272
273/* this is called after the last mmu_notifier_unregister() returned */
274void __mmu_notifier_mm_destroy(struct mm_struct *mm)
275{
276 BUG_ON(!hlist_empty(&mm->mmu_notifier_mm->list));
277 kfree(mm->mmu_notifier_mm);
278 mm->mmu_notifier_mm = LIST_POISON1; /* debug */
279}
280
281/*
282 * This releases the mm_count pin automatically and frees the mm
283 * structure if it was the last user of it. It serializes against
Sagi Grimberg21a92732012-10-08 16:29:24 -0700284 * running mmu notifiers with SRCU and against mmu_notifier_unregister
285 * with the unregister lock + SRCU. All sptes must be dropped before
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700286 * calling mmu_notifier_unregister. ->release or any other notifier
287 * method may be invoked concurrently with mmu_notifier_unregister,
288 * and only after mmu_notifier_unregister returned we're guaranteed
289 * that ->release or any other method can't run anymore.
290 */
291void mmu_notifier_unregister(struct mmu_notifier *mn, struct mm_struct *mm)
292{
293 BUG_ON(atomic_read(&mm->mm_count) <= 0);
294
Robin Holt751efd82013-02-22 16:35:34 -0800295 spin_lock(&mm->mmu_notifier_mm->lock);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700296 if (!hlist_unhashed(&mn->hlist)) {
Sagi Grimberg21a92732012-10-08 16:29:24 -0700297 int id;
Xiao Guangrong3ad3d902012-07-31 16:45:52 -0700298
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700299 /*
Robin Holt751efd82013-02-22 16:35:34 -0800300 * Ensure we synchronize up with __mmu_notifier_release().
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700301 */
Robin Holt751efd82013-02-22 16:35:34 -0800302 id = srcu_read_lock(&srcu);
Xiao Guangrong3ad3d902012-07-31 16:45:52 -0700303
Xiao Guangrong3ad3d902012-07-31 16:45:52 -0700304 hlist_del_rcu(&mn->hlist);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700305 spin_unlock(&mm->mmu_notifier_mm->lock);
Robin Holt751efd82013-02-22 16:35:34 -0800306
307 if (mn->ops->release)
308 mn->ops->release(mn, mm);
309
310 /*
311 * Allow __mmu_notifier_release() to complete.
312 */
313 srcu_read_unlock(&srcu, id);
314 } else
315 spin_unlock(&mm->mmu_notifier_mm->lock);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700316
317 /*
Robin Holt751efd82013-02-22 16:35:34 -0800318 * Wait for any running method to finish, including ->release() if it
319 * was run by __mmu_notifier_release() instead of us.
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700320 */
Sagi Grimberg21a92732012-10-08 16:29:24 -0700321 synchronize_srcu(&srcu);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700322
323 BUG_ON(atomic_read(&mm->mm_count) <= 0);
324
325 mmdrop(mm);
326}
327EXPORT_SYMBOL_GPL(mmu_notifier_unregister);
Sagi Grimberg21a92732012-10-08 16:29:24 -0700328
329static int __init mmu_notifier_init(void)
330{
331 return init_srcu_struct(&srcu);
332}
333
334module_init(mmu_notifier_init);