blob: 002eec83e91e5afd4b2229ccd2712a599ee31036 [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>
Aneesh Kumar K.V3bbda692021-07-07 18:10:18 -070028#include <asm/tlb.h>
Aneesh Kumar K.V0881ace2021-07-07 18:10:12 -070029#include <asm/pgalloc.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070030
Rik van Rielba470de2008-10-18 20:26:50 -070031#include "internal.h"
32
Kalesh Singhc49dd342020-12-14 19:07:30 -080033static pud_t *get_old_pud(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;
Linus Torvalds1da177e2005-04-16 15:20:36 -070038
39 pgd = pgd_offset(mm, addr);
40 if (pgd_none_or_clear_bad(pgd))
41 return NULL;
42
Kirill A. Shutemovc2febaf2017-03-09 17:24:07 +030043 p4d = p4d_offset(pgd, addr);
44 if (p4d_none_or_clear_bad(p4d))
45 return NULL;
46
47 pud = pud_offset(p4d, addr);
Linus Torvalds1da177e2005-04-16 15:20:36 -070048 if (pud_none_or_clear_bad(pud))
49 return NULL;
50
Kalesh Singhc49dd342020-12-14 19:07:30 -080051 return pud;
52}
53
54static pmd_t *get_old_pmd(struct mm_struct *mm, unsigned long addr)
55{
56 pud_t *pud;
57 pmd_t *pmd;
58
59 pud = get_old_pud(mm, addr);
60 if (!pud)
61 return NULL;
62
Linus Torvalds1da177e2005-04-16 15:20:36 -070063 pmd = pmd_offset(pud, addr);
Andrea Arcangeli37a1c492011-10-31 17:08:30 -070064 if (pmd_none(*pmd))
Linus Torvalds1da177e2005-04-16 15:20:36 -070065 return NULL;
66
Hugh Dickins7be7a542005-10-29 18:16:00 -070067 return pmd;
Linus Torvalds1da177e2005-04-16 15:20:36 -070068}
69
Kalesh Singhc49dd342020-12-14 19:07:30 -080070static pud_t *alloc_new_pud(struct mm_struct *mm, struct vm_area_struct *vma,
Andrea Arcangeli8ac1f832011-01-13 15:46:43 -080071 unsigned long addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -070072{
73 pgd_t *pgd;
Kirill A. Shutemovc2febaf2017-03-09 17:24:07 +030074 p4d_t *p4d;
Linus Torvalds1da177e2005-04-16 15:20:36 -070075
76 pgd = pgd_offset(mm, addr);
Kirill A. Shutemovc2febaf2017-03-09 17:24:07 +030077 p4d = p4d_alloc(mm, pgd, addr);
78 if (!p4d)
79 return NULL;
Kalesh Singhc49dd342020-12-14 19:07:30 -080080
81 return pud_alloc(mm, p4d, addr);
82}
83
84static pmd_t *alloc_new_pmd(struct mm_struct *mm, struct vm_area_struct *vma,
85 unsigned long addr)
86{
87 pud_t *pud;
88 pmd_t *pmd;
89
90 pud = alloc_new_pud(mm, vma, addr);
Linus Torvalds1da177e2005-04-16 15:20:36 -070091 if (!pud)
Hugh Dickinsc74df322005-10-29 18:16:23 -070092 return NULL;
Hugh Dickins7be7a542005-10-29 18:16:00 -070093
Linus Torvalds1da177e2005-04-16 15:20:36 -070094 pmd = pmd_alloc(mm, pud, addr);
Hugh Dickins57a8f0c2013-10-16 13:47:09 -070095 if (!pmd)
Hugh Dickinsc74df322005-10-29 18:16:23 -070096 return NULL;
Hugh Dickins7be7a542005-10-29 18:16:00 -070097
Andrea Arcangeli8ac1f832011-01-13 15:46:43 -080098 VM_BUG_ON(pmd_trans_huge(*pmd));
Hugh Dickinsc74df322005-10-29 18:16:23 -070099
Hugh Dickins7be7a542005-10-29 18:16:00 -0700100 return pmd;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700101}
102
Hugh Dickins1d069b72016-05-19 17:12:57 -0700103static void take_rmap_locks(struct vm_area_struct *vma)
104{
105 if (vma->vm_file)
106 i_mmap_lock_write(vma->vm_file->f_mapping);
107 if (vma->anon_vma)
108 anon_vma_lock_write(vma->anon_vma);
109}
110
111static void drop_rmap_locks(struct vm_area_struct *vma)
112{
113 if (vma->anon_vma)
114 anon_vma_unlock_write(vma->anon_vma);
115 if (vma->vm_file)
116 i_mmap_unlock_write(vma->vm_file->f_mapping);
117}
118
Cyrill Gorcunov6dec97d2013-08-27 12:37:18 +0400119static pte_t move_soft_dirty_pte(pte_t pte)
120{
121 /*
122 * Set soft dirty bit so we can notice
123 * in userspace the ptes were moved.
124 */
125#ifdef CONFIG_MEM_SOFT_DIRTY
126 if (pte_present(pte))
127 pte = pte_mksoft_dirty(pte);
128 else if (is_swap_pte(pte))
129 pte = pte_swp_mksoft_dirty(pte);
Cyrill Gorcunov6dec97d2013-08-27 12:37:18 +0400130#endif
131 return pte;
132}
133
Hugh Dickins7be7a542005-10-29 18:16:00 -0700134static void move_ptes(struct vm_area_struct *vma, pmd_t *old_pmd,
135 unsigned long old_addr, unsigned long old_end,
136 struct vm_area_struct *new_vma, pmd_t *new_pmd,
Linus Torvaldseb66ae02018-10-12 15:22:59 -0700137 unsigned long new_addr, bool need_rmap_locks)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700138{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700139 struct mm_struct *mm = vma->vm_mm;
Hugh Dickins7be7a542005-10-29 18:16:00 -0700140 pte_t *old_pte, *new_pte, pte;
Hugh Dickins4c21e2f2005-10-29 18:16:40 -0700141 spinlock_t *old_ptl, *new_ptl;
Aaron Lu5d190422016-11-10 17:16:33 +0800142 bool force_flush = false;
143 unsigned long len = old_end - old_addr;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700144
Michel Lespinasse38a76012012-10-08 16:31:50 -0700145 /*
Davidlohr Buesoc8c06ef2014-12-12 16:54:24 -0800146 * When need_rmap_locks is true, we take the i_mmap_rwsem and anon_vma
Michel Lespinasse38a76012012-10-08 16:31:50 -0700147 * locks to ensure that rmap will always observe either the old or the
148 * new ptes. This is the easiest way to avoid races with
149 * truncate_pagecache(), page migration, etc...
150 *
151 * When need_rmap_locks is false, we use other ways to avoid
152 * such races:
153 *
154 * - During exec() shift_arg_pages(), we use a specially tagged vma
Anshuman Khandual222100e2020-04-01 21:07:52 -0700155 * which rmap call sites look for using vma_is_temporary_stack().
Michel Lespinasse38a76012012-10-08 16:31:50 -0700156 *
157 * - During mremap(), new_vma is often known to be placed after vma
158 * in rmap traversal order. This ensures rmap will always observe
159 * either the old pte, or the new pte, or both (the page table locks
160 * serialize access to individual ptes, but only rmap traversal
161 * order guarantees that we won't miss both the old and new ptes).
162 */
Hugh Dickins1d069b72016-05-19 17:12:57 -0700163 if (need_rmap_locks)
164 take_rmap_locks(vma);
Hugh Dickins7be7a542005-10-29 18:16:00 -0700165
Hugh Dickins4c21e2f2005-10-29 18:16:40 -0700166 /*
167 * We don't have to worry about the ordering of src and dst
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -0700168 * pte locks because exclusive mmap_lock prevents deadlock.
Hugh Dickins4c21e2f2005-10-29 18:16:40 -0700169 */
Hugh Dickinsc74df322005-10-29 18:16:23 -0700170 old_pte = pte_offset_map_lock(mm, old_pmd, old_addr, &old_ptl);
Peter Zijlstraece0e2b2010-10-26 14:21:52 -0700171 new_pte = pte_offset_map(new_pmd, new_addr);
Hugh Dickins4c21e2f2005-10-29 18:16:40 -0700172 new_ptl = pte_lockptr(mm, new_pmd);
173 if (new_ptl != old_ptl)
Ingo Molnarf20dc5f2006-07-03 00:25:08 -0700174 spin_lock_nested(new_ptl, SINGLE_DEPTH_NESTING);
Mel Gorman3ea27712017-08-02 13:31:52 -0700175 flush_tlb_batched_pending(vma->vm_mm);
Zachary Amsden6606c3e2006-09-30 23:29:33 -0700176 arch_enter_lazy_mmu_mode();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700177
Hugh Dickins7be7a542005-10-29 18:16:00 -0700178 for (; old_addr < old_end; old_pte++, old_addr += PAGE_SIZE,
179 new_pte++, new_addr += PAGE_SIZE) {
180 if (pte_none(*old_pte))
181 continue;
Aaron Lu5d190422016-11-10 17:16:33 +0800182
Andrea Arcangeli7b6efc22011-10-31 17:08:26 -0700183 pte = ptep_get_and_clear(mm, old_addr, old_pte);
Aaron Lua2ce2662016-11-29 13:27:31 +0800184 /*
Linus Torvaldseb66ae02018-10-12 15:22:59 -0700185 * If we are remapping a valid PTE, make sure
Aaron Lua2ce2662016-11-29 13:27:31 +0800186 * to flush TLB before we drop the PTL for the
Linus Torvaldseb66ae02018-10-12 15:22:59 -0700187 * PTE.
Aaron Lua2ce2662016-11-29 13:27:31 +0800188 *
Linus Torvaldseb66ae02018-10-12 15:22:59 -0700189 * NOTE! Both old and new PTL matter: the old one
190 * for racing with page_mkclean(), the new one to
191 * make sure the physical page stays valid until
192 * the TLB entry for the old mapping has been
193 * flushed.
Aaron Lua2ce2662016-11-29 13:27:31 +0800194 */
Linus Torvaldseb66ae02018-10-12 15:22:59 -0700195 if (pte_present(pte))
Aaron Lua2ce2662016-11-29 13:27:31 +0800196 force_flush = true;
Hugh Dickins7be7a542005-10-29 18:16:00 -0700197 pte = move_pte(pte, new_vma->vm_page_prot, old_addr, new_addr);
Cyrill Gorcunov6dec97d2013-08-27 12:37:18 +0400198 pte = move_soft_dirty_pte(pte);
199 set_pte_at(mm, new_addr, new_pte, pte);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700200 }
Hugh Dickins7be7a542005-10-29 18:16:00 -0700201
Zachary Amsden6606c3e2006-09-30 23:29:33 -0700202 arch_leave_lazy_mmu_mode();
Linus Torvaldseb66ae02018-10-12 15:22:59 -0700203 if (force_flush)
204 flush_tlb_range(vma, old_end - len, old_end);
Hugh Dickins4c21e2f2005-10-29 18:16:40 -0700205 if (new_ptl != old_ptl)
206 spin_unlock(new_ptl);
Peter Zijlstraece0e2b2010-10-26 14:21:52 -0700207 pte_unmap(new_pte - 1);
Hugh Dickinsc74df322005-10-29 18:16:23 -0700208 pte_unmap_unlock(old_pte - 1, old_ptl);
Hugh Dickins1d069b72016-05-19 17:12:57 -0700209 if (need_rmap_locks)
210 drop_rmap_locks(vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700211}
212
Aneesh Kumar K.V3bbda692021-07-07 18:10:18 -0700213#ifndef arch_supports_page_table_move
214#define arch_supports_page_table_move arch_supports_page_table_move
215static inline bool arch_supports_page_table_move(void)
216{
217 return IS_ENABLED(CONFIG_HAVE_MOVE_PMD) ||
218 IS_ENABLED(CONFIG_HAVE_MOVE_PUD);
219}
220#endif
221
Joel Fernandes (Google)2c91bd42019-01-03 15:28:38 -0800222#ifdef CONFIG_HAVE_MOVE_PMD
223static bool move_normal_pmd(struct vm_area_struct *vma, unsigned long old_addr,
Wei Yangb8aa9d92020-08-06 23:23:40 -0700224 unsigned long new_addr, pmd_t *old_pmd, pmd_t *new_pmd)
Joel Fernandes (Google)2c91bd42019-01-03 15:28:38 -0800225{
226 spinlock_t *old_ptl, *new_ptl;
227 struct mm_struct *mm = vma->vm_mm;
228 pmd_t pmd;
229
Aneesh Kumar K.V3bbda692021-07-07 18:10:18 -0700230 if (!arch_supports_page_table_move())
231 return false;
Joel Fernandes (Google)2c91bd42019-01-03 15:28:38 -0800232 /*
233 * The destination pmd shouldn't be established, free_pgtables()
Linus Torvaldsf81fdd02020-07-13 11:37:39 -0700234 * should have released it.
235 *
236 * However, there's a case during execve() where we use mremap
237 * to move the initial stack, and in that case the target area
238 * may overlap the source area (always moving down).
239 *
240 * If everything is PMD-aligned, that works fine, as moving
241 * each pmd down will clear the source pmd. But if we first
242 * have a few 4kB-only pages that get moved down, and then
243 * hit the "now the rest is PMD-aligned, let's do everything
244 * one pmd at a time", we will still have the old (now empty
245 * of any 4kB pages, but still there) PMD in the page table
246 * tree.
247 *
248 * Warn on it once - because we really should try to figure
249 * out how to do this better - but then say "I won't move
250 * this pmd".
251 *
252 * One alternative might be to just unmap the target pmd at
253 * this point, and verify that it really is empty. We'll see.
Joel Fernandes (Google)2c91bd42019-01-03 15:28:38 -0800254 */
Linus Torvaldsf81fdd02020-07-13 11:37:39 -0700255 if (WARN_ON_ONCE(!pmd_none(*new_pmd)))
Joel Fernandes (Google)2c91bd42019-01-03 15:28:38 -0800256 return false;
257
258 /*
259 * We don't have to worry about the ordering of src and dst
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -0700260 * ptlocks because exclusive mmap_lock prevents deadlock.
Joel Fernandes (Google)2c91bd42019-01-03 15:28:38 -0800261 */
262 old_ptl = pmd_lock(vma->vm_mm, old_pmd);
263 new_ptl = pmd_lockptr(mm, new_pmd);
264 if (new_ptl != old_ptl)
265 spin_lock_nested(new_ptl, SINGLE_DEPTH_NESTING);
266
267 /* Clear the pmd */
268 pmd = *old_pmd;
269 pmd_clear(old_pmd);
270
271 VM_BUG_ON(!pmd_none(*new_pmd));
272
Aneesh Kumar K.V0881ace2021-07-07 18:10:12 -0700273 pmd_populate(mm, new_pmd, pmd_pgtable(pmd));
Joel Fernandes (Google)2c91bd42019-01-03 15:28:38 -0800274 flush_tlb_range(vma, old_addr, old_addr + PMD_SIZE);
275 if (new_ptl != old_ptl)
276 spin_unlock(new_ptl);
277 spin_unlock(old_ptl);
278
279 return true;
280}
Kalesh Singhc49dd342020-12-14 19:07:30 -0800281#else
282static inline bool move_normal_pmd(struct vm_area_struct *vma,
283 unsigned long old_addr, unsigned long new_addr, pmd_t *old_pmd,
284 pmd_t *new_pmd)
285{
286 return false;
287}
Joel Fernandes (Google)2c91bd42019-01-03 15:28:38 -0800288#endif
289
Aneesh Kumar K.Vd6655df2021-07-07 18:10:09 -0700290#if CONFIG_PGTABLE_LEVELS > 2 && defined(CONFIG_HAVE_MOVE_PUD)
Kalesh Singhc49dd342020-12-14 19:07:30 -0800291static bool move_normal_pud(struct vm_area_struct *vma, unsigned long old_addr,
292 unsigned long new_addr, pud_t *old_pud, pud_t *new_pud)
293{
294 spinlock_t *old_ptl, *new_ptl;
295 struct mm_struct *mm = vma->vm_mm;
296 pud_t pud;
297
Aneesh Kumar K.V3bbda692021-07-07 18:10:18 -0700298 if (!arch_supports_page_table_move())
299 return false;
Kalesh Singhc49dd342020-12-14 19:07:30 -0800300 /*
301 * The destination pud shouldn't be established, free_pgtables()
302 * should have released it.
303 */
304 if (WARN_ON_ONCE(!pud_none(*new_pud)))
305 return false;
306
307 /*
308 * We don't have to worry about the ordering of src and dst
309 * ptlocks because exclusive mmap_lock prevents deadlock.
310 */
311 old_ptl = pud_lock(vma->vm_mm, old_pud);
312 new_ptl = pud_lockptr(mm, new_pud);
313 if (new_ptl != old_ptl)
314 spin_lock_nested(new_ptl, SINGLE_DEPTH_NESTING);
315
316 /* Clear the pud */
317 pud = *old_pud;
318 pud_clear(old_pud);
319
320 VM_BUG_ON(!pud_none(*new_pud));
321
Aneesh Kumar K.V0881ace2021-07-07 18:10:12 -0700322 pud_populate(mm, new_pud, pud_pgtable(pud));
Kalesh Singhc49dd342020-12-14 19:07:30 -0800323 flush_tlb_range(vma, old_addr, old_addr + PUD_SIZE);
324 if (new_ptl != old_ptl)
325 spin_unlock(new_ptl);
326 spin_unlock(old_ptl);
327
328 return true;
329}
330#else
331static inline bool move_normal_pud(struct vm_area_struct *vma,
332 unsigned long old_addr, unsigned long new_addr, pud_t *old_pud,
333 pud_t *new_pud)
334{
335 return false;
336}
337#endif
338
Aneesh Kumar K.V7d846db2021-07-07 18:10:06 -0700339#ifdef CONFIG_HAVE_ARCH_TRANSPARENT_HUGEPAGE_PUD
340static bool move_huge_pud(struct vm_area_struct *vma, unsigned long old_addr,
341 unsigned long new_addr, pud_t *old_pud, pud_t *new_pud)
342{
343 spinlock_t *old_ptl, *new_ptl;
344 struct mm_struct *mm = vma->vm_mm;
345 pud_t pud;
346
347 /*
348 * The destination pud shouldn't be established, free_pgtables()
349 * should have released it.
350 */
351 if (WARN_ON_ONCE(!pud_none(*new_pud)))
352 return false;
353
354 /*
355 * We don't have to worry about the ordering of src and dst
356 * ptlocks because exclusive mmap_lock prevents deadlock.
357 */
358 old_ptl = pud_lock(vma->vm_mm, old_pud);
359 new_ptl = pud_lockptr(mm, new_pud);
360 if (new_ptl != old_ptl)
361 spin_lock_nested(new_ptl, SINGLE_DEPTH_NESTING);
362
363 /* Clear the pud */
364 pud = *old_pud;
365 pud_clear(old_pud);
366
367 VM_BUG_ON(!pud_none(*new_pud));
368
369 /* Set the new pud */
370 /* mark soft_ditry when we add pud level soft dirty support */
371 set_pud_at(mm, new_addr, new_pud, pud);
372 flush_pud_tlb_range(vma, old_addr, old_addr + HPAGE_PUD_SIZE);
373 if (new_ptl != old_ptl)
374 spin_unlock(new_ptl);
375 spin_unlock(old_ptl);
376
377 return true;
378}
379#else
380static bool move_huge_pud(struct vm_area_struct *vma, unsigned long old_addr,
381 unsigned long new_addr, pud_t *old_pud, pud_t *new_pud)
382{
383 WARN_ON_ONCE(1);
384 return false;
385
386}
387#endif
388
Kalesh Singhc49dd342020-12-14 19:07:30 -0800389enum pgt_entry {
390 NORMAL_PMD,
391 HPAGE_PMD,
392 NORMAL_PUD,
Aneesh Kumar K.V7d846db2021-07-07 18:10:06 -0700393 HPAGE_PUD,
Kalesh Singhc49dd342020-12-14 19:07:30 -0800394};
395
396/*
397 * Returns an extent of the corresponding size for the pgt_entry specified if
398 * valid. Else returns a smaller extent bounded by the end of the source and
399 * destination pgt_entry.
400 */
Arnd Bergmanna30a2902021-02-09 13:42:10 -0800401static __always_inline unsigned long get_extent(enum pgt_entry entry,
402 unsigned long old_addr, unsigned long old_end,
403 unsigned long new_addr)
Kalesh Singhc49dd342020-12-14 19:07:30 -0800404{
405 unsigned long next, extent, mask, size;
406
407 switch (entry) {
408 case HPAGE_PMD:
409 case NORMAL_PMD:
410 mask = PMD_MASK;
411 size = PMD_SIZE;
412 break;
Aneesh Kumar K.V7d846db2021-07-07 18:10:06 -0700413 case HPAGE_PUD:
Kalesh Singhc49dd342020-12-14 19:07:30 -0800414 case NORMAL_PUD:
415 mask = PUD_MASK;
416 size = PUD_SIZE;
417 break;
418 default:
419 BUILD_BUG();
420 break;
421 }
422
423 next = (old_addr + size) & mask;
424 /* even if next overflowed, extent below will be ok */
Kalesh Singhe05986e2020-12-29 15:14:40 -0800425 extent = next - old_addr;
426 if (extent > old_end - old_addr)
427 extent = old_end - old_addr;
Kalesh Singhc49dd342020-12-14 19:07:30 -0800428 next = (new_addr + size) & mask;
429 if (extent > next - new_addr)
430 extent = next - new_addr;
431 return extent;
432}
433
434/*
435 * Attempts to speedup the move by moving entry at the level corresponding to
436 * pgt_entry. Returns true if the move was successful, else false.
437 */
438static bool move_pgt_entry(enum pgt_entry entry, struct vm_area_struct *vma,
439 unsigned long old_addr, unsigned long new_addr,
440 void *old_entry, void *new_entry, bool need_rmap_locks)
441{
442 bool moved = false;
443
444 /* See comment in move_ptes() */
445 if (need_rmap_locks)
446 take_rmap_locks(vma);
447
448 switch (entry) {
449 case NORMAL_PMD:
450 moved = move_normal_pmd(vma, old_addr, new_addr, old_entry,
451 new_entry);
452 break;
453 case NORMAL_PUD:
454 moved = move_normal_pud(vma, old_addr, new_addr, old_entry,
455 new_entry);
456 break;
457 case HPAGE_PMD:
458 moved = IS_ENABLED(CONFIG_TRANSPARENT_HUGEPAGE) &&
459 move_huge_pmd(vma, old_addr, new_addr, old_entry,
460 new_entry);
461 break;
Aneesh Kumar K.V7d846db2021-07-07 18:10:06 -0700462 case HPAGE_PUD:
463 moved = IS_ENABLED(CONFIG_TRANSPARENT_HUGEPAGE) &&
464 move_huge_pud(vma, old_addr, new_addr, old_entry,
465 new_entry);
466 break;
467
Kalesh Singhc49dd342020-12-14 19:07:30 -0800468 default:
469 WARN_ON_ONCE(1);
470 break;
471 }
472
473 if (need_rmap_locks)
474 drop_rmap_locks(vma);
475
476 return moved;
477}
478
Ollie Wildb6a2fea2007-07-19 01:48:16 -0700479unsigned long move_page_tables(struct vm_area_struct *vma,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700480 unsigned long old_addr, struct vm_area_struct *new_vma,
Michel Lespinasse38a76012012-10-08 16:31:50 -0700481 unsigned long new_addr, unsigned long len,
482 bool need_rmap_locks)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700483{
Kalesh Singhc49dd342020-12-14 19:07:30 -0800484 unsigned long extent, old_end;
Jérôme Glisseac46d4f2018-12-28 00:38:09 -0800485 struct mmu_notifier_range range;
Hugh Dickins7be7a542005-10-29 18:16:00 -0700486 pmd_t *old_pmd, *new_pmd;
Aneesh Kumar K.V7d846db2021-07-07 18:10:06 -0700487 pud_t *old_pud, *new_pud;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700488
Hugh Dickins7be7a542005-10-29 18:16:00 -0700489 old_end = old_addr + len;
490 flush_cache_range(vma, old_addr, old_end);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700491
Mina Almasry550a7d62021-11-05 13:41:40 -0700492 if (is_vm_hugetlb_page(vma))
493 return move_hugetlb_page_tables(vma, new_vma, old_addr,
494 new_addr, len);
495
Jérôme Glisse6f4f13e2019-05-13 17:20:49 -0700496 mmu_notifier_range_init(&range, MMU_NOTIFY_UNMAP, 0, vma, vma->vm_mm,
497 old_addr, old_end);
Jérôme Glisseac46d4f2018-12-28 00:38:09 -0800498 mmu_notifier_invalidate_range_start(&range);
Andrea Arcangeli7b6efc22011-10-31 17:08:26 -0700499
Hugh Dickins7be7a542005-10-29 18:16:00 -0700500 for (; old_addr < old_end; old_addr += extent, new_addr += extent) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700501 cond_resched();
Kalesh Singhc49dd342020-12-14 19:07:30 -0800502 /*
503 * If extent is PUD-sized try to speed up the move by moving at the
504 * PUD level if possible.
505 */
506 extent = get_extent(NORMAL_PUD, old_addr, old_end, new_addr);
Kalesh Singhc49dd342020-12-14 19:07:30 -0800507
Aneesh Kumar K.V7d846db2021-07-07 18:10:06 -0700508 old_pud = get_old_pud(vma->vm_mm, old_addr);
509 if (!old_pud)
510 continue;
511 new_pud = alloc_new_pud(vma->vm_mm, vma, new_addr);
512 if (!new_pud)
513 break;
514 if (pud_trans_huge(*old_pud) || pud_devmap(*old_pud)) {
515 if (extent == HPAGE_PUD_SIZE) {
516 move_pgt_entry(HPAGE_PUD, vma, old_addr, new_addr,
517 old_pud, new_pud, need_rmap_locks);
518 /* We ignore and continue on error? */
Kalesh Singhc49dd342020-12-14 19:07:30 -0800519 continue;
Aneesh Kumar K.V7d846db2021-07-07 18:10:06 -0700520 }
521 } else if (IS_ENABLED(CONFIG_HAVE_MOVE_PUD) && extent == PUD_SIZE) {
522
Kalesh Singhc49dd342020-12-14 19:07:30 -0800523 if (move_pgt_entry(NORMAL_PUD, vma, old_addr, new_addr,
Aneesh Kumar K.V97113eb2021-07-07 18:10:15 -0700524 old_pud, new_pud, true))
Kalesh Singhc49dd342020-12-14 19:07:30 -0800525 continue;
526 }
527
528 extent = get_extent(NORMAL_PMD, old_addr, old_end, new_addr);
Hugh Dickins7be7a542005-10-29 18:16:00 -0700529 old_pmd = get_old_pmd(vma->vm_mm, old_addr);
530 if (!old_pmd)
531 continue;
Andrea Arcangeli8ac1f832011-01-13 15:46:43 -0800532 new_pmd = alloc_new_pmd(vma->vm_mm, vma, new_addr);
Hugh Dickins7be7a542005-10-29 18:16:00 -0700533 if (!new_pmd)
534 break;
Kalesh Singhc49dd342020-12-14 19:07:30 -0800535 if (is_swap_pmd(*old_pmd) || pmd_trans_huge(*old_pmd) ||
536 pmd_devmap(*old_pmd)) {
537 if (extent == HPAGE_PMD_SIZE &&
538 move_pgt_entry(HPAGE_PMD, vma, old_addr, new_addr,
539 old_pmd, new_pmd, need_rmap_locks))
540 continue;
Kirill A. Shutemov4b471e82016-01-15 16:53:39 -0800541 split_huge_pmd(vma, old_pmd, old_addr);
Naoya Horiguchi337d9ab2016-07-26 15:24:03 -0700542 if (pmd_trans_unstable(old_pmd))
Kirill A. Shutemov6b9116a2016-02-11 16:13:03 -0800543 continue;
Kalesh Singhc49dd342020-12-14 19:07:30 -0800544 } else if (IS_ENABLED(CONFIG_HAVE_MOVE_PMD) &&
545 extent == PMD_SIZE) {
Joel Fernandes (Google)2c91bd42019-01-03 15:28:38 -0800546 /*
547 * If the extent is PMD-sized, try to speed the move by
548 * moving at the PMD level if possible.
549 */
Kalesh Singhc49dd342020-12-14 19:07:30 -0800550 if (move_pgt_entry(NORMAL_PMD, vma, old_addr, new_addr,
Aneesh Kumar K.V97113eb2021-07-07 18:10:15 -0700551 old_pmd, new_pmd, true))
Joel Fernandes (Google)2c91bd42019-01-03 15:28:38 -0800552 continue;
Andrea Arcangeli37a1c492011-10-31 17:08:30 -0700553 }
Joel Fernandes (Google)2c91bd42019-01-03 15:28:38 -0800554
Joel Fernandes (Google)4cf58922019-01-03 15:28:34 -0800555 if (pte_alloc(new_vma->vm_mm, new_pmd))
Andrea Arcangeli37a1c492011-10-31 17:08:30 -0700556 break;
Aaron Lu5d190422016-11-10 17:16:33 +0800557 move_ptes(vma, old_pmd, old_addr, old_addr + extent, new_vma,
Linus Torvaldseb66ae02018-10-12 15:22:59 -0700558 new_pmd, new_addr, need_rmap_locks);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700559 }
Andrea Arcangeli7b6efc22011-10-31 17:08:26 -0700560
Jérôme Glisseac46d4f2018-12-28 00:38:09 -0800561 mmu_notifier_invalidate_range_end(&range);
Hugh Dickins7be7a542005-10-29 18:16:00 -0700562
563 return len + old_addr - old_end; /* how much done */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700564}
565
566static unsigned long move_vma(struct vm_area_struct *vma,
567 unsigned long old_addr, unsigned long old_len,
Pavel Emelyanov72f87652017-02-22 15:42:34 -0800568 unsigned long new_len, unsigned long new_addr,
Brian Geffone346b382020-04-01 21:09:17 -0700569 bool *locked, unsigned long flags,
570 struct vm_userfaultfd_ctx *uf, struct list_head *uf_unmap)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700571{
Dmitry Safonovfdbef612021-11-05 13:39:06 -0700572 long to_account = new_len - old_len;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700573 struct mm_struct *mm = vma->vm_mm;
574 struct vm_area_struct *new_vma;
575 unsigned long vm_flags = vma->vm_flags;
576 unsigned long new_pgoff;
577 unsigned long moved_len;
578 unsigned long excess = 0;
Hugh Dickins365e9c872005-10-29 18:16:18 -0700579 unsigned long hiwater_vm;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700580 int split = 0;
Dmitry Safonov73d5e062020-12-14 19:08:21 -0800581 int err = 0;
Michel Lespinasse38a76012012-10-08 16:31:50 -0700582 bool need_rmap_locks;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700583
584 /*
585 * We'd prefer to avoid failure later on in do_munmap:
586 * which may split one vma into three before unmapping.
587 */
588 if (mm->map_count >= sysctl_max_map_count - 3)
589 return -ENOMEM;
590
Dmitry Safonovfdbef612021-11-05 13:39:06 -0700591 if (unlikely(flags & MREMAP_DONTUNMAP))
592 to_account = new_len;
593
Dmitry Safonov73d5e062020-12-14 19:08:21 -0800594 if (vma->vm_ops && vma->vm_ops->may_split) {
595 if (vma->vm_start != old_addr)
596 err = vma->vm_ops->may_split(vma, old_addr);
597 if (!err && vma->vm_end != old_addr + old_len)
598 err = vma->vm_ops->may_split(vma, old_addr + old_len);
599 if (err)
600 return err;
601 }
602
Hugh Dickins1ff82992009-09-21 17:02:05 -0700603 /*
604 * Advise KSM to break any KSM pages in the area to be moved:
605 * it would be confusing if they were to turn up at the new
606 * location, where they happen to coincide with different KSM
607 * pages recently unmapped. But leave vma->vm_flags as it was,
608 * so KSM can come around to merge on vma and new_vma afterwards.
609 */
Hugh Dickins7103ad32009-09-21 17:02:28 -0700610 err = ksm_madvise(vma, old_addr, old_addr + old_len,
611 MADV_UNMERGEABLE, &vm_flags);
612 if (err)
613 return err;
Hugh Dickins1ff82992009-09-21 17:02:05 -0700614
Dmitry Safonovfdbef612021-11-05 13:39:06 -0700615 if (vm_flags & VM_ACCOUNT) {
616 if (security_vm_enough_memory_mm(mm, to_account >> PAGE_SHIFT))
Dmitry Safonovad8ee772020-12-14 19:08:09 -0800617 return -ENOMEM;
618 }
619
Linus Torvalds1da177e2005-04-16 15:20:36 -0700620 new_pgoff = vma->vm_pgoff + ((old_addr - vma->vm_start) >> PAGE_SHIFT);
Michel Lespinasse38a76012012-10-08 16:31:50 -0700621 new_vma = copy_vma(&vma, new_addr, new_len, new_pgoff,
622 &need_rmap_locks);
Dmitry Safonovad8ee772020-12-14 19:08:09 -0800623 if (!new_vma) {
Dmitry Safonovfdbef612021-11-05 13:39:06 -0700624 if (vm_flags & VM_ACCOUNT)
625 vm_unacct_memory(to_account >> PAGE_SHIFT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700626 return -ENOMEM;
Dmitry Safonovad8ee772020-12-14 19:08:09 -0800627 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700628
Michel Lespinasse38a76012012-10-08 16:31:50 -0700629 moved_len = move_page_tables(vma, old_addr, new_vma, new_addr, old_len,
630 need_rmap_locks);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700631 if (moved_len < old_len) {
Oleg Nesterovdf1eab32015-09-04 15:48:01 -0700632 err = -ENOMEM;
Oleg Nesterov5477e702015-09-04 15:48:04 -0700633 } else if (vma->vm_ops && vma->vm_ops->mremap) {
Brian Geffon14d07112021-04-29 22:57:48 -0700634 err = vma->vm_ops->mremap(new_vma);
Oleg Nesterovdf1eab32015-09-04 15:48:01 -0700635 }
636
637 if (unlikely(err)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700638 /*
639 * On error, move entries back from new area to old,
640 * which will succeed since page tables still there,
641 * and then proceed to unmap new area instead of old.
642 */
Michel Lespinasse38a76012012-10-08 16:31:50 -0700643 move_page_tables(new_vma, new_addr, vma, old_addr, moved_len,
644 true);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700645 vma = new_vma;
646 old_len = new_len;
647 old_addr = new_addr;
Oleg Nesterovdf1eab32015-09-04 15:48:01 -0700648 new_addr = err;
Laurent Dufour4abad2c2015-06-24 16:56:19 -0700649 } else {
Pavel Emelyanov72f87652017-02-22 15:42:34 -0800650 mremap_userfaultfd_prep(new_vma, uf);
Al Virob2edffd2015-04-06 17:48:54 -0400651 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700652
Mina Almasry550a7d62021-11-05 13:41:40 -0700653 if (is_vm_hugetlb_page(vma)) {
654 clear_vma_resv_huge_pages(vma);
655 }
656
Linus Torvalds1da177e2005-04-16 15:20:36 -0700657 /* Conceal VM_ACCOUNT so old reservation is not undone */
Dmitry Safonovad8ee772020-12-14 19:08:09 -0800658 if (vm_flags & VM_ACCOUNT && !(flags & MREMAP_DONTUNMAP)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700659 vma->vm_flags &= ~VM_ACCOUNT;
660 excess = vma->vm_end - vma->vm_start - old_len;
661 if (old_addr > vma->vm_start &&
662 old_addr + old_len < vma->vm_end)
663 split = 1;
664 }
665
Kirill Korotaev71799062005-05-16 21:53:18 -0700666 /*
Hugh Dickins365e9c872005-10-29 18:16:18 -0700667 * If we failed to move page tables we still do total_vm increment
668 * since do_munmap() will decrement it by old_len == new_len.
669 *
670 * Since total_vm is about to be raised artificially high for a
671 * moment, we need to restore high watermark afterwards: if stats
672 * are taken meanwhile, total_vm and hiwater_vm appear too high.
673 * If this were a serious issue, we'd add a flag to do_munmap().
Kirill Korotaev71799062005-05-16 21:53:18 -0700674 */
Hugh Dickins365e9c872005-10-29 18:16:18 -0700675 hiwater_vm = mm->hiwater_vm;
Konstantin Khlebnikov84638332016-01-14 15:22:07 -0800676 vm_stat_account(mm, vma->vm_flags, new_len >> PAGE_SHIFT);
Kirill Korotaev71799062005-05-16 21:53:18 -0700677
Toshi Kanid9fe4fa2015-12-22 17:54:23 -0700678 /* Tell pfnmap has moved from this vma */
679 if (unlikely(vma->vm_flags & VM_PFNMAP))
680 untrack_pfn_moved(vma);
681
Brian Geffone346b382020-04-01 21:09:17 -0700682 if (unlikely(!err && (flags & MREMAP_DONTUNMAP))) {
Brian Geffone346b382020-04-01 21:09:17 -0700683 /* We always clear VM_LOCKED[ONFAULT] on the old vma */
684 vma->vm_flags &= VM_LOCKED_CLEAR_MASK;
685
Li Xinhai1583aa22021-02-24 12:04:53 -0800686 /*
687 * anon_vma links of the old vma is no longer needed after its page
688 * table has been moved.
689 */
690 if (new_vma != vma && vma->vm_start == old_addr &&
691 vma->vm_end == (old_addr + old_len))
692 unlink_anon_vmas(vma);
693
Brian Geffone346b382020-04-01 21:09:17 -0700694 /* Because we won't unmap we don't need to touch locked_vm */
Dmitry Safonovad8ee772020-12-14 19:08:09 -0800695 return new_addr;
Brian Geffone346b382020-04-01 21:09:17 -0700696 }
697
Mike Rapoport897ab3e2017-02-24 14:58:22 -0800698 if (do_munmap(mm, old_addr, old_len, uf_unmap) < 0) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700699 /* OOM: unable to split vma, just get accounts right */
Dmitry Safonovad8ee772020-12-14 19:08:09 -0800700 if (vm_flags & VM_ACCOUNT && !(flags & MREMAP_DONTUNMAP))
Chen Wandun5e229282021-09-02 14:56:52 -0700701 vm_acct_memory(old_len >> PAGE_SHIFT);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700702 excess = 0;
703 }
Brian Geffone346b382020-04-01 21:09:17 -0700704
705 if (vm_flags & VM_LOCKED) {
706 mm->locked_vm += new_len >> PAGE_SHIFT;
707 *locked = true;
708 }
Dmitry Safonovad8ee772020-12-14 19:08:09 -0800709
Hugh Dickins365e9c872005-10-29 18:16:18 -0700710 mm->hiwater_vm = hiwater_vm;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700711
712 /* Restore VM_ACCOUNT if one or two pieces of vma left */
713 if (excess) {
714 vma->vm_flags |= VM_ACCOUNT;
715 if (split)
716 vma->vm_next->vm_flags |= VM_ACCOUNT;
717 }
718
Linus Torvalds1da177e2005-04-16 15:20:36 -0700719 return new_addr;
720}
721
Al Viro54f5de72009-11-24 07:17:46 -0500722static struct vm_area_struct *vma_to_resize(unsigned long addr,
Dmitry Safonovfdbef612021-11-05 13:39:06 -0700723 unsigned long old_len, unsigned long new_len, unsigned long flags)
Al Viro54f5de72009-11-24 07:17:46 -0500724{
725 struct mm_struct *mm = current->mm;
Liam Howlett5aaf07f2021-06-28 19:39:47 -0700726 struct vm_area_struct *vma;
Oleg Nesterov1d391682015-09-04 15:48:10 -0700727 unsigned long pgoff;
Al Viro54f5de72009-11-24 07:17:46 -0500728
Liam Howlett5aaf07f2021-06-28 19:39:47 -0700729 vma = vma_lookup(mm, addr);
730 if (!vma)
Derek6cd576132015-04-15 16:14:02 -0700731 return ERR_PTR(-EFAULT);
Al Viro54f5de72009-11-24 07:17:46 -0500732
Mike Kravetzdba58d32017-09-06 16:20:55 -0700733 /*
734 * !old_len is a special case where an attempt is made to 'duplicate'
735 * a mapping. This makes no sense for private mappings as it will
736 * instead create a fresh/new mapping unrelated to the original. This
737 * is contrary to the basic idea of mremap which creates new mappings
738 * based on the original. There are no known use cases for this
739 * behavior. As a result, fail such attempts.
740 */
741 if (!old_len && !(vma->vm_flags & (VM_SHARED | VM_MAYSHARE))) {
742 pr_warn_once("%s (%d): attempted to duplicate a private mapping with mremap. This is not supported.\n", current->comm, current->pid);
743 return ERR_PTR(-EINVAL);
744 }
745
Brian Geffona4609382021-04-29 22:57:45 -0700746 if ((flags & MREMAP_DONTUNMAP) &&
747 (vma->vm_flags & (VM_DONTEXPAND | VM_PFNMAP)))
Brian Geffone346b382020-04-01 21:09:17 -0700748 return ERR_PTR(-EINVAL);
749
Al Viro54f5de72009-11-24 07:17:46 -0500750 /* We can't remap across vm area boundaries */
751 if (old_len > vma->vm_end - addr)
Derek6cd576132015-04-15 16:14:02 -0700752 return ERR_PTR(-EFAULT);
Al Viro54f5de72009-11-24 07:17:46 -0500753
Oleg Nesterov1d391682015-09-04 15:48:10 -0700754 if (new_len == old_len)
755 return vma;
Linus Torvalds982134b2011-04-07 07:35:50 -0700756
Oleg Nesterov1d391682015-09-04 15:48:10 -0700757 /* Need to be careful about a growing mapping */
758 pgoff = (addr - vma->vm_start) >> PAGE_SHIFT;
759 pgoff += vma->vm_pgoff;
760 if (pgoff + (new_len >> PAGE_SHIFT) < pgoff)
761 return ERR_PTR(-EINVAL);
762
763 if (vma->vm_flags & (VM_DONTEXPAND | VM_PFNMAP))
764 return ERR_PTR(-EFAULT);
Al Viro54f5de72009-11-24 07:17:46 -0500765
766 if (vma->vm_flags & VM_LOCKED) {
767 unsigned long locked, lock_limit;
768 locked = mm->locked_vm << PAGE_SHIFT;
Jiri Slaby59e99e52010-03-05 13:41:44 -0800769 lock_limit = rlimit(RLIMIT_MEMLOCK);
Al Viro54f5de72009-11-24 07:17:46 -0500770 locked += new_len - old_len;
771 if (locked > lock_limit && !capable(CAP_IPC_LOCK))
Derek6cd576132015-04-15 16:14:02 -0700772 return ERR_PTR(-EAGAIN);
Al Viro54f5de72009-11-24 07:17:46 -0500773 }
774
Konstantin Khlebnikov84638332016-01-14 15:22:07 -0800775 if (!may_expand_vm(mm, vma->vm_flags,
776 (new_len - old_len) >> PAGE_SHIFT))
Derek6cd576132015-04-15 16:14:02 -0700777 return ERR_PTR(-ENOMEM);
Al Viro54f5de72009-11-24 07:17:46 -0500778
Al Viro54f5de72009-11-24 07:17:46 -0500779 return vma;
Al Viro54f5de72009-11-24 07:17:46 -0500780}
781
Michel Lespinasse81909b82013-02-22 16:32:41 -0800782static unsigned long mremap_to(unsigned long addr, unsigned long old_len,
Pavel Emelyanov72f87652017-02-22 15:42:34 -0800783 unsigned long new_addr, unsigned long new_len, bool *locked,
Brian Geffone346b382020-04-01 21:09:17 -0700784 unsigned long flags, struct vm_userfaultfd_ctx *uf,
Mike Rapoportb2282372017-08-02 13:31:55 -0700785 struct list_head *uf_unmap_early,
Mike Rapoport897ab3e2017-02-24 14:58:22 -0800786 struct list_head *uf_unmap)
Al Viroecc1a892009-11-24 07:28:07 -0500787{
788 struct mm_struct *mm = current->mm;
789 struct vm_area_struct *vma;
790 unsigned long ret = -EINVAL;
Brian Geffone346b382020-04-01 21:09:17 -0700791 unsigned long map_flags = 0;
Al Viroecc1a892009-11-24 07:28:07 -0500792
Alexander Kuleshovf19cb112015-11-05 18:46:57 -0800793 if (offset_in_page(new_addr))
Al Viroecc1a892009-11-24 07:28:07 -0500794 goto out;
795
796 if (new_len > TASK_SIZE || new_addr > TASK_SIZE - new_len)
797 goto out;
798
Oleg Nesterov99432422015-09-04 15:48:13 -0700799 /* Ensure the old/new locations do not overlap */
800 if (addr + old_len > new_addr && new_addr + new_len > addr)
Al Viroecc1a892009-11-24 07:28:07 -0500801 goto out;
802
Oscar Salvadorea2c3f62019-03-05 15:50:14 -0800803 /*
804 * move_vma() need us to stay 4 maps below the threshold, otherwise
805 * it will bail out at the very beginning.
806 * That is a problem if we have already unmaped the regions here
807 * (new_addr, and old_addr), because userspace will not know the
808 * state of the vma's after it gets -ENOMEM.
809 * So, to avoid such scenario we can pre-compute if the whole
810 * operation has high chances to success map-wise.
811 * Worst-scenario case is when both vma's (new_addr and old_addr) get
Ingo Molnarf0953a12021-05-06 18:06:47 -0700812 * split in 3 before unmapping it.
Oscar Salvadorea2c3f62019-03-05 15:50:14 -0800813 * That means 2 more maps (1 for each) to the ones we already hold.
814 * Check whether current map count plus 2 still leads us to 4 maps below
815 * the threshold, otherwise return -ENOMEM here to be more safe.
816 */
817 if ((mm->map_count + 2) >= sysctl_max_map_count - 3)
818 return -ENOMEM;
819
Brian Geffone346b382020-04-01 21:09:17 -0700820 if (flags & MREMAP_FIXED) {
821 ret = do_munmap(mm, new_addr, new_len, uf_unmap_early);
822 if (ret)
823 goto out;
824 }
Al Viroecc1a892009-11-24 07:28:07 -0500825
826 if (old_len >= new_len) {
Mike Rapoport897ab3e2017-02-24 14:58:22 -0800827 ret = do_munmap(mm, addr+new_len, old_len - new_len, uf_unmap);
Al Viroecc1a892009-11-24 07:28:07 -0500828 if (ret && old_len != new_len)
829 goto out;
830 old_len = new_len;
831 }
832
Dmitry Safonovfdbef612021-11-05 13:39:06 -0700833 vma = vma_to_resize(addr, old_len, new_len, flags);
Al Viroecc1a892009-11-24 07:28:07 -0500834 if (IS_ERR(vma)) {
835 ret = PTR_ERR(vma);
836 goto out;
837 }
838
Brian Geffone346b382020-04-01 21:09:17 -0700839 /* MREMAP_DONTUNMAP expands by old_len since old_len == new_len */
840 if (flags & MREMAP_DONTUNMAP &&
841 !may_expand_vm(mm, vma->vm_flags, old_len >> PAGE_SHIFT)) {
842 ret = -ENOMEM;
843 goto out;
844 }
845
846 if (flags & MREMAP_FIXED)
847 map_flags |= MAP_FIXED;
848
Al Viro097eed12009-11-24 08:43:52 -0500849 if (vma->vm_flags & VM_MAYSHARE)
850 map_flags |= MAP_SHARED;
Al Viro9206de92009-12-03 15:23:11 -0500851
Al Viro097eed12009-11-24 08:43:52 -0500852 ret = get_unmapped_area(vma->vm_file, new_addr, new_len, vma->vm_pgoff +
853 ((addr - vma->vm_start) >> PAGE_SHIFT),
854 map_flags);
Gaowei Puff68dac2019-11-30 17:51:03 -0800855 if (IS_ERR_VALUE(ret))
Dmitry Safonovfdbef612021-11-05 13:39:06 -0700856 goto out;
Al Viro097eed12009-11-24 08:43:52 -0500857
Brian Geffone346b382020-04-01 21:09:17 -0700858 /* We got a new mapping */
859 if (!(flags & MREMAP_FIXED))
860 new_addr = ret;
861
862 ret = move_vma(vma, addr, old_len, new_len, new_addr, locked, flags, uf,
Mike Rapoport897ab3e2017-02-24 14:58:22 -0800863 uf_unmap);
Brian Geffone346b382020-04-01 21:09:17 -0700864
Al Viroecc1a892009-11-24 07:28:07 -0500865out:
866 return ret;
867}
868
Al Viro1a0ef852009-11-24 07:43:18 -0500869static int vma_expandable(struct vm_area_struct *vma, unsigned long delta)
870{
Al Virof106af42009-11-24 08:25:18 -0500871 unsigned long end = vma->vm_end + delta;
Al Viro9206de92009-12-03 15:23:11 -0500872 if (end < vma->vm_end) /* overflow */
Al Viro1a0ef852009-11-24 07:43:18 -0500873 return 0;
Al Viro9206de92009-12-03 15:23:11 -0500874 if (vma->vm_next && vma->vm_next->vm_start < end) /* intersection */
Al Virof106af42009-11-24 08:25:18 -0500875 return 0;
876 if (get_unmapped_area(NULL, vma->vm_start, end - vma->vm_start,
877 0, MAP_FIXED) & ~PAGE_MASK)
878 return 0;
Al Viro1a0ef852009-11-24 07:43:18 -0500879 return 1;
880}
881
Linus Torvalds1da177e2005-04-16 15:20:36 -0700882/*
883 * Expand (or shrink) an existing mapping, potentially moving it at the
884 * same time (controlled by the MREMAP_MAYMOVE flag and available VM space)
885 *
886 * MREMAP_FIXED option added 5-Dec-1999 by Benjamin LaHaise
887 * This option implies MREMAP_MAYMOVE.
888 */
Al Viro63a81db2012-05-30 11:32:04 -0400889SYSCALL_DEFINE5(mremap, unsigned long, addr, unsigned long, old_len,
890 unsigned long, new_len, unsigned long, flags,
891 unsigned long, new_addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700892{
Hugh Dickinsd0de32d2005-10-29 18:16:16 -0700893 struct mm_struct *mm = current->mm;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700894 struct vm_area_struct *vma;
895 unsigned long ret = -EINVAL;
Michel Lespinasse81909b82013-02-22 16:32:41 -0800896 bool locked = false;
Yang Shi85a06832018-10-26 15:08:50 -0700897 bool downgraded = false;
Pavel Emelyanov72f87652017-02-22 15:42:34 -0800898 struct vm_userfaultfd_ctx uf = NULL_VM_UFFD_CTX;
Mike Rapoportb2282372017-08-02 13:31:55 -0700899 LIST_HEAD(uf_unmap_early);
Mike Rapoport897ab3e2017-02-24 14:58:22 -0800900 LIST_HEAD(uf_unmap);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700901
Will Deaconb2a84de2020-03-25 11:13:46 +0000902 /*
903 * There is a deliberate asymmetry here: we strip the pointer tag
904 * from the old address but leave the new address alone. This is
905 * for consistency with mmap(), where we prevent the creation of
906 * aliasing mappings in userspace by leaving the tag bits of the
907 * mapping address intact. A non-zero tag will cause the subsequent
908 * range checks to reject the address as invalid.
909 *
910 * See Documentation/arm64/tagged-address-abi.rst for more information.
911 */
Andrey Konovalov057d33892019-09-25 16:48:30 -0700912 addr = untagged_addr(addr);
913
Brian Geffone346b382020-04-01 21:09:17 -0700914 if (flags & ~(MREMAP_FIXED | MREMAP_MAYMOVE | MREMAP_DONTUNMAP))
Rasmus Villemoes9a2458a2013-07-08 15:59:48 -0700915 return ret;
916
917 if (flags & MREMAP_FIXED && !(flags & MREMAP_MAYMOVE))
918 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700919
Brian Geffone346b382020-04-01 21:09:17 -0700920 /*
921 * MREMAP_DONTUNMAP is always a move and it does not allow resizing
922 * in the process.
923 */
924 if (flags & MREMAP_DONTUNMAP &&
925 (!(flags & MREMAP_MAYMOVE) || old_len != new_len))
926 return ret;
927
928
Alexander Kuleshovf19cb112015-11-05 18:46:57 -0800929 if (offset_in_page(addr))
Rasmus Villemoes9a2458a2013-07-08 15:59:48 -0700930 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700931
932 old_len = PAGE_ALIGN(old_len);
933 new_len = PAGE_ALIGN(new_len);
934
935 /*
936 * We allow a zero old-len as a special case
937 * for DOS-emu "duplicate shm area" thing. But
938 * a zero new-len is nonsensical.
939 */
940 if (!new_len)
Rasmus Villemoes9a2458a2013-07-08 15:59:48 -0700941 return ret;
942
Michel Lespinassed8ed45c2020-06-08 21:33:25 -0700943 if (mmap_write_lock_killable(current->mm))
Michal Hockodc0ef0d2016-05-23 16:25:27 -0700944 return -EINTR;
Mina Almasry550a7d62021-11-05 13:41:40 -0700945 vma = find_vma(mm, addr);
946 if (!vma || vma->vm_start > addr) {
947 ret = EFAULT;
948 goto out;
949 }
950
951 if (is_vm_hugetlb_page(vma)) {
952 struct hstate *h __maybe_unused = hstate_vma(vma);
953
954 old_len = ALIGN(old_len, huge_page_size(h));
955 new_len = ALIGN(new_len, huge_page_size(h));
956
957 /* addrs must be huge page aligned */
958 if (addr & ~huge_page_mask(h))
959 goto out;
960 if (new_addr & ~huge_page_mask(h))
961 goto out;
962
963 /*
964 * Don't allow remap expansion, because the underlying hugetlb
965 * reservation is not yet capable to handle split reservation.
966 */
967 if (new_len > old_len)
968 goto out;
969 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700970
Brian Geffone346b382020-04-01 21:09:17 -0700971 if (flags & (MREMAP_FIXED | MREMAP_DONTUNMAP)) {
Rasmus Villemoes9a2458a2013-07-08 15:59:48 -0700972 ret = mremap_to(addr, old_len, new_addr, new_len,
Brian Geffone346b382020-04-01 21:09:17 -0700973 &locked, flags, &uf, &uf_unmap_early,
974 &uf_unmap);
Al Viroecc1a892009-11-24 07:28:07 -0500975 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700976 }
977
978 /*
979 * Always allow a shrinking remap: that just unmaps
980 * the unnecessary pages..
Yang Shi85a06832018-10-26 15:08:50 -0700981 * __do_munmap does all the needed commit accounting, and
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -0700982 * downgrades mmap_lock to read if so directed.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700983 */
984 if (old_len >= new_len) {
Yang Shi85a06832018-10-26 15:08:50 -0700985 int retval;
986
987 retval = __do_munmap(mm, addr+new_len, old_len - new_len,
988 &uf_unmap, true);
989 if (retval < 0 && old_len != new_len) {
990 ret = retval;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700991 goto out;
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -0700992 /* Returning 1 indicates mmap_lock is downgraded to read. */
Yang Shi85a06832018-10-26 15:08:50 -0700993 } else if (retval == 1)
994 downgraded = true;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700995 ret = addr;
Al Viroecc1a892009-11-24 07:28:07 -0500996 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700997 }
998
999 /*
Al Viroecc1a892009-11-24 07:28:07 -05001000 * Ok, we need to grow..
Linus Torvalds1da177e2005-04-16 15:20:36 -07001001 */
Dmitry Safonovfdbef612021-11-05 13:39:06 -07001002 vma = vma_to_resize(addr, old_len, new_len, flags);
Al Viro54f5de72009-11-24 07:17:46 -05001003 if (IS_ERR(vma)) {
1004 ret = PTR_ERR(vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001005 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001006 }
1007
1008 /* old_len exactly to the end of the area..
Linus Torvalds1da177e2005-04-16 15:20:36 -07001009 */
Al Viroecc1a892009-11-24 07:28:07 -05001010 if (old_len == vma->vm_end - addr) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07001011 /* can we just expand the current mapping? */
Al Viro1a0ef852009-11-24 07:43:18 -05001012 if (vma_expandable(vma, new_len - old_len)) {
Dmitry Safonovfdbef612021-11-05 13:39:06 -07001013 long pages = (new_len - old_len) >> PAGE_SHIFT;
1014
1015 if (vma->vm_flags & VM_ACCOUNT) {
1016 if (security_vm_enough_memory_mm(mm, pages)) {
1017 ret = -ENOMEM;
1018 goto out;
1019 }
1020 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001021
Rik van Riel5beb4932010-03-05 13:42:07 -08001022 if (vma_adjust(vma, vma->vm_start, addr + new_len,
1023 vma->vm_pgoff, NULL)) {
Dmitry Safonovfdbef612021-11-05 13:39:06 -07001024 vm_unacct_memory(pages);
Rik van Riel5beb4932010-03-05 13:42:07 -08001025 ret = -ENOMEM;
1026 goto out;
1027 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001028
Konstantin Khlebnikov84638332016-01-14 15:22:07 -08001029 vm_stat_account(mm, vma->vm_flags, pages);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001030 if (vma->vm_flags & VM_LOCKED) {
Hugh Dickinsd0de32d2005-10-29 18:16:16 -07001031 mm->locked_vm += pages;
Michel Lespinasse81909b82013-02-22 16:32:41 -08001032 locked = true;
1033 new_addr = addr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001034 }
1035 ret = addr;
1036 goto out;
1037 }
1038 }
1039
1040 /*
1041 * We weren't able to just expand or shrink the area,
1042 * we need to create a new one and move it..
1043 */
1044 ret = -ENOMEM;
1045 if (flags & MREMAP_MAYMOVE) {
Al Viroecc1a892009-11-24 07:28:07 -05001046 unsigned long map_flags = 0;
1047 if (vma->vm_flags & VM_MAYSHARE)
1048 map_flags |= MAP_SHARED;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001049
Al Viroecc1a892009-11-24 07:28:07 -05001050 new_addr = get_unmapped_area(vma->vm_file, 0, new_len,
Al Viro93587412009-11-24 08:45:24 -05001051 vma->vm_pgoff +
1052 ((addr - vma->vm_start) >> PAGE_SHIFT),
1053 map_flags);
Gaowei Puff68dac2019-11-30 17:51:03 -08001054 if (IS_ERR_VALUE(new_addr)) {
Al Viroecc1a892009-11-24 07:28:07 -05001055 ret = new_addr;
1056 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001057 }
Al Viroecc1a892009-11-24 07:28:07 -05001058
Pavel Emelyanov72f87652017-02-22 15:42:34 -08001059 ret = move_vma(vma, addr, old_len, new_len, new_addr,
Brian Geffone346b382020-04-01 21:09:17 -07001060 &locked, flags, &uf, &uf_unmap);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001061 }
1062out:
Dmitry Safonovfdbef612021-11-05 13:39:06 -07001063 if (offset_in_page(ret))
Zou Weifa1f68c2020-06-04 16:49:46 -07001064 locked = false;
Yang Shi85a06832018-10-26 15:08:50 -07001065 if (downgraded)
Michel Lespinassed8ed45c2020-06-08 21:33:25 -07001066 mmap_read_unlock(current->mm);
Yang Shi85a06832018-10-26 15:08:50 -07001067 else
Michel Lespinassed8ed45c2020-06-08 21:33:25 -07001068 mmap_write_unlock(current->mm);
Michel Lespinasse81909b82013-02-22 16:32:41 -08001069 if (locked && new_len > old_len)
1070 mm_populate(new_addr + old_len, new_len - old_len);
Mike Rapoportb2282372017-08-02 13:31:55 -07001071 userfaultfd_unmap_complete(mm, &uf_unmap_early);
Brian Geffond15649262020-05-13 17:50:44 -07001072 mremap_userfaultfd_complete(&uf, addr, ret, old_len);
Mike Rapoport897ab3e2017-02-24 14:58:22 -08001073 userfaultfd_unmap_complete(mm, &uf_unmap);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001074 return ret;
1075}