blob: d323e8e10086abf9a09dc97093a3f48aeb1e7124 [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
2 * mm/mremap.c
3 *
4 * (C) Copyright 1996 Linus Torvalds
5 *
Alan Cox046c6882009-01-05 14:06:29 +00006 * Address space accounting code <alan@lxorguk.ukuu.org.uk>
Linus Torvalds1da177e2005-04-16 15:20:36 -07007 * (C) Copyright 2002 Red Hat Inc, All Rights Reserved
8 */
9
10#include <linux/mm.h>
11#include <linux/hugetlb.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070012#include <linux/shm.h>
Hugh Dickins1ff82992009-09-21 17:02:05 -070013#include <linux/ksm.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070014#include <linux/mman.h>
15#include <linux/swap.h>
Randy.Dunlapc59ede72006-01-11 12:17:46 -080016#include <linux/capability.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070017#include <linux/fs.h>
Cyrill Gorcunov6dec97d2013-08-27 12:37:18 +040018#include <linux/swapops.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070019#include <linux/highmem.h>
20#include <linux/security.h>
21#include <linux/syscalls.h>
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070022#include <linux/mmu_notifier.h>
Paul McQuade2581d202014-10-09 15:29:01 -070023#include <linux/uaccess.h>
Laurent Dufour4abad2c2015-06-24 16:56:19 -070024#include <linux/mm-arch-hooks.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070025
Linus Torvalds1da177e2005-04-16 15:20:36 -070026#include <asm/cacheflush.h>
27#include <asm/tlbflush.h>
28
Rik van Rielba470de2008-10-18 20:26:50 -070029#include "internal.h"
30
Hugh Dickins7be7a542005-10-29 18:16:00 -070031static pmd_t *get_old_pmd(struct mm_struct *mm, unsigned long addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -070032{
33 pgd_t *pgd;
34 pud_t *pud;
35 pmd_t *pmd;
36
37 pgd = pgd_offset(mm, addr);
38 if (pgd_none_or_clear_bad(pgd))
39 return NULL;
40
41 pud = pud_offset(pgd, addr);
42 if (pud_none_or_clear_bad(pud))
43 return NULL;
44
45 pmd = pmd_offset(pud, addr);
Andrea Arcangeli37a1c492011-10-31 17:08:30 -070046 if (pmd_none(*pmd))
Linus Torvalds1da177e2005-04-16 15:20:36 -070047 return NULL;
48
Hugh Dickins7be7a542005-10-29 18:16:00 -070049 return pmd;
Linus Torvalds1da177e2005-04-16 15:20:36 -070050}
51
Andrea Arcangeli8ac1f832011-01-13 15:46:43 -080052static pmd_t *alloc_new_pmd(struct mm_struct *mm, struct vm_area_struct *vma,
53 unsigned long addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -070054{
55 pgd_t *pgd;
56 pud_t *pud;
Hugh Dickinsc74df322005-10-29 18:16:23 -070057 pmd_t *pmd;
Linus Torvalds1da177e2005-04-16 15:20:36 -070058
59 pgd = pgd_offset(mm, addr);
Linus Torvalds1da177e2005-04-16 15:20:36 -070060 pud = pud_alloc(mm, pgd, addr);
61 if (!pud)
Hugh Dickinsc74df322005-10-29 18:16:23 -070062 return NULL;
Hugh Dickins7be7a542005-10-29 18:16:00 -070063
Linus Torvalds1da177e2005-04-16 15:20:36 -070064 pmd = pmd_alloc(mm, pud, addr);
Hugh Dickins57a8f0c2013-10-16 13:47:09 -070065 if (!pmd)
Hugh Dickinsc74df322005-10-29 18:16:23 -070066 return NULL;
Hugh Dickins7be7a542005-10-29 18:16:00 -070067
Andrea Arcangeli8ac1f832011-01-13 15:46:43 -080068 VM_BUG_ON(pmd_trans_huge(*pmd));
Hugh Dickinsc74df322005-10-29 18:16:23 -070069
Hugh Dickins7be7a542005-10-29 18:16:00 -070070 return pmd;
Linus Torvalds1da177e2005-04-16 15:20:36 -070071}
72
Hugh Dickins1d069b72016-05-19 17:12:57 -070073static void take_rmap_locks(struct vm_area_struct *vma)
74{
75 if (vma->vm_file)
76 i_mmap_lock_write(vma->vm_file->f_mapping);
77 if (vma->anon_vma)
78 anon_vma_lock_write(vma->anon_vma);
79}
80
81static void drop_rmap_locks(struct vm_area_struct *vma)
82{
83 if (vma->anon_vma)
84 anon_vma_unlock_write(vma->anon_vma);
85 if (vma->vm_file)
86 i_mmap_unlock_write(vma->vm_file->f_mapping);
87}
88
Cyrill Gorcunov6dec97d2013-08-27 12:37:18 +040089static pte_t move_soft_dirty_pte(pte_t pte)
90{
91 /*
92 * Set soft dirty bit so we can notice
93 * in userspace the ptes were moved.
94 */
95#ifdef CONFIG_MEM_SOFT_DIRTY
96 if (pte_present(pte))
97 pte = pte_mksoft_dirty(pte);
98 else if (is_swap_pte(pte))
99 pte = pte_swp_mksoft_dirty(pte);
Cyrill Gorcunov6dec97d2013-08-27 12:37:18 +0400100#endif
101 return pte;
102}
103
Hugh Dickins7be7a542005-10-29 18:16:00 -0700104static void move_ptes(struct vm_area_struct *vma, pmd_t *old_pmd,
105 unsigned long old_addr, unsigned long old_end,
106 struct vm_area_struct *new_vma, pmd_t *new_pmd,
Linus Torvaldse34bd9a2018-10-12 15:22:59 -0700107 unsigned long new_addr, bool need_rmap_locks)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700108{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700109 struct mm_struct *mm = vma->vm_mm;
Hugh Dickins7be7a542005-10-29 18:16:00 -0700110 pte_t *old_pte, *new_pte, pte;
Hugh Dickins4c21e2f2005-10-29 18:16:40 -0700111 spinlock_t *old_ptl, *new_ptl;
Aaron Lu5d190422016-11-10 17:16:33 +0800112 bool force_flush = false;
113 unsigned long len = old_end - old_addr;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700114
Michel Lespinasse38a76012012-10-08 16:31:50 -0700115 /*
Davidlohr Buesoc8c06ef2014-12-12 16:54:24 -0800116 * When need_rmap_locks is true, we take the i_mmap_rwsem and anon_vma
Michel Lespinasse38a76012012-10-08 16:31:50 -0700117 * locks to ensure that rmap will always observe either the old or the
118 * new ptes. This is the easiest way to avoid races with
119 * truncate_pagecache(), page migration, etc...
120 *
121 * When need_rmap_locks is false, we use other ways to avoid
122 * such races:
123 *
124 * - During exec() shift_arg_pages(), we use a specially tagged vma
125 * which rmap call sites look for using is_vma_temporary_stack().
126 *
127 * - During mremap(), new_vma is often known to be placed after vma
128 * in rmap traversal order. This ensures rmap will always observe
129 * either the old pte, or the new pte, or both (the page table locks
130 * serialize access to individual ptes, but only rmap traversal
131 * order guarantees that we won't miss both the old and new ptes).
132 */
Hugh Dickins1d069b72016-05-19 17:12:57 -0700133 if (need_rmap_locks)
134 take_rmap_locks(vma);
Hugh Dickins7be7a542005-10-29 18:16:00 -0700135
Hugh Dickins4c21e2f2005-10-29 18:16:40 -0700136 /*
137 * We don't have to worry about the ordering of src and dst
138 * pte locks because exclusive mmap_sem prevents deadlock.
139 */
Hugh Dickinsc74df322005-10-29 18:16:23 -0700140 old_pte = pte_offset_map_lock(mm, old_pmd, old_addr, &old_ptl);
Peter Zijlstraece0e2b2010-10-26 14:21:52 -0700141 new_pte = pte_offset_map(new_pmd, new_addr);
Hugh Dickins4c21e2f2005-10-29 18:16:40 -0700142 new_ptl = pte_lockptr(mm, new_pmd);
143 if (new_ptl != old_ptl)
Ingo Molnarf20dc5f2006-07-03 00:25:08 -0700144 spin_lock_nested(new_ptl, SINGLE_DEPTH_NESTING);
Mel Gorman5a1eef72017-08-02 13:31:52 -0700145 flush_tlb_batched_pending(vma->vm_mm);
Zachary Amsden6606c3e2006-09-30 23:29:33 -0700146 arch_enter_lazy_mmu_mode();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700147
Hugh Dickins7be7a542005-10-29 18:16:00 -0700148 for (; old_addr < old_end; old_pte++, old_addr += PAGE_SIZE,
149 new_pte++, new_addr += PAGE_SIZE) {
150 if (pte_none(*old_pte))
151 continue;
Aaron Lu5d190422016-11-10 17:16:33 +0800152
Andrea Arcangeli7b6efc22011-10-31 17:08:26 -0700153 pte = ptep_get_and_clear(mm, old_addr, old_pte);
Aaron Lua2ce2662016-11-29 13:27:31 +0800154 /*
Linus Torvaldse34bd9a2018-10-12 15:22:59 -0700155 * If we are remapping a valid PTE, make sure
Aaron Lua2ce2662016-11-29 13:27:31 +0800156 * to flush TLB before we drop the PTL for the
Linus Torvaldse34bd9a2018-10-12 15:22:59 -0700157 * PTE.
Aaron Lua2ce2662016-11-29 13:27:31 +0800158 *
Linus Torvaldse34bd9a2018-10-12 15:22:59 -0700159 * NOTE! Both old and new PTL matter: the old one
160 * for racing with page_mkclean(), the new one to
161 * make sure the physical page stays valid until
162 * the TLB entry for the old mapping has been
163 * flushed.
Aaron Lua2ce2662016-11-29 13:27:31 +0800164 */
Linus Torvaldse34bd9a2018-10-12 15:22:59 -0700165 if (pte_present(pte))
Aaron Lua2ce2662016-11-29 13:27:31 +0800166 force_flush = true;
Hugh Dickins7be7a542005-10-29 18:16:00 -0700167 pte = move_pte(pte, new_vma->vm_page_prot, old_addr, new_addr);
Cyrill Gorcunov6dec97d2013-08-27 12:37:18 +0400168 pte = move_soft_dirty_pte(pte);
169 set_pte_at(mm, new_addr, new_pte, pte);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700170 }
Hugh Dickins7be7a542005-10-29 18:16:00 -0700171
Zachary Amsden6606c3e2006-09-30 23:29:33 -0700172 arch_leave_lazy_mmu_mode();
Linus Torvaldse34bd9a2018-10-12 15:22:59 -0700173 if (force_flush)
174 flush_tlb_range(vma, old_end - len, old_end);
Hugh Dickins4c21e2f2005-10-29 18:16:40 -0700175 if (new_ptl != old_ptl)
176 spin_unlock(new_ptl);
Peter Zijlstraece0e2b2010-10-26 14:21:52 -0700177 pte_unmap(new_pte - 1);
Hugh Dickinsc74df322005-10-29 18:16:23 -0700178 pte_unmap_unlock(old_pte - 1, old_ptl);
Hugh Dickins1d069b72016-05-19 17:12:57 -0700179 if (need_rmap_locks)
180 drop_rmap_locks(vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700181}
182
Hugh Dickins7be7a542005-10-29 18:16:00 -0700183#define LATENCY_LIMIT (64 * PAGE_SIZE)
184
Ollie Wildb6a2fea2007-07-19 01:48:16 -0700185unsigned long move_page_tables(struct vm_area_struct *vma,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700186 unsigned long old_addr, struct vm_area_struct *new_vma,
Michel Lespinasse38a76012012-10-08 16:31:50 -0700187 unsigned long new_addr, unsigned long len,
188 bool need_rmap_locks)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700189{
Hugh Dickins7be7a542005-10-29 18:16:00 -0700190 unsigned long extent, next, old_end;
191 pmd_t *old_pmd, *new_pmd;
Sagi Grimberg2ec74c32012-10-08 16:33:33 -0700192 unsigned long mmun_start; /* For mmu_notifiers */
193 unsigned long mmun_end; /* For mmu_notifiers */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700194
Paolo Bonzinia05540f2022-04-08 13:09:04 -0700195 if (!len)
196 return 0;
197
Hugh Dickins7be7a542005-10-29 18:16:00 -0700198 old_end = old_addr + len;
199 flush_cache_range(vma, old_addr, old_end);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700200
Sagi Grimberg2ec74c32012-10-08 16:33:33 -0700201 mmun_start = old_addr;
202 mmun_end = old_end;
203 mmu_notifier_invalidate_range_start(vma->vm_mm, mmun_start, mmun_end);
Andrea Arcangeli7b6efc22011-10-31 17:08:26 -0700204
Hugh Dickins7be7a542005-10-29 18:16:00 -0700205 for (; old_addr < old_end; old_addr += extent, new_addr += extent) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700206 cond_resched();
Hugh Dickins7be7a542005-10-29 18:16:00 -0700207 next = (old_addr + PMD_SIZE) & PMD_MASK;
Andrea Arcangeliebed4842011-10-31 17:08:22 -0700208 /* even if next overflowed, extent below will be ok */
Hugh Dickins7be7a542005-10-29 18:16:00 -0700209 extent = next - old_addr;
Andrea Arcangeliebed4842011-10-31 17:08:22 -0700210 if (extent > old_end - old_addr)
211 extent = old_end - old_addr;
Hugh Dickins7be7a542005-10-29 18:16:00 -0700212 old_pmd = get_old_pmd(vma->vm_mm, old_addr);
213 if (!old_pmd)
214 continue;
Andrea Arcangeli8ac1f832011-01-13 15:46:43 -0800215 new_pmd = alloc_new_pmd(vma->vm_mm, vma, new_addr);
Hugh Dickins7be7a542005-10-29 18:16:00 -0700216 if (!new_pmd)
217 break;
Fan Yangc915cff2020-06-04 18:22:07 +0800218 if (pmd_trans_huge(*old_pmd) || pmd_devmap(*old_pmd)) {
Kirill A. Shutemovdd18dbc2014-05-09 15:37:00 -0700219 if (extent == HPAGE_PMD_SIZE) {
Kirill A. Shutemov4b471e82016-01-15 16:53:39 -0800220 bool moved;
Kirill A. Shutemovdd18dbc2014-05-09 15:37:00 -0700221 /* See comment in move_ptes() */
222 if (need_rmap_locks)
Hugh Dickins1d069b72016-05-19 17:12:57 -0700223 take_rmap_locks(vma);
Hugh Dickinsbf8616d2016-05-19 17:12:54 -0700224 moved = move_huge_pmd(vma, old_addr, new_addr,
Linus Torvaldse34bd9a2018-10-12 15:22:59 -0700225 old_end, old_pmd, new_pmd);
Kirill A. Shutemovdd18dbc2014-05-09 15:37:00 -0700226 if (need_rmap_locks)
Hugh Dickins1d069b72016-05-19 17:12:57 -0700227 drop_rmap_locks(vma);
Aaron Lu5d190422016-11-10 17:16:33 +0800228 if (moved)
Kirill A. Shutemov4b471e82016-01-15 16:53:39 -0800229 continue;
Kirill A. Shutemovdd18dbc2014-05-09 15:37:00 -0700230 }
Kirill A. Shutemov4b471e82016-01-15 16:53:39 -0800231 split_huge_pmd(vma, old_pmd, old_addr);
Naoya Horiguchi337d9ab2016-07-26 15:24:03 -0700232 if (pmd_trans_unstable(old_pmd))
Kirill A. Shutemov6b9116a2016-02-11 16:13:03 -0800233 continue;
Andrea Arcangeli37a1c492011-10-31 17:08:30 -0700234 }
Kirill A. Shutemov3ed3a4f2016-03-17 14:19:11 -0700235 if (pte_alloc(new_vma->vm_mm, new_pmd, new_addr))
Andrea Arcangeli37a1c492011-10-31 17:08:30 -0700236 break;
Hugh Dickins7be7a542005-10-29 18:16:00 -0700237 next = (new_addr + PMD_SIZE) & PMD_MASK;
238 if (extent > next - new_addr)
239 extent = next - new_addr;
240 if (extent > LATENCY_LIMIT)
241 extent = LATENCY_LIMIT;
Aaron Lu5d190422016-11-10 17:16:33 +0800242 move_ptes(vma, old_pmd, old_addr, old_addr + extent, new_vma,
Linus Torvaldse34bd9a2018-10-12 15:22:59 -0700243 new_pmd, new_addr, need_rmap_locks);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700244 }
Andrea Arcangeli7b6efc22011-10-31 17:08:26 -0700245
Sagi Grimberg2ec74c32012-10-08 16:33:33 -0700246 mmu_notifier_invalidate_range_end(vma->vm_mm, mmun_start, mmun_end);
Hugh Dickins7be7a542005-10-29 18:16:00 -0700247
248 return len + old_addr - old_end; /* how much done */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700249}
250
251static unsigned long move_vma(struct vm_area_struct *vma,
252 unsigned long old_addr, unsigned long old_len,
Michel Lespinasse81909b82013-02-22 16:32:41 -0800253 unsigned long new_len, unsigned long new_addr, bool *locked)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700254{
255 struct mm_struct *mm = vma->vm_mm;
256 struct vm_area_struct *new_vma;
257 unsigned long vm_flags = vma->vm_flags;
258 unsigned long new_pgoff;
259 unsigned long moved_len;
260 unsigned long excess = 0;
Hugh Dickins365e9c872005-10-29 18:16:18 -0700261 unsigned long hiwater_vm;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700262 int split = 0;
Hugh Dickins7103ad32009-09-21 17:02:28 -0700263 int err;
Michel Lespinasse38a76012012-10-08 16:31:50 -0700264 bool need_rmap_locks;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700265
266 /*
267 * We'd prefer to avoid failure later on in do_munmap:
268 * which may split one vma into three before unmapping.
269 */
270 if (mm->map_count >= sysctl_max_map_count - 3)
271 return -ENOMEM;
272
Hugh Dickins1ff82992009-09-21 17:02:05 -0700273 /*
274 * Advise KSM to break any KSM pages in the area to be moved:
275 * it would be confusing if they were to turn up at the new
276 * location, where they happen to coincide with different KSM
277 * pages recently unmapped. But leave vma->vm_flags as it was,
278 * so KSM can come around to merge on vma and new_vma afterwards.
279 */
Hugh Dickins7103ad32009-09-21 17:02:28 -0700280 err = ksm_madvise(vma, old_addr, old_addr + old_len,
281 MADV_UNMERGEABLE, &vm_flags);
282 if (err)
283 return err;
Hugh Dickins1ff82992009-09-21 17:02:05 -0700284
Linus Torvalds1da177e2005-04-16 15:20:36 -0700285 new_pgoff = vma->vm_pgoff + ((old_addr - vma->vm_start) >> PAGE_SHIFT);
Michel Lespinasse38a76012012-10-08 16:31:50 -0700286 new_vma = copy_vma(&vma, new_addr, new_len, new_pgoff,
287 &need_rmap_locks);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700288 if (!new_vma)
289 return -ENOMEM;
290
Laurent Dufour3545b7e2018-04-17 16:33:16 +0200291 /* new_vma is returned protected by copy_vma, to prevent speculative
292 * page fault to be done in the destination area before we move the pte.
293 * Now, we must also protect the source VMA since we don't want pages
294 * to be mapped in our back while we are copying the PTEs.
295 */
296 if (vma != new_vma)
297 vm_raw_write_begin(vma);
298
Michel Lespinasse38a76012012-10-08 16:31:50 -0700299 moved_len = move_page_tables(vma, old_addr, new_vma, new_addr, old_len,
300 need_rmap_locks);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700301 if (moved_len < old_len) {
Oleg Nesterovdf1eab32015-09-04 15:48:01 -0700302 err = -ENOMEM;
Oleg Nesterov5477e702015-09-04 15:48:04 -0700303 } else if (vma->vm_ops && vma->vm_ops->mremap) {
304 err = vma->vm_ops->mremap(new_vma);
Oleg Nesterovdf1eab32015-09-04 15:48:01 -0700305 }
306
307 if (unlikely(err)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700308 /*
309 * On error, move entries back from new area to old,
310 * which will succeed since page tables still there,
311 * and then proceed to unmap new area instead of old.
312 */
Michel Lespinasse38a76012012-10-08 16:31:50 -0700313 move_page_tables(new_vma, new_addr, vma, old_addr, moved_len,
314 true);
Laurent Dufour3545b7e2018-04-17 16:33:16 +0200315 if (vma != new_vma)
316 vm_raw_write_end(vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700317 vma = new_vma;
318 old_len = new_len;
319 old_addr = new_addr;
Oleg Nesterovdf1eab32015-09-04 15:48:01 -0700320 new_addr = err;
Laurent Dufour4abad2c2015-06-24 16:56:19 -0700321 } else {
Laurent Dufour4abad2c2015-06-24 16:56:19 -0700322 arch_remap(mm, old_addr, old_addr + old_len,
323 new_addr, new_addr + new_len);
Laurent Dufour3545b7e2018-04-17 16:33:16 +0200324 if (vma != new_vma)
325 vm_raw_write_end(vma);
Al Virob2edffd2015-04-06 17:48:54 -0400326 }
Laurent Dufour3545b7e2018-04-17 16:33:16 +0200327 vm_raw_write_end(new_vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700328
329 /* Conceal VM_ACCOUNT so old reservation is not undone */
330 if (vm_flags & VM_ACCOUNT) {
331 vma->vm_flags &= ~VM_ACCOUNT;
332 excess = vma->vm_end - vma->vm_start - old_len;
333 if (old_addr > vma->vm_start &&
334 old_addr + old_len < vma->vm_end)
335 split = 1;
336 }
337
Kirill Korotaev71799062005-05-16 21:53:18 -0700338 /*
Hugh Dickins365e9c872005-10-29 18:16:18 -0700339 * If we failed to move page tables we still do total_vm increment
340 * since do_munmap() will decrement it by old_len == new_len.
341 *
342 * Since total_vm is about to be raised artificially high for a
343 * moment, we need to restore high watermark afterwards: if stats
344 * are taken meanwhile, total_vm and hiwater_vm appear too high.
345 * If this were a serious issue, we'd add a flag to do_munmap().
Kirill Korotaev71799062005-05-16 21:53:18 -0700346 */
Hugh Dickins365e9c872005-10-29 18:16:18 -0700347 hiwater_vm = mm->hiwater_vm;
Konstantin Khlebnikov84638332016-01-14 15:22:07 -0800348 vm_stat_account(mm, vma->vm_flags, new_len >> PAGE_SHIFT);
Kirill Korotaev71799062005-05-16 21:53:18 -0700349
Toshi Kanid9fe4fa2015-12-22 17:54:23 -0700350 /* Tell pfnmap has moved from this vma */
351 if (unlikely(vma->vm_flags & VM_PFNMAP))
352 untrack_pfn_moved(vma);
353
Linus Torvalds1da177e2005-04-16 15:20:36 -0700354 if (do_munmap(mm, old_addr, old_len) < 0) {
355 /* OOM: unable to split vma, just get accounts right */
356 vm_unacct_memory(excess >> PAGE_SHIFT);
357 excess = 0;
358 }
Hugh Dickins365e9c872005-10-29 18:16:18 -0700359 mm->hiwater_vm = hiwater_vm;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700360
361 /* Restore VM_ACCOUNT if one or two pieces of vma left */
362 if (excess) {
363 vma->vm_flags |= VM_ACCOUNT;
364 if (split)
365 vma->vm_next->vm_flags |= VM_ACCOUNT;
366 }
367
Linus Torvalds1da177e2005-04-16 15:20:36 -0700368 if (vm_flags & VM_LOCKED) {
369 mm->locked_vm += new_len >> PAGE_SHIFT;
Michel Lespinasse81909b82013-02-22 16:32:41 -0800370 *locked = true;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700371 }
372
373 return new_addr;
374}
375
Al Viro54f5de72009-11-24 07:17:46 -0500376static struct vm_area_struct *vma_to_resize(unsigned long addr,
377 unsigned long old_len, unsigned long new_len, unsigned long *p)
378{
379 struct mm_struct *mm = current->mm;
380 struct vm_area_struct *vma = find_vma(mm, addr);
Oleg Nesterov1d391682015-09-04 15:48:10 -0700381 unsigned long pgoff;
Al Viro54f5de72009-11-24 07:17:46 -0500382
383 if (!vma || vma->vm_start > addr)
Derek6cd576132015-04-15 16:14:02 -0700384 return ERR_PTR(-EFAULT);
Al Viro54f5de72009-11-24 07:17:46 -0500385
386 if (is_vm_hugetlb_page(vma))
Derek6cd576132015-04-15 16:14:02 -0700387 return ERR_PTR(-EINVAL);
Al Viro54f5de72009-11-24 07:17:46 -0500388
389 /* We can't remap across vm area boundaries */
390 if (old_len > vma->vm_end - addr)
Derek6cd576132015-04-15 16:14:02 -0700391 return ERR_PTR(-EFAULT);
Al Viro54f5de72009-11-24 07:17:46 -0500392
Oleg Nesterov1d391682015-09-04 15:48:10 -0700393 if (new_len == old_len)
394 return vma;
Linus Torvalds982134b2011-04-07 07:35:50 -0700395
Oleg Nesterov1d391682015-09-04 15:48:10 -0700396 /* Need to be careful about a growing mapping */
397 pgoff = (addr - vma->vm_start) >> PAGE_SHIFT;
398 pgoff += vma->vm_pgoff;
399 if (pgoff + (new_len >> PAGE_SHIFT) < pgoff)
400 return ERR_PTR(-EINVAL);
401
402 if (vma->vm_flags & (VM_DONTEXPAND | VM_PFNMAP))
403 return ERR_PTR(-EFAULT);
Al Viro54f5de72009-11-24 07:17:46 -0500404
405 if (vma->vm_flags & VM_LOCKED) {
406 unsigned long locked, lock_limit;
407 locked = mm->locked_vm << PAGE_SHIFT;
Jiri Slaby59e99e52010-03-05 13:41:44 -0800408 lock_limit = rlimit(RLIMIT_MEMLOCK);
Al Viro54f5de72009-11-24 07:17:46 -0500409 locked += new_len - old_len;
410 if (locked > lock_limit && !capable(CAP_IPC_LOCK))
Derek6cd576132015-04-15 16:14:02 -0700411 return ERR_PTR(-EAGAIN);
Al Viro54f5de72009-11-24 07:17:46 -0500412 }
413
Konstantin Khlebnikov84638332016-01-14 15:22:07 -0800414 if (!may_expand_vm(mm, vma->vm_flags,
415 (new_len - old_len) >> PAGE_SHIFT))
Derek6cd576132015-04-15 16:14:02 -0700416 return ERR_PTR(-ENOMEM);
Al Viro54f5de72009-11-24 07:17:46 -0500417
418 if (vma->vm_flags & VM_ACCOUNT) {
419 unsigned long charged = (new_len - old_len) >> PAGE_SHIFT;
Al Viro191c5422012-02-13 03:58:52 +0000420 if (security_vm_enough_memory_mm(mm, charged))
Derek6cd576132015-04-15 16:14:02 -0700421 return ERR_PTR(-ENOMEM);
Al Viro54f5de72009-11-24 07:17:46 -0500422 *p = charged;
423 }
424
425 return vma;
Al Viro54f5de72009-11-24 07:17:46 -0500426}
427
Michel Lespinasse81909b82013-02-22 16:32:41 -0800428static unsigned long mremap_to(unsigned long addr, unsigned long old_len,
429 unsigned long new_addr, unsigned long new_len, bool *locked)
Al Viroecc1a892009-11-24 07:28:07 -0500430{
431 struct mm_struct *mm = current->mm;
432 struct vm_area_struct *vma;
433 unsigned long ret = -EINVAL;
434 unsigned long charged = 0;
Al Viro097eed12009-11-24 08:43:52 -0500435 unsigned long map_flags;
Al Viroecc1a892009-11-24 07:28:07 -0500436
Alexander Kuleshovf19cb112015-11-05 18:46:57 -0800437 if (offset_in_page(new_addr))
Al Viroecc1a892009-11-24 07:28:07 -0500438 goto out;
439
440 if (new_len > TASK_SIZE || new_addr > TASK_SIZE - new_len)
441 goto out;
442
Oleg Nesterov99432422015-09-04 15:48:13 -0700443 /* Ensure the old/new locations do not overlap */
444 if (addr + old_len > new_addr && new_addr + new_len > addr)
Al Viroecc1a892009-11-24 07:28:07 -0500445 goto out;
446
Al Viroecc1a892009-11-24 07:28:07 -0500447 ret = do_munmap(mm, new_addr, new_len);
448 if (ret)
449 goto out;
450
451 if (old_len >= new_len) {
452 ret = do_munmap(mm, addr+new_len, old_len - new_len);
453 if (ret && old_len != new_len)
454 goto out;
455 old_len = new_len;
456 }
457
458 vma = vma_to_resize(addr, old_len, new_len, &charged);
459 if (IS_ERR(vma)) {
460 ret = PTR_ERR(vma);
461 goto out;
462 }
463
Al Viro097eed12009-11-24 08:43:52 -0500464 map_flags = MAP_FIXED;
465 if (vma->vm_flags & VM_MAYSHARE)
466 map_flags |= MAP_SHARED;
Al Viro9206de92009-12-03 15:23:11 -0500467
Al Viro097eed12009-11-24 08:43:52 -0500468 ret = get_unmapped_area(vma->vm_file, new_addr, new_len, vma->vm_pgoff +
469 ((addr - vma->vm_start) >> PAGE_SHIFT),
470 map_flags);
Alexander Kuleshovf19cb112015-11-05 18:46:57 -0800471 if (offset_in_page(ret))
Al Viro097eed12009-11-24 08:43:52 -0500472 goto out1;
473
Michel Lespinasse81909b82013-02-22 16:32:41 -0800474 ret = move_vma(vma, addr, old_len, new_len, new_addr, locked);
Alexander Kuleshovf19cb112015-11-05 18:46:57 -0800475 if (!(offset_in_page(ret)))
Al Viro097eed12009-11-24 08:43:52 -0500476 goto out;
477out1:
478 vm_unacct_memory(charged);
Al Viroecc1a892009-11-24 07:28:07 -0500479
480out:
481 return ret;
482}
483
Al Viro1a0ef852009-11-24 07:43:18 -0500484static int vma_expandable(struct vm_area_struct *vma, unsigned long delta)
485{
Al Virof106af42009-11-24 08:25:18 -0500486 unsigned long end = vma->vm_end + delta;
Al Viro9206de92009-12-03 15:23:11 -0500487 if (end < vma->vm_end) /* overflow */
Al Viro1a0ef852009-11-24 07:43:18 -0500488 return 0;
Al Viro9206de92009-12-03 15:23:11 -0500489 if (vma->vm_next && vma->vm_next->vm_start < end) /* intersection */
Al Virof106af42009-11-24 08:25:18 -0500490 return 0;
491 if (get_unmapped_area(NULL, vma->vm_start, end - vma->vm_start,
492 0, MAP_FIXED) & ~PAGE_MASK)
493 return 0;
Al Viro1a0ef852009-11-24 07:43:18 -0500494 return 1;
495}
496
Linus Torvalds1da177e2005-04-16 15:20:36 -0700497/*
498 * Expand (or shrink) an existing mapping, potentially moving it at the
499 * same time (controlled by the MREMAP_MAYMOVE flag and available VM space)
500 *
501 * MREMAP_FIXED option added 5-Dec-1999 by Benjamin LaHaise
502 * This option implies MREMAP_MAYMOVE.
503 */
Al Viro63a81db2012-05-30 11:32:04 -0400504SYSCALL_DEFINE5(mremap, unsigned long, addr, unsigned long, old_len,
505 unsigned long, new_len, unsigned long, flags,
506 unsigned long, new_addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700507{
Hugh Dickinsd0de32d2005-10-29 18:16:16 -0700508 struct mm_struct *mm = current->mm;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700509 struct vm_area_struct *vma;
510 unsigned long ret = -EINVAL;
511 unsigned long charged = 0;
Michel Lespinasse81909b82013-02-22 16:32:41 -0800512 bool locked = false;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700513
514 if (flags & ~(MREMAP_FIXED | MREMAP_MAYMOVE))
Rasmus Villemoes9a2458a2013-07-08 15:59:48 -0700515 return ret;
516
517 if (flags & MREMAP_FIXED && !(flags & MREMAP_MAYMOVE))
518 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700519
Alexander Kuleshovf19cb112015-11-05 18:46:57 -0800520 if (offset_in_page(addr))
Rasmus Villemoes9a2458a2013-07-08 15:59:48 -0700521 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700522
523 old_len = PAGE_ALIGN(old_len);
524 new_len = PAGE_ALIGN(new_len);
525
526 /*
527 * We allow a zero old-len as a special case
528 * for DOS-emu "duplicate shm area" thing. But
529 * a zero new-len is nonsensical.
530 */
531 if (!new_len)
Rasmus Villemoes9a2458a2013-07-08 15:59:48 -0700532 return ret;
533
Michal Hockodc0ef0d2016-05-23 16:25:27 -0700534 if (down_write_killable(&current->mm->mmap_sem))
535 return -EINTR;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700536
Linus Torvalds1da177e2005-04-16 15:20:36 -0700537 if (flags & MREMAP_FIXED) {
Rasmus Villemoes9a2458a2013-07-08 15:59:48 -0700538 ret = mremap_to(addr, old_len, new_addr, new_len,
539 &locked);
Al Viroecc1a892009-11-24 07:28:07 -0500540 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700541 }
542
543 /*
544 * Always allow a shrinking remap: that just unmaps
545 * the unnecessary pages..
546 * do_munmap does all the needed commit accounting
547 */
548 if (old_len >= new_len) {
Hugh Dickinsd0de32d2005-10-29 18:16:16 -0700549 ret = do_munmap(mm, addr+new_len, old_len - new_len);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700550 if (ret && old_len != new_len)
551 goto out;
552 ret = addr;
Al Viroecc1a892009-11-24 07:28:07 -0500553 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700554 }
555
556 /*
Al Viroecc1a892009-11-24 07:28:07 -0500557 * Ok, we need to grow..
Linus Torvalds1da177e2005-04-16 15:20:36 -0700558 */
Al Viro54f5de72009-11-24 07:17:46 -0500559 vma = vma_to_resize(addr, old_len, new_len, &charged);
560 if (IS_ERR(vma)) {
561 ret = PTR_ERR(vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700562 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700563 }
564
565 /* old_len exactly to the end of the area..
Linus Torvalds1da177e2005-04-16 15:20:36 -0700566 */
Al Viroecc1a892009-11-24 07:28:07 -0500567 if (old_len == vma->vm_end - addr) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700568 /* can we just expand the current mapping? */
Al Viro1a0ef852009-11-24 07:43:18 -0500569 if (vma_expandable(vma, new_len - old_len)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700570 int pages = (new_len - old_len) >> PAGE_SHIFT;
571
Rik van Riel5beb4932010-03-05 13:42:07 -0800572 if (vma_adjust(vma, vma->vm_start, addr + new_len,
573 vma->vm_pgoff, NULL)) {
574 ret = -ENOMEM;
575 goto out;
576 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700577
Konstantin Khlebnikov84638332016-01-14 15:22:07 -0800578 vm_stat_account(mm, vma->vm_flags, pages);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700579 if (vma->vm_flags & VM_LOCKED) {
Hugh Dickinsd0de32d2005-10-29 18:16:16 -0700580 mm->locked_vm += pages;
Michel Lespinasse81909b82013-02-22 16:32:41 -0800581 locked = true;
582 new_addr = addr;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700583 }
584 ret = addr;
585 goto out;
586 }
587 }
588
589 /*
590 * We weren't able to just expand or shrink the area,
591 * we need to create a new one and move it..
592 */
593 ret = -ENOMEM;
594 if (flags & MREMAP_MAYMOVE) {
Al Viroecc1a892009-11-24 07:28:07 -0500595 unsigned long map_flags = 0;
596 if (vma->vm_flags & VM_MAYSHARE)
597 map_flags |= MAP_SHARED;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700598
Al Viroecc1a892009-11-24 07:28:07 -0500599 new_addr = get_unmapped_area(vma->vm_file, 0, new_len,
Al Viro93587412009-11-24 08:45:24 -0500600 vma->vm_pgoff +
601 ((addr - vma->vm_start) >> PAGE_SHIFT),
602 map_flags);
Alexander Kuleshovf19cb112015-11-05 18:46:57 -0800603 if (offset_in_page(new_addr)) {
Al Viroecc1a892009-11-24 07:28:07 -0500604 ret = new_addr;
605 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700606 }
Al Viroecc1a892009-11-24 07:28:07 -0500607
Michel Lespinasse81909b82013-02-22 16:32:41 -0800608 ret = move_vma(vma, addr, old_len, new_len, new_addr, &locked);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700609 }
610out:
Alexander Kuleshovf19cb112015-11-05 18:46:57 -0800611 if (offset_in_page(ret)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700612 vm_unacct_memory(charged);
Oleg Nesterovd456fb92015-09-04 15:48:07 -0700613 locked = 0;
614 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700615 up_write(&current->mm->mmap_sem);
Michel Lespinasse81909b82013-02-22 16:32:41 -0800616 if (locked && new_len > old_len)
617 mm_populate(new_addr + old_len, new_len - old_len);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700618 return ret;
619}