blob: 47c255b60150b3121c5957c302afd0051d27e3c1 [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>
Pavel Emelyanov72f87652017-02-22 15:42:34 -080025#include <linux/userfaultfd_k.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070026
Linus Torvalds1da177e2005-04-16 15:20:36 -070027#include <asm/cacheflush.h>
28#include <asm/tlbflush.h>
29
Rik van Rielba470de2008-10-18 20:26:50 -070030#include "internal.h"
31
Kalesh Singhc49dd342020-12-14 19:07:30 -080032static pud_t *get_old_pud(struct mm_struct *mm, unsigned long addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -070033{
34 pgd_t *pgd;
Kirill A. Shutemovc2febaf2017-03-09 17:24:07 +030035 p4d_t *p4d;
Linus Torvalds1da177e2005-04-16 15:20:36 -070036 pud_t *pud;
Linus Torvalds1da177e2005-04-16 15:20:36 -070037
38 pgd = pgd_offset(mm, addr);
39 if (pgd_none_or_clear_bad(pgd))
40 return NULL;
41
Kirill A. Shutemovc2febaf2017-03-09 17:24:07 +030042 p4d = p4d_offset(pgd, addr);
43 if (p4d_none_or_clear_bad(p4d))
44 return NULL;
45
46 pud = pud_offset(p4d, addr);
Linus Torvalds1da177e2005-04-16 15:20:36 -070047 if (pud_none_or_clear_bad(pud))
48 return NULL;
49
Kalesh Singhc49dd342020-12-14 19:07:30 -080050 return pud;
51}
52
53static pmd_t *get_old_pmd(struct mm_struct *mm, unsigned long addr)
54{
55 pud_t *pud;
56 pmd_t *pmd;
57
58 pud = get_old_pud(mm, addr);
59 if (!pud)
60 return NULL;
61
Linus Torvalds1da177e2005-04-16 15:20:36 -070062 pmd = pmd_offset(pud, addr);
Andrea Arcangeli37a1c492011-10-31 17:08:30 -070063 if (pmd_none(*pmd))
Linus Torvalds1da177e2005-04-16 15:20:36 -070064 return NULL;
65
Hugh Dickins7be7a542005-10-29 18:16:00 -070066 return pmd;
Linus Torvalds1da177e2005-04-16 15:20:36 -070067}
68
Kalesh Singhc49dd342020-12-14 19:07:30 -080069static pud_t *alloc_new_pud(struct mm_struct *mm, struct vm_area_struct *vma,
Andrea Arcangeli8ac1f832011-01-13 15:46:43 -080070 unsigned long addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -070071{
72 pgd_t *pgd;
Kirill A. Shutemovc2febaf2017-03-09 17:24:07 +030073 p4d_t *p4d;
Linus Torvalds1da177e2005-04-16 15:20:36 -070074
75 pgd = pgd_offset(mm, addr);
Kirill A. Shutemovc2febaf2017-03-09 17:24:07 +030076 p4d = p4d_alloc(mm, pgd, addr);
77 if (!p4d)
78 return NULL;
Kalesh Singhc49dd342020-12-14 19:07:30 -080079
80 return pud_alloc(mm, p4d, addr);
81}
82
83static pmd_t *alloc_new_pmd(struct mm_struct *mm, struct vm_area_struct *vma,
84 unsigned long addr)
85{
86 pud_t *pud;
87 pmd_t *pmd;
88
89 pud = alloc_new_pud(mm, vma, addr);
Linus Torvalds1da177e2005-04-16 15:20:36 -070090 if (!pud)
Hugh Dickinsc74df322005-10-29 18:16:23 -070091 return NULL;
Hugh Dickins7be7a542005-10-29 18:16:00 -070092
Linus Torvalds1da177e2005-04-16 15:20:36 -070093 pmd = pmd_alloc(mm, pud, addr);
Hugh Dickins57a8f0c2013-10-16 13:47:09 -070094 if (!pmd)
Hugh Dickinsc74df322005-10-29 18:16:23 -070095 return NULL;
Hugh Dickins7be7a542005-10-29 18:16:00 -070096
Andrea Arcangeli8ac1f832011-01-13 15:46:43 -080097 VM_BUG_ON(pmd_trans_huge(*pmd));
Hugh Dickinsc74df322005-10-29 18:16:23 -070098
Hugh Dickins7be7a542005-10-29 18:16:00 -070099 return pmd;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700100}
101
Hugh Dickins1d069b72016-05-19 17:12:57 -0700102static void take_rmap_locks(struct vm_area_struct *vma)
103{
104 if (vma->vm_file)
105 i_mmap_lock_write(vma->vm_file->f_mapping);
106 if (vma->anon_vma)
107 anon_vma_lock_write(vma->anon_vma);
108}
109
110static void drop_rmap_locks(struct vm_area_struct *vma)
111{
112 if (vma->anon_vma)
113 anon_vma_unlock_write(vma->anon_vma);
114 if (vma->vm_file)
115 i_mmap_unlock_write(vma->vm_file->f_mapping);
116}
117
Cyrill Gorcunov6dec97d2013-08-27 12:37:18 +0400118static pte_t move_soft_dirty_pte(pte_t pte)
119{
120 /*
121 * Set soft dirty bit so we can notice
122 * in userspace the ptes were moved.
123 */
124#ifdef CONFIG_MEM_SOFT_DIRTY
125 if (pte_present(pte))
126 pte = pte_mksoft_dirty(pte);
127 else if (is_swap_pte(pte))
128 pte = pte_swp_mksoft_dirty(pte);
Cyrill Gorcunov6dec97d2013-08-27 12:37:18 +0400129#endif
130 return pte;
131}
132
Hugh Dickins7be7a542005-10-29 18:16:00 -0700133static void move_ptes(struct vm_area_struct *vma, pmd_t *old_pmd,
134 unsigned long old_addr, unsigned long old_end,
135 struct vm_area_struct *new_vma, pmd_t *new_pmd,
Linus Torvaldseb66ae02018-10-12 15:22:59 -0700136 unsigned long new_addr, bool need_rmap_locks)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700137{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700138 struct mm_struct *mm = vma->vm_mm;
Hugh Dickins7be7a542005-10-29 18:16:00 -0700139 pte_t *old_pte, *new_pte, pte;
Hugh Dickins4c21e2f2005-10-29 18:16:40 -0700140 spinlock_t *old_ptl, *new_ptl;
Aaron Lu5d190422016-11-10 17:16:33 +0800141 bool force_flush = false;
142 unsigned long len = old_end - old_addr;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700143
Michel Lespinasse38a76012012-10-08 16:31:50 -0700144 /*
Davidlohr Buesoc8c06ef2014-12-12 16:54:24 -0800145 * When need_rmap_locks is true, we take the i_mmap_rwsem and anon_vma
Michel Lespinasse38a76012012-10-08 16:31:50 -0700146 * locks to ensure that rmap will always observe either the old or the
147 * new ptes. This is the easiest way to avoid races with
148 * truncate_pagecache(), page migration, etc...
149 *
150 * When need_rmap_locks is false, we use other ways to avoid
151 * such races:
152 *
153 * - During exec() shift_arg_pages(), we use a specially tagged vma
Anshuman Khandual222100e2020-04-01 21:07:52 -0700154 * which rmap call sites look for using vma_is_temporary_stack().
Michel Lespinasse38a76012012-10-08 16:31:50 -0700155 *
156 * - During mremap(), new_vma is often known to be placed after vma
157 * in rmap traversal order. This ensures rmap will always observe
158 * either the old pte, or the new pte, or both (the page table locks
159 * serialize access to individual ptes, but only rmap traversal
160 * order guarantees that we won't miss both the old and new ptes).
161 */
Hugh Dickins1d069b72016-05-19 17:12:57 -0700162 if (need_rmap_locks)
163 take_rmap_locks(vma);
Hugh Dickins7be7a542005-10-29 18:16:00 -0700164
Hugh Dickins4c21e2f2005-10-29 18:16:40 -0700165 /*
166 * We don't have to worry about the ordering of src and dst
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -0700167 * pte locks because exclusive mmap_lock prevents deadlock.
Hugh Dickins4c21e2f2005-10-29 18:16:40 -0700168 */
Hugh Dickinsc74df322005-10-29 18:16:23 -0700169 old_pte = pte_offset_map_lock(mm, old_pmd, old_addr, &old_ptl);
Peter Zijlstraece0e2b2010-10-26 14:21:52 -0700170 new_pte = pte_offset_map(new_pmd, new_addr);
Hugh Dickins4c21e2f2005-10-29 18:16:40 -0700171 new_ptl = pte_lockptr(mm, new_pmd);
172 if (new_ptl != old_ptl)
Ingo Molnarf20dc5f2006-07-03 00:25:08 -0700173 spin_lock_nested(new_ptl, SINGLE_DEPTH_NESTING);
Mel Gorman3ea27712017-08-02 13:31:52 -0700174 flush_tlb_batched_pending(vma->vm_mm);
Zachary Amsden6606c3e2006-09-30 23:29:33 -0700175 arch_enter_lazy_mmu_mode();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700176
Hugh Dickins7be7a542005-10-29 18:16:00 -0700177 for (; old_addr < old_end; old_pte++, old_addr += PAGE_SIZE,
178 new_pte++, new_addr += PAGE_SIZE) {
179 if (pte_none(*old_pte))
180 continue;
Aaron Lu5d190422016-11-10 17:16:33 +0800181
Andrea Arcangeli7b6efc22011-10-31 17:08:26 -0700182 pte = ptep_get_and_clear(mm, old_addr, old_pte);
Aaron Lua2ce2662016-11-29 13:27:31 +0800183 /*
Linus Torvaldseb66ae02018-10-12 15:22:59 -0700184 * If we are remapping a valid PTE, make sure
Aaron Lua2ce2662016-11-29 13:27:31 +0800185 * to flush TLB before we drop the PTL for the
Linus Torvaldseb66ae02018-10-12 15:22:59 -0700186 * PTE.
Aaron Lua2ce2662016-11-29 13:27:31 +0800187 *
Linus Torvaldseb66ae02018-10-12 15:22:59 -0700188 * NOTE! Both old and new PTL matter: the old one
189 * for racing with page_mkclean(), the new one to
190 * make sure the physical page stays valid until
191 * the TLB entry for the old mapping has been
192 * flushed.
Aaron Lua2ce2662016-11-29 13:27:31 +0800193 */
Linus Torvaldseb66ae02018-10-12 15:22:59 -0700194 if (pte_present(pte))
Aaron Lua2ce2662016-11-29 13:27:31 +0800195 force_flush = true;
Hugh Dickins7be7a542005-10-29 18:16:00 -0700196 pte = move_pte(pte, new_vma->vm_page_prot, old_addr, new_addr);
Cyrill Gorcunov6dec97d2013-08-27 12:37:18 +0400197 pte = move_soft_dirty_pte(pte);
198 set_pte_at(mm, new_addr, new_pte, pte);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700199 }
Hugh Dickins7be7a542005-10-29 18:16:00 -0700200
Zachary Amsden6606c3e2006-09-30 23:29:33 -0700201 arch_leave_lazy_mmu_mode();
Linus Torvaldseb66ae02018-10-12 15:22:59 -0700202 if (force_flush)
203 flush_tlb_range(vma, old_end - len, old_end);
Hugh Dickins4c21e2f2005-10-29 18:16:40 -0700204 if (new_ptl != old_ptl)
205 spin_unlock(new_ptl);
Peter Zijlstraece0e2b2010-10-26 14:21:52 -0700206 pte_unmap(new_pte - 1);
Hugh Dickinsc74df322005-10-29 18:16:23 -0700207 pte_unmap_unlock(old_pte - 1, old_ptl);
Hugh Dickins1d069b72016-05-19 17:12:57 -0700208 if (need_rmap_locks)
209 drop_rmap_locks(vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700210}
211
Joel Fernandes (Google)2c91bd42019-01-03 15:28:38 -0800212#ifdef CONFIG_HAVE_MOVE_PMD
213static bool move_normal_pmd(struct vm_area_struct *vma, unsigned long old_addr,
Wei Yangb8aa9d92020-08-06 23:23:40 -0700214 unsigned long new_addr, pmd_t *old_pmd, pmd_t *new_pmd)
Joel Fernandes (Google)2c91bd42019-01-03 15:28:38 -0800215{
216 spinlock_t *old_ptl, *new_ptl;
217 struct mm_struct *mm = vma->vm_mm;
218 pmd_t pmd;
219
Joel Fernandes (Google)2c91bd42019-01-03 15:28:38 -0800220 /*
221 * The destination pmd shouldn't be established, free_pgtables()
Linus Torvaldsf81fdd02020-07-13 11:37:39 -0700222 * should have released it.
223 *
224 * However, there's a case during execve() where we use mremap
225 * to move the initial stack, and in that case the target area
226 * may overlap the source area (always moving down).
227 *
228 * If everything is PMD-aligned, that works fine, as moving
229 * each pmd down will clear the source pmd. But if we first
230 * have a few 4kB-only pages that get moved down, and then
231 * hit the "now the rest is PMD-aligned, let's do everything
232 * one pmd at a time", we will still have the old (now empty
233 * of any 4kB pages, but still there) PMD in the page table
234 * tree.
235 *
236 * Warn on it once - because we really should try to figure
237 * out how to do this better - but then say "I won't move
238 * this pmd".
239 *
240 * One alternative might be to just unmap the target pmd at
241 * this point, and verify that it really is empty. We'll see.
Joel Fernandes (Google)2c91bd42019-01-03 15:28:38 -0800242 */
Linus Torvaldsf81fdd02020-07-13 11:37:39 -0700243 if (WARN_ON_ONCE(!pmd_none(*new_pmd)))
Joel Fernandes (Google)2c91bd42019-01-03 15:28:38 -0800244 return false;
245
246 /*
247 * We don't have to worry about the ordering of src and dst
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -0700248 * ptlocks because exclusive mmap_lock prevents deadlock.
Joel Fernandes (Google)2c91bd42019-01-03 15:28:38 -0800249 */
250 old_ptl = pmd_lock(vma->vm_mm, old_pmd);
251 new_ptl = pmd_lockptr(mm, new_pmd);
252 if (new_ptl != old_ptl)
253 spin_lock_nested(new_ptl, SINGLE_DEPTH_NESTING);
254
255 /* Clear the pmd */
256 pmd = *old_pmd;
257 pmd_clear(old_pmd);
258
259 VM_BUG_ON(!pmd_none(*new_pmd));
260
261 /* Set the new pmd */
262 set_pmd_at(mm, new_addr, new_pmd, pmd);
263 flush_tlb_range(vma, old_addr, old_addr + PMD_SIZE);
264 if (new_ptl != old_ptl)
265 spin_unlock(new_ptl);
266 spin_unlock(old_ptl);
267
268 return true;
269}
Kalesh Singhc49dd342020-12-14 19:07:30 -0800270#else
271static inline bool move_normal_pmd(struct vm_area_struct *vma,
272 unsigned long old_addr, unsigned long new_addr, pmd_t *old_pmd,
273 pmd_t *new_pmd)
274{
275 return false;
276}
Joel Fernandes (Google)2c91bd42019-01-03 15:28:38 -0800277#endif
278
Kalesh Singhc49dd342020-12-14 19:07:30 -0800279#ifdef CONFIG_HAVE_MOVE_PUD
280static bool move_normal_pud(struct vm_area_struct *vma, unsigned long old_addr,
281 unsigned long new_addr, pud_t *old_pud, pud_t *new_pud)
282{
283 spinlock_t *old_ptl, *new_ptl;
284 struct mm_struct *mm = vma->vm_mm;
285 pud_t pud;
286
287 /*
288 * The destination pud shouldn't be established, free_pgtables()
289 * should have released it.
290 */
291 if (WARN_ON_ONCE(!pud_none(*new_pud)))
292 return false;
293
294 /*
295 * We don't have to worry about the ordering of src and dst
296 * ptlocks because exclusive mmap_lock prevents deadlock.
297 */
298 old_ptl = pud_lock(vma->vm_mm, old_pud);
299 new_ptl = pud_lockptr(mm, new_pud);
300 if (new_ptl != old_ptl)
301 spin_lock_nested(new_ptl, SINGLE_DEPTH_NESTING);
302
303 /* Clear the pud */
304 pud = *old_pud;
305 pud_clear(old_pud);
306
307 VM_BUG_ON(!pud_none(*new_pud));
308
309 /* Set the new pud */
310 set_pud_at(mm, new_addr, new_pud, pud);
311 flush_tlb_range(vma, old_addr, old_addr + PUD_SIZE);
312 if (new_ptl != old_ptl)
313 spin_unlock(new_ptl);
314 spin_unlock(old_ptl);
315
316 return true;
317}
318#else
319static inline bool move_normal_pud(struct vm_area_struct *vma,
320 unsigned long old_addr, unsigned long new_addr, pud_t *old_pud,
321 pud_t *new_pud)
322{
323 return false;
324}
325#endif
326
327enum pgt_entry {
328 NORMAL_PMD,
329 HPAGE_PMD,
330 NORMAL_PUD,
331};
332
333/*
334 * Returns an extent of the corresponding size for the pgt_entry specified if
335 * valid. Else returns a smaller extent bounded by the end of the source and
336 * destination pgt_entry.
337 */
Arnd Bergmanna30a2902021-02-09 13:42:10 -0800338static __always_inline unsigned long get_extent(enum pgt_entry entry,
339 unsigned long old_addr, unsigned long old_end,
340 unsigned long new_addr)
Kalesh Singhc49dd342020-12-14 19:07:30 -0800341{
342 unsigned long next, extent, mask, size;
343
344 switch (entry) {
345 case HPAGE_PMD:
346 case NORMAL_PMD:
347 mask = PMD_MASK;
348 size = PMD_SIZE;
349 break;
350 case NORMAL_PUD:
351 mask = PUD_MASK;
352 size = PUD_SIZE;
353 break;
354 default:
355 BUILD_BUG();
356 break;
357 }
358
359 next = (old_addr + size) & mask;
360 /* even if next overflowed, extent below will be ok */
Kalesh Singhe05986e2020-12-29 15:14:40 -0800361 extent = next - old_addr;
362 if (extent > old_end - old_addr)
363 extent = old_end - old_addr;
Kalesh Singhc49dd342020-12-14 19:07:30 -0800364 next = (new_addr + size) & mask;
365 if (extent > next - new_addr)
366 extent = next - new_addr;
367 return extent;
368}
369
370/*
371 * Attempts to speedup the move by moving entry at the level corresponding to
372 * pgt_entry. Returns true if the move was successful, else false.
373 */
374static bool move_pgt_entry(enum pgt_entry entry, struct vm_area_struct *vma,
375 unsigned long old_addr, unsigned long new_addr,
376 void *old_entry, void *new_entry, bool need_rmap_locks)
377{
378 bool moved = false;
379
380 /* See comment in move_ptes() */
381 if (need_rmap_locks)
382 take_rmap_locks(vma);
383
384 switch (entry) {
385 case NORMAL_PMD:
386 moved = move_normal_pmd(vma, old_addr, new_addr, old_entry,
387 new_entry);
388 break;
389 case NORMAL_PUD:
390 moved = move_normal_pud(vma, old_addr, new_addr, old_entry,
391 new_entry);
392 break;
393 case HPAGE_PMD:
394 moved = IS_ENABLED(CONFIG_TRANSPARENT_HUGEPAGE) &&
395 move_huge_pmd(vma, old_addr, new_addr, old_entry,
396 new_entry);
397 break;
398 default:
399 WARN_ON_ONCE(1);
400 break;
401 }
402
403 if (need_rmap_locks)
404 drop_rmap_locks(vma);
405
406 return moved;
407}
408
Ollie Wildb6a2fea2007-07-19 01:48:16 -0700409unsigned long move_page_tables(struct vm_area_struct *vma,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700410 unsigned long old_addr, struct vm_area_struct *new_vma,
Michel Lespinasse38a76012012-10-08 16:31:50 -0700411 unsigned long new_addr, unsigned long len,
412 bool need_rmap_locks)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700413{
Kalesh Singhc49dd342020-12-14 19:07:30 -0800414 unsigned long extent, old_end;
Jérôme Glisseac46d4f2018-12-28 00:38:09 -0800415 struct mmu_notifier_range range;
Hugh Dickins7be7a542005-10-29 18:16:00 -0700416 pmd_t *old_pmd, *new_pmd;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700417
Hugh Dickins7be7a542005-10-29 18:16:00 -0700418 old_end = old_addr + len;
419 flush_cache_range(vma, old_addr, old_end);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700420
Jérôme Glisse6f4f13e2019-05-13 17:20:49 -0700421 mmu_notifier_range_init(&range, MMU_NOTIFY_UNMAP, 0, vma, vma->vm_mm,
422 old_addr, old_end);
Jérôme Glisseac46d4f2018-12-28 00:38:09 -0800423 mmu_notifier_invalidate_range_start(&range);
Andrea Arcangeli7b6efc22011-10-31 17:08:26 -0700424
Hugh Dickins7be7a542005-10-29 18:16:00 -0700425 for (; old_addr < old_end; old_addr += extent, new_addr += extent) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700426 cond_resched();
Kalesh Singhc49dd342020-12-14 19:07:30 -0800427 /*
428 * If extent is PUD-sized try to speed up the move by moving at the
429 * PUD level if possible.
430 */
431 extent = get_extent(NORMAL_PUD, old_addr, old_end, new_addr);
432 if (IS_ENABLED(CONFIG_HAVE_MOVE_PUD) && extent == PUD_SIZE) {
433 pud_t *old_pud, *new_pud;
434
435 old_pud = get_old_pud(vma->vm_mm, old_addr);
436 if (!old_pud)
437 continue;
438 new_pud = alloc_new_pud(vma->vm_mm, vma, new_addr);
439 if (!new_pud)
440 break;
441 if (move_pgt_entry(NORMAL_PUD, vma, old_addr, new_addr,
442 old_pud, new_pud, need_rmap_locks))
443 continue;
444 }
445
446 extent = get_extent(NORMAL_PMD, old_addr, old_end, new_addr);
Hugh Dickins7be7a542005-10-29 18:16:00 -0700447 old_pmd = get_old_pmd(vma->vm_mm, old_addr);
448 if (!old_pmd)
449 continue;
Andrea Arcangeli8ac1f832011-01-13 15:46:43 -0800450 new_pmd = alloc_new_pmd(vma->vm_mm, vma, new_addr);
Hugh Dickins7be7a542005-10-29 18:16:00 -0700451 if (!new_pmd)
452 break;
Kalesh Singhc49dd342020-12-14 19:07:30 -0800453 if (is_swap_pmd(*old_pmd) || pmd_trans_huge(*old_pmd) ||
454 pmd_devmap(*old_pmd)) {
455 if (extent == HPAGE_PMD_SIZE &&
456 move_pgt_entry(HPAGE_PMD, vma, old_addr, new_addr,
457 old_pmd, new_pmd, need_rmap_locks))
458 continue;
Kirill A. Shutemov4b471e82016-01-15 16:53:39 -0800459 split_huge_pmd(vma, old_pmd, old_addr);
Naoya Horiguchi337d9ab2016-07-26 15:24:03 -0700460 if (pmd_trans_unstable(old_pmd))
Kirill A. Shutemov6b9116a2016-02-11 16:13:03 -0800461 continue;
Kalesh Singhc49dd342020-12-14 19:07:30 -0800462 } else if (IS_ENABLED(CONFIG_HAVE_MOVE_PMD) &&
463 extent == PMD_SIZE) {
Joel Fernandes (Google)2c91bd42019-01-03 15:28:38 -0800464 /*
465 * If the extent is PMD-sized, try to speed the move by
466 * moving at the PMD level if possible.
467 */
Kalesh Singhc49dd342020-12-14 19:07:30 -0800468 if (move_pgt_entry(NORMAL_PMD, vma, old_addr, new_addr,
469 old_pmd, new_pmd, need_rmap_locks))
Joel Fernandes (Google)2c91bd42019-01-03 15:28:38 -0800470 continue;
Andrea Arcangeli37a1c492011-10-31 17:08:30 -0700471 }
Joel Fernandes (Google)2c91bd42019-01-03 15:28:38 -0800472
Joel Fernandes (Google)4cf58922019-01-03 15:28:34 -0800473 if (pte_alloc(new_vma->vm_mm, new_pmd))
Andrea Arcangeli37a1c492011-10-31 17:08:30 -0700474 break;
Aaron Lu5d190422016-11-10 17:16:33 +0800475 move_ptes(vma, old_pmd, old_addr, old_addr + extent, new_vma,
Linus Torvaldseb66ae02018-10-12 15:22:59 -0700476 new_pmd, new_addr, need_rmap_locks);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700477 }
Andrea Arcangeli7b6efc22011-10-31 17:08:26 -0700478
Jérôme Glisseac46d4f2018-12-28 00:38:09 -0800479 mmu_notifier_invalidate_range_end(&range);
Hugh Dickins7be7a542005-10-29 18:16:00 -0700480
481 return len + old_addr - old_end; /* how much done */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700482}
483
484static unsigned long move_vma(struct vm_area_struct *vma,
485 unsigned long old_addr, unsigned long old_len,
Pavel Emelyanov72f87652017-02-22 15:42:34 -0800486 unsigned long new_len, unsigned long new_addr,
Brian Geffone346b382020-04-01 21:09:17 -0700487 bool *locked, unsigned long flags,
488 struct vm_userfaultfd_ctx *uf, struct list_head *uf_unmap)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700489{
490 struct mm_struct *mm = vma->vm_mm;
491 struct vm_area_struct *new_vma;
492 unsigned long vm_flags = vma->vm_flags;
493 unsigned long new_pgoff;
494 unsigned long moved_len;
495 unsigned long excess = 0;
Hugh Dickins365e9c872005-10-29 18:16:18 -0700496 unsigned long hiwater_vm;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700497 int split = 0;
Dmitry Safonov73d5e062020-12-14 19:08:21 -0800498 int err = 0;
Michel Lespinasse38a76012012-10-08 16:31:50 -0700499 bool need_rmap_locks;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700500
501 /*
502 * We'd prefer to avoid failure later on in do_munmap:
503 * which may split one vma into three before unmapping.
504 */
505 if (mm->map_count >= sysctl_max_map_count - 3)
506 return -ENOMEM;
507
Dmitry Safonov73d5e062020-12-14 19:08:21 -0800508 if (vma->vm_ops && vma->vm_ops->may_split) {
509 if (vma->vm_start != old_addr)
510 err = vma->vm_ops->may_split(vma, old_addr);
511 if (!err && vma->vm_end != old_addr + old_len)
512 err = vma->vm_ops->may_split(vma, old_addr + old_len);
513 if (err)
514 return err;
515 }
516
Hugh Dickins1ff82992009-09-21 17:02:05 -0700517 /*
518 * Advise KSM to break any KSM pages in the area to be moved:
519 * it would be confusing if they were to turn up at the new
520 * location, where they happen to coincide with different KSM
521 * pages recently unmapped. But leave vma->vm_flags as it was,
522 * so KSM can come around to merge on vma and new_vma afterwards.
523 */
Hugh Dickins7103ad32009-09-21 17:02:28 -0700524 err = ksm_madvise(vma, old_addr, old_addr + old_len,
525 MADV_UNMERGEABLE, &vm_flags);
526 if (err)
527 return err;
Hugh Dickins1ff82992009-09-21 17:02:05 -0700528
Dmitry Safonovad8ee772020-12-14 19:08:09 -0800529 if (unlikely(flags & MREMAP_DONTUNMAP && vm_flags & VM_ACCOUNT)) {
530 if (security_vm_enough_memory_mm(mm, new_len >> PAGE_SHIFT))
531 return -ENOMEM;
532 }
533
Linus Torvalds1da177e2005-04-16 15:20:36 -0700534 new_pgoff = vma->vm_pgoff + ((old_addr - vma->vm_start) >> PAGE_SHIFT);
Michel Lespinasse38a76012012-10-08 16:31:50 -0700535 new_vma = copy_vma(&vma, new_addr, new_len, new_pgoff,
536 &need_rmap_locks);
Dmitry Safonovad8ee772020-12-14 19:08:09 -0800537 if (!new_vma) {
538 if (unlikely(flags & MREMAP_DONTUNMAP && vm_flags & VM_ACCOUNT))
539 vm_unacct_memory(new_len >> PAGE_SHIFT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700540 return -ENOMEM;
Dmitry Safonovad8ee772020-12-14 19:08:09 -0800541 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700542
Michel Lespinasse38a76012012-10-08 16:31:50 -0700543 moved_len = move_page_tables(vma, old_addr, new_vma, new_addr, old_len,
544 need_rmap_locks);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700545 if (moved_len < old_len) {
Oleg Nesterovdf1eab32015-09-04 15:48:01 -0700546 err = -ENOMEM;
Oleg Nesterov5477e702015-09-04 15:48:04 -0700547 } else if (vma->vm_ops && vma->vm_ops->mremap) {
Brian Geffon14d07112021-04-29 22:57:48 -0700548 err = vma->vm_ops->mremap(new_vma);
Oleg Nesterovdf1eab32015-09-04 15:48:01 -0700549 }
550
551 if (unlikely(err)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700552 /*
553 * On error, move entries back from new area to old,
554 * which will succeed since page tables still there,
555 * and then proceed to unmap new area instead of old.
556 */
Michel Lespinasse38a76012012-10-08 16:31:50 -0700557 move_page_tables(new_vma, new_addr, vma, old_addr, moved_len,
558 true);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700559 vma = new_vma;
560 old_len = new_len;
561 old_addr = new_addr;
Oleg Nesterovdf1eab32015-09-04 15:48:01 -0700562 new_addr = err;
Laurent Dufour4abad2c2015-06-24 16:56:19 -0700563 } else {
Pavel Emelyanov72f87652017-02-22 15:42:34 -0800564 mremap_userfaultfd_prep(new_vma, uf);
Al Virob2edffd2015-04-06 17:48:54 -0400565 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700566
567 /* Conceal VM_ACCOUNT so old reservation is not undone */
Dmitry Safonovad8ee772020-12-14 19:08:09 -0800568 if (vm_flags & VM_ACCOUNT && !(flags & MREMAP_DONTUNMAP)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700569 vma->vm_flags &= ~VM_ACCOUNT;
570 excess = vma->vm_end - vma->vm_start - old_len;
571 if (old_addr > vma->vm_start &&
572 old_addr + old_len < vma->vm_end)
573 split = 1;
574 }
575
Kirill Korotaev71799062005-05-16 21:53:18 -0700576 /*
Hugh Dickins365e9c872005-10-29 18:16:18 -0700577 * If we failed to move page tables we still do total_vm increment
578 * since do_munmap() will decrement it by old_len == new_len.
579 *
580 * Since total_vm is about to be raised artificially high for a
581 * moment, we need to restore high watermark afterwards: if stats
582 * are taken meanwhile, total_vm and hiwater_vm appear too high.
583 * If this were a serious issue, we'd add a flag to do_munmap().
Kirill Korotaev71799062005-05-16 21:53:18 -0700584 */
Hugh Dickins365e9c872005-10-29 18:16:18 -0700585 hiwater_vm = mm->hiwater_vm;
Konstantin Khlebnikov84638332016-01-14 15:22:07 -0800586 vm_stat_account(mm, vma->vm_flags, new_len >> PAGE_SHIFT);
Kirill Korotaev71799062005-05-16 21:53:18 -0700587
Toshi Kanid9fe4fa2015-12-22 17:54:23 -0700588 /* Tell pfnmap has moved from this vma */
589 if (unlikely(vma->vm_flags & VM_PFNMAP))
590 untrack_pfn_moved(vma);
591
Brian Geffone346b382020-04-01 21:09:17 -0700592 if (unlikely(!err && (flags & MREMAP_DONTUNMAP))) {
Brian Geffone346b382020-04-01 21:09:17 -0700593 /* We always clear VM_LOCKED[ONFAULT] on the old vma */
594 vma->vm_flags &= VM_LOCKED_CLEAR_MASK;
595
Li Xinhai1583aa22021-02-24 12:04:53 -0800596 /*
597 * anon_vma links of the old vma is no longer needed after its page
598 * table has been moved.
599 */
600 if (new_vma != vma && vma->vm_start == old_addr &&
601 vma->vm_end == (old_addr + old_len))
602 unlink_anon_vmas(vma);
603
Brian Geffone346b382020-04-01 21:09:17 -0700604 /* Because we won't unmap we don't need to touch locked_vm */
Dmitry Safonovad8ee772020-12-14 19:08:09 -0800605 return new_addr;
Brian Geffone346b382020-04-01 21:09:17 -0700606 }
607
Mike Rapoport897ab3e2017-02-24 14:58:22 -0800608 if (do_munmap(mm, old_addr, old_len, uf_unmap) < 0) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700609 /* OOM: unable to split vma, just get accounts right */
Dmitry Safonovad8ee772020-12-14 19:08:09 -0800610 if (vm_flags & VM_ACCOUNT && !(flags & MREMAP_DONTUNMAP))
Dmitry Safonov51df7bc2020-12-14 19:08:05 -0800611 vm_acct_memory(new_len >> PAGE_SHIFT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700612 excess = 0;
613 }
Brian Geffone346b382020-04-01 21:09:17 -0700614
615 if (vm_flags & VM_LOCKED) {
616 mm->locked_vm += new_len >> PAGE_SHIFT;
617 *locked = true;
618 }
Dmitry Safonovad8ee772020-12-14 19:08:09 -0800619
Hugh Dickins365e9c872005-10-29 18:16:18 -0700620 mm->hiwater_vm = hiwater_vm;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700621
622 /* Restore VM_ACCOUNT if one or two pieces of vma left */
623 if (excess) {
624 vma->vm_flags |= VM_ACCOUNT;
625 if (split)
626 vma->vm_next->vm_flags |= VM_ACCOUNT;
627 }
628
Linus Torvalds1da177e2005-04-16 15:20:36 -0700629 return new_addr;
630}
631
Al Viro54f5de72009-11-24 07:17:46 -0500632static struct vm_area_struct *vma_to_resize(unsigned long addr,
Brian Geffone346b382020-04-01 21:09:17 -0700633 unsigned long old_len, unsigned long new_len, unsigned long flags,
634 unsigned long *p)
Al Viro54f5de72009-11-24 07:17:46 -0500635{
636 struct mm_struct *mm = current->mm;
637 struct vm_area_struct *vma = find_vma(mm, addr);
Oleg Nesterov1d391682015-09-04 15:48:10 -0700638 unsigned long pgoff;
Al Viro54f5de72009-11-24 07:17:46 -0500639
640 if (!vma || vma->vm_start > addr)
Derek6cd576132015-04-15 16:14:02 -0700641 return ERR_PTR(-EFAULT);
Al Viro54f5de72009-11-24 07:17:46 -0500642
Mike Kravetzdba58d32017-09-06 16:20:55 -0700643 /*
644 * !old_len is a special case where an attempt is made to 'duplicate'
645 * a mapping. This makes no sense for private mappings as it will
646 * instead create a fresh/new mapping unrelated to the original. This
647 * is contrary to the basic idea of mremap which creates new mappings
648 * based on the original. There are no known use cases for this
649 * behavior. As a result, fail such attempts.
650 */
651 if (!old_len && !(vma->vm_flags & (VM_SHARED | VM_MAYSHARE))) {
652 pr_warn_once("%s (%d): attempted to duplicate a private mapping with mremap. This is not supported.\n", current->comm, current->pid);
653 return ERR_PTR(-EINVAL);
654 }
655
Brian Geffona4609382021-04-29 22:57:45 -0700656 if ((flags & MREMAP_DONTUNMAP) &&
657 (vma->vm_flags & (VM_DONTEXPAND | VM_PFNMAP)))
Brian Geffone346b382020-04-01 21:09:17 -0700658 return ERR_PTR(-EINVAL);
659
Al Viro54f5de72009-11-24 07:17:46 -0500660 if (is_vm_hugetlb_page(vma))
Derek6cd576132015-04-15 16:14:02 -0700661 return ERR_PTR(-EINVAL);
Al Viro54f5de72009-11-24 07:17:46 -0500662
663 /* We can't remap across vm area boundaries */
664 if (old_len > vma->vm_end - addr)
Derek6cd576132015-04-15 16:14:02 -0700665 return ERR_PTR(-EFAULT);
Al Viro54f5de72009-11-24 07:17:46 -0500666
Oleg Nesterov1d391682015-09-04 15:48:10 -0700667 if (new_len == old_len)
668 return vma;
Linus Torvalds982134b2011-04-07 07:35:50 -0700669
Oleg Nesterov1d391682015-09-04 15:48:10 -0700670 /* Need to be careful about a growing mapping */
671 pgoff = (addr - vma->vm_start) >> PAGE_SHIFT;
672 pgoff += vma->vm_pgoff;
673 if (pgoff + (new_len >> PAGE_SHIFT) < pgoff)
674 return ERR_PTR(-EINVAL);
675
676 if (vma->vm_flags & (VM_DONTEXPAND | VM_PFNMAP))
677 return ERR_PTR(-EFAULT);
Al Viro54f5de72009-11-24 07:17:46 -0500678
679 if (vma->vm_flags & VM_LOCKED) {
680 unsigned long locked, lock_limit;
681 locked = mm->locked_vm << PAGE_SHIFT;
Jiri Slaby59e99e52010-03-05 13:41:44 -0800682 lock_limit = rlimit(RLIMIT_MEMLOCK);
Al Viro54f5de72009-11-24 07:17:46 -0500683 locked += new_len - old_len;
684 if (locked > lock_limit && !capable(CAP_IPC_LOCK))
Derek6cd576132015-04-15 16:14:02 -0700685 return ERR_PTR(-EAGAIN);
Al Viro54f5de72009-11-24 07:17:46 -0500686 }
687
Konstantin Khlebnikov84638332016-01-14 15:22:07 -0800688 if (!may_expand_vm(mm, vma->vm_flags,
689 (new_len - old_len) >> PAGE_SHIFT))
Derek6cd576132015-04-15 16:14:02 -0700690 return ERR_PTR(-ENOMEM);
Al Viro54f5de72009-11-24 07:17:46 -0500691
692 if (vma->vm_flags & VM_ACCOUNT) {
693 unsigned long charged = (new_len - old_len) >> PAGE_SHIFT;
Al Viro191c5422012-02-13 03:58:52 +0000694 if (security_vm_enough_memory_mm(mm, charged))
Derek6cd576132015-04-15 16:14:02 -0700695 return ERR_PTR(-ENOMEM);
Al Viro54f5de72009-11-24 07:17:46 -0500696 *p = charged;
697 }
698
699 return vma;
Al Viro54f5de72009-11-24 07:17:46 -0500700}
701
Michel Lespinasse81909b82013-02-22 16:32:41 -0800702static unsigned long mremap_to(unsigned long addr, unsigned long old_len,
Pavel Emelyanov72f87652017-02-22 15:42:34 -0800703 unsigned long new_addr, unsigned long new_len, bool *locked,
Brian Geffone346b382020-04-01 21:09:17 -0700704 unsigned long flags, struct vm_userfaultfd_ctx *uf,
Mike Rapoportb2282372017-08-02 13:31:55 -0700705 struct list_head *uf_unmap_early,
Mike Rapoport897ab3e2017-02-24 14:58:22 -0800706 struct list_head *uf_unmap)
Al Viroecc1a892009-11-24 07:28:07 -0500707{
708 struct mm_struct *mm = current->mm;
709 struct vm_area_struct *vma;
710 unsigned long ret = -EINVAL;
711 unsigned long charged = 0;
Brian Geffone346b382020-04-01 21:09:17 -0700712 unsigned long map_flags = 0;
Al Viroecc1a892009-11-24 07:28:07 -0500713
Alexander Kuleshovf19cb112015-11-05 18:46:57 -0800714 if (offset_in_page(new_addr))
Al Viroecc1a892009-11-24 07:28:07 -0500715 goto out;
716
717 if (new_len > TASK_SIZE || new_addr > TASK_SIZE - new_len)
718 goto out;
719
Oleg Nesterov99432422015-09-04 15:48:13 -0700720 /* Ensure the old/new locations do not overlap */
721 if (addr + old_len > new_addr && new_addr + new_len > addr)
Al Viroecc1a892009-11-24 07:28:07 -0500722 goto out;
723
Oscar Salvadorea2c3f62019-03-05 15:50:14 -0800724 /*
725 * move_vma() need us to stay 4 maps below the threshold, otherwise
726 * it will bail out at the very beginning.
727 * That is a problem if we have already unmaped the regions here
728 * (new_addr, and old_addr), because userspace will not know the
729 * state of the vma's after it gets -ENOMEM.
730 * So, to avoid such scenario we can pre-compute if the whole
731 * operation has high chances to success map-wise.
732 * Worst-scenario case is when both vma's (new_addr and old_addr) get
Ingo Molnarf0953a12021-05-06 18:06:47 -0700733 * split in 3 before unmapping it.
Oscar Salvadorea2c3f62019-03-05 15:50:14 -0800734 * That means 2 more maps (1 for each) to the ones we already hold.
735 * Check whether current map count plus 2 still leads us to 4 maps below
736 * the threshold, otherwise return -ENOMEM here to be more safe.
737 */
738 if ((mm->map_count + 2) >= sysctl_max_map_count - 3)
739 return -ENOMEM;
740
Brian Geffone346b382020-04-01 21:09:17 -0700741 if (flags & MREMAP_FIXED) {
742 ret = do_munmap(mm, new_addr, new_len, uf_unmap_early);
743 if (ret)
744 goto out;
745 }
Al Viroecc1a892009-11-24 07:28:07 -0500746
747 if (old_len >= new_len) {
Mike Rapoport897ab3e2017-02-24 14:58:22 -0800748 ret = do_munmap(mm, addr+new_len, old_len - new_len, uf_unmap);
Al Viroecc1a892009-11-24 07:28:07 -0500749 if (ret && old_len != new_len)
750 goto out;
751 old_len = new_len;
752 }
753
Brian Geffone346b382020-04-01 21:09:17 -0700754 vma = vma_to_resize(addr, old_len, new_len, flags, &charged);
Al Viroecc1a892009-11-24 07:28:07 -0500755 if (IS_ERR(vma)) {
756 ret = PTR_ERR(vma);
757 goto out;
758 }
759
Brian Geffone346b382020-04-01 21:09:17 -0700760 /* MREMAP_DONTUNMAP expands by old_len since old_len == new_len */
761 if (flags & MREMAP_DONTUNMAP &&
762 !may_expand_vm(mm, vma->vm_flags, old_len >> PAGE_SHIFT)) {
763 ret = -ENOMEM;
764 goto out;
765 }
766
767 if (flags & MREMAP_FIXED)
768 map_flags |= MAP_FIXED;
769
Al Viro097eed12009-11-24 08:43:52 -0500770 if (vma->vm_flags & VM_MAYSHARE)
771 map_flags |= MAP_SHARED;
Al Viro9206de92009-12-03 15:23:11 -0500772
Al Viro097eed12009-11-24 08:43:52 -0500773 ret = get_unmapped_area(vma->vm_file, new_addr, new_len, vma->vm_pgoff +
774 ((addr - vma->vm_start) >> PAGE_SHIFT),
775 map_flags);
Gaowei Puff68dac2019-11-30 17:51:03 -0800776 if (IS_ERR_VALUE(ret))
Al Viro097eed12009-11-24 08:43:52 -0500777 goto out1;
778
Brian Geffone346b382020-04-01 21:09:17 -0700779 /* We got a new mapping */
780 if (!(flags & MREMAP_FIXED))
781 new_addr = ret;
782
783 ret = move_vma(vma, addr, old_len, new_len, new_addr, locked, flags, uf,
Mike Rapoport897ab3e2017-02-24 14:58:22 -0800784 uf_unmap);
Brian Geffone346b382020-04-01 21:09:17 -0700785
Alexander Kuleshovf19cb112015-11-05 18:46:57 -0800786 if (!(offset_in_page(ret)))
Al Viro097eed12009-11-24 08:43:52 -0500787 goto out;
Brian Geffone346b382020-04-01 21:09:17 -0700788
Al Viro097eed12009-11-24 08:43:52 -0500789out1:
790 vm_unacct_memory(charged);
Al Viroecc1a892009-11-24 07:28:07 -0500791
792out:
793 return ret;
794}
795
Al Viro1a0ef852009-11-24 07:43:18 -0500796static int vma_expandable(struct vm_area_struct *vma, unsigned long delta)
797{
Al Virof106af42009-11-24 08:25:18 -0500798 unsigned long end = vma->vm_end + delta;
Al Viro9206de92009-12-03 15:23:11 -0500799 if (end < vma->vm_end) /* overflow */
Al Viro1a0ef852009-11-24 07:43:18 -0500800 return 0;
Al Viro9206de92009-12-03 15:23:11 -0500801 if (vma->vm_next && vma->vm_next->vm_start < end) /* intersection */
Al Virof106af42009-11-24 08:25:18 -0500802 return 0;
803 if (get_unmapped_area(NULL, vma->vm_start, end - vma->vm_start,
804 0, MAP_FIXED) & ~PAGE_MASK)
805 return 0;
Al Viro1a0ef852009-11-24 07:43:18 -0500806 return 1;
807}
808
Linus Torvalds1da177e2005-04-16 15:20:36 -0700809/*
810 * Expand (or shrink) an existing mapping, potentially moving it at the
811 * same time (controlled by the MREMAP_MAYMOVE flag and available VM space)
812 *
813 * MREMAP_FIXED option added 5-Dec-1999 by Benjamin LaHaise
814 * This option implies MREMAP_MAYMOVE.
815 */
Al Viro63a81db2012-05-30 11:32:04 -0400816SYSCALL_DEFINE5(mremap, unsigned long, addr, unsigned long, old_len,
817 unsigned long, new_len, unsigned long, flags,
818 unsigned long, new_addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700819{
Hugh Dickinsd0de32d2005-10-29 18:16:16 -0700820 struct mm_struct *mm = current->mm;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700821 struct vm_area_struct *vma;
822 unsigned long ret = -EINVAL;
823 unsigned long charged = 0;
Michel Lespinasse81909b82013-02-22 16:32:41 -0800824 bool locked = false;
Yang Shi85a06832018-10-26 15:08:50 -0700825 bool downgraded = false;
Pavel Emelyanov72f87652017-02-22 15:42:34 -0800826 struct vm_userfaultfd_ctx uf = NULL_VM_UFFD_CTX;
Mike Rapoportb2282372017-08-02 13:31:55 -0700827 LIST_HEAD(uf_unmap_early);
Mike Rapoport897ab3e2017-02-24 14:58:22 -0800828 LIST_HEAD(uf_unmap);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700829
Will Deaconb2a84de2020-03-25 11:13:46 +0000830 /*
831 * There is a deliberate asymmetry here: we strip the pointer tag
832 * from the old address but leave the new address alone. This is
833 * for consistency with mmap(), where we prevent the creation of
834 * aliasing mappings in userspace by leaving the tag bits of the
835 * mapping address intact. A non-zero tag will cause the subsequent
836 * range checks to reject the address as invalid.
837 *
838 * See Documentation/arm64/tagged-address-abi.rst for more information.
839 */
Andrey Konovalov057d33892019-09-25 16:48:30 -0700840 addr = untagged_addr(addr);
841
Brian Geffone346b382020-04-01 21:09:17 -0700842 if (flags & ~(MREMAP_FIXED | MREMAP_MAYMOVE | MREMAP_DONTUNMAP))
Rasmus Villemoes9a2458a2013-07-08 15:59:48 -0700843 return ret;
844
845 if (flags & MREMAP_FIXED && !(flags & MREMAP_MAYMOVE))
846 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700847
Brian Geffone346b382020-04-01 21:09:17 -0700848 /*
849 * MREMAP_DONTUNMAP is always a move and it does not allow resizing
850 * in the process.
851 */
852 if (flags & MREMAP_DONTUNMAP &&
853 (!(flags & MREMAP_MAYMOVE) || old_len != new_len))
854 return ret;
855
856
Alexander Kuleshovf19cb112015-11-05 18:46:57 -0800857 if (offset_in_page(addr))
Rasmus Villemoes9a2458a2013-07-08 15:59:48 -0700858 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700859
860 old_len = PAGE_ALIGN(old_len);
861 new_len = PAGE_ALIGN(new_len);
862
863 /*
864 * We allow a zero old-len as a special case
865 * for DOS-emu "duplicate shm area" thing. But
866 * a zero new-len is nonsensical.
867 */
868 if (!new_len)
Rasmus Villemoes9a2458a2013-07-08 15:59:48 -0700869 return ret;
870
Michel Lespinassed8ed45c2020-06-08 21:33:25 -0700871 if (mmap_write_lock_killable(current->mm))
Michal Hockodc0ef0d2016-05-23 16:25:27 -0700872 return -EINTR;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700873
Brian Geffone346b382020-04-01 21:09:17 -0700874 if (flags & (MREMAP_FIXED | MREMAP_DONTUNMAP)) {
Rasmus Villemoes9a2458a2013-07-08 15:59:48 -0700875 ret = mremap_to(addr, old_len, new_addr, new_len,
Brian Geffone346b382020-04-01 21:09:17 -0700876 &locked, flags, &uf, &uf_unmap_early,
877 &uf_unmap);
Al Viroecc1a892009-11-24 07:28:07 -0500878 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700879 }
880
881 /*
882 * Always allow a shrinking remap: that just unmaps
883 * the unnecessary pages..
Yang Shi85a06832018-10-26 15:08:50 -0700884 * __do_munmap does all the needed commit accounting, and
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -0700885 * downgrades mmap_lock to read if so directed.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700886 */
887 if (old_len >= new_len) {
Yang Shi85a06832018-10-26 15:08:50 -0700888 int retval;
889
890 retval = __do_munmap(mm, addr+new_len, old_len - new_len,
891 &uf_unmap, true);
892 if (retval < 0 && old_len != new_len) {
893 ret = retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700894 goto out;
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -0700895 /* Returning 1 indicates mmap_lock is downgraded to read. */
Yang Shi85a06832018-10-26 15:08:50 -0700896 } else if (retval == 1)
897 downgraded = true;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700898 ret = addr;
Al Viroecc1a892009-11-24 07:28:07 -0500899 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700900 }
901
902 /*
Al Viroecc1a892009-11-24 07:28:07 -0500903 * Ok, we need to grow..
Linus Torvalds1da177e2005-04-16 15:20:36 -0700904 */
Brian Geffone346b382020-04-01 21:09:17 -0700905 vma = vma_to_resize(addr, old_len, new_len, flags, &charged);
Al Viro54f5de72009-11-24 07:17:46 -0500906 if (IS_ERR(vma)) {
907 ret = PTR_ERR(vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700908 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700909 }
910
911 /* old_len exactly to the end of the area..
Linus Torvalds1da177e2005-04-16 15:20:36 -0700912 */
Al Viroecc1a892009-11-24 07:28:07 -0500913 if (old_len == vma->vm_end - addr) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700914 /* can we just expand the current mapping? */
Al Viro1a0ef852009-11-24 07:43:18 -0500915 if (vma_expandable(vma, new_len - old_len)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700916 int pages = (new_len - old_len) >> PAGE_SHIFT;
917
Rik van Riel5beb4932010-03-05 13:42:07 -0800918 if (vma_adjust(vma, vma->vm_start, addr + new_len,
919 vma->vm_pgoff, NULL)) {
920 ret = -ENOMEM;
921 goto out;
922 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700923
Konstantin Khlebnikov84638332016-01-14 15:22:07 -0800924 vm_stat_account(mm, vma->vm_flags, pages);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700925 if (vma->vm_flags & VM_LOCKED) {
Hugh Dickinsd0de32d2005-10-29 18:16:16 -0700926 mm->locked_vm += pages;
Michel Lespinasse81909b82013-02-22 16:32:41 -0800927 locked = true;
928 new_addr = addr;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700929 }
930 ret = addr;
931 goto out;
932 }
933 }
934
935 /*
936 * We weren't able to just expand or shrink the area,
937 * we need to create a new one and move it..
938 */
939 ret = -ENOMEM;
940 if (flags & MREMAP_MAYMOVE) {
Al Viroecc1a892009-11-24 07:28:07 -0500941 unsigned long map_flags = 0;
942 if (vma->vm_flags & VM_MAYSHARE)
943 map_flags |= MAP_SHARED;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700944
Al Viroecc1a892009-11-24 07:28:07 -0500945 new_addr = get_unmapped_area(vma->vm_file, 0, new_len,
Al Viro93587412009-11-24 08:45:24 -0500946 vma->vm_pgoff +
947 ((addr - vma->vm_start) >> PAGE_SHIFT),
948 map_flags);
Gaowei Puff68dac2019-11-30 17:51:03 -0800949 if (IS_ERR_VALUE(new_addr)) {
Al Viroecc1a892009-11-24 07:28:07 -0500950 ret = new_addr;
951 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700952 }
Al Viroecc1a892009-11-24 07:28:07 -0500953
Pavel Emelyanov72f87652017-02-22 15:42:34 -0800954 ret = move_vma(vma, addr, old_len, new_len, new_addr,
Brian Geffone346b382020-04-01 21:09:17 -0700955 &locked, flags, &uf, &uf_unmap);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700956 }
957out:
Alexander Kuleshovf19cb112015-11-05 18:46:57 -0800958 if (offset_in_page(ret)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700959 vm_unacct_memory(charged);
Zou Weifa1f68c2020-06-04 16:49:46 -0700960 locked = false;
Oleg Nesterovd456fb92015-09-04 15:48:07 -0700961 }
Yang Shi85a06832018-10-26 15:08:50 -0700962 if (downgraded)
Michel Lespinassed8ed45c2020-06-08 21:33:25 -0700963 mmap_read_unlock(current->mm);
Yang Shi85a06832018-10-26 15:08:50 -0700964 else
Michel Lespinassed8ed45c2020-06-08 21:33:25 -0700965 mmap_write_unlock(current->mm);
Michel Lespinasse81909b82013-02-22 16:32:41 -0800966 if (locked && new_len > old_len)
967 mm_populate(new_addr + old_len, new_len - old_len);
Mike Rapoportb2282372017-08-02 13:31:55 -0700968 userfaultfd_unmap_complete(mm, &uf_unmap_early);
Brian Geffond15649262020-05-13 17:50:44 -0700969 mremap_userfaultfd_complete(&uf, addr, ret, old_len);
Mike Rapoport897ab3e2017-02-24 14:58:22 -0800970 userfaultfd_unmap_complete(mm, &uf_unmap);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700971 return ret;
972}