blob: 3b9b3d0741b2a1546837761d90f7eec2c0b3b18b [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/*
Peter Zijlstrab9722162014-08-06 16:08:20 -070026 * This function allows mmu_notifier::release callback to delay a call to
27 * a function that will free appropriate resources. The function must be
28 * quick and must not block.
29 */
30void mmu_notifier_call_srcu(struct rcu_head *rcu,
31 void (*func)(struct rcu_head *rcu))
32{
33 call_srcu(&srcu, rcu, func);
34}
35EXPORT_SYMBOL_GPL(mmu_notifier_call_srcu);
36
37void mmu_notifier_synchronize(void)
38{
39 /* Wait for any running method to finish. */
40 srcu_barrier(&srcu);
41}
42EXPORT_SYMBOL_GPL(mmu_notifier_synchronize);
43
44/*
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070045 * This function can't run concurrently against mmu_notifier_register
46 * because mm->mm_users > 0 during mmu_notifier_register and exit_mmap
47 * runs with mm_users == 0. Other tasks may still invoke mmu notifiers
48 * in parallel despite there being no task using this mm any more,
49 * through the vmas outside of the exit_mmap context, such as with
50 * vmtruncate. This serializes against mmu_notifier_unregister with
Sagi Grimberg21a92732012-10-08 16:29:24 -070051 * the mmu_notifier_mm->lock in addition to SRCU and it serializes
52 * against the other mmu notifiers with SRCU. struct mmu_notifier_mm
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070053 * can't go away from under us as exit_mmap holds an mm_count pin
54 * itself.
55 */
56void __mmu_notifier_release(struct mm_struct *mm)
57{
58 struct mmu_notifier *mn;
Sagi Grimberg21a92732012-10-08 16:29:24 -070059 int id;
Xiao Guangrong3ad3d902012-07-31 16:45:52 -070060
61 /*
Xiao Guangrongd34883d2013-05-24 15:55:11 -070062 * SRCU here will block mmu_notifier_unregister until
63 * ->release returns.
Xiao Guangrong3ad3d902012-07-31 16:45:52 -070064 */
Sagi Grimberg21a92732012-10-08 16:29:24 -070065 id = srcu_read_lock(&srcu);
Xiao Guangrongd34883d2013-05-24 15:55:11 -070066 hlist_for_each_entry_rcu(mn, &mm->mmu_notifier_mm->list, hlist)
67 /*
68 * If ->release runs before mmu_notifier_unregister it must be
69 * handled, as it's the only way for the driver to flush all
70 * existing sptes and stop the driver from establishing any more
71 * sptes before all the pages in the mm are freed.
72 */
73 if (mn->ops->release)
74 mn->ops->release(mn, mm);
Xiao Guangrongd34883d2013-05-24 15:55:11 -070075
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070076 spin_lock(&mm->mmu_notifier_mm->lock);
77 while (unlikely(!hlist_empty(&mm->mmu_notifier_mm->list))) {
78 mn = hlist_entry(mm->mmu_notifier_mm->list.first,
79 struct mmu_notifier,
80 hlist);
81 /*
Xiao Guangrongd34883d2013-05-24 15:55:11 -070082 * We arrived before mmu_notifier_unregister so
83 * mmu_notifier_unregister will do nothing other than to wait
84 * for ->release to finish and for mmu_notifier_unregister to
85 * return.
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070086 */
87 hlist_del_init_rcu(&mn->hlist);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070088 }
89 spin_unlock(&mm->mmu_notifier_mm->lock);
Peter Zijlstrab9722162014-08-06 16:08:20 -070090 srcu_read_unlock(&srcu, id);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070091
92 /*
Xiao Guangrongd34883d2013-05-24 15:55:11 -070093 * synchronize_srcu here prevents mmu_notifier_release from returning to
94 * exit_mmap (which would proceed with freeing all pages in the mm)
95 * until the ->release method returns, if it was invoked by
96 * mmu_notifier_unregister.
97 *
98 * The mmu_notifier_mm can't go away from under us because one mm_count
99 * is held by exit_mmap.
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700100 */
Sagi Grimberg21a92732012-10-08 16:29:24 -0700101 synchronize_srcu(&srcu);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700102}
103
104/*
105 * If no young bitflag is supported by the hardware, ->clear_flush_young can
106 * unmap the address and return 1 or 0 depending if the mapping previously
107 * existed or not.
108 */
109int __mmu_notifier_clear_flush_young(struct mm_struct *mm,
Andres Lagar-Cavilla57128462014-09-22 14:54:42 -0700110 unsigned long start,
111 unsigned long end)
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700112{
113 struct mmu_notifier *mn;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700114 int young = 0, id;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700115
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 Arcangelicddb8a52008-07-28 15:46:29 -0700118 if (mn->ops->clear_flush_young)
Andres Lagar-Cavilla57128462014-09-22 14:54:42 -0700119 young |= mn->ops->clear_flush_young(mn, mm, start, end);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700120 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700121 srcu_read_unlock(&srcu, id);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700122
123 return young;
124}
125
Andrea Arcangeli8ee53822011-01-13 15:47:10 -0800126int __mmu_notifier_test_young(struct mm_struct *mm,
127 unsigned long address)
128{
129 struct mmu_notifier *mn;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700130 int young = 0, id;
Andrea Arcangeli8ee53822011-01-13 15:47:10 -0800131
Sagi Grimberg21a92732012-10-08 16:29:24 -0700132 id = srcu_read_lock(&srcu);
Sasha Levinb67bfe02013-02-27 17:06:00 -0800133 hlist_for_each_entry_rcu(mn, &mm->mmu_notifier_mm->list, hlist) {
Andrea Arcangeli8ee53822011-01-13 15:47:10 -0800134 if (mn->ops->test_young) {
135 young = mn->ops->test_young(mn, mm, address);
136 if (young)
137 break;
138 }
139 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700140 srcu_read_unlock(&srcu, id);
Andrea Arcangeli8ee53822011-01-13 15:47:10 -0800141
142 return young;
143}
144
Izik Eidus828502d2009-09-21 17:01:51 -0700145void __mmu_notifier_change_pte(struct mm_struct *mm, unsigned long address,
146 pte_t pte)
147{
148 struct mmu_notifier *mn;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700149 int id;
Izik Eidus828502d2009-09-21 17:01:51 -0700150
Sagi Grimberg21a92732012-10-08 16:29:24 -0700151 id = srcu_read_lock(&srcu);
Sasha Levinb67bfe02013-02-27 17:06:00 -0800152 hlist_for_each_entry_rcu(mn, &mm->mmu_notifier_mm->list, hlist) {
Izik Eidus828502d2009-09-21 17:01:51 -0700153 if (mn->ops->change_pte)
154 mn->ops->change_pte(mn, mm, address, pte);
Izik Eidus828502d2009-09-21 17:01:51 -0700155 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700156 srcu_read_unlock(&srcu, id);
Izik Eidus828502d2009-09-21 17:01:51 -0700157}
158
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700159void __mmu_notifier_invalidate_page(struct mm_struct *mm,
160 unsigned long address)
161{
162 struct mmu_notifier *mn;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700163 int id;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700164
Sagi Grimberg21a92732012-10-08 16:29:24 -0700165 id = srcu_read_lock(&srcu);
Sasha Levinb67bfe02013-02-27 17:06:00 -0800166 hlist_for_each_entry_rcu(mn, &mm->mmu_notifier_mm->list, hlist) {
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700167 if (mn->ops->invalidate_page)
168 mn->ops->invalidate_page(mn, mm, address);
169 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700170 srcu_read_unlock(&srcu, id);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700171}
172
173void __mmu_notifier_invalidate_range_start(struct mm_struct *mm,
174 unsigned long start, unsigned long end)
175{
176 struct mmu_notifier *mn;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700177 int id;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700178
Sagi Grimberg21a92732012-10-08 16:29:24 -0700179 id = srcu_read_lock(&srcu);
Sasha Levinb67bfe02013-02-27 17:06:00 -0800180 hlist_for_each_entry_rcu(mn, &mm->mmu_notifier_mm->list, hlist) {
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700181 if (mn->ops->invalidate_range_start)
182 mn->ops->invalidate_range_start(mn, mm, start, end);
183 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700184 srcu_read_unlock(&srcu, id);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700185}
Cliff Wickmanfa794192013-02-22 16:35:58 -0800186EXPORT_SYMBOL_GPL(__mmu_notifier_invalidate_range_start);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700187
188void __mmu_notifier_invalidate_range_end(struct mm_struct *mm,
189 unsigned long start, unsigned long end)
190{
191 struct mmu_notifier *mn;
Sagi Grimberg21a92732012-10-08 16:29:24 -0700192 int id;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700193
Sagi Grimberg21a92732012-10-08 16:29:24 -0700194 id = srcu_read_lock(&srcu);
Sasha Levinb67bfe02013-02-27 17:06:00 -0800195 hlist_for_each_entry_rcu(mn, &mm->mmu_notifier_mm->list, hlist) {
Joerg Roedel0f0a3272014-11-13 13:46:09 +1100196 /*
197 * Call invalidate_range here too to avoid the need for the
198 * subsystem of having to register an invalidate_range_end
199 * call-back when there is invalidate_range already. Usually a
200 * subsystem registers either invalidate_range_start()/end() or
201 * invalidate_range(), so this will be no additional overhead
202 * (besides the pointer check).
203 */
204 if (mn->ops->invalidate_range)
205 mn->ops->invalidate_range(mn, mm, start, end);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700206 if (mn->ops->invalidate_range_end)
207 mn->ops->invalidate_range_end(mn, mm, start, end);
208 }
Sagi Grimberg21a92732012-10-08 16:29:24 -0700209 srcu_read_unlock(&srcu, id);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700210}
Cliff Wickmanfa794192013-02-22 16:35:58 -0800211EXPORT_SYMBOL_GPL(__mmu_notifier_invalidate_range_end);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700212
Joerg Roedel0f0a3272014-11-13 13:46:09 +1100213void __mmu_notifier_invalidate_range(struct mm_struct *mm,
214 unsigned long start, unsigned long end)
215{
216 struct mmu_notifier *mn;
217 int id;
218
219 id = srcu_read_lock(&srcu);
220 hlist_for_each_entry_rcu(mn, &mm->mmu_notifier_mm->list, hlist) {
221 if (mn->ops->invalidate_range)
222 mn->ops->invalidate_range(mn, mm, start, end);
223 }
224 srcu_read_unlock(&srcu, id);
225}
226EXPORT_SYMBOL_GPL(__mmu_notifier_invalidate_range);
227
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700228static int do_mmu_notifier_register(struct mmu_notifier *mn,
229 struct mm_struct *mm,
230 int take_mmap_sem)
231{
232 struct mmu_notifier_mm *mmu_notifier_mm;
233 int ret;
234
235 BUG_ON(atomic_read(&mm->mm_users) <= 0);
236
Sagi Grimberg21a92732012-10-08 16:29:24 -0700237 /*
Gavin Shan35cfa2b2012-10-25 13:38:01 -0700238 * Verify that mmu_notifier_init() already run and the global srcu is
239 * initialized.
240 */
Sagi Grimberg21a92732012-10-08 16:29:24 -0700241 BUG_ON(!srcu.per_cpu_ref);
242
Gavin Shan35cfa2b2012-10-25 13:38:01 -0700243 ret = -ENOMEM;
244 mmu_notifier_mm = kmalloc(sizeof(struct mmu_notifier_mm), GFP_KERNEL);
245 if (unlikely(!mmu_notifier_mm))
246 goto out;
247
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700248 if (take_mmap_sem)
249 down_write(&mm->mmap_sem);
250 ret = mm_take_all_locks(mm);
251 if (unlikely(ret))
Gavin Shan35cfa2b2012-10-25 13:38:01 -0700252 goto out_clean;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700253
254 if (!mm_has_notifiers(mm)) {
255 INIT_HLIST_HEAD(&mmu_notifier_mm->list);
256 spin_lock_init(&mmu_notifier_mm->lock);
Gavin Shane0f3c3f2012-10-08 16:29:26 -0700257
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700258 mm->mmu_notifier_mm = mmu_notifier_mm;
Gavin Shan35cfa2b2012-10-25 13:38:01 -0700259 mmu_notifier_mm = NULL;
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700260 }
261 atomic_inc(&mm->mm_count);
262
263 /*
264 * Serialize the update against mmu_notifier_unregister. A
265 * side note: mmu_notifier_release can't run concurrently with
266 * us because we hold the mm_users pin (either implicitly as
267 * current->mm or explicitly with get_task_mm() or similar).
268 * We can't race against any other mmu notifier method either
269 * thanks to mm_take_all_locks().
270 */
271 spin_lock(&mm->mmu_notifier_mm->lock);
272 hlist_add_head(&mn->hlist, &mm->mmu_notifier_mm->list);
273 spin_unlock(&mm->mmu_notifier_mm->lock);
274
275 mm_drop_all_locks(mm);
Gavin Shan35cfa2b2012-10-25 13:38:01 -0700276out_clean:
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700277 if (take_mmap_sem)
278 up_write(&mm->mmap_sem);
Gavin Shan35cfa2b2012-10-25 13:38:01 -0700279 kfree(mmu_notifier_mm);
280out:
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700281 BUG_ON(atomic_read(&mm->mm_users) <= 0);
282 return ret;
283}
284
285/*
286 * Must not hold mmap_sem nor any other VM related lock when calling
287 * this registration function. Must also ensure mm_users can't go down
288 * to zero while this runs to avoid races with mmu_notifier_release,
289 * so mm has to be current->mm or the mm should be pinned safely such
290 * as with get_task_mm(). If the mm is not current->mm, the mm_users
291 * pin should be released by calling mmput after mmu_notifier_register
292 * returns. mmu_notifier_unregister must be always called to
293 * unregister the notifier. mm_count is automatically pinned to allow
294 * mmu_notifier_unregister to safely run at any time later, before or
295 * after exit_mmap. ->release will always be called before exit_mmap
296 * frees the pages.
297 */
298int mmu_notifier_register(struct mmu_notifier *mn, struct mm_struct *mm)
299{
300 return do_mmu_notifier_register(mn, mm, 1);
301}
302EXPORT_SYMBOL_GPL(mmu_notifier_register);
303
304/*
305 * Same as mmu_notifier_register but here the caller must hold the
306 * mmap_sem in write mode.
307 */
308int __mmu_notifier_register(struct mmu_notifier *mn, struct mm_struct *mm)
309{
310 return do_mmu_notifier_register(mn, mm, 0);
311}
312EXPORT_SYMBOL_GPL(__mmu_notifier_register);
313
314/* this is called after the last mmu_notifier_unregister() returned */
315void __mmu_notifier_mm_destroy(struct mm_struct *mm)
316{
317 BUG_ON(!hlist_empty(&mm->mmu_notifier_mm->list));
318 kfree(mm->mmu_notifier_mm);
319 mm->mmu_notifier_mm = LIST_POISON1; /* debug */
320}
321
322/*
323 * This releases the mm_count pin automatically and frees the mm
324 * structure if it was the last user of it. It serializes against
Sagi Grimberg21a92732012-10-08 16:29:24 -0700325 * running mmu notifiers with SRCU and against mmu_notifier_unregister
326 * with the unregister lock + SRCU. All sptes must be dropped before
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700327 * calling mmu_notifier_unregister. ->release or any other notifier
328 * method may be invoked concurrently with mmu_notifier_unregister,
329 * and only after mmu_notifier_unregister returned we're guaranteed
330 * that ->release or any other method can't run anymore.
331 */
332void mmu_notifier_unregister(struct mmu_notifier *mn, struct mm_struct *mm)
333{
334 BUG_ON(atomic_read(&mm->mm_count) <= 0);
335
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700336 if (!hlist_unhashed(&mn->hlist)) {
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700337 /*
338 * SRCU here will force exit_mmap to wait for ->release to
339 * finish before freeing the pages.
340 */
Sagi Grimberg21a92732012-10-08 16:29:24 -0700341 int id;
Xiao Guangrong3ad3d902012-07-31 16:45:52 -0700342
Robin Holt751efd82013-02-22 16:35:34 -0800343 id = srcu_read_lock(&srcu);
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700344 /*
345 * exit_mmap will block in mmu_notifier_release to guarantee
346 * that ->release is called before freeing the pages.
347 */
Robin Holt751efd82013-02-22 16:35:34 -0800348 if (mn->ops->release)
349 mn->ops->release(mn, mm);
Robin Holt751efd82013-02-22 16:35:34 -0800350 srcu_read_unlock(&srcu, id);
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700351
352 spin_lock(&mm->mmu_notifier_mm->lock);
353 /*
354 * Can not use list_del_rcu() since __mmu_notifier_release
355 * can delete it before we hold the lock.
356 */
357 hlist_del_init_rcu(&mn->hlist);
Robin Holt751efd82013-02-22 16:35:34 -0800358 spin_unlock(&mm->mmu_notifier_mm->lock);
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700359 }
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700360
361 /*
Xiao Guangrongd34883d2013-05-24 15:55:11 -0700362 * Wait for any running method to finish, of course including
Geert Uytterhoeven83a35e32013-06-28 11:27:31 +0200363 * ->release if it was run by mmu_notifier_release instead of us.
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700364 */
Sagi Grimberg21a92732012-10-08 16:29:24 -0700365 synchronize_srcu(&srcu);
Andrea Arcangelicddb8a52008-07-28 15:46:29 -0700366
367 BUG_ON(atomic_read(&mm->mm_count) <= 0);
368
369 mmdrop(mm);
370}
371EXPORT_SYMBOL_GPL(mmu_notifier_unregister);
Sagi Grimberg21a92732012-10-08 16:29:24 -0700372
Peter Zijlstrab9722162014-08-06 16:08:20 -0700373/*
374 * Same as mmu_notifier_unregister but no callback and no srcu synchronization.
375 */
376void mmu_notifier_unregister_no_release(struct mmu_notifier *mn,
377 struct mm_struct *mm)
378{
379 spin_lock(&mm->mmu_notifier_mm->lock);
380 /*
381 * Can not use list_del_rcu() since __mmu_notifier_release
382 * can delete it before we hold the lock.
383 */
384 hlist_del_init_rcu(&mn->hlist);
385 spin_unlock(&mm->mmu_notifier_mm->lock);
386
387 BUG_ON(atomic_read(&mm->mm_count) <= 0);
388 mmdrop(mm);
389}
390EXPORT_SYMBOL_GPL(mmu_notifier_unregister_no_release);
391
Sagi Grimberg21a92732012-10-08 16:29:24 -0700392static int __init mmu_notifier_init(void)
393{
394 return init_srcu_struct(&srcu);
395}
Paul Gortmakera64fb3c2014-01-23 15:53:30 -0800396subsys_initcall(mmu_notifier_init);