blob: fc241d23cd97ab34fa73d232e7cb8ce1785f784c [file] [log] [blame]
Greg Kroah-Hartmanb2441312017-11-01 15:07:57 +01001// SPDX-License-Identifier: GPL-2.0
Linus Torvalds1da177e2005-04-16 15:20:36 -07002/*
3 * mm/mremap.c
4 *
5 * (C) Copyright 1996 Linus Torvalds
6 *
Alan Cox046c6882009-01-05 14:06:29 +00007 * Address space accounting code <alan@lxorguk.ukuu.org.uk>
Linus Torvalds1da177e2005-04-16 15:20:36 -07008 * (C) Copyright 2002 Red Hat Inc, All Rights Reserved
9 */
10
11#include <linux/mm.h>
12#include <linux/hugetlb.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070013#include <linux/shm.h>
Hugh Dickins1ff82992009-09-21 17:02:05 -070014#include <linux/ksm.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070015#include <linux/mman.h>
16#include <linux/swap.h>
Randy.Dunlapc59ede72006-01-11 12:17:46 -080017#include <linux/capability.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070018#include <linux/fs.h>
Cyrill Gorcunov6dec97d2013-08-27 12:37:18 +040019#include <linux/swapops.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070020#include <linux/highmem.h>
21#include <linux/security.h>
22#include <linux/syscalls.h>
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070023#include <linux/mmu_notifier.h>
Paul McQuade2581d202014-10-09 15:29:01 -070024#include <linux/uaccess.h>
Laurent Dufour4abad2c2015-06-24 16:56:19 -070025#include <linux/mm-arch-hooks.h>
Pavel Emelyanov72f87652017-02-22 15:42:34 -080026#include <linux/userfaultfd_k.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070027
Linus Torvalds1da177e2005-04-16 15:20:36 -070028#include <asm/cacheflush.h>
29#include <asm/tlbflush.h>
30
Rik van Rielba470de2008-10-18 20:26:50 -070031#include "internal.h"
32
Hugh Dickins7be7a542005-10-29 18:16:00 -070033static pmd_t *get_old_pmd(struct mm_struct *mm, unsigned long addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -070034{
35 pgd_t *pgd;
Kirill A. Shutemovc2febaf2017-03-09 17:24:07 +030036 p4d_t *p4d;
Linus Torvalds1da177e2005-04-16 15:20:36 -070037 pud_t *pud;
38 pmd_t *pmd;
39
40 pgd = pgd_offset(mm, addr);
41 if (pgd_none_or_clear_bad(pgd))
42 return NULL;
43
Kirill A. Shutemovc2febaf2017-03-09 17:24:07 +030044 p4d = p4d_offset(pgd, addr);
45 if (p4d_none_or_clear_bad(p4d))
46 return NULL;
47
48 pud = pud_offset(p4d, addr);
Linus Torvalds1da177e2005-04-16 15:20:36 -070049 if (pud_none_or_clear_bad(pud))
50 return NULL;
51
52 pmd = pmd_offset(pud, addr);
Andrea Arcangeli37a1c492011-10-31 17:08:30 -070053 if (pmd_none(*pmd))
Linus Torvalds1da177e2005-04-16 15:20:36 -070054 return NULL;
55
Hugh Dickins7be7a542005-10-29 18:16:00 -070056 return pmd;
Linus Torvalds1da177e2005-04-16 15:20:36 -070057}
58
Andrea Arcangeli8ac1f832011-01-13 15:46:43 -080059static pmd_t *alloc_new_pmd(struct mm_struct *mm, struct vm_area_struct *vma,
60 unsigned long addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -070061{
62 pgd_t *pgd;
Kirill A. Shutemovc2febaf2017-03-09 17:24:07 +030063 p4d_t *p4d;
Linus Torvalds1da177e2005-04-16 15:20:36 -070064 pud_t *pud;
Hugh Dickinsc74df322005-10-29 18:16:23 -070065 pmd_t *pmd;
Linus Torvalds1da177e2005-04-16 15:20:36 -070066
67 pgd = pgd_offset(mm, addr);
Kirill A. Shutemovc2febaf2017-03-09 17:24:07 +030068 p4d = p4d_alloc(mm, pgd, addr);
69 if (!p4d)
70 return NULL;
71 pud = pud_alloc(mm, p4d, addr);
Linus Torvalds1da177e2005-04-16 15:20:36 -070072 if (!pud)
Hugh Dickinsc74df322005-10-29 18:16:23 -070073 return NULL;
Hugh Dickins7be7a542005-10-29 18:16:00 -070074
Linus Torvalds1da177e2005-04-16 15:20:36 -070075 pmd = pmd_alloc(mm, pud, addr);
Hugh Dickins57a8f0c2013-10-16 13:47:09 -070076 if (!pmd)
Hugh Dickinsc74df322005-10-29 18:16:23 -070077 return NULL;
Hugh Dickins7be7a542005-10-29 18:16:00 -070078
Andrea Arcangeli8ac1f832011-01-13 15:46:43 -080079 VM_BUG_ON(pmd_trans_huge(*pmd));
Hugh Dickinsc74df322005-10-29 18:16:23 -070080
Hugh Dickins7be7a542005-10-29 18:16:00 -070081 return pmd;
Linus Torvalds1da177e2005-04-16 15:20:36 -070082}
83
Hugh Dickins1d069b72016-05-19 17:12:57 -070084static void take_rmap_locks(struct vm_area_struct *vma)
85{
86 if (vma->vm_file)
87 i_mmap_lock_write(vma->vm_file->f_mapping);
88 if (vma->anon_vma)
89 anon_vma_lock_write(vma->anon_vma);
90}
91
92static void drop_rmap_locks(struct vm_area_struct *vma)
93{
94 if (vma->anon_vma)
95 anon_vma_unlock_write(vma->anon_vma);
96 if (vma->vm_file)
97 i_mmap_unlock_write(vma->vm_file->f_mapping);
98}
99
Cyrill Gorcunov6dec97d2013-08-27 12:37:18 +0400100static pte_t move_soft_dirty_pte(pte_t pte)
101{
102 /*
103 * Set soft dirty bit so we can notice
104 * in userspace the ptes were moved.
105 */
106#ifdef CONFIG_MEM_SOFT_DIRTY
107 if (pte_present(pte))
108 pte = pte_mksoft_dirty(pte);
109 else if (is_swap_pte(pte))
110 pte = pte_swp_mksoft_dirty(pte);
Cyrill Gorcunov6dec97d2013-08-27 12:37:18 +0400111#endif
112 return pte;
113}
114
Hugh Dickins7be7a542005-10-29 18:16:00 -0700115static void move_ptes(struct vm_area_struct *vma, pmd_t *old_pmd,
116 unsigned long old_addr, unsigned long old_end,
117 struct vm_area_struct *new_vma, pmd_t *new_pmd,
Linus Torvaldseb66ae02018-10-12 15:22:59 -0700118 unsigned long new_addr, bool need_rmap_locks)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700119{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700120 struct mm_struct *mm = vma->vm_mm;
Hugh Dickins7be7a542005-10-29 18:16:00 -0700121 pte_t *old_pte, *new_pte, pte;
Hugh Dickins4c21e2f2005-10-29 18:16:40 -0700122 spinlock_t *old_ptl, *new_ptl;
Aaron Lu5d190422016-11-10 17:16:33 +0800123 bool force_flush = false;
124 unsigned long len = old_end - old_addr;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700125
Michel Lespinasse38a76012012-10-08 16:31:50 -0700126 /*
Davidlohr Buesoc8c06ef2014-12-12 16:54:24 -0800127 * When need_rmap_locks is true, we take the i_mmap_rwsem and anon_vma
Michel Lespinasse38a76012012-10-08 16:31:50 -0700128 * locks to ensure that rmap will always observe either the old or the
129 * new ptes. This is the easiest way to avoid races with
130 * truncate_pagecache(), page migration, etc...
131 *
132 * When need_rmap_locks is false, we use other ways to avoid
133 * such races:
134 *
135 * - During exec() shift_arg_pages(), we use a specially tagged vma
136 * which rmap call sites look for using is_vma_temporary_stack().
137 *
138 * - During mremap(), new_vma is often known to be placed after vma
139 * in rmap traversal order. This ensures rmap will always observe
140 * either the old pte, or the new pte, or both (the page table locks
141 * serialize access to individual ptes, but only rmap traversal
142 * order guarantees that we won't miss both the old and new ptes).
143 */
Hugh Dickins1d069b72016-05-19 17:12:57 -0700144 if (need_rmap_locks)
145 take_rmap_locks(vma);
Hugh Dickins7be7a542005-10-29 18:16:00 -0700146
Hugh Dickins4c21e2f2005-10-29 18:16:40 -0700147 /*
148 * We don't have to worry about the ordering of src and dst
149 * pte locks because exclusive mmap_sem prevents deadlock.
150 */
Hugh Dickinsc74df322005-10-29 18:16:23 -0700151 old_pte = pte_offset_map_lock(mm, old_pmd, old_addr, &old_ptl);
Peter Zijlstraece0e2b2010-10-26 14:21:52 -0700152 new_pte = pte_offset_map(new_pmd, new_addr);
Hugh Dickins4c21e2f2005-10-29 18:16:40 -0700153 new_ptl = pte_lockptr(mm, new_pmd);
154 if (new_ptl != old_ptl)
Ingo Molnarf20dc5f2006-07-03 00:25:08 -0700155 spin_lock_nested(new_ptl, SINGLE_DEPTH_NESTING);
Mel Gorman3ea27712017-08-02 13:31:52 -0700156 flush_tlb_batched_pending(vma->vm_mm);
Zachary Amsden6606c3e2006-09-30 23:29:33 -0700157 arch_enter_lazy_mmu_mode();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700158
Hugh Dickins7be7a542005-10-29 18:16:00 -0700159 for (; old_addr < old_end; old_pte++, old_addr += PAGE_SIZE,
160 new_pte++, new_addr += PAGE_SIZE) {
161 if (pte_none(*old_pte))
162 continue;
Aaron Lu5d190422016-11-10 17:16:33 +0800163
Andrea Arcangeli7b6efc22011-10-31 17:08:26 -0700164 pte = ptep_get_and_clear(mm, old_addr, old_pte);
Aaron Lua2ce2662016-11-29 13:27:31 +0800165 /*
Linus Torvaldseb66ae02018-10-12 15:22:59 -0700166 * If we are remapping a valid PTE, make sure
Aaron Lua2ce2662016-11-29 13:27:31 +0800167 * to flush TLB before we drop the PTL for the
Linus Torvaldseb66ae02018-10-12 15:22:59 -0700168 * PTE.
Aaron Lua2ce2662016-11-29 13:27:31 +0800169 *
Linus Torvaldseb66ae02018-10-12 15:22:59 -0700170 * NOTE! Both old and new PTL matter: the old one
171 * for racing with page_mkclean(), the new one to
172 * make sure the physical page stays valid until
173 * the TLB entry for the old mapping has been
174 * flushed.
Aaron Lua2ce2662016-11-29 13:27:31 +0800175 */
Linus Torvaldseb66ae02018-10-12 15:22:59 -0700176 if (pte_present(pte))
Aaron Lua2ce2662016-11-29 13:27:31 +0800177 force_flush = true;
Hugh Dickins7be7a542005-10-29 18:16:00 -0700178 pte = move_pte(pte, new_vma->vm_page_prot, old_addr, new_addr);
Cyrill Gorcunov6dec97d2013-08-27 12:37:18 +0400179 pte = move_soft_dirty_pte(pte);
180 set_pte_at(mm, new_addr, new_pte, pte);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700181 }
Hugh Dickins7be7a542005-10-29 18:16:00 -0700182
Zachary Amsden6606c3e2006-09-30 23:29:33 -0700183 arch_leave_lazy_mmu_mode();
Linus Torvaldseb66ae02018-10-12 15:22:59 -0700184 if (force_flush)
185 flush_tlb_range(vma, old_end - len, old_end);
Hugh Dickins4c21e2f2005-10-29 18:16:40 -0700186 if (new_ptl != old_ptl)
187 spin_unlock(new_ptl);
Peter Zijlstraece0e2b2010-10-26 14:21:52 -0700188 pte_unmap(new_pte - 1);
Hugh Dickinsc74df322005-10-29 18:16:23 -0700189 pte_unmap_unlock(old_pte - 1, old_ptl);
Hugh Dickins1d069b72016-05-19 17:12:57 -0700190 if (need_rmap_locks)
191 drop_rmap_locks(vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700192}
193
Joel Fernandes (Google)2c91bd42019-01-03 15:28:38 -0800194#ifdef CONFIG_HAVE_MOVE_PMD
195static bool move_normal_pmd(struct vm_area_struct *vma, unsigned long old_addr,
196 unsigned long new_addr, unsigned long old_end,
197 pmd_t *old_pmd, pmd_t *new_pmd)
198{
199 spinlock_t *old_ptl, *new_ptl;
200 struct mm_struct *mm = vma->vm_mm;
201 pmd_t pmd;
202
203 if ((old_addr & ~PMD_MASK) || (new_addr & ~PMD_MASK)
204 || old_end - old_addr < PMD_SIZE)
205 return false;
206
207 /*
208 * The destination pmd shouldn't be established, free_pgtables()
209 * should have release it.
210 */
211 if (WARN_ON(!pmd_none(*new_pmd)))
212 return false;
213
214 /*
215 * We don't have to worry about the ordering of src and dst
216 * ptlocks because exclusive mmap_sem prevents deadlock.
217 */
218 old_ptl = pmd_lock(vma->vm_mm, old_pmd);
219 new_ptl = pmd_lockptr(mm, new_pmd);
220 if (new_ptl != old_ptl)
221 spin_lock_nested(new_ptl, SINGLE_DEPTH_NESTING);
222
223 /* Clear the pmd */
224 pmd = *old_pmd;
225 pmd_clear(old_pmd);
226
227 VM_BUG_ON(!pmd_none(*new_pmd));
228
229 /* Set the new pmd */
230 set_pmd_at(mm, new_addr, new_pmd, pmd);
231 flush_tlb_range(vma, old_addr, old_addr + PMD_SIZE);
232 if (new_ptl != old_ptl)
233 spin_unlock(new_ptl);
234 spin_unlock(old_ptl);
235
236 return true;
237}
238#endif
239
Ollie Wildb6a2fea2007-07-19 01:48:16 -0700240unsigned long move_page_tables(struct vm_area_struct *vma,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700241 unsigned long old_addr, struct vm_area_struct *new_vma,
Michel Lespinasse38a76012012-10-08 16:31:50 -0700242 unsigned long new_addr, unsigned long len,
243 bool need_rmap_locks)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700244{
Hugh Dickins7be7a542005-10-29 18:16:00 -0700245 unsigned long extent, next, old_end;
Jérôme Glisseac46d4f2018-12-28 00:38:09 -0800246 struct mmu_notifier_range range;
Hugh Dickins7be7a542005-10-29 18:16:00 -0700247 pmd_t *old_pmd, *new_pmd;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700248
Hugh Dickins7be7a542005-10-29 18:16:00 -0700249 old_end = old_addr + len;
250 flush_cache_range(vma, old_addr, old_end);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700251
Jérôme Glisse6f4f13e2019-05-13 17:20:49 -0700252 mmu_notifier_range_init(&range, MMU_NOTIFY_UNMAP, 0, vma, vma->vm_mm,
253 old_addr, old_end);
Jérôme Glisseac46d4f2018-12-28 00:38:09 -0800254 mmu_notifier_invalidate_range_start(&range);
Andrea Arcangeli7b6efc22011-10-31 17:08:26 -0700255
Hugh Dickins7be7a542005-10-29 18:16:00 -0700256 for (; old_addr < old_end; old_addr += extent, new_addr += extent) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700257 cond_resched();
Hugh Dickins7be7a542005-10-29 18:16:00 -0700258 next = (old_addr + PMD_SIZE) & PMD_MASK;
Andrea Arcangeliebed4842011-10-31 17:08:22 -0700259 /* even if next overflowed, extent below will be ok */
Hugh Dickins7be7a542005-10-29 18:16:00 -0700260 extent = next - old_addr;
Andrea Arcangeliebed4842011-10-31 17:08:22 -0700261 if (extent > old_end - old_addr)
262 extent = old_end - old_addr;
Hugh Dickins7be7a542005-10-29 18:16:00 -0700263 old_pmd = get_old_pmd(vma->vm_mm, old_addr);
264 if (!old_pmd)
265 continue;
Andrea Arcangeli8ac1f832011-01-13 15:46:43 -0800266 new_pmd = alloc_new_pmd(vma->vm_mm, vma, new_addr);
Hugh Dickins7be7a542005-10-29 18:16:00 -0700267 if (!new_pmd)
268 break;
Zi Yan84c3fc42017-09-08 16:11:01 -0700269 if (is_swap_pmd(*old_pmd) || pmd_trans_huge(*old_pmd)) {
Kirill A. Shutemovdd18dbc2014-05-09 15:37:00 -0700270 if (extent == HPAGE_PMD_SIZE) {
Kirill A. Shutemov4b471e82016-01-15 16:53:39 -0800271 bool moved;
Kirill A. Shutemovdd18dbc2014-05-09 15:37:00 -0700272 /* See comment in move_ptes() */
273 if (need_rmap_locks)
Hugh Dickins1d069b72016-05-19 17:12:57 -0700274 take_rmap_locks(vma);
Hugh Dickinsbf8616d2016-05-19 17:12:54 -0700275 moved = move_huge_pmd(vma, old_addr, new_addr,
Linus Torvaldseb66ae02018-10-12 15:22:59 -0700276 old_end, old_pmd, new_pmd);
Kirill A. Shutemovdd18dbc2014-05-09 15:37:00 -0700277 if (need_rmap_locks)
Hugh Dickins1d069b72016-05-19 17:12:57 -0700278 drop_rmap_locks(vma);
Aaron Lu5d190422016-11-10 17:16:33 +0800279 if (moved)
Kirill A. Shutemov4b471e82016-01-15 16:53:39 -0800280 continue;
Kirill A. Shutemovdd18dbc2014-05-09 15:37:00 -0700281 }
Kirill A. Shutemov4b471e82016-01-15 16:53:39 -0800282 split_huge_pmd(vma, old_pmd, old_addr);
Naoya Horiguchi337d9ab2016-07-26 15:24:03 -0700283 if (pmd_trans_unstable(old_pmd))
Kirill A. Shutemov6b9116a2016-02-11 16:13:03 -0800284 continue;
Joel Fernandes (Google)2c91bd42019-01-03 15:28:38 -0800285 } else if (extent == PMD_SIZE) {
286#ifdef CONFIG_HAVE_MOVE_PMD
287 /*
288 * If the extent is PMD-sized, try to speed the move by
289 * moving at the PMD level if possible.
290 */
291 bool moved;
292
293 if (need_rmap_locks)
294 take_rmap_locks(vma);
295 moved = move_normal_pmd(vma, old_addr, new_addr,
296 old_end, old_pmd, new_pmd);
297 if (need_rmap_locks)
298 drop_rmap_locks(vma);
299 if (moved)
300 continue;
301#endif
Andrea Arcangeli37a1c492011-10-31 17:08:30 -0700302 }
Joel Fernandes (Google)2c91bd42019-01-03 15:28:38 -0800303
Joel Fernandes (Google)4cf58922019-01-03 15:28:34 -0800304 if (pte_alloc(new_vma->vm_mm, new_pmd))
Andrea Arcangeli37a1c492011-10-31 17:08:30 -0700305 break;
Hugh Dickins7be7a542005-10-29 18:16:00 -0700306 next = (new_addr + PMD_SIZE) & PMD_MASK;
307 if (extent > next - new_addr)
308 extent = next - new_addr;
Aaron Lu5d190422016-11-10 17:16:33 +0800309 move_ptes(vma, old_pmd, old_addr, old_addr + extent, new_vma,
Linus Torvaldseb66ae02018-10-12 15:22:59 -0700310 new_pmd, new_addr, need_rmap_locks);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700311 }
Andrea Arcangeli7b6efc22011-10-31 17:08:26 -0700312
Jérôme Glisseac46d4f2018-12-28 00:38:09 -0800313 mmu_notifier_invalidate_range_end(&range);
Hugh Dickins7be7a542005-10-29 18:16:00 -0700314
315 return len + old_addr - old_end; /* how much done */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700316}
317
318static unsigned long move_vma(struct vm_area_struct *vma,
319 unsigned long old_addr, unsigned long old_len,
Pavel Emelyanov72f87652017-02-22 15:42:34 -0800320 unsigned long new_len, unsigned long new_addr,
Mike Rapoport897ab3e2017-02-24 14:58:22 -0800321 bool *locked, struct vm_userfaultfd_ctx *uf,
322 struct list_head *uf_unmap)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700323{
324 struct mm_struct *mm = vma->vm_mm;
325 struct vm_area_struct *new_vma;
326 unsigned long vm_flags = vma->vm_flags;
327 unsigned long new_pgoff;
328 unsigned long moved_len;
329 unsigned long excess = 0;
Hugh Dickins365e9c872005-10-29 18:16:18 -0700330 unsigned long hiwater_vm;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700331 int split = 0;
Hugh Dickins7103ad32009-09-21 17:02:28 -0700332 int err;
Michel Lespinasse38a76012012-10-08 16:31:50 -0700333 bool need_rmap_locks;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700334
335 /*
336 * We'd prefer to avoid failure later on in do_munmap:
337 * which may split one vma into three before unmapping.
338 */
339 if (mm->map_count >= sysctl_max_map_count - 3)
340 return -ENOMEM;
341
Hugh Dickins1ff82992009-09-21 17:02:05 -0700342 /*
343 * Advise KSM to break any KSM pages in the area to be moved:
344 * it would be confusing if they were to turn up at the new
345 * location, where they happen to coincide with different KSM
346 * pages recently unmapped. But leave vma->vm_flags as it was,
347 * so KSM can come around to merge on vma and new_vma afterwards.
348 */
Hugh Dickins7103ad32009-09-21 17:02:28 -0700349 err = ksm_madvise(vma, old_addr, old_addr + old_len,
350 MADV_UNMERGEABLE, &vm_flags);
351 if (err)
352 return err;
Hugh Dickins1ff82992009-09-21 17:02:05 -0700353
Linus Torvalds1da177e2005-04-16 15:20:36 -0700354 new_pgoff = vma->vm_pgoff + ((old_addr - vma->vm_start) >> PAGE_SHIFT);
Michel Lespinasse38a76012012-10-08 16:31:50 -0700355 new_vma = copy_vma(&vma, new_addr, new_len, new_pgoff,
356 &need_rmap_locks);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700357 if (!new_vma)
358 return -ENOMEM;
359
Michel Lespinasse38a76012012-10-08 16:31:50 -0700360 moved_len = move_page_tables(vma, old_addr, new_vma, new_addr, old_len,
361 need_rmap_locks);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700362 if (moved_len < old_len) {
Oleg Nesterovdf1eab32015-09-04 15:48:01 -0700363 err = -ENOMEM;
Oleg Nesterov5477e702015-09-04 15:48:04 -0700364 } else if (vma->vm_ops && vma->vm_ops->mremap) {
365 err = vma->vm_ops->mremap(new_vma);
Oleg Nesterovdf1eab32015-09-04 15:48:01 -0700366 }
367
368 if (unlikely(err)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700369 /*
370 * On error, move entries back from new area to old,
371 * which will succeed since page tables still there,
372 * and then proceed to unmap new area instead of old.
373 */
Michel Lespinasse38a76012012-10-08 16:31:50 -0700374 move_page_tables(new_vma, new_addr, vma, old_addr, moved_len,
375 true);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700376 vma = new_vma;
377 old_len = new_len;
378 old_addr = new_addr;
Oleg Nesterovdf1eab32015-09-04 15:48:01 -0700379 new_addr = err;
Laurent Dufour4abad2c2015-06-24 16:56:19 -0700380 } else {
Pavel Emelyanov72f87652017-02-22 15:42:34 -0800381 mremap_userfaultfd_prep(new_vma, uf);
Laurent Dufour4abad2c2015-06-24 16:56:19 -0700382 arch_remap(mm, old_addr, old_addr + old_len,
383 new_addr, new_addr + new_len);
Al Virob2edffd2015-04-06 17:48:54 -0400384 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700385
386 /* Conceal VM_ACCOUNT so old reservation is not undone */
387 if (vm_flags & VM_ACCOUNT) {
388 vma->vm_flags &= ~VM_ACCOUNT;
389 excess = vma->vm_end - vma->vm_start - old_len;
390 if (old_addr > vma->vm_start &&
391 old_addr + old_len < vma->vm_end)
392 split = 1;
393 }
394
Kirill Korotaev71799062005-05-16 21:53:18 -0700395 /*
Hugh Dickins365e9c872005-10-29 18:16:18 -0700396 * If we failed to move page tables we still do total_vm increment
397 * since do_munmap() will decrement it by old_len == new_len.
398 *
399 * Since total_vm is about to be raised artificially high for a
400 * moment, we need to restore high watermark afterwards: if stats
401 * are taken meanwhile, total_vm and hiwater_vm appear too high.
402 * If this were a serious issue, we'd add a flag to do_munmap().
Kirill Korotaev71799062005-05-16 21:53:18 -0700403 */
Hugh Dickins365e9c872005-10-29 18:16:18 -0700404 hiwater_vm = mm->hiwater_vm;
Konstantin Khlebnikov84638332016-01-14 15:22:07 -0800405 vm_stat_account(mm, vma->vm_flags, new_len >> PAGE_SHIFT);
Kirill Korotaev71799062005-05-16 21:53:18 -0700406
Toshi Kanid9fe4fa2015-12-22 17:54:23 -0700407 /* Tell pfnmap has moved from this vma */
408 if (unlikely(vma->vm_flags & VM_PFNMAP))
409 untrack_pfn_moved(vma);
410
Mike Rapoport897ab3e2017-02-24 14:58:22 -0800411 if (do_munmap(mm, old_addr, old_len, uf_unmap) < 0) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700412 /* OOM: unable to split vma, just get accounts right */
413 vm_unacct_memory(excess >> PAGE_SHIFT);
414 excess = 0;
415 }
Hugh Dickins365e9c872005-10-29 18:16:18 -0700416 mm->hiwater_vm = hiwater_vm;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700417
418 /* Restore VM_ACCOUNT if one or two pieces of vma left */
419 if (excess) {
420 vma->vm_flags |= VM_ACCOUNT;
421 if (split)
422 vma->vm_next->vm_flags |= VM_ACCOUNT;
423 }
424
Linus Torvalds1da177e2005-04-16 15:20:36 -0700425 if (vm_flags & VM_LOCKED) {
426 mm->locked_vm += new_len >> PAGE_SHIFT;
Michel Lespinasse81909b82013-02-22 16:32:41 -0800427 *locked = true;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700428 }
429
430 return new_addr;
431}
432
Al Viro54f5de72009-11-24 07:17:46 -0500433static struct vm_area_struct *vma_to_resize(unsigned long addr,
434 unsigned long old_len, unsigned long new_len, unsigned long *p)
435{
436 struct mm_struct *mm = current->mm;
437 struct vm_area_struct *vma = find_vma(mm, addr);
Oleg Nesterov1d391682015-09-04 15:48:10 -0700438 unsigned long pgoff;
Al Viro54f5de72009-11-24 07:17:46 -0500439
440 if (!vma || vma->vm_start > addr)
Derek6cd576132015-04-15 16:14:02 -0700441 return ERR_PTR(-EFAULT);
Al Viro54f5de72009-11-24 07:17:46 -0500442
Mike Kravetzdba58d32017-09-06 16:20:55 -0700443 /*
444 * !old_len is a special case where an attempt is made to 'duplicate'
445 * a mapping. This makes no sense for private mappings as it will
446 * instead create a fresh/new mapping unrelated to the original. This
447 * is contrary to the basic idea of mremap which creates new mappings
448 * based on the original. There are no known use cases for this
449 * behavior. As a result, fail such attempts.
450 */
451 if (!old_len && !(vma->vm_flags & (VM_SHARED | VM_MAYSHARE))) {
452 pr_warn_once("%s (%d): attempted to duplicate a private mapping with mremap. This is not supported.\n", current->comm, current->pid);
453 return ERR_PTR(-EINVAL);
454 }
455
Al Viro54f5de72009-11-24 07:17:46 -0500456 if (is_vm_hugetlb_page(vma))
Derek6cd576132015-04-15 16:14:02 -0700457 return ERR_PTR(-EINVAL);
Al Viro54f5de72009-11-24 07:17:46 -0500458
459 /* We can't remap across vm area boundaries */
460 if (old_len > vma->vm_end - addr)
Derek6cd576132015-04-15 16:14:02 -0700461 return ERR_PTR(-EFAULT);
Al Viro54f5de72009-11-24 07:17:46 -0500462
Oleg Nesterov1d391682015-09-04 15:48:10 -0700463 if (new_len == old_len)
464 return vma;
Linus Torvalds982134b2011-04-07 07:35:50 -0700465
Oleg Nesterov1d391682015-09-04 15:48:10 -0700466 /* Need to be careful about a growing mapping */
467 pgoff = (addr - vma->vm_start) >> PAGE_SHIFT;
468 pgoff += vma->vm_pgoff;
469 if (pgoff + (new_len >> PAGE_SHIFT) < pgoff)
470 return ERR_PTR(-EINVAL);
471
472 if (vma->vm_flags & (VM_DONTEXPAND | VM_PFNMAP))
473 return ERR_PTR(-EFAULT);
Al Viro54f5de72009-11-24 07:17:46 -0500474
475 if (vma->vm_flags & VM_LOCKED) {
476 unsigned long locked, lock_limit;
477 locked = mm->locked_vm << PAGE_SHIFT;
Jiri Slaby59e99e52010-03-05 13:41:44 -0800478 lock_limit = rlimit(RLIMIT_MEMLOCK);
Al Viro54f5de72009-11-24 07:17:46 -0500479 locked += new_len - old_len;
480 if (locked > lock_limit && !capable(CAP_IPC_LOCK))
Derek6cd576132015-04-15 16:14:02 -0700481 return ERR_PTR(-EAGAIN);
Al Viro54f5de72009-11-24 07:17:46 -0500482 }
483
Konstantin Khlebnikov84638332016-01-14 15:22:07 -0800484 if (!may_expand_vm(mm, vma->vm_flags,
485 (new_len - old_len) >> PAGE_SHIFT))
Derek6cd576132015-04-15 16:14:02 -0700486 return ERR_PTR(-ENOMEM);
Al Viro54f5de72009-11-24 07:17:46 -0500487
488 if (vma->vm_flags & VM_ACCOUNT) {
489 unsigned long charged = (new_len - old_len) >> PAGE_SHIFT;
Al Viro191c5422012-02-13 03:58:52 +0000490 if (security_vm_enough_memory_mm(mm, charged))
Derek6cd576132015-04-15 16:14:02 -0700491 return ERR_PTR(-ENOMEM);
Al Viro54f5de72009-11-24 07:17:46 -0500492 *p = charged;
493 }
494
495 return vma;
Al Viro54f5de72009-11-24 07:17:46 -0500496}
497
Michel Lespinasse81909b82013-02-22 16:32:41 -0800498static unsigned long mremap_to(unsigned long addr, unsigned long old_len,
Pavel Emelyanov72f87652017-02-22 15:42:34 -0800499 unsigned long new_addr, unsigned long new_len, bool *locked,
Mike Rapoport897ab3e2017-02-24 14:58:22 -0800500 struct vm_userfaultfd_ctx *uf,
Mike Rapoportb2282372017-08-02 13:31:55 -0700501 struct list_head *uf_unmap_early,
Mike Rapoport897ab3e2017-02-24 14:58:22 -0800502 struct list_head *uf_unmap)
Al Viroecc1a892009-11-24 07:28:07 -0500503{
504 struct mm_struct *mm = current->mm;
505 struct vm_area_struct *vma;
506 unsigned long ret = -EINVAL;
507 unsigned long charged = 0;
Al Viro097eed12009-11-24 08:43:52 -0500508 unsigned long map_flags;
Al Viroecc1a892009-11-24 07:28:07 -0500509
Alexander Kuleshovf19cb112015-11-05 18:46:57 -0800510 if (offset_in_page(new_addr))
Al Viroecc1a892009-11-24 07:28:07 -0500511 goto out;
512
513 if (new_len > TASK_SIZE || new_addr > TASK_SIZE - new_len)
514 goto out;
515
Oleg Nesterov99432422015-09-04 15:48:13 -0700516 /* Ensure the old/new locations do not overlap */
517 if (addr + old_len > new_addr && new_addr + new_len > addr)
Al Viroecc1a892009-11-24 07:28:07 -0500518 goto out;
519
Oscar Salvadorea2c3f62019-03-05 15:50:14 -0800520 /*
521 * move_vma() need us to stay 4 maps below the threshold, otherwise
522 * it will bail out at the very beginning.
523 * That is a problem if we have already unmaped the regions here
524 * (new_addr, and old_addr), because userspace will not know the
525 * state of the vma's after it gets -ENOMEM.
526 * So, to avoid such scenario we can pre-compute if the whole
527 * operation has high chances to success map-wise.
528 * Worst-scenario case is when both vma's (new_addr and old_addr) get
529 * split in 3 before unmaping it.
530 * That means 2 more maps (1 for each) to the ones we already hold.
531 * Check whether current map count plus 2 still leads us to 4 maps below
532 * the threshold, otherwise return -ENOMEM here to be more safe.
533 */
534 if ((mm->map_count + 2) >= sysctl_max_map_count - 3)
535 return -ENOMEM;
536
Mike Rapoportb2282372017-08-02 13:31:55 -0700537 ret = do_munmap(mm, new_addr, new_len, uf_unmap_early);
Al Viroecc1a892009-11-24 07:28:07 -0500538 if (ret)
539 goto out;
540
541 if (old_len >= new_len) {
Mike Rapoport897ab3e2017-02-24 14:58:22 -0800542 ret = do_munmap(mm, addr+new_len, old_len - new_len, uf_unmap);
Al Viroecc1a892009-11-24 07:28:07 -0500543 if (ret && old_len != new_len)
544 goto out;
545 old_len = new_len;
546 }
547
548 vma = vma_to_resize(addr, old_len, new_len, &charged);
549 if (IS_ERR(vma)) {
550 ret = PTR_ERR(vma);
551 goto out;
552 }
553
Al Viro097eed12009-11-24 08:43:52 -0500554 map_flags = MAP_FIXED;
555 if (vma->vm_flags & VM_MAYSHARE)
556 map_flags |= MAP_SHARED;
Al Viro9206de92009-12-03 15:23:11 -0500557
Al Viro097eed12009-11-24 08:43:52 -0500558 ret = get_unmapped_area(vma->vm_file, new_addr, new_len, vma->vm_pgoff +
559 ((addr - vma->vm_start) >> PAGE_SHIFT),
560 map_flags);
Alexander Kuleshovf19cb112015-11-05 18:46:57 -0800561 if (offset_in_page(ret))
Al Viro097eed12009-11-24 08:43:52 -0500562 goto out1;
563
Mike Rapoport897ab3e2017-02-24 14:58:22 -0800564 ret = move_vma(vma, addr, old_len, new_len, new_addr, locked, uf,
565 uf_unmap);
Alexander Kuleshovf19cb112015-11-05 18:46:57 -0800566 if (!(offset_in_page(ret)))
Al Viro097eed12009-11-24 08:43:52 -0500567 goto out;
568out1:
569 vm_unacct_memory(charged);
Al Viroecc1a892009-11-24 07:28:07 -0500570
571out:
572 return ret;
573}
574
Al Viro1a0ef852009-11-24 07:43:18 -0500575static int vma_expandable(struct vm_area_struct *vma, unsigned long delta)
576{
Al Virof106af42009-11-24 08:25:18 -0500577 unsigned long end = vma->vm_end + delta;
Al Viro9206de92009-12-03 15:23:11 -0500578 if (end < vma->vm_end) /* overflow */
Al Viro1a0ef852009-11-24 07:43:18 -0500579 return 0;
Al Viro9206de92009-12-03 15:23:11 -0500580 if (vma->vm_next && vma->vm_next->vm_start < end) /* intersection */
Al Virof106af42009-11-24 08:25:18 -0500581 return 0;
582 if (get_unmapped_area(NULL, vma->vm_start, end - vma->vm_start,
583 0, MAP_FIXED) & ~PAGE_MASK)
584 return 0;
Al Viro1a0ef852009-11-24 07:43:18 -0500585 return 1;
586}
587
Linus Torvalds1da177e2005-04-16 15:20:36 -0700588/*
589 * Expand (or shrink) an existing mapping, potentially moving it at the
590 * same time (controlled by the MREMAP_MAYMOVE flag and available VM space)
591 *
592 * MREMAP_FIXED option added 5-Dec-1999 by Benjamin LaHaise
593 * This option implies MREMAP_MAYMOVE.
594 */
Al Viro63a81db2012-05-30 11:32:04 -0400595SYSCALL_DEFINE5(mremap, unsigned long, addr, unsigned long, old_len,
596 unsigned long, new_len, unsigned long, flags,
597 unsigned long, new_addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700598{
Hugh Dickinsd0de32d2005-10-29 18:16:16 -0700599 struct mm_struct *mm = current->mm;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700600 struct vm_area_struct *vma;
601 unsigned long ret = -EINVAL;
602 unsigned long charged = 0;
Michel Lespinasse81909b82013-02-22 16:32:41 -0800603 bool locked = false;
Yang Shi85a06832018-10-26 15:08:50 -0700604 bool downgraded = false;
Pavel Emelyanov72f87652017-02-22 15:42:34 -0800605 struct vm_userfaultfd_ctx uf = NULL_VM_UFFD_CTX;
Mike Rapoportb2282372017-08-02 13:31:55 -0700606 LIST_HEAD(uf_unmap_early);
Mike Rapoport897ab3e2017-02-24 14:58:22 -0800607 LIST_HEAD(uf_unmap);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700608
609 if (flags & ~(MREMAP_FIXED | MREMAP_MAYMOVE))
Rasmus Villemoes9a2458a2013-07-08 15:59:48 -0700610 return ret;
611
612 if (flags & MREMAP_FIXED && !(flags & MREMAP_MAYMOVE))
613 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700614
Alexander Kuleshovf19cb112015-11-05 18:46:57 -0800615 if (offset_in_page(addr))
Rasmus Villemoes9a2458a2013-07-08 15:59:48 -0700616 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700617
618 old_len = PAGE_ALIGN(old_len);
619 new_len = PAGE_ALIGN(new_len);
620
621 /*
622 * We allow a zero old-len as a special case
623 * for DOS-emu "duplicate shm area" thing. But
624 * a zero new-len is nonsensical.
625 */
626 if (!new_len)
Rasmus Villemoes9a2458a2013-07-08 15:59:48 -0700627 return ret;
628
Michal Hockodc0ef0d2016-05-23 16:25:27 -0700629 if (down_write_killable(&current->mm->mmap_sem))
630 return -EINTR;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700631
Linus Torvalds1da177e2005-04-16 15:20:36 -0700632 if (flags & MREMAP_FIXED) {
Rasmus Villemoes9a2458a2013-07-08 15:59:48 -0700633 ret = mremap_to(addr, old_len, new_addr, new_len,
Mike Rapoportb2282372017-08-02 13:31:55 -0700634 &locked, &uf, &uf_unmap_early, &uf_unmap);
Al Viroecc1a892009-11-24 07:28:07 -0500635 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700636 }
637
638 /*
639 * Always allow a shrinking remap: that just unmaps
640 * the unnecessary pages..
Yang Shi85a06832018-10-26 15:08:50 -0700641 * __do_munmap does all the needed commit accounting, and
642 * downgrades mmap_sem to read if so directed.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700643 */
644 if (old_len >= new_len) {
Yang Shi85a06832018-10-26 15:08:50 -0700645 int retval;
646
647 retval = __do_munmap(mm, addr+new_len, old_len - new_len,
648 &uf_unmap, true);
649 if (retval < 0 && old_len != new_len) {
650 ret = retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700651 goto out;
Yang Shi85a06832018-10-26 15:08:50 -0700652 /* Returning 1 indicates mmap_sem is downgraded to read. */
653 } else if (retval == 1)
654 downgraded = true;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700655 ret = addr;
Al Viroecc1a892009-11-24 07:28:07 -0500656 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700657 }
658
659 /*
Al Viroecc1a892009-11-24 07:28:07 -0500660 * Ok, we need to grow..
Linus Torvalds1da177e2005-04-16 15:20:36 -0700661 */
Al Viro54f5de72009-11-24 07:17:46 -0500662 vma = vma_to_resize(addr, old_len, new_len, &charged);
663 if (IS_ERR(vma)) {
664 ret = PTR_ERR(vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700665 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700666 }
667
668 /* old_len exactly to the end of the area..
Linus Torvalds1da177e2005-04-16 15:20:36 -0700669 */
Al Viroecc1a892009-11-24 07:28:07 -0500670 if (old_len == vma->vm_end - addr) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700671 /* can we just expand the current mapping? */
Al Viro1a0ef852009-11-24 07:43:18 -0500672 if (vma_expandable(vma, new_len - old_len)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700673 int pages = (new_len - old_len) >> PAGE_SHIFT;
674
Rik van Riel5beb4932010-03-05 13:42:07 -0800675 if (vma_adjust(vma, vma->vm_start, addr + new_len,
676 vma->vm_pgoff, NULL)) {
677 ret = -ENOMEM;
678 goto out;
679 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700680
Konstantin Khlebnikov84638332016-01-14 15:22:07 -0800681 vm_stat_account(mm, vma->vm_flags, pages);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700682 if (vma->vm_flags & VM_LOCKED) {
Hugh Dickinsd0de32d2005-10-29 18:16:16 -0700683 mm->locked_vm += pages;
Michel Lespinasse81909b82013-02-22 16:32:41 -0800684 locked = true;
685 new_addr = addr;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700686 }
687 ret = addr;
688 goto out;
689 }
690 }
691
692 /*
693 * We weren't able to just expand or shrink the area,
694 * we need to create a new one and move it..
695 */
696 ret = -ENOMEM;
697 if (flags & MREMAP_MAYMOVE) {
Al Viroecc1a892009-11-24 07:28:07 -0500698 unsigned long map_flags = 0;
699 if (vma->vm_flags & VM_MAYSHARE)
700 map_flags |= MAP_SHARED;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700701
Al Viroecc1a892009-11-24 07:28:07 -0500702 new_addr = get_unmapped_area(vma->vm_file, 0, new_len,
Al Viro93587412009-11-24 08:45:24 -0500703 vma->vm_pgoff +
704 ((addr - vma->vm_start) >> PAGE_SHIFT),
705 map_flags);
Alexander Kuleshovf19cb112015-11-05 18:46:57 -0800706 if (offset_in_page(new_addr)) {
Al Viroecc1a892009-11-24 07:28:07 -0500707 ret = new_addr;
708 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700709 }
Al Viroecc1a892009-11-24 07:28:07 -0500710
Pavel Emelyanov72f87652017-02-22 15:42:34 -0800711 ret = move_vma(vma, addr, old_len, new_len, new_addr,
Mike Rapoport897ab3e2017-02-24 14:58:22 -0800712 &locked, &uf, &uf_unmap);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700713 }
714out:
Alexander Kuleshovf19cb112015-11-05 18:46:57 -0800715 if (offset_in_page(ret)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700716 vm_unacct_memory(charged);
Oleg Nesterovd456fb92015-09-04 15:48:07 -0700717 locked = 0;
718 }
Yang Shi85a06832018-10-26 15:08:50 -0700719 if (downgraded)
720 up_read(&current->mm->mmap_sem);
721 else
722 up_write(&current->mm->mmap_sem);
Michel Lespinasse81909b82013-02-22 16:32:41 -0800723 if (locked && new_len > old_len)
724 mm_populate(new_addr + old_len, new_len - old_len);
Mike Rapoportb2282372017-08-02 13:31:55 -0700725 userfaultfd_unmap_complete(mm, &uf_unmap_early);
Andrea Arcangeli90794bf2017-02-22 15:42:37 -0800726 mremap_userfaultfd_complete(&uf, addr, new_addr, old_len);
Mike Rapoport897ab3e2017-02-24 14:58:22 -0800727 userfaultfd_unmap_complete(mm, &uf_unmap);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700728 return ret;
729}