blob: d0dfc85b209bbc4113376bb894756e727b676f6e [file] [log] [blame]
Thomas Gleixner457c8992019-05-19 13:08:55 +01001// SPDX-License-Identifier: GPL-2.0-only
Linus Torvalds1da177e2005-04-16 15:20:36 -07002/*
3 * mm/mmap.c
4 *
5 * Written by obz.
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 */
9
Mitchel Humpherysb1de0d12014-06-06 14:38:30 -070010#define pr_fmt(fmt) KBUILD_MODNAME ": " fmt
11
Cyril Hrubise8420a82013-04-29 15:08:33 -070012#include <linux/kernel.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070013#include <linux/slab.h>
Alexey Dobriyan4af3c9c2007-10-16 23:29:23 -070014#include <linux/backing-dev.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070015#include <linux/mm.h>
Arnd Bergmann17fca132022-01-14 14:06:07 -080016#include <linux/mm_inline.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070017#include <linux/shm.h>
18#include <linux/mman.h>
19#include <linux/pagemap.h>
20#include <linux/swap.h>
21#include <linux/syscalls.h>
Randy.Dunlapc59ede72006-01-11 12:17:46 -080022#include <linux/capability.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070023#include <linux/init.h>
24#include <linux/file.h>
25#include <linux/fs.h>
26#include <linux/personality.h>
27#include <linux/security.h>
28#include <linux/hugetlb.h>
Hugh Dickinsc01d5b32016-07-26 15:26:15 -070029#include <linux/shmem_fs.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070030#include <linux/profile.h>
Paul Gortmakerb95f1b312011-10-16 02:01:52 -040031#include <linux/export.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070032#include <linux/mount.h>
33#include <linux/mempolicy.h>
34#include <linux/rmap.h>
Andrea Arcangelicddb8a52008-07-28 15:46:29 -070035#include <linux/mmu_notifier.h>
Konstantin Khlebnikov82f71ae2014-08-06 16:06:36 -070036#include <linux/mmdebug.h>
Ingo Molnarcdd6c482009-09-21 12:02:48 +020037#include <linux/perf_event.h>
Al Viro120a7952010-10-30 02:54:44 -040038#include <linux/audit.h>
Andrea Arcangelib15d00b2011-01-13 15:46:59 -080039#include <linux/khugepaged.h>
Srikar Dronamraju2b144492012-02-09 14:56:42 +053040#include <linux/uprobes.h>
Andrew Shewmaker16408792013-04-29 15:08:12 -070041#include <linux/notifier.h>
42#include <linux/memory.h>
Mitchel Humpherysb1de0d12014-06-06 14:38:30 -070043#include <linux/printk.h>
Andrea Arcangeli19a809a2015-09-04 15:46:24 -070044#include <linux/userfaultfd_k.h>
Konstantin Khlebnikovd977d562016-02-02 16:57:43 -080045#include <linux/moduleparam.h>
Dave Hansen62b5f7d2016-02-12 13:02:40 -080046#include <linux/pkeys.h>
Andrea Arcangeli21292582017-09-06 16:25:00 -070047#include <linux/oom.h>
Andrea Arcangeli04f58662019-04-18 17:50:52 -070048#include <linux/sched/mm.h>
Stefan Roeschd7597f52023-04-17 22:13:40 -070049#include <linux/ksm.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070050
Linus Torvalds7c0f6ba2016-12-24 11:46:01 -080051#include <linux/uaccess.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070052#include <asm/cacheflush.h>
53#include <asm/tlb.h>
Jeremy Fitzhardinged6dd61c2007-05-02 19:27:14 +020054#include <asm/mmu_context.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070055
Jaewon Kimdf529ca2020-04-01 21:09:13 -070056#define CREATE_TRACE_POINTS
57#include <trace/events/mmap.h>
58
Jan Beulich42b77722008-07-23 21:27:10 -070059#include "internal.h"
60
Kirill Korotaev3a459752006-09-07 14:17:04 +040061#ifndef arch_mmap_check
62#define arch_mmap_check(addr, len, flags) (0)
63#endif
64
Daniel Cashmand07e2252016-01-14 15:19:53 -080065#ifdef CONFIG_HAVE_ARCH_MMAP_RND_BITS
66const int mmap_rnd_bits_min = CONFIG_ARCH_MMAP_RND_BITS_MIN;
Sami Tolvanen71a58492023-09-29 21:11:57 +000067int mmap_rnd_bits_max __ro_after_init = CONFIG_ARCH_MMAP_RND_BITS_MAX;
Daniel Cashmand07e2252016-01-14 15:19:53 -080068int mmap_rnd_bits __read_mostly = CONFIG_ARCH_MMAP_RND_BITS;
69#endif
70#ifdef CONFIG_HAVE_ARCH_MMAP_RND_COMPAT_BITS
71const int mmap_rnd_compat_bits_min = CONFIG_ARCH_MMAP_RND_COMPAT_BITS_MIN;
72const int mmap_rnd_compat_bits_max = CONFIG_ARCH_MMAP_RND_COMPAT_BITS_MAX;
73int mmap_rnd_compat_bits __read_mostly = CONFIG_ARCH_MMAP_RND_COMPAT_BITS;
74#endif
75
Konstantin Khlebnikovf4fcd552016-05-20 16:57:45 -070076static bool ignore_rlimit_data;
Konstantin Khlebnikovd977d562016-02-02 16:57:43 -080077core_param(ignore_rlimit_data, ignore_rlimit_data, bool, 0644);
Daniel Cashmand07e2252016-01-14 15:19:53 -080078
Liam R. Howlettfd892592023-07-24 14:31:45 -040079static void unmap_region(struct mm_struct *mm, struct ma_state *mas,
Hugh Dickinse0da3822005-04-19 13:29:15 -070080 struct vm_area_struct *vma, struct vm_area_struct *prev,
Liam R. Howlett763ecb02022-09-06 19:49:06 +000081 struct vm_area_struct *next, unsigned long start,
Liam R. Howlettfd892592023-07-24 14:31:45 -040082 unsigned long end, unsigned long tree_end, bool mm_wr_locked);
Hugh Dickinse0da3822005-04-19 13:29:15 -070083
Peter Feiner64e455072014-10-13 15:55:46 -070084static pgprot_t vm_pgprot_modify(pgprot_t oldprot, unsigned long vm_flags)
85{
86 return pgprot_modify(oldprot, vm_get_page_prot(vm_flags));
87}
88
89/* Update vma->vm_page_prot to reflect vma->vm_flags. */
90void vma_set_page_prot(struct vm_area_struct *vma)
91{
92 unsigned long vm_flags = vma->vm_flags;
Andrea Arcangeli6d2329f2016-10-07 17:01:22 -070093 pgprot_t vm_page_prot;
Peter Feiner64e455072014-10-13 15:55:46 -070094
Andrea Arcangeli6d2329f2016-10-07 17:01:22 -070095 vm_page_prot = vm_pgprot_modify(vma->vm_page_prot, vm_flags);
96 if (vma_wants_writenotify(vma, vm_page_prot)) {
Peter Feiner64e455072014-10-13 15:55:46 -070097 vm_flags &= ~VM_SHARED;
Andrea Arcangeli6d2329f2016-10-07 17:01:22 -070098 vm_page_prot = vm_pgprot_modify(vm_page_prot, vm_flags);
Peter Feiner64e455072014-10-13 15:55:46 -070099 }
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -0700100 /* remove_protection_ptes reads vma->vm_page_prot without mmap_lock */
Andrea Arcangeli6d2329f2016-10-07 17:01:22 -0700101 WRITE_ONCE(vma->vm_page_prot, vm_page_prot);
Peter Feiner64e455072014-10-13 15:55:46 -0700102}
103
Linus Torvalds1da177e2005-04-16 15:20:36 -0700104/*
Davidlohr Buesoc8c06ef2014-12-12 16:54:24 -0800105 * Requires inode->i_mapping->i_mmap_rwsem
Linus Torvalds1da177e2005-04-16 15:20:36 -0700106 */
107static void __remove_shared_vm_struct(struct vm_area_struct *vma,
Yajun Deng30afc8c2024-01-10 16:46:22 +0800108 struct address_space *mapping)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700109{
Lorenzo Stoakese8e17ee2023-10-12 18:04:28 +0100110 if (vma_is_shared_maywrite(vma))
David Herrmann4bb5f5d2014-08-08 14:25:25 -0700111 mapping_unmap_writable(mapping);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700112
113 flush_dcache_mmap_lock(mapping);
Kirill A. Shutemov27ba0642015-02-10 14:09:59 -0800114 vma_interval_tree_remove(vma, &mapping->i_mmap);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700115 flush_dcache_mmap_unlock(mapping);
116}
117
118/*
Michel Lespinasse6b2dbba2012-10-08 16:31:25 -0700119 * Unlink a file-based vm structure from its interval tree, to hide
Hugh Dickinsa8fb5612005-10-29 18:15:57 -0700120 * vma from rmap and vmtruncate before freeing its page tables.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700121 */
Hugh Dickinsa8fb5612005-10-29 18:15:57 -0700122void unlink_file_vma(struct vm_area_struct *vma)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700123{
124 struct file *file = vma->vm_file;
125
Linus Torvalds1da177e2005-04-16 15:20:36 -0700126 if (file) {
127 struct address_space *mapping = file->f_mapping;
Davidlohr Bueso83cde9e2014-12-12 16:54:21 -0800128 i_mmap_lock_write(mapping);
Yajun Deng30afc8c2024-01-10 16:46:22 +0800129 __remove_shared_vm_struct(vma, mapping);
Davidlohr Bueso83cde9e2014-12-12 16:54:21 -0800130 i_mmap_unlock_write(mapping);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700131 }
Hugh Dickinsa8fb5612005-10-29 18:15:57 -0700132}
133
Mateusz Guzik3577dbb2024-05-22 01:43:21 +0200134void unlink_file_vma_batch_init(struct unlink_vma_file_batch *vb)
135{
136 vb->count = 0;
137}
138
139static void unlink_file_vma_batch_process(struct unlink_vma_file_batch *vb)
140{
141 struct address_space *mapping;
142 int i;
143
144 mapping = vb->vmas[0]->vm_file->f_mapping;
145 i_mmap_lock_write(mapping);
146 for (i = 0; i < vb->count; i++) {
147 VM_WARN_ON_ONCE(vb->vmas[i]->vm_file->f_mapping != mapping);
148 __remove_shared_vm_struct(vb->vmas[i], mapping);
149 }
150 i_mmap_unlock_write(mapping);
151
152 unlink_file_vma_batch_init(vb);
153}
154
155void unlink_file_vma_batch_add(struct unlink_vma_file_batch *vb,
156 struct vm_area_struct *vma)
157{
158 if (vma->vm_file == NULL)
159 return;
160
161 if ((vb->count > 0 && vb->vmas[0]->vm_file != vma->vm_file) ||
162 vb->count == ARRAY_SIZE(vb->vmas))
163 unlink_file_vma_batch_process(vb);
164
165 vb->vmas[vb->count] = vma;
166 vb->count++;
167}
168
169void unlink_file_vma_batch_final(struct unlink_vma_file_batch *vb)
170{
171 if (vb->count > 0)
172 unlink_file_vma_batch_process(vb);
173}
174
Hugh Dickinsa8fb5612005-10-29 18:15:57 -0700175/*
Liam R. Howlett763ecb02022-09-06 19:49:06 +0000176 * Close a vm structure and free it.
Hugh Dickinsa8fb5612005-10-29 18:15:57 -0700177 */
Suren Baghdasaryan0d2ebf92023-02-27 09:36:31 -0800178static void remove_vma(struct vm_area_struct *vma, bool unreachable)
Hugh Dickinsa8fb5612005-10-29 18:15:57 -0700179{
Hugh Dickinsa8fb5612005-10-29 18:15:57 -0700180 might_sleep();
Linus Torvalds1da177e2005-04-16 15:20:36 -0700181 if (vma->vm_ops && vma->vm_ops->close)
182 vma->vm_ops->close(vma);
Konstantin Khlebnikove9714ac2012-10-08 16:28:54 -0700183 if (vma->vm_file)
Hugh Dickinsa8fb5612005-10-29 18:15:57 -0700184 fput(vma->vm_file);
Lee Schermerhornf0be3d32008-04-28 02:13:08 -0700185 mpol_put(vma_policy(vma));
Suren Baghdasaryan0d2ebf92023-02-27 09:36:31 -0800186 if (unreachable)
187 __vm_area_free(vma);
188 else
189 vm_area_free(vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700190}
191
Liam R. Howlettb62b6332023-01-20 11:26:08 -0500192static inline struct vm_area_struct *vma_prev_limit(struct vma_iterator *vmi,
193 unsigned long min)
194{
195 return mas_prev(&vmi->mas, min);
196}
197
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +0000198/*
199 * check_brk_limits() - Use platform specific check of range & verify mlock
200 * limits.
201 * @addr: The address to check
202 * @len: The size of increase.
203 *
204 * Return: 0 on success.
205 */
206static int check_brk_limits(unsigned long addr, unsigned long len)
207{
208 unsigned long mapped_addr;
209
210 mapped_addr = get_unmapped_area(NULL, addr, len, 0, MAP_FIXED);
211 if (IS_ERR_VALUE(mapped_addr))
212 return mapped_addr;
213
Andrew Mortonb0cc5e82023-05-22 13:52:10 -0700214 return mlock_future_ok(current->mm, current->mm->def_flags, len)
Lorenzo Stoakes3c54a292023-05-22 09:24:12 +0100215 ? 0 : -EAGAIN;
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +0000216}
Liam R. Howlett92fed822023-01-20 11:26:09 -0500217static int do_brk_flags(struct vma_iterator *vmi, struct vm_area_struct *brkvma,
Liam R. Howlett763ecb02022-09-06 19:49:06 +0000218 unsigned long addr, unsigned long request, unsigned long flags);
Heiko Carstens6a6160a2009-01-14 14:14:15 +0100219SYSCALL_DEFINE1(brk, unsigned long, brk)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700220{
Yang Shi9bc80392018-10-26 15:08:54 -0700221 unsigned long newbrk, oldbrk, origbrk;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700222 struct mm_struct *mm = current->mm;
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +0000223 struct vm_area_struct *brkvma, *next = NULL;
Jiri Kosinaa5b45922008-06-05 22:46:05 -0700224 unsigned long min_brk;
Liam R. Howlett408579c2023-06-29 22:28:16 -0400225 bool populate = false;
Mike Rapoport897ab3e2017-02-24 14:58:22 -0800226 LIST_HEAD(uf);
Liam R. Howlett92fed822023-01-20 11:26:09 -0500227 struct vma_iterator vmi;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700228
Michel Lespinassed8ed45c2020-06-08 21:33:25 -0700229 if (mmap_write_lock_killable(mm))
Michal Hockodc0ef0d2016-05-23 16:25:27 -0700230 return -EINTR;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700231
Yang Shi9bc80392018-10-26 15:08:54 -0700232 origbrk = mm->brk;
233
Jiri Kosinaa5b45922008-06-05 22:46:05 -0700234#ifdef CONFIG_COMPAT_BRK
Jiri Kosina5520e892011-01-13 15:47:23 -0800235 /*
236 * CONFIG_COMPAT_BRK can still be overridden by setting
237 * randomize_va_space to 2, which will still cause mm->start_brk
238 * to be arbitrarily shifted
239 */
Jiri Kosina4471a672011-04-14 15:22:09 -0700240 if (current->brk_randomized)
Jiri Kosina5520e892011-01-13 15:47:23 -0800241 min_brk = mm->start_brk;
242 else
243 min_brk = mm->end_data;
Jiri Kosinaa5b45922008-06-05 22:46:05 -0700244#else
245 min_brk = mm->start_brk;
246#endif
247 if (brk < min_brk)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700248 goto out;
Ram Gupta1e624192006-04-10 22:52:57 -0700249
250 /*
251 * Check against rlimit here. If this check is done later after the test
252 * of oldbrk with newbrk then it can escape the test and let the data
253 * segment grow beyond its set limit the in case where the limit is
254 * not page aligned -Ram Gupta
255 */
Cyrill Gorcunov8764b332014-10-09 15:27:32 -0700256 if (check_data_rlimit(rlimit(RLIMIT_DATA), brk, mm->start_brk,
257 mm->end_data, mm->start_data))
Ram Gupta1e624192006-04-10 22:52:57 -0700258 goto out;
259
Linus Torvalds1da177e2005-04-16 15:20:36 -0700260 newbrk = PAGE_ALIGN(brk);
261 oldbrk = PAGE_ALIGN(mm->brk);
Yang Shi9bc80392018-10-26 15:08:54 -0700262 if (oldbrk == newbrk) {
263 mm->brk = brk;
264 goto success;
265 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700266
Liam R. Howlett408579c2023-06-29 22:28:16 -0400267 /* Always allow shrinking brk. */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700268 if (brk <= mm->brk) {
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +0000269 /* Search one past newbrk */
Liam R. Howlett92fed822023-01-20 11:26:09 -0500270 vma_iter_init(&vmi, mm, newbrk);
271 brkvma = vma_find(&vmi, oldbrk);
Jason A. Donenfeldf5ad5082022-12-02 17:27:24 +0100272 if (!brkvma || brkvma->vm_start >= oldbrk)
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +0000273 goto out; /* mapping intersects with an existing non-brk vma. */
Yang Shi9bc80392018-10-26 15:08:54 -0700274 /*
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +0000275 * mm->brk must be protected by write mmap_lock.
Liam R. Howlett408579c2023-06-29 22:28:16 -0400276 * do_vma_munmap() will drop the lock on success, so update it
Liam R. Howlett27b26702023-01-26 16:20:49 -0500277 * before calling do_vma_munmap().
Yang Shi9bc80392018-10-26 15:08:54 -0700278 */
279 mm->brk = brk;
Liam R. Howlett408579c2023-06-29 22:28:16 -0400280 if (do_vma_munmap(&vmi, brkvma, newbrk, oldbrk, &uf, true))
281 goto out;
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +0000282
Liam R. Howlett408579c2023-06-29 22:28:16 -0400283 goto success_unlocked;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700284 }
285
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +0000286 if (check_brk_limits(oldbrk, newbrk - oldbrk))
287 goto out;
288
289 /*
290 * Only check if the next VMA is within the stack_guard_gap of the
291 * expansion area
292 */
Liam R. Howlett92fed822023-01-20 11:26:09 -0500293 vma_iter_init(&vmi, mm, oldbrk);
294 next = vma_find(&vmi, newbrk + PAGE_SIZE + stack_guard_gap);
Hugh Dickins1be71072017-06-19 04:03:24 -0700295 if (next && newbrk + PAGE_SIZE > vm_start_gap(next))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700296 goto out;
297
Liam R. Howlett92fed822023-01-20 11:26:09 -0500298 brkvma = vma_prev_limit(&vmi, mm->start_brk);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700299 /* Ok, looks good - let it rip. */
Liam R. Howlett92fed822023-01-20 11:26:09 -0500300 if (do_brk_flags(&vmi, brkvma, oldbrk, newbrk - oldbrk, 0) < 0)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700301 goto out;
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +0000302
Linus Torvalds1da177e2005-04-16 15:20:36 -0700303 mm->brk = brk;
Liam R. Howlett408579c2023-06-29 22:28:16 -0400304 if (mm->def_flags & VM_LOCKED)
305 populate = true;
Yang Shi9bc80392018-10-26 15:08:54 -0700306
307success:
Liam R. Howlett408579c2023-06-29 22:28:16 -0400308 mmap_write_unlock(mm);
309success_unlocked:
Mike Rapoport897ab3e2017-02-24 14:58:22 -0800310 userfaultfd_unmap_complete(mm, &uf);
Michel Lespinasse128557f2013-02-22 16:32:40 -0800311 if (populate)
312 mm_populate(oldbrk, newbrk - oldbrk);
313 return brk;
314
Linus Torvalds1da177e2005-04-16 15:20:36 -0700315out:
Liam R. Howlett408579c2023-06-29 22:28:16 -0400316 mm->brk = origbrk;
Michel Lespinassed8ed45c2020-06-08 21:33:25 -0700317 mmap_write_unlock(mm);
Adrian Huangb7204002021-02-24 12:04:29 -0800318 return origbrk;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700319}
320
Liam R. Howlettd4af56c2022-09-06 19:48:45 +0000321#if defined(CONFIG_DEBUG_VM_MAPLE_TREE)
Rashika Kheriaeafd4dc2014-04-03 14:48:03 -0700322static void validate_mm(struct mm_struct *mm)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700323{
324 int bug = 0;
325 int i = 0;
Liam R. Howlett763ecb02022-09-06 19:49:06 +0000326 struct vm_area_struct *vma;
Liam R. Howlettb50e1952023-05-18 10:55:26 -0400327 VMA_ITERATOR(vmi, mm, 0);
Andrew Mortonff26f702014-10-09 15:28:19 -0700328
Liam R. Howlettb50e1952023-05-18 10:55:26 -0400329 mt_validate(&mm->mm_mt);
330 for_each_vma(vmi, vma) {
Liam R. Howlett524e00b2022-09-06 19:48:48 +0000331#ifdef CONFIG_DEBUG_VM_RB
Konstantin Khlebnikov12352d32016-02-05 15:36:50 -0800332 struct anon_vma *anon_vma = vma->anon_vma;
Michel Lespinasseed8ea812012-10-08 16:31:45 -0700333 struct anon_vma_chain *avc;
Liam R. Howlettb50e1952023-05-18 10:55:26 -0400334#endif
335 unsigned long vmi_start, vmi_end;
336 bool warn = 0;
Andrew Mortonff26f702014-10-09 15:28:19 -0700337
Liam R. Howlettb50e1952023-05-18 10:55:26 -0400338 vmi_start = vma_iter_addr(&vmi);
339 vmi_end = vma_iter_end(&vmi);
340 if (VM_WARN_ON_ONCE_MM(vma->vm_end != vmi_end, mm))
341 warn = 1;
342
343 if (VM_WARN_ON_ONCE_MM(vma->vm_start != vmi_start, mm))
344 warn = 1;
345
346 if (warn) {
347 pr_emerg("issue in %s\n", current->comm);
348 dump_stack();
349 dump_vma(vma);
350 pr_emerg("tree range: %px start %lx end %lx\n", vma,
351 vmi_start, vmi_end - 1);
352 vma_iter_dump_tree(&vmi);
353 }
354
355#ifdef CONFIG_DEBUG_VM_RB
Konstantin Khlebnikov12352d32016-02-05 15:36:50 -0800356 if (anon_vma) {
357 anon_vma_lock_read(anon_vma);
358 list_for_each_entry(avc, &vma->anon_vma_chain, same_vma)
359 anon_vma_interval_tree_verify(avc);
360 anon_vma_unlock_read(anon_vma);
361 }
Liam R. Howlett524e00b2022-09-06 19:48:48 +0000362#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -0700363 i++;
364 }
Michel Lespinasse5a0768f2012-12-11 16:01:42 -0800365 if (i != mm->map_count) {
Liam R. Howlettb50e1952023-05-18 10:55:26 -0400366 pr_emerg("map_count %d vma iterator %d\n", mm->map_count, i);
Michel Lespinasse5a0768f2012-12-11 16:01:42 -0800367 bug = 1;
368 }
Sasha Levin96dad672014-10-09 15:28:39 -0700369 VM_BUG_ON_MM(bug, mm);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700370}
Liam R. Howlett524e00b2022-09-06 19:48:48 +0000371
372#else /* !CONFIG_DEBUG_VM_MAPLE_TREE */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700373#define validate_mm(mm) do { } while (0)
Liam R. Howlett524e00b2022-09-06 19:48:48 +0000374#endif /* CONFIG_DEBUG_VM_MAPLE_TREE */
Michel Lespinassed3737182012-12-11 16:01:38 -0800375
Michel Lespinassebf181b92012-10-08 16:31:39 -0700376/*
377 * vma has some anon_vma assigned, and is already inserted on that
378 * anon_vma's interval trees.
379 *
380 * Before updating the vma's vm_start / vm_end / vm_pgoff fields, the
381 * vma must be removed from the anon_vma's interval trees using
382 * anon_vma_interval_tree_pre_update_vma().
383 *
384 * After the update, the vma will be reinserted using
385 * anon_vma_interval_tree_post_update_vma().
386 *
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -0700387 * The entire update must be protected by exclusive mmap_lock and by
Michel Lespinassebf181b92012-10-08 16:31:39 -0700388 * the root anon_vma's mutex.
389 */
390static inline void
391anon_vma_interval_tree_pre_update_vma(struct vm_area_struct *vma)
392{
393 struct anon_vma_chain *avc;
394
395 list_for_each_entry(avc, &vma->anon_vma_chain, same_vma)
396 anon_vma_interval_tree_remove(avc, &avc->anon_vma->rb_root);
397}
398
399static inline void
400anon_vma_interval_tree_post_update_vma(struct vm_area_struct *vma)
401{
402 struct anon_vma_chain *avc;
403
404 list_for_each_entry(avc, &vma->anon_vma_chain, same_vma)
405 anon_vma_interval_tree_insert(avc, &avc->anon_vma->rb_root);
406}
407
Cyril Hrubise8420a82013-04-29 15:08:33 -0700408static unsigned long count_vma_pages_range(struct mm_struct *mm,
409 unsigned long addr, unsigned long end)
410{
Matthew Wilcox (Oracle)2e3af1d2022-09-06 19:48:46 +0000411 VMA_ITERATOR(vmi, mm, addr);
Cyril Hrubise8420a82013-04-29 15:08:33 -0700412 struct vm_area_struct *vma;
Matthew Wilcox (Oracle)2e3af1d2022-09-06 19:48:46 +0000413 unsigned long nr_pages = 0;
Cyril Hrubise8420a82013-04-29 15:08:33 -0700414
Matthew Wilcox (Oracle)2e3af1d2022-09-06 19:48:46 +0000415 for_each_vma_range(vmi, vma, end) {
416 unsigned long vm_start = max(addr, vma->vm_start);
417 unsigned long vm_end = min(end, vma->vm_end);
Cyril Hrubise8420a82013-04-29 15:08:33 -0700418
Matthew Wilcox (Oracle)2e3af1d2022-09-06 19:48:46 +0000419 nr_pages += PHYS_PFN(vm_end - vm_start);
Cyril Hrubise8420a82013-04-29 15:08:33 -0700420 }
421
422 return nr_pages;
423}
424
Liam R. Howlettc1541242022-09-06 19:49:06 +0000425static void __vma_link_file(struct vm_area_struct *vma,
426 struct address_space *mapping)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700427{
Lorenzo Stoakese8e17ee2023-10-12 18:04:28 +0100428 if (vma_is_shared_maywrite(vma))
Liam R. Howlettc1541242022-09-06 19:49:06 +0000429 mapping_allow_writable(mapping);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700430
Liam R. Howlettc1541242022-09-06 19:49:06 +0000431 flush_dcache_mmap_lock(mapping);
432 vma_interval_tree_insert(vma, &mapping->i_mmap);
433 flush_dcache_mmap_unlock(mapping);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700434}
435
Yajun Deng30afc8c2024-01-10 16:46:22 +0800436static void vma_link_file(struct vm_area_struct *vma)
437{
438 struct file *file = vma->vm_file;
439 struct address_space *mapping;
440
441 if (file) {
442 mapping = file->f_mapping;
443 i_mmap_lock_write(mapping);
444 __vma_link_file(vma, mapping);
445 i_mmap_unlock_write(mapping);
446 }
447}
448
Liam R. Howlett763ecb02022-09-06 19:49:06 +0000449static int vma_link(struct mm_struct *mm, struct vm_area_struct *vma)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700450{
Liam R. Howlett79e4f2c2023-01-20 11:26:11 -0500451 VMA_ITERATOR(vmi, mm, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700452
Liam R. Howlettb5df0922023-07-24 14:31:52 -0400453 vma_iter_config(&vmi, vma->vm_start, vma->vm_end);
454 if (vma_iter_prealloc(&vmi, vma))
Liam R. Howlettd4af56c2022-09-06 19:48:45 +0000455 return -ENOMEM;
456
Suren Baghdasaryanad9f0062023-08-04 08:27:23 -0700457 vma_start_write(vma);
Yu Ma6852c462023-07-12 10:57:39 -0400458 vma_iter_store(&vmi, vma);
Yajun Deng30afc8c2024-01-10 16:46:22 +0800459 vma_link_file(vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700460 mm->map_count++;
461 validate_mm(mm);
Liam R. Howlettd4af56c2022-09-06 19:48:45 +0000462 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700463}
464
465/*
Liam R. Howlett68cefec2023-01-20 11:26:43 -0500466 * init_multi_vma_prep() - Initializer for struct vma_prepare
467 * @vp: The vma_prepare struct
468 * @vma: The vma that will be altered once locked
469 * @next: The next vma if it is to be adjusted
470 * @remove: The first vma to be removed
471 * @remove2: The second vma to be removed
472 */
473static inline void init_multi_vma_prep(struct vma_prepare *vp,
474 struct vm_area_struct *vma, struct vm_area_struct *next,
475 struct vm_area_struct *remove, struct vm_area_struct *remove2)
476{
477 memset(vp, 0, sizeof(struct vma_prepare));
478 vp->vma = vma;
479 vp->anon_vma = vma->anon_vma;
480 vp->remove = remove;
481 vp->remove2 = remove2;
482 vp->adj_next = next;
483 if (!vp->anon_vma && next)
484 vp->anon_vma = next->anon_vma;
485
486 vp->file = vma->vm_file;
487 if (vp->file)
488 vp->mapping = vma->vm_file->f_mapping;
489
490}
491
492/*
493 * init_vma_prep() - Initializer wrapper for vma_prepare struct
494 * @vp: The vma_prepare struct
495 * @vma: The vma that will be altered once locked
496 */
497static inline void init_vma_prep(struct vma_prepare *vp,
498 struct vm_area_struct *vma)
499{
500 init_multi_vma_prep(vp, vma, NULL, NULL, NULL);
501}
502
503
504/*
Liam R. Howlett440703e2023-01-20 11:26:41 -0500505 * vma_prepare() - Helper function for handling locking VMAs prior to altering
506 * @vp: The initialized vma_prepare struct
507 */
508static inline void vma_prepare(struct vma_prepare *vp)
509{
510 if (vp->file) {
511 uprobe_munmap(vp->vma, vp->vma->vm_start, vp->vma->vm_end);
512
513 if (vp->adj_next)
514 uprobe_munmap(vp->adj_next, vp->adj_next->vm_start,
515 vp->adj_next->vm_end);
516
517 i_mmap_lock_write(vp->mapping);
518 if (vp->insert && vp->insert->vm_file) {
519 /*
520 * Put into interval tree now, so instantiated pages
521 * are visible to arm/parisc __flush_dcache_page
522 * throughout; but we cannot insert into address
523 * space until vma start or end is updated.
524 */
525 __vma_link_file(vp->insert,
526 vp->insert->vm_file->f_mapping);
527 }
528 }
529
530 if (vp->anon_vma) {
531 anon_vma_lock_write(vp->anon_vma);
532 anon_vma_interval_tree_pre_update_vma(vp->vma);
533 if (vp->adj_next)
534 anon_vma_interval_tree_pre_update_vma(vp->adj_next);
535 }
536
537 if (vp->file) {
538 flush_dcache_mmap_lock(vp->mapping);
539 vma_interval_tree_remove(vp->vma, &vp->mapping->i_mmap);
540 if (vp->adj_next)
541 vma_interval_tree_remove(vp->adj_next,
542 &vp->mapping->i_mmap);
543 }
544
545}
546
547/*
548 * vma_complete- Helper function for handling the unlocking after altering VMAs,
549 * or for inserting a VMA.
550 *
551 * @vp: The vma_prepare struct
552 * @vmi: The vma iterator
553 * @mm: The mm_struct
554 */
555static inline void vma_complete(struct vma_prepare *vp,
556 struct vma_iterator *vmi, struct mm_struct *mm)
557{
558 if (vp->file) {
559 if (vp->adj_next)
560 vma_interval_tree_insert(vp->adj_next,
561 &vp->mapping->i_mmap);
562 vma_interval_tree_insert(vp->vma, &vp->mapping->i_mmap);
563 flush_dcache_mmap_unlock(vp->mapping);
564 }
565
566 if (vp->remove && vp->file) {
Yajun Deng30afc8c2024-01-10 16:46:22 +0800567 __remove_shared_vm_struct(vp->remove, vp->mapping);
Liam R. Howlett440703e2023-01-20 11:26:41 -0500568 if (vp->remove2)
Yajun Deng30afc8c2024-01-10 16:46:22 +0800569 __remove_shared_vm_struct(vp->remove2, vp->mapping);
Liam R. Howlett440703e2023-01-20 11:26:41 -0500570 } else if (vp->insert) {
571 /*
572 * split_vma has split insert from vma, and needs
573 * us to insert it before dropping the locks
574 * (it may either follow vma or precede it).
575 */
576 vma_iter_store(vmi, vp->insert);
577 mm->map_count++;
578 }
579
580 if (vp->anon_vma) {
581 anon_vma_interval_tree_post_update_vma(vp->vma);
582 if (vp->adj_next)
583 anon_vma_interval_tree_post_update_vma(vp->adj_next);
584 anon_vma_unlock_write(vp->anon_vma);
585 }
586
587 if (vp->file) {
588 i_mmap_unlock_write(vp->mapping);
589 uprobe_mmap(vp->vma);
590
591 if (vp->adj_next)
592 uprobe_mmap(vp->adj_next);
593 }
594
595 if (vp->remove) {
596again:
Suren Baghdasaryan457f67b2023-02-27 09:36:21 -0800597 vma_mark_detached(vp->remove, true);
Liam R. Howlett440703e2023-01-20 11:26:41 -0500598 if (vp->file) {
599 uprobe_munmap(vp->remove, vp->remove->vm_start,
600 vp->remove->vm_end);
601 fput(vp->file);
602 }
603 if (vp->remove->anon_vma)
604 anon_vma_merge(vp->vma, vp->remove);
605 mm->map_count--;
606 mpol_put(vma_policy(vp->remove));
607 if (!vp->remove2)
608 WARN_ON_ONCE(vp->vma->vm_end < vp->remove->vm_end);
609 vm_area_free(vp->remove);
610
611 /*
612 * In mprotect's case 6 (see comments on vma_merge),
Vlastimil Babka5ff783f2023-03-09 12:12:51 +0100613 * we are removing both mid and next vmas
Liam R. Howlett440703e2023-01-20 11:26:41 -0500614 */
615 if (vp->remove2) {
616 vp->remove = vp->remove2;
617 vp->remove2 = NULL;
618 goto again;
619 }
620 }
621 if (vp->insert && vp->file)
622 uprobe_mmap(vp->insert);
Liam R. Howlett2574d5e2023-07-14 15:55:48 -0400623 validate_mm(mm);
Liam R. Howlett440703e2023-01-20 11:26:41 -0500624}
625
626/*
Liam R. Howlett04241ff2023-01-20 11:26:47 -0500627 * dup_anon_vma() - Helper function to duplicate anon_vma
628 * @dst: The destination VMA
629 * @src: The source VMA
Liam R. Howlett824135c2023-09-29 14:30:40 -0400630 * @dup: Pointer to the destination VMA when successful.
Liam R. Howlett04241ff2023-01-20 11:26:47 -0500631 *
632 * Returns: 0 on success.
633 */
634static inline int dup_anon_vma(struct vm_area_struct *dst,
Liam R. Howlett824135c2023-09-29 14:30:40 -0400635 struct vm_area_struct *src, struct vm_area_struct **dup)
Liam R. Howlett04241ff2023-01-20 11:26:47 -0500636{
637 /*
638 * Easily overlooked: when mprotect shifts the boundary, make sure the
639 * expanding vma has anon_vma set if the shrinking vma had, to cover any
640 * anon pages imported.
641 */
642 if (src->anon_vma && !dst->anon_vma) {
Liam R. Howlett824135c2023-09-29 14:30:40 -0400643 int ret;
644
Suren Baghdasaryanc9d6e982023-08-04 08:27:24 -0700645 vma_assert_write_locked(dst);
Liam R. Howlett04241ff2023-01-20 11:26:47 -0500646 dst->anon_vma = src->anon_vma;
Liam R. Howlett824135c2023-09-29 14:30:40 -0400647 ret = anon_vma_clone(dst, src);
648 if (ret)
649 return ret;
650
651 *dup = dst;
Liam R. Howlett04241ff2023-01-20 11:26:47 -0500652 }
653
654 return 0;
655}
656
657/*
Liam R. Howlett9303d3e2023-01-20 11:26:42 -0500658 * vma_expand - Expand an existing VMA
659 *
660 * @vmi: The vma iterator
661 * @vma: The vma to expand
662 * @start: The start of the vma
663 * @end: The exclusive end of the vma
664 * @pgoff: The page offset of vma
665 * @next: The current of next vma.
666 *
667 * Expand @vma to @start and @end. Can expand off the start and end. Will
668 * expand over @next if it's different from @vma and @end == @next->vm_end.
669 * Checking if the @vma can expand and merge with @next needs to be handled by
670 * the caller.
671 *
672 * Returns: 0 on success
673 */
Liam R. Howlett7c9813e2023-01-20 11:26:45 -0500674int vma_expand(struct vma_iterator *vmi, struct vm_area_struct *vma,
675 unsigned long start, unsigned long end, pgoff_t pgoff,
676 struct vm_area_struct *next)
Liam R. Howlett9303d3e2023-01-20 11:26:42 -0500677{
Liam R. Howlett824135c2023-09-29 14:30:40 -0400678 struct vm_area_struct *anon_dup = NULL;
Liam R. Howlett68cefec2023-01-20 11:26:43 -0500679 bool remove_next = false;
Liam R. Howlett9303d3e2023-01-20 11:26:42 -0500680 struct vma_prepare vp;
681
Suren Baghdasaryanc9d6e982023-08-04 08:27:24 -0700682 vma_start_write(vma);
Liam R. Howlett9303d3e2023-01-20 11:26:42 -0500683 if (next && (vma != next) && (end == next->vm_end)) {
Liam R. Howlett04241ff2023-01-20 11:26:47 -0500684 int ret;
Liam R. Howlett9303d3e2023-01-20 11:26:42 -0500685
Liam R. Howlett04241ff2023-01-20 11:26:47 -0500686 remove_next = true;
Suren Baghdasaryanc9d6e982023-08-04 08:27:24 -0700687 vma_start_write(next);
Liam R. Howlett824135c2023-09-29 14:30:40 -0400688 ret = dup_anon_vma(vma, next, &anon_dup);
Liam R. Howlett04241ff2023-01-20 11:26:47 -0500689 if (ret)
690 return ret;
Liam R. Howlett9303d3e2023-01-20 11:26:42 -0500691 }
692
Liam R. Howlett68cefec2023-01-20 11:26:43 -0500693 init_multi_vma_prep(&vp, vma, NULL, remove_next ? next : NULL, NULL);
Liam R. Howlett9303d3e2023-01-20 11:26:42 -0500694 /* Not merging but overwriting any part of next is not handled. */
695 VM_WARN_ON(next && !vp.remove &&
696 next != vma && end > next->vm_start);
697 /* Only handles expanding */
698 VM_WARN_ON(vma->vm_start < start || vma->vm_end > end);
699
Liam R. Howlettb5df0922023-07-24 14:31:52 -0400700 /* Note: vma iterator must be pointing to 'start' */
701 vma_iter_config(vmi, start, end);
702 if (vma_iter_prealloc(vmi, vma))
Liam R. Howlett9303d3e2023-01-20 11:26:42 -0500703 goto nomem;
704
Suren Baghdasaryanccf1d782023-02-27 09:36:13 -0800705 vma_prepare(&vp);
Liam R. Howlett9303d3e2023-01-20 11:26:42 -0500706 vma_adjust_trans_huge(vma, start, end, 0);
Yajun Deng412c6ef2024-01-24 11:57:19 +0800707 vma_set_range(vma, start, end, pgoff);
Liam R. Howlett9303d3e2023-01-20 11:26:42 -0500708 vma_iter_store(vmi, vma);
709
710 vma_complete(&vp, vmi, vma->vm_mm);
Liam R. Howlett9303d3e2023-01-20 11:26:42 -0500711 return 0;
712
713nomem:
Liam R. Howlett824135c2023-09-29 14:30:40 -0400714 if (anon_dup)
715 unlink_anon_vmas(anon_dup);
Liam R. Howlett9303d3e2023-01-20 11:26:42 -0500716 return -ENOMEM;
717}
Liam R. Howlettcf51e862023-01-20 11:26:46 -0500718
719/*
720 * vma_shrink() - Reduce an existing VMAs memory area
721 * @vmi: The vma iterator
722 * @vma: The VMA to modify
723 * @start: The new start
724 * @end: The new end
725 *
726 * Returns: 0 on success, -ENOMEM otherwise
727 */
728int vma_shrink(struct vma_iterator *vmi, struct vm_area_struct *vma,
729 unsigned long start, unsigned long end, pgoff_t pgoff)
730{
731 struct vma_prepare vp;
732
733 WARN_ON((vma->vm_start != start) && (vma->vm_end != end));
734
Liam R. Howlettb5df0922023-07-24 14:31:52 -0400735 if (vma->vm_start < start)
736 vma_iter_config(vmi, vma->vm_start, start);
737 else
738 vma_iter_config(vmi, end, vma->vm_end);
739
740 if (vma_iter_prealloc(vmi, NULL))
Liam R. Howlettcf51e862023-01-20 11:26:46 -0500741 return -ENOMEM;
742
Suren Baghdasaryanc9d6e982023-08-04 08:27:24 -0700743 vma_start_write(vma);
744
Liam R. Howlettcf51e862023-01-20 11:26:46 -0500745 init_vma_prep(&vp, vma);
Liam R. Howlettcf51e862023-01-20 11:26:46 -0500746 vma_prepare(&vp);
Suren Baghdasaryanccf1d782023-02-27 09:36:13 -0800747 vma_adjust_trans_huge(vma, start, end, 0);
Liam R. Howlettcf51e862023-01-20 11:26:46 -0500748
Liam R. Howlettb5df0922023-07-24 14:31:52 -0400749 vma_iter_clear(vmi);
Yajun Deng412c6ef2024-01-24 11:57:19 +0800750 vma_set_range(vma, start, end, pgoff);
Liam R. Howlettcf51e862023-01-20 11:26:46 -0500751 vma_complete(&vp, vmi, vma->vm_mm);
Liam R. Howlettcf51e862023-01-20 11:26:46 -0500752 return 0;
753}
754
Liam R. Howlett9303d3e2023-01-20 11:26:42 -0500755/*
Linus Torvalds1da177e2005-04-16 15:20:36 -0700756 * If the vma has a ->close operation then the driver probably needs to release
Vlastimil Babka714965c2023-03-09 12:12:57 +0100757 * per-vma resources, so we don't attempt to merge those if the caller indicates
758 * the current vma may be removed as part of the merge.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700759 */
Vlastimil Babka2dbf4012023-03-09 12:12:56 +0100760static inline bool is_mergeable_vma(struct vm_area_struct *vma,
761 struct file *file, unsigned long vm_flags,
762 struct vm_userfaultfd_ctx vm_userfaultfd_ctx,
Vlastimil Babka714965c2023-03-09 12:12:57 +0100763 struct anon_vma_name *anon_name, bool may_remove_vma)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700764{
Cyrill Gorcunov34228d42014-01-23 15:53:42 -0800765 /*
766 * VM_SOFTDIRTY should not prevent from VMA merging, if we
767 * match the flags but dirty bit -- the caller should mark
768 * merged VMA as dirty. If dirty bit won't be excluded from
Wei Yang8bb4e7a2019-03-05 15:46:22 -0800769 * comparison, we increase pressure on the memory system forcing
Cyrill Gorcunov34228d42014-01-23 15:53:42 -0800770 * the kernel to generate new VMAs when old one could be
771 * extended instead.
772 */
773 if ((vma->vm_flags ^ vm_flags) & ~VM_SOFTDIRTY)
Vlastimil Babka2dbf4012023-03-09 12:12:56 +0100774 return false;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700775 if (vma->vm_file != file)
Vlastimil Babka2dbf4012023-03-09 12:12:56 +0100776 return false;
Vlastimil Babka714965c2023-03-09 12:12:57 +0100777 if (may_remove_vma && vma->vm_ops && vma->vm_ops->close)
Vlastimil Babka2dbf4012023-03-09 12:12:56 +0100778 return false;
Andrea Arcangeli19a809a2015-09-04 15:46:24 -0700779 if (!is_mergeable_vm_userfaultfd_ctx(vma, vm_userfaultfd_ctx))
Vlastimil Babka2dbf4012023-03-09 12:12:56 +0100780 return false;
Suren Baghdasaryan5c26f6a2022-03-04 20:28:51 -0800781 if (!anon_vma_name_eq(anon_vma_name(vma), anon_name))
Vlastimil Babka2dbf4012023-03-09 12:12:56 +0100782 return false;
783 return true;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700784}
785
Vlastimil Babka2dbf4012023-03-09 12:12:56 +0100786static inline bool is_mergeable_anon_vma(struct anon_vma *anon_vma1,
787 struct anon_vma *anon_vma2, struct vm_area_struct *vma)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700788{
Shaohua Li965f55d2011-05-24 17:11:20 -0700789 /*
790 * The list_is_singular() test is to avoid merging VMA cloned from
791 * parents. This can improve scalability caused by anon_vma lock.
792 */
793 if ((!anon_vma1 || !anon_vma2) && (!vma ||
794 list_is_singular(&vma->anon_vma_chain)))
Vlastimil Babka2dbf4012023-03-09 12:12:56 +0100795 return true;
Shaohua Li965f55d2011-05-24 17:11:20 -0700796 return anon_vma1 == anon_vma2;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700797}
798
799/*
800 * Return true if we can merge this (vm_flags,anon_vma,file,vm_pgoff)
801 * in front of (at a lower virtual address and file offset than) the vma.
802 *
803 * We cannot merge two vmas if they have differently assigned (non-NULL)
804 * anon_vmas, nor if same anon_vma is assigned but offsets incompatible.
805 *
806 * We don't check here for the merged mmap wrapping around the end of pagecache
Peter Collingbourne45e55302020-08-06 23:23:37 -0700807 * indices (16TB on ia32) because do_mmap() does not permit mmap's which
Linus Torvalds1da177e2005-04-16 15:20:36 -0700808 * wrap, nor mmaps which cover the final page at index -1UL.
Vlastimil Babka714965c2023-03-09 12:12:57 +0100809 *
810 * We assume the vma may be removed as part of the merge.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700811 */
Vlastimil Babka2dbf4012023-03-09 12:12:56 +0100812static bool
Linus Torvalds1da177e2005-04-16 15:20:36 -0700813can_vma_merge_before(struct vm_area_struct *vma, unsigned long vm_flags,
Vlastimil Babka2dbf4012023-03-09 12:12:56 +0100814 struct anon_vma *anon_vma, struct file *file,
815 pgoff_t vm_pgoff, struct vm_userfaultfd_ctx vm_userfaultfd_ctx,
816 struct anon_vma_name *anon_name)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700817{
Vlastimil Babka714965c2023-03-09 12:12:57 +0100818 if (is_mergeable_vma(vma, file, vm_flags, vm_userfaultfd_ctx, anon_name, true) &&
Shaohua Li965f55d2011-05-24 17:11:20 -0700819 is_mergeable_anon_vma(anon_vma, vma->anon_vma, vma)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700820 if (vma->vm_pgoff == vm_pgoff)
Vlastimil Babka2dbf4012023-03-09 12:12:56 +0100821 return true;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700822 }
Vlastimil Babka2dbf4012023-03-09 12:12:56 +0100823 return false;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700824}
825
826/*
827 * Return true if we can merge this (vm_flags,anon_vma,file,vm_pgoff)
828 * beyond (at a higher virtual address and file offset than) the vma.
829 *
830 * We cannot merge two vmas if they have differently assigned (non-NULL)
831 * anon_vmas, nor if same anon_vma is assigned but offsets incompatible.
Vlastimil Babka714965c2023-03-09 12:12:57 +0100832 *
833 * We assume that vma is not removed as part of the merge.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700834 */
Vlastimil Babka2dbf4012023-03-09 12:12:56 +0100835static bool
Linus Torvalds1da177e2005-04-16 15:20:36 -0700836can_vma_merge_after(struct vm_area_struct *vma, unsigned long vm_flags,
Vlastimil Babka2dbf4012023-03-09 12:12:56 +0100837 struct anon_vma *anon_vma, struct file *file,
838 pgoff_t vm_pgoff, struct vm_userfaultfd_ctx vm_userfaultfd_ctx,
839 struct anon_vma_name *anon_name)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700840{
Vlastimil Babka714965c2023-03-09 12:12:57 +0100841 if (is_mergeable_vma(vma, file, vm_flags, vm_userfaultfd_ctx, anon_name, false) &&
Shaohua Li965f55d2011-05-24 17:11:20 -0700842 is_mergeable_anon_vma(anon_vma, vma->anon_vma, vma)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700843 pgoff_t vm_pglen;
Libind6e93212013-07-03 15:01:26 -0700844 vm_pglen = vma_pages(vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700845 if (vma->vm_pgoff + vm_pglen == vm_pgoff)
Vlastimil Babka2dbf4012023-03-09 12:12:56 +0100846 return true;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700847 }
Vlastimil Babka2dbf4012023-03-09 12:12:56 +0100848 return false;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700849}
850
851/*
Colin Cross9a100642022-01-14 14:05:59 -0800852 * Given a mapping request (addr,end,vm_flags,file,pgoff,anon_name),
853 * figure out whether that can be merged with its predecessor or its
854 * successor. Or both (it neatly fills a hole).
Linus Torvalds1da177e2005-04-16 15:20:36 -0700855 *
856 * In most cases - when called for mmap, brk or mremap - [addr,end) is
857 * certain not to be mapped by the time vma_merge is called; but when
858 * called for mprotect, it is certain to be already mapped (either at
859 * an offset within prev, or at the start of next), and the flags of
860 * this area are about to be changed to vm_flags - and the no-change
861 * case has already been eliminated.
862 *
Lorenzo Stoakesfcfccd92023-03-21 20:45:55 +0000863 * The following mprotect cases have to be considered, where **** is
Linus Torvalds1da177e2005-04-16 15:20:36 -0700864 * the area passed down from mprotect_fixup, never extending beyond one
Lorenzo Stoakesfcfccd92023-03-21 20:45:55 +0000865 * vma, PPPP is the previous vma, CCCC is a concurrent vma that starts
866 * at the same address as **** and is of the same or larger span, and
867 * NNNN the next vma after ****:
Linus Torvalds1da177e2005-04-16 15:20:36 -0700868 *
Lorenzo Stoakesfcfccd92023-03-21 20:45:55 +0000869 * **** **** ****
870 * PPPPPPNNNNNN PPPPPPNNNNNN PPPPPPCCCCCC
Wei Yang5d42ab22019-11-30 17:57:39 -0800871 * cannot merge might become might become
Lorenzo Stoakesfcfccd92023-03-21 20:45:55 +0000872 * PPNNNNNNNNNN PPPPPPPPPPCC
Wei Yang5d42ab22019-11-30 17:57:39 -0800873 * mmap, brk or case 4 below case 5 below
874 * mremap move:
Lorenzo Stoakesfcfccd92023-03-21 20:45:55 +0000875 * **** ****
876 * PPPP NNNN PPPPCCCCNNNN
Wei Yang5d42ab22019-11-30 17:57:39 -0800877 * might become might become
878 * PPPPPPPPPPPP 1 or PPPPPPPPPPPP 6 or
Lorenzo Stoakesfcfccd92023-03-21 20:45:55 +0000879 * PPPPPPPPNNNN 2 or PPPPPPPPNNNN 7 or
880 * PPPPNNNNNNNN 3 PPPPNNNNNNNN 8
Linus Torvalds1da177e2005-04-16 15:20:36 -0700881 *
Lorenzo Stoakesfcfccd92023-03-21 20:45:55 +0000882 * It is important for case 8 that the vma CCCC overlapping the
883 * region **** is never going to extended over NNNN. Instead NNNN must
884 * be extended in region **** and CCCC must be removed. This way in
Liam R. Howlett0503ea82023-01-20 11:26:49 -0500885 * all cases where vma_merge succeeds, the moment vma_merge drops the
Andrea Arcangelie86f15e2016-10-07 17:01:28 -0700886 * rmap_locks, the properties of the merged vma will be already
887 * correct for the whole merged range. Some of those properties like
888 * vm_page_prot/vm_flags may be accessed by rmap_walks and they must
889 * be correct for the whole merged range immediately after the
Lorenzo Stoakesfcfccd92023-03-21 20:45:55 +0000890 * rmap_locks are released. Otherwise if NNNN would be removed and
891 * CCCC would be extended over the NNNN range, remove_migration_ptes
Andrea Arcangelie86f15e2016-10-07 17:01:28 -0700892 * or other rmap walkers (if working on addresses beyond the "end"
Lorenzo Stoakesfcfccd92023-03-21 20:45:55 +0000893 * parameter) may establish ptes with the wrong permissions of CCCC
894 * instead of the right permissions of NNNN.
Liam R. Howlett0503ea82023-01-20 11:26:49 -0500895 *
896 * In the code below:
897 * PPPP is represented by *prev
Lorenzo Stoakesfcfccd92023-03-21 20:45:55 +0000898 * CCCC is represented by *curr or not represented at all (NULL)
899 * NNNN is represented by *next or not represented at all (NULL)
900 * **** is not represented - it will be merged and the vma containing the
Vlastimil Babka9e8a39d2023-03-09 12:12:54 +0100901 * area is returned, or the function will return NULL
Linus Torvalds1da177e2005-04-16 15:20:36 -0700902 */
Lorenzo Stoakes93bf5d42023-10-11 18:04:31 +0100903static struct vm_area_struct
Yajun Deng2c8b9472024-02-03 09:46:32 +0800904*vma_merge(struct vma_iterator *vmi, struct vm_area_struct *prev,
905 struct vm_area_struct *src, unsigned long addr, unsigned long end,
906 unsigned long vm_flags, pgoff_t pgoff, struct mempolicy *policy,
Lorenzo Stoakes93bf5d42023-10-11 18:04:31 +0100907 struct vm_userfaultfd_ctx vm_userfaultfd_ctx,
908 struct anon_vma_name *anon_name)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700909{
Yajun Deng2c8b9472024-02-03 09:46:32 +0800910 struct mm_struct *mm = src->vm_mm;
911 struct anon_vma *anon_vma = src->anon_vma;
912 struct file *file = src->vm_file;
Lorenzo Stoakesb0729ae2023-03-22 20:18:59 +0000913 struct vm_area_struct *curr, *next, *res;
Liam R. Howlett0503ea82023-01-20 11:26:49 -0500914 struct vm_area_struct *vma, *adjust, *remove, *remove2;
Liam R. Howlett824135c2023-09-29 14:30:40 -0400915 struct vm_area_struct *anon_dup = NULL;
Lorenzo Stoakes0173db42023-03-22 20:19:00 +0000916 struct vma_prepare vp;
917 pgoff_t vma_pgoff;
918 int err = 0;
Jakub Matěnaeef19942022-06-03 16:57:18 +0200919 bool merge_prev = false;
920 bool merge_next = false;
Liam R. Howlett0503ea82023-01-20 11:26:49 -0500921 bool vma_expanded = false;
Liam R. Howlett0503ea82023-01-20 11:26:49 -0500922 unsigned long vma_start = addr;
Lorenzo Stoakes0173db42023-03-22 20:19:00 +0000923 unsigned long vma_end = end;
924 pgoff_t pglen = (end - addr) >> PAGE_SHIFT;
925 long adj_start = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700926
927 /*
928 * We later require that vma->vm_flags == vm_flags,
929 * so this tests vma->vm_flags & VM_SPECIAL, too.
930 */
931 if (vm_flags & VM_SPECIAL)
932 return NULL;
933
Lorenzo Stoakes00cd00a2023-03-22 20:18:58 +0000934 /* Does the input range span an existing VMA? (cases 5 - 8) */
935 curr = find_vma_intersection(mm, prev ? prev->vm_end : 0, end);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700936
Lorenzo Stoakes00cd00a2023-03-22 20:18:58 +0000937 if (!curr || /* cases 1 - 4 */
938 end == curr->vm_end) /* cases 6 - 8, adjacent VMA */
939 next = vma_lookup(mm, end);
940 else
941 next = NULL; /* case 5 */
Andrea Arcangelie86f15e2016-10-07 17:01:28 -0700942
Liam R. Howlett0503ea82023-01-20 11:26:49 -0500943 if (prev) {
Liam R. Howlett0503ea82023-01-20 11:26:49 -0500944 vma_start = prev->vm_start;
945 vma_pgoff = prev->vm_pgoff;
Lorenzo Stoakes0173db42023-03-22 20:19:00 +0000946
Liam R. Howlett0503ea82023-01-20 11:26:49 -0500947 /* Can we merge the predecessor? */
Lorenzo Stoakes0173db42023-03-22 20:19:00 +0000948 if (addr == prev->vm_end && mpol_equal(vma_policy(prev), policy)
Liam R. Howlett0503ea82023-01-20 11:26:49 -0500949 && can_vma_merge_after(prev, vm_flags, anon_vma, file,
Lorenzo Stoakes0173db42023-03-22 20:19:00 +0000950 pgoff, vm_userfaultfd_ctx, anon_name)) {
Liam R. Howlett0503ea82023-01-20 11:26:49 -0500951 merge_prev = true;
Liam R. Howlett18b098a2023-01-20 11:26:50 -0500952 vma_prev(vmi);
Liam R. Howlett0503ea82023-01-20 11:26:49 -0500953 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700954 }
Lorenzo Stoakesb0729ae2023-03-22 20:18:59 +0000955
Jakub Matěnaeef19942022-06-03 16:57:18 +0200956 /* Can we merge the successor? */
Lorenzo Stoakes00cd00a2023-03-22 20:18:58 +0000957 if (next && mpol_equal(policy, vma_policy(next)) &&
Lorenzo Stoakes0173db42023-03-22 20:19:00 +0000958 can_vma_merge_before(next, vm_flags, anon_vma, file, pgoff+pglen,
Lorenzo Stoakes00cd00a2023-03-22 20:18:58 +0000959 vm_userfaultfd_ctx, anon_name)) {
Jakub Matěnaeef19942022-06-03 16:57:18 +0200960 merge_next = true;
961 }
Liam R. Howlett0503ea82023-01-20 11:26:49 -0500962
Lorenzo Stoakes29417d22023-04-30 21:19:17 +0100963 /* Verify some invariant that must be enforced by the caller. */
964 VM_WARN_ON(prev && addr <= prev->vm_start);
965 VM_WARN_ON(curr && (addr != curr->vm_start || end > curr->vm_end));
966 VM_WARN_ON(addr >= end);
967
Lorenzo Stoakes0173db42023-03-22 20:19:00 +0000968 if (!merge_prev && !merge_next)
969 return NULL; /* Not mergeable. */
970
Suren Baghdasaryanc9d6e982023-08-04 08:27:24 -0700971 if (merge_prev)
972 vma_start_write(prev);
973
Lorenzo Stoakes0173db42023-03-22 20:19:00 +0000974 res = vma = prev;
Liam R. Howlett0503ea82023-01-20 11:26:49 -0500975 remove = remove2 = adjust = NULL;
Lorenzo Stoakes0173db42023-03-22 20:19:00 +0000976
Jakub Matěnaeef19942022-06-03 16:57:18 +0200977 /* Can we merge both the predecessor and the successor? */
978 if (merge_prev && merge_next &&
Liam R. Howlett0503ea82023-01-20 11:26:49 -0500979 is_mergeable_anon_vma(prev->anon_vma, next->anon_vma, NULL)) {
Suren Baghdasaryanc9d6e982023-08-04 08:27:24 -0700980 vma_start_write(next);
Vlastimil Babka5ff783f2023-03-09 12:12:51 +0100981 remove = next; /* case 1 */
Liam R. Howlett0503ea82023-01-20 11:26:49 -0500982 vma_end = next->vm_end;
Liam R. Howlett824135c2023-09-29 14:30:40 -0400983 err = dup_anon_vma(prev, next, &anon_dup);
Lorenzo Stoakesfcfccd92023-03-21 20:45:55 +0000984 if (curr) { /* case 6 */
Suren Baghdasaryanc9d6e982023-08-04 08:27:24 -0700985 vma_start_write(curr);
Lorenzo Stoakesfcfccd92023-03-21 20:45:55 +0000986 remove = curr;
Liam R. Howlett0503ea82023-01-20 11:26:49 -0500987 remove2 = next;
Liam R. Howlett9a12d102023-09-29 14:30:41 -0400988 /*
989 * Note that the dup_anon_vma below cannot overwrite err
990 * since the first caller would do nothing unless next
991 * has an anon_vma.
992 */
Vlastimil Babka5ff783f2023-03-09 12:12:51 +0100993 if (!next->anon_vma)
Liam R. Howlett824135c2023-09-29 14:30:40 -0400994 err = dup_anon_vma(prev, curr, &anon_dup);
Liam R. Howlett0503ea82023-01-20 11:26:49 -0500995 }
Lorenzo Stoakes0173db42023-03-22 20:19:00 +0000996 } else if (merge_prev) { /* case 2 */
Lorenzo Stoakesfcfccd92023-03-21 20:45:55 +0000997 if (curr) {
Suren Baghdasaryanc9d6e982023-08-04 08:27:24 -0700998 vma_start_write(curr);
Lorenzo Stoakesfcfccd92023-03-21 20:45:55 +0000999 if (end == curr->vm_end) { /* case 7 */
Vlastimil Babkafc0c8f92024-02-22 22:59:31 +01001000 /*
1001 * can_vma_merge_after() assumed we would not be
1002 * removing prev vma, so it skipped the check
1003 * for vm_ops->close, but we are removing curr
1004 */
1005 if (curr->vm_ops && curr->vm_ops->close)
1006 err = -EINVAL;
Lorenzo Stoakesfcfccd92023-03-21 20:45:55 +00001007 remove = curr;
Liam R. Howlett0503ea82023-01-20 11:26:49 -05001008 } else { /* case 5 */
Lorenzo Stoakesfcfccd92023-03-21 20:45:55 +00001009 adjust = curr;
1010 adj_start = (end - curr->vm_start);
Liam R. Howlett0503ea82023-01-20 11:26:49 -05001011 }
Vlastimil Babkafc0c8f92024-02-22 22:59:31 +01001012 if (!err)
1013 err = dup_anon_vma(prev, curr, &anon_dup);
Liam R. Howlett0503ea82023-01-20 11:26:49 -05001014 }
Lorenzo Stoakes0173db42023-03-22 20:19:00 +00001015 } else { /* merge_next */
Suren Baghdasaryanc9d6e982023-08-04 08:27:24 -07001016 vma_start_write(next);
Jakub Matěnaeef19942022-06-03 16:57:18 +02001017 res = next;
Liam R. Howlett0503ea82023-01-20 11:26:49 -05001018 if (prev && addr < prev->vm_end) { /* case 4 */
Suren Baghdasaryanc9d6e982023-08-04 08:27:24 -07001019 vma_start_write(prev);
Liam R. Howlett0503ea82023-01-20 11:26:49 -05001020 vma_end = addr;
Vlastimil Babka183b7a62023-03-09 12:12:52 +01001021 adjust = next;
Vlastimil Babka1e764542023-03-09 12:12:55 +01001022 adj_start = -(prev->vm_end - addr);
Liam R. Howlett824135c2023-09-29 14:30:40 -04001023 err = dup_anon_vma(next, prev, &anon_dup);
Liam R. Howlett0503ea82023-01-20 11:26:49 -05001024 } else {
Lorenzo Stoakesb0729ae2023-03-22 20:18:59 +00001025 /*
1026 * Note that cases 3 and 8 are the ONLY ones where prev
1027 * is permitted to be (but is not necessarily) NULL.
1028 */
Liam R. Howlett0503ea82023-01-20 11:26:49 -05001029 vma = next; /* case 3 */
1030 vma_start = addr;
1031 vma_end = next->vm_end;
Vlastimil Babka7e775782023-04-27 16:09:59 +02001032 vma_pgoff = next->vm_pgoff - pglen;
Lorenzo Stoakesfcfccd92023-03-21 20:45:55 +00001033 if (curr) { /* case 8 */
1034 vma_pgoff = curr->vm_pgoff;
Suren Baghdasaryanc9d6e982023-08-04 08:27:24 -07001035 vma_start_write(curr);
Lorenzo Stoakesfcfccd92023-03-21 20:45:55 +00001036 remove = curr;
Liam R. Howlett824135c2023-09-29 14:30:40 -04001037 err = dup_anon_vma(next, curr, &anon_dup);
Liam R. Howlett0503ea82023-01-20 11:26:49 -05001038 }
1039 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001040 }
1041
Lorenzo Stoakes0173db42023-03-22 20:19:00 +00001042 /* Error in anon_vma clone. */
Jakub Matěnaeef19942022-06-03 16:57:18 +02001043 if (err)
Liam R. Howlett14194302023-09-29 14:30:39 -04001044 goto anon_vma_fail;
Liam R. Howlett0503ea82023-01-20 11:26:49 -05001045
Liam R. Howlettb5df0922023-07-24 14:31:52 -04001046 if (vma_start < vma->vm_start || vma_end > vma->vm_end)
1047 vma_expanded = true;
1048
1049 if (vma_expanded) {
1050 vma_iter_config(vmi, vma_start, vma_end);
1051 } else {
1052 vma_iter_config(vmi, adjust->vm_start + adj_start,
1053 adjust->vm_end);
1054 }
1055
1056 if (vma_iter_prealloc(vmi, vma))
Liam R. Howlett14194302023-09-29 14:30:39 -04001057 goto prealloc_fail;
Liam R. Howlett0503ea82023-01-20 11:26:49 -05001058
Liam R. Howlett0503ea82023-01-20 11:26:49 -05001059 init_multi_vma_prep(&vp, vma, adjust, remove, remove2);
1060 VM_WARN_ON(vp.anon_vma && adjust && adjust->anon_vma &&
1061 vp.anon_vma != adjust->anon_vma);
1062
1063 vma_prepare(&vp);
Suren Baghdasaryanccf1d782023-02-27 09:36:13 -08001064 vma_adjust_trans_huge(vma, vma_start, vma_end, adj_start);
Yajun Deng412c6ef2024-01-24 11:57:19 +08001065 vma_set_range(vma, vma_start, vma_end, vma_pgoff);
Liam R. Howlett0503ea82023-01-20 11:26:49 -05001066
1067 if (vma_expanded)
1068 vma_iter_store(vmi, vma);
1069
Vlastimil Babka1e764542023-03-09 12:12:55 +01001070 if (adj_start) {
1071 adjust->vm_start += adj_start;
1072 adjust->vm_pgoff += adj_start >> PAGE_SHIFT;
1073 if (adj_start < 0) {
Liam R. Howlett0503ea82023-01-20 11:26:49 -05001074 WARN_ON(vma_expanded);
1075 vma_iter_store(vmi, next);
1076 }
1077 }
1078
1079 vma_complete(&vp, vmi, mm);
Jakub Matěnaeef19942022-06-03 16:57:18 +02001080 khugepaged_enter_vma(res, vm_flags);
Liam R. Howlett9760ebf2023-01-20 11:26:30 -05001081 return res;
Liam R. Howlett14194302023-09-29 14:30:39 -04001082
1083prealloc_fail:
Liam R. Howlett824135c2023-09-29 14:30:40 -04001084 if (anon_dup)
1085 unlink_anon_vmas(anon_dup);
1086
Liam R. Howlett14194302023-09-29 14:30:39 -04001087anon_vma_fail:
1088 vma_iter_set(vmi, addr);
1089 vma_iter_load(vmi);
1090 return NULL;
Liam R. Howlettf2ebfe42023-01-20 11:26:15 -05001091}
1092
Linus Torvalds1da177e2005-04-16 15:20:36 -07001093/*
Ethon Paulb4f315b2020-06-04 16:49:04 -07001094 * Rough compatibility check to quickly see if it's even worth looking
Linus Torvaldsd0e9fe12010-04-10 10:36:19 -07001095 * at sharing an anon_vma.
1096 *
1097 * They need to have the same vm_file, and the flags can only differ
1098 * in things that mprotect may change.
1099 *
1100 * NOTE! The fact that we share an anon_vma doesn't _have_ to mean that
1101 * we can merge the two vma's. For example, we refuse to merge a vma if
1102 * there is a vm_ops->close() function, because that indicates that the
1103 * driver is doing some kind of reference counting. But that doesn't
1104 * really matter for the anon_vma sharing case.
1105 */
1106static int anon_vma_compatible(struct vm_area_struct *a, struct vm_area_struct *b)
1107{
1108 return a->vm_end == b->vm_start &&
1109 mpol_equal(vma_policy(a), vma_policy(b)) &&
1110 a->vm_file == b->vm_file &&
Anshuman Khandual6cb4d9a2020-04-10 14:33:09 -07001111 !((a->vm_flags ^ b->vm_flags) & ~(VM_ACCESS_FLAGS | VM_SOFTDIRTY)) &&
Linus Torvaldsd0e9fe12010-04-10 10:36:19 -07001112 b->vm_pgoff == a->vm_pgoff + ((b->vm_start - a->vm_start) >> PAGE_SHIFT);
1113}
1114
1115/*
1116 * Do some basic sanity checking to see if we can re-use the anon_vma
1117 * from 'old'. The 'a'/'b' vma's are in VM order - one of them will be
1118 * the same as 'old', the other will be the new one that is trying
1119 * to share the anon_vma.
1120 *
Florian Rommel5b449482022-05-09 18:20:53 -07001121 * NOTE! This runs with mmap_lock held for reading, so it is possible that
Linus Torvaldsd0e9fe12010-04-10 10:36:19 -07001122 * the anon_vma of 'old' is concurrently in the process of being set up
1123 * by another page fault trying to merge _that_. But that's ok: if it
1124 * is being set up, that automatically means that it will be a singleton
1125 * acceptable for merging, so we can do all of this optimistically. But
Jason Low4db0c3c2015-04-15 16:14:08 -07001126 * we do that READ_ONCE() to make sure that we never re-load the pointer.
Linus Torvaldsd0e9fe12010-04-10 10:36:19 -07001127 *
1128 * IOW: that the "list_is_singular()" test on the anon_vma_chain only
1129 * matters for the 'stable anon_vma' case (ie the thing we want to avoid
1130 * is to return an anon_vma that is "complex" due to having gone through
1131 * a fork).
1132 *
1133 * We also make sure that the two vma's are compatible (adjacent,
1134 * and with the same memory policies). That's all stable, even with just
Florian Rommel5b449482022-05-09 18:20:53 -07001135 * a read lock on the mmap_lock.
Linus Torvaldsd0e9fe12010-04-10 10:36:19 -07001136 */
1137static struct anon_vma *reusable_anon_vma(struct vm_area_struct *old, struct vm_area_struct *a, struct vm_area_struct *b)
1138{
1139 if (anon_vma_compatible(a, b)) {
Jason Low4db0c3c2015-04-15 16:14:08 -07001140 struct anon_vma *anon_vma = READ_ONCE(old->anon_vma);
Linus Torvaldsd0e9fe12010-04-10 10:36:19 -07001141
1142 if (anon_vma && list_is_singular(&old->anon_vma_chain))
1143 return anon_vma;
1144 }
1145 return NULL;
1146}
1147
1148/*
Linus Torvalds1da177e2005-04-16 15:20:36 -07001149 * find_mergeable_anon_vma is used by anon_vma_prepare, to check
1150 * neighbouring vmas for a suitable anon_vma, before it goes off
1151 * to allocate a new anon_vma. It checks because a repetitive
1152 * sequence of mprotects and faults may otherwise lead to distinct
1153 * anon_vmas being allocated, preventing vma merge in subsequent
1154 * mprotect.
1155 */
1156struct anon_vma *find_mergeable_anon_vma(struct vm_area_struct *vma)
1157{
Miaohe Lina67c8ca2020-01-30 22:14:51 -08001158 struct anon_vma *anon_vma = NULL;
Liam R. Howlett763ecb02022-09-06 19:49:06 +00001159 struct vm_area_struct *prev, *next;
Yajun Dengd4e6b392024-03-25 14:32:58 +08001160 VMA_ITERATOR(vmi, vma->vm_mm, vma->vm_end);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001161
Miaohe Lina67c8ca2020-01-30 22:14:51 -08001162 /* Try next first. */
Yajun Dengd4e6b392024-03-25 14:32:58 +08001163 next = vma_iter_load(&vmi);
Liam R. Howlett763ecb02022-09-06 19:49:06 +00001164 if (next) {
1165 anon_vma = reusable_anon_vma(next, vma, next);
Miaohe Lina67c8ca2020-01-30 22:14:51 -08001166 if (anon_vma)
1167 return anon_vma;
1168 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001169
Yajun Dengd4e6b392024-03-25 14:32:58 +08001170 prev = vma_prev(&vmi);
Liam R. Howlett763ecb02022-09-06 19:49:06 +00001171 VM_BUG_ON_VMA(prev != vma, vma);
Yajun Dengd4e6b392024-03-25 14:32:58 +08001172 prev = vma_prev(&vmi);
Miaohe Lina67c8ca2020-01-30 22:14:51 -08001173 /* Try prev next. */
Liam R. Howlett763ecb02022-09-06 19:49:06 +00001174 if (prev)
1175 anon_vma = reusable_anon_vma(prev, prev, vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001176
Linus Torvalds1da177e2005-04-16 15:20:36 -07001177 /*
Miaohe Lina67c8ca2020-01-30 22:14:51 -08001178 * We might reach here with anon_vma == NULL if we can't find
1179 * any reusable anon_vma.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001180 * There's no absolute need to look only at touching neighbours:
1181 * we could search further afield for "compatible" anon_vmas.
1182 * But it would probably just be a waste of time searching,
1183 * or lead to too many vmas hanging off the same anon_vma.
1184 * We're trying to allow mprotect remerging later on,
1185 * not trying to minimize memory used for anon_vmas.
1186 */
Miaohe Lina67c8ca2020-01-30 22:14:51 -08001187 return anon_vma;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001188}
1189
Linus Torvalds1da177e2005-04-16 15:20:36 -07001190/*
Al Viro40401532012-02-13 03:58:52 +00001191 * If a hint addr is less than mmap_min_addr change hint to be as
1192 * low as possible but still greater than mmap_min_addr
1193 */
1194static inline unsigned long round_hint_to_min(unsigned long hint)
1195{
1196 hint &= PAGE_MASK;
1197 if (((void *)hint != NULL) &&
1198 (hint < mmap_min_addr))
1199 return PAGE_ALIGN(mmap_min_addr);
1200 return hint;
1201}
1202
Andrew Mortonb0cc5e82023-05-22 13:52:10 -07001203bool mlock_future_ok(struct mm_struct *mm, unsigned long flags,
Lorenzo Stoakes3c54a292023-05-22 09:24:12 +01001204 unsigned long bytes)
Davidlohr Bueso363ee172014-01-21 15:49:15 -08001205{
Lorenzo Stoakes3c54a292023-05-22 09:24:12 +01001206 unsigned long locked_pages, limit_pages;
Davidlohr Bueso363ee172014-01-21 15:49:15 -08001207
Lorenzo Stoakes3c54a292023-05-22 09:24:12 +01001208 if (!(flags & VM_LOCKED) || capable(CAP_IPC_LOCK))
1209 return true;
1210
1211 locked_pages = bytes >> PAGE_SHIFT;
1212 locked_pages += mm->locked_vm;
1213
1214 limit_pages = rlimit(RLIMIT_MEMLOCK);
1215 limit_pages >>= PAGE_SHIFT;
1216
1217 return locked_pages <= limit_pages;
Davidlohr Bueso363ee172014-01-21 15:49:15 -08001218}
1219
Linus Torvaldsbe83bbf2018-05-11 09:52:01 -07001220static inline u64 file_mmap_size_max(struct file *file, struct inode *inode)
1221{
1222 if (S_ISREG(inode->i_mode))
Linus Torvalds423913a2018-05-19 09:29:11 -07001223 return MAX_LFS_FILESIZE;
Linus Torvaldsbe83bbf2018-05-11 09:52:01 -07001224
1225 if (S_ISBLK(inode->i_mode))
1226 return MAX_LFS_FILESIZE;
1227
Ivan Khoronzhuk76f34952019-09-23 15:39:28 -07001228 if (S_ISSOCK(inode->i_mode))
1229 return MAX_LFS_FILESIZE;
1230
Linus Torvaldsbe83bbf2018-05-11 09:52:01 -07001231 /* Special "we do even unsigned file positions" case */
1232 if (file->f_mode & FMODE_UNSIGNED_OFFSET)
1233 return 0;
1234
1235 /* Yes, random drivers might want more. But I'm tired of buggy drivers */
1236 return ULONG_MAX;
1237}
1238
1239static inline bool file_mmap_ok(struct file *file, struct inode *inode,
1240 unsigned long pgoff, unsigned long len)
1241{
1242 u64 maxsize = file_mmap_size_max(file, inode);
1243
1244 if (maxsize && len > maxsize)
1245 return false;
1246 maxsize -= len;
1247 if (pgoff > maxsize >> PAGE_SHIFT)
1248 return false;
1249 return true;
1250}
1251
Al Viro40401532012-02-13 03:58:52 +00001252/*
Michel Lespinasse3e4e28c2020-06-08 21:33:51 -07001253 * The caller must write-lock current->mm->mmap_lock.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001254 */
Oleg Nesterov1fcfd8d2015-09-09 15:39:29 -07001255unsigned long do_mmap(struct file *file, unsigned long addr,
Linus Torvalds1da177e2005-04-16 15:20:36 -07001256 unsigned long len, unsigned long prot,
Yu-cheng Yu592b5fa2023-06-12 17:10:30 -07001257 unsigned long flags, vm_flags_t vm_flags,
1258 unsigned long pgoff, unsigned long *populate,
1259 struct list_head *uf)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001260{
vishnu.pscc71aba2014-10-09 15:26:29 -07001261 struct mm_struct *mm = current->mm;
Dave Hansen62b5f7d2016-02-12 13:02:40 -08001262 int pkey = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001263
Michel Lespinasse41badc12013-02-22 16:32:47 -08001264 *populate = 0;
Michel Lespinassebebeb3d2013-02-22 16:32:37 -08001265
Piotr Kwapulinskie37609b2015-06-24 16:58:39 -07001266 if (!len)
1267 return -EINVAL;
1268
Linus Torvalds1da177e2005-04-16 15:20:36 -07001269 /*
1270 * Does the application expect PROT_READ to imply PROT_EXEC?
1271 *
1272 * (the exception is when the underlying filesystem is noexec
Muhammad Muzammilbe16dd762023-10-23 17:44:05 +05001273 * mounted, in which case we don't add PROT_EXEC.)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001274 */
1275 if ((prot & PROT_READ) && (current->personality & READ_IMPLIES_EXEC))
Eric W. Biederman90f85722015-06-29 14:42:03 -05001276 if (!(file && path_noexec(&file->f_path)))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001277 prot |= PROT_EXEC;
1278
Michal Hockoa4ff8e82018-04-10 16:35:57 -07001279 /* force arch specific MAP_FIXED handling in get_unmapped_area */
1280 if (flags & MAP_FIXED_NOREPLACE)
1281 flags |= MAP_FIXED;
1282
Eric Paris7cd94142007-11-26 18:47:40 -05001283 if (!(flags & MAP_FIXED))
1284 addr = round_hint_to_min(addr);
1285
Linus Torvalds1da177e2005-04-16 15:20:36 -07001286 /* Careful about overflows.. */
1287 len = PAGE_ALIGN(len);
Al Viro9206de92009-12-03 15:23:11 -05001288 if (!len)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001289 return -ENOMEM;
1290
1291 /* offset overflow? */
1292 if ((pgoff + (len >> PAGE_SHIFT)) < pgoff)
vishnu.pscc71aba2014-10-09 15:26:29 -07001293 return -EOVERFLOW;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001294
1295 /* Too many mappings? */
1296 if (mm->map_count > sysctl_max_map_count)
1297 return -ENOMEM;
1298
Jeff Xu8be72582024-04-15 16:35:21 +00001299 /*
1300 * addr is returned from get_unmapped_area,
1301 * There are two cases:
1302 * 1> MAP_FIXED == false
1303 * unallocated memory, no need to check sealing.
1304 * 1> MAP_FIXED == true
1305 * sealing is checked inside mmap_region when
1306 * do_vmi_munmap is called.
1307 */
1308
Dave Hansen62b5f7d2016-02-12 13:02:40 -08001309 if (prot == PROT_EXEC) {
1310 pkey = execute_only_pkey(mm);
1311 if (pkey < 0)
1312 pkey = 0;
1313 }
1314
Linus Torvalds1da177e2005-04-16 15:20:36 -07001315 /* Do simple checking here so the lower-level routines won't have
1316 * to. we assume access permissions have been handled by the open
1317 * of the memory object, so we don't do any here.
1318 */
Yu-cheng Yu592b5fa2023-06-12 17:10:30 -07001319 vm_flags |= calc_vm_prot_bits(prot, pkey) | calc_vm_flag_bits(flags) |
Linus Torvalds1da177e2005-04-16 15:20:36 -07001320 mm->def_flags | VM_MAYREAD | VM_MAYWRITE | VM_MAYEXEC;
1321
Rick Edgecombe8a0fe562024-03-25 19:16:47 -07001322 /* Obtain the address to map to. we verify (or select) it and ensure
1323 * that it represents a valid section of the address space.
1324 */
1325 addr = __get_unmapped_area(file, addr, len, pgoff, flags, vm_flags);
1326 if (IS_ERR_VALUE(addr))
1327 return addr;
1328
1329 if (flags & MAP_FIXED_NOREPLACE) {
1330 if (find_vma_intersection(mm, addr, addr + len))
1331 return -EEXIST;
1332 }
1333
Huang Shijiecdf7b342009-09-21 17:03:36 -07001334 if (flags & MAP_LOCKED)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001335 if (!can_do_mlock())
1336 return -EPERM;
Rik van Rielba470de2008-10-18 20:26:50 -07001337
Andrew Mortonb0cc5e82023-05-22 13:52:10 -07001338 if (!mlock_future_ok(mm, vm_flags, len))
Davidlohr Bueso363ee172014-01-21 15:49:15 -08001339 return -EAGAIN;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001340
Linus Torvalds1da177e2005-04-16 15:20:36 -07001341 if (file) {
Oleg Nesterov077bf222013-09-11 14:20:19 -07001342 struct inode *inode = file_inode(file);
Dan Williams1c972592017-11-01 16:36:30 +01001343 unsigned long flags_mask;
1344
Linus Torvaldsbe83bbf2018-05-11 09:52:01 -07001345 if (!file_mmap_ok(file, inode, pgoff, len))
1346 return -EOVERFLOW;
1347
Christian Brauner210a03c2024-03-28 13:27:24 +01001348 flags_mask = LEGACY_MAP_MASK;
1349 if (file->f_op->fop_flags & FOP_MMAP_SYNC)
1350 flags_mask |= MAP_SYNC;
Oleg Nesterov077bf222013-09-11 14:20:19 -07001351
Linus Torvalds1da177e2005-04-16 15:20:36 -07001352 switch (flags & MAP_TYPE) {
1353 case MAP_SHARED:
Dan Williams1c972592017-11-01 16:36:30 +01001354 /*
1355 * Force use of MAP_SHARED_VALIDATE with non-legacy
1356 * flags. E.g. MAP_SYNC is dangerous to use with
1357 * MAP_SHARED as you don't know which consistency model
1358 * you will get. We silently ignore unsupported flags
1359 * with MAP_SHARED to preserve backward compatibility.
1360 */
1361 flags &= LEGACY_MAP_MASK;
Joe Perchese4a9bc52020-04-06 20:08:39 -07001362 fallthrough;
Dan Williams1c972592017-11-01 16:36:30 +01001363 case MAP_SHARED_VALIDATE:
1364 if (flags & ~flags_mask)
1365 return -EOPNOTSUPP;
Darrick J. Wongdc617f22019-08-20 07:55:16 -07001366 if (prot & PROT_WRITE) {
1367 if (!(file->f_mode & FMODE_WRITE))
1368 return -EACCES;
1369 if (IS_SWAPFILE(file->f_mapping->host))
1370 return -ETXTBSY;
1371 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001372
1373 /*
1374 * Make sure we don't allow writing to an append-only
1375 * file..
1376 */
1377 if (IS_APPEND(inode) && (file->f_mode & FMODE_WRITE))
1378 return -EACCES;
1379
Linus Torvalds1da177e2005-04-16 15:20:36 -07001380 vm_flags |= VM_SHARED | VM_MAYSHARE;
1381 if (!(file->f_mode & FMODE_WRITE))
1382 vm_flags &= ~(VM_MAYWRITE | VM_SHARED);
Joe Perchese4a9bc52020-04-06 20:08:39 -07001383 fallthrough;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001384 case MAP_PRIVATE:
1385 if (!(file->f_mode & FMODE_READ))
1386 return -EACCES;
Eric W. Biederman90f85722015-06-29 14:42:03 -05001387 if (path_noexec(&file->f_path)) {
Linus Torvalds80c56062006-10-15 14:09:55 -07001388 if (vm_flags & VM_EXEC)
1389 return -EPERM;
1390 vm_flags &= ~VM_MAYEXEC;
1391 }
Linus Torvalds80c56062006-10-15 14:09:55 -07001392
Al Viro72c2d532013-09-22 16:27:52 -04001393 if (!file->f_op->mmap)
Linus Torvalds80c56062006-10-15 14:09:55 -07001394 return -ENODEV;
Oleg Nesterovb2c56e42013-09-11 14:20:18 -07001395 if (vm_flags & (VM_GROWSDOWN|VM_GROWSUP))
1396 return -EINVAL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001397 break;
1398
1399 default:
1400 return -EINVAL;
1401 }
1402 } else {
1403 switch (flags & MAP_TYPE) {
1404 case MAP_SHARED:
Oleg Nesterovb2c56e42013-09-11 14:20:18 -07001405 if (vm_flags & (VM_GROWSDOWN|VM_GROWSUP))
1406 return -EINVAL;
Tejun Heoce363942008-09-03 16:09:47 +02001407 /*
1408 * Ignore pgoff.
1409 */
1410 pgoff = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001411 vm_flags |= VM_SHARED | VM_MAYSHARE;
1412 break;
Jason A. Donenfeld9651fce2022-12-08 17:55:04 +01001413 case MAP_DROPPABLE:
1414 if (VM_DROPPABLE == VM_NONE)
1415 return -ENOTSUPP;
1416 /*
1417 * A locked or stack area makes no sense to be droppable.
1418 *
1419 * Also, since droppable pages can just go away at any time
1420 * it makes no sense to copy them on fork or dump them.
1421 *
1422 * And don't attempt to combine with hugetlb for now.
1423 */
1424 if (flags & (MAP_LOCKED | MAP_HUGETLB))
1425 return -EINVAL;
1426 if (vm_flags & (VM_GROWSDOWN | VM_GROWSUP))
1427 return -EINVAL;
1428
1429 vm_flags |= VM_DROPPABLE;
1430
1431 /*
1432 * If the pages can be dropped, then it doesn't make
1433 * sense to reserve them.
1434 */
1435 vm_flags |= VM_NORESERVE;
1436
1437 /*
1438 * Likewise, they're volatile enough that they
1439 * shouldn't survive forks or coredumps.
1440 */
1441 vm_flags |= VM_WIPEONFORK | VM_DONTDUMP;
1442 fallthrough;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001443 case MAP_PRIVATE:
1444 /*
1445 * Set pgoff according to addr for anon_vma.
1446 */
1447 pgoff = addr >> PAGE_SHIFT;
1448 break;
1449 default:
1450 return -EINVAL;
1451 }
1452 }
1453
Michel Lespinassec22c0d62013-02-22 16:32:43 -08001454 /*
1455 * Set 'VM_NORESERVE' if we should not account for the
1456 * memory use of this mapping.
1457 */
1458 if (flags & MAP_NORESERVE) {
1459 /* We honor MAP_NORESERVE if allowed to overcommit */
1460 if (sysctl_overcommit_memory != OVERCOMMIT_NEVER)
1461 vm_flags |= VM_NORESERVE;
1462
1463 /* hugetlb applies strict overcommit unless MAP_NORESERVE */
1464 if (file && is_file_hugepages(file))
1465 vm_flags |= VM_NORESERVE;
1466 }
1467
Mike Rapoport897ab3e2017-02-24 14:58:22 -08001468 addr = mmap_region(file, addr, len, vm_flags, pgoff, uf);
Michel Lespinasse09a9f1d2013-03-28 16:26:23 -07001469 if (!IS_ERR_VALUE(addr) &&
1470 ((vm_flags & VM_LOCKED) ||
1471 (flags & (MAP_POPULATE | MAP_NONBLOCK)) == MAP_POPULATE))
Michel Lespinasse41badc12013-02-22 16:32:47 -08001472 *populate = len;
Michel Lespinassebebeb3d2013-02-22 16:32:37 -08001473 return addr;
Miklos Szeredi0165ab42007-07-15 23:38:26 -07001474}
Linus Torvalds6be5ceb2012-04-20 17:13:58 -07001475
Dominik Brodowskia90f5902018-03-11 11:34:46 +01001476unsigned long ksys_mmap_pgoff(unsigned long addr, unsigned long len,
1477 unsigned long prot, unsigned long flags,
1478 unsigned long fd, unsigned long pgoff)
Hugh Dickins66f0dc42009-12-30 20:17:34 +00001479{
1480 struct file *file = NULL;
Chen Gang1e3ee142015-11-05 18:48:35 -08001481 unsigned long retval;
Hugh Dickins66f0dc42009-12-30 20:17:34 +00001482
1483 if (!(flags & MAP_ANONYMOUS)) {
Al Viro120a7952010-10-30 02:54:44 -04001484 audit_mmap_fd(fd, flags);
Hugh Dickins66f0dc42009-12-30 20:17:34 +00001485 file = fget(fd);
1486 if (!file)
Chen Gang1e3ee142015-11-05 18:48:35 -08001487 return -EBADF;
Zhen Lei7bba8f02020-08-06 23:22:59 -07001488 if (is_file_hugepages(file)) {
Naoya Horiguchiaf73e4d2013-05-07 16:18:13 -07001489 len = ALIGN(len, huge_page_size(hstate_file(file)));
Zhen Lei7bba8f02020-08-06 23:22:59 -07001490 } else if (unlikely(flags & MAP_HUGETLB)) {
1491 retval = -EINVAL;
Jörn Engel493af572013-07-08 16:00:26 -07001492 goto out_fput;
Zhen Lei7bba8f02020-08-06 23:22:59 -07001493 }
Hugh Dickins66f0dc42009-12-30 20:17:34 +00001494 } else if (flags & MAP_HUGETLB) {
Andrew Mortonc103a4d2013-07-08 16:01:08 -07001495 struct hstate *hs;
Naoya Horiguchiaf73e4d2013-05-07 16:18:13 -07001496
Anshuman Khandual20ac2892017-05-03 14:55:00 -07001497 hs = hstate_sizelog((flags >> MAP_HUGE_SHIFT) & MAP_HUGE_MASK);
Li Zefan091d0d52013-05-09 15:08:15 +08001498 if (!hs)
1499 return -EINVAL;
1500
1501 len = ALIGN(len, huge_page_size(hs));
Hugh Dickins66f0dc42009-12-30 20:17:34 +00001502 /*
1503 * VM_NORESERVE is used because the reservations will be
1504 * taken when vm_ops->mmap() is called
Hugh Dickins66f0dc42009-12-30 20:17:34 +00001505 */
Naoya Horiguchiaf73e4d2013-05-07 16:18:13 -07001506 file = hugetlb_file_setup(HUGETLB_ANON_FILE, len,
Andi Kleen42d73952012-12-11 16:01:34 -08001507 VM_NORESERVE,
zhangyiru83c1fd72021-11-08 18:31:27 -08001508 HUGETLB_ANONHUGE_INODE,
Andi Kleen42d73952012-12-11 16:01:34 -08001509 (flags >> MAP_HUGE_SHIFT) & MAP_HUGE_MASK);
Hugh Dickins66f0dc42009-12-30 20:17:34 +00001510 if (IS_ERR(file))
1511 return PTR_ERR(file);
1512 }
1513
Michal Hocko9fbeb5a2016-05-23 16:25:30 -07001514 retval = vm_mmap_pgoff(file, addr, len, prot, flags, pgoff);
Jörn Engel493af572013-07-08 16:00:26 -07001515out_fput:
Hugh Dickins66f0dc42009-12-30 20:17:34 +00001516 if (file)
1517 fput(file);
Hugh Dickins66f0dc42009-12-30 20:17:34 +00001518 return retval;
1519}
1520
Dominik Brodowskia90f5902018-03-11 11:34:46 +01001521SYSCALL_DEFINE6(mmap_pgoff, unsigned long, addr, unsigned long, len,
1522 unsigned long, prot, unsigned long, flags,
1523 unsigned long, fd, unsigned long, pgoff)
1524{
1525 return ksys_mmap_pgoff(addr, len, prot, flags, fd, pgoff);
1526}
1527
Christoph Hellwiga4679372010-03-10 15:21:15 -08001528#ifdef __ARCH_WANT_SYS_OLD_MMAP
1529struct mmap_arg_struct {
1530 unsigned long addr;
1531 unsigned long len;
1532 unsigned long prot;
1533 unsigned long flags;
1534 unsigned long fd;
1535 unsigned long offset;
1536};
1537
1538SYSCALL_DEFINE1(old_mmap, struct mmap_arg_struct __user *, arg)
1539{
1540 struct mmap_arg_struct a;
1541
1542 if (copy_from_user(&a, arg, sizeof(a)))
1543 return -EFAULT;
Alexander Kuleshovde1741a2015-11-05 18:46:54 -08001544 if (offset_in_page(a.offset))
Christoph Hellwiga4679372010-03-10 15:21:15 -08001545 return -EINVAL;
1546
Dominik Brodowskia90f5902018-03-11 11:34:46 +01001547 return ksys_mmap_pgoff(a.addr, a.len, a.prot, a.flags, a.fd,
1548 a.offset >> PAGE_SHIFT);
Christoph Hellwiga4679372010-03-10 15:21:15 -08001549}
1550#endif /* __ARCH_WANT_SYS_OLD_MMAP */
1551
Lorenzo Stoakes54cbbbf2023-05-04 22:27:51 +01001552static bool vm_ops_needs_writenotify(const struct vm_operations_struct *vm_ops)
1553{
1554 return vm_ops && (vm_ops->page_mkwrite || vm_ops->pfn_mkwrite);
1555}
1556
1557static bool vma_is_shared_writable(struct vm_area_struct *vma)
1558{
1559 return (vma->vm_flags & (VM_WRITE | VM_SHARED)) ==
1560 (VM_WRITE | VM_SHARED);
1561}
1562
1563static bool vma_fs_can_writeback(struct vm_area_struct *vma)
1564{
1565 /* No managed pages to writeback. */
1566 if (vma->vm_flags & VM_PFNMAP)
1567 return false;
1568
1569 return vma->vm_file && vma->vm_file->f_mapping &&
1570 mapping_can_writeback(vma->vm_file->f_mapping);
1571}
1572
1573/*
1574 * Does this VMA require the underlying folios to have their dirty state
1575 * tracked?
1576 */
1577bool vma_needs_dirty_tracking(struct vm_area_struct *vma)
1578{
1579 /* Only shared, writable VMAs require dirty tracking. */
1580 if (!vma_is_shared_writable(vma))
1581 return false;
1582
1583 /* Does the filesystem need to be notified? */
1584 if (vm_ops_needs_writenotify(vma->vm_ops))
1585 return true;
1586
1587 /*
1588 * Even if the filesystem doesn't indicate a need for writenotify, if it
1589 * can writeback, dirty tracking is still required.
1590 */
1591 return vma_fs_can_writeback(vma);
1592}
1593
Alexey Dobriyan4e950f62007-07-30 02:36:13 +04001594/*
Wei Yang8bb4e7a2019-03-05 15:46:22 -08001595 * Some shared mappings will want the pages marked read-only
Alexey Dobriyan4e950f62007-07-30 02:36:13 +04001596 * to track write events. If so, we'll downgrade vm_page_prot
1597 * to the private version (using protection_map[] without the
1598 * VM_SHARED bit).
1599 */
Hao Ge38bc9c22024-04-07 14:26:53 +08001600bool vma_wants_writenotify(struct vm_area_struct *vma, pgprot_t vm_page_prot)
Alexey Dobriyan4e950f62007-07-30 02:36:13 +04001601{
Alexey Dobriyan4e950f62007-07-30 02:36:13 +04001602 /* If it was private or non-writable, the write bit is already clear */
Lorenzo Stoakes54cbbbf2023-05-04 22:27:51 +01001603 if (!vma_is_shared_writable(vma))
Hao Ge38bc9c22024-04-07 14:26:53 +08001604 return false;
Alexey Dobriyan4e950f62007-07-30 02:36:13 +04001605
1606 /* The backer wishes to know when pages are first written to? */
Lorenzo Stoakes54cbbbf2023-05-04 22:27:51 +01001607 if (vm_ops_needs_writenotify(vma->vm_ops))
Hao Ge38bc9c22024-04-07 14:26:53 +08001608 return true;
Alexey Dobriyan4e950f62007-07-30 02:36:13 +04001609
Peter Feiner64e455072014-10-13 15:55:46 -07001610 /* The open routine did something to the protections that pgprot_modify
1611 * won't preserve? */
Andrea Arcangeli6d2329f2016-10-07 17:01:22 -07001612 if (pgprot_val(vm_page_prot) !=
Lorenzo Stoakes54cbbbf2023-05-04 22:27:51 +01001613 pgprot_val(vm_pgprot_modify(vm_page_prot, vma->vm_flags)))
Hao Ge38bc9c22024-04-07 14:26:53 +08001614 return false;
Alexey Dobriyan4e950f62007-07-30 02:36:13 +04001615
David Hildenbrandf96f7a42022-08-11 12:34:34 +02001616 /*
1617 * Do we need to track softdirty? hugetlb does not support softdirty
1618 * tracking yet.
1619 */
1620 if (vma_soft_dirty_enabled(vma) && !is_vm_hugetlb_page(vma))
Hao Ge38bc9c22024-04-07 14:26:53 +08001621 return true;
Peter Feiner64e455072014-10-13 15:55:46 -07001622
David Hildenbrand51d3d5e2022-12-09 09:09:12 +01001623 /* Do we need write faults for uffd-wp tracking? */
1624 if (userfaultfd_wp(vma))
Hao Ge38bc9c22024-04-07 14:26:53 +08001625 return true;
David Hildenbrand51d3d5e2022-12-09 09:09:12 +01001626
Alexey Dobriyan4e950f62007-07-30 02:36:13 +04001627 /* Can the mapping track the dirty pages? */
Lorenzo Stoakes54cbbbf2023-05-04 22:27:51 +01001628 return vma_fs_can_writeback(vma);
Alexey Dobriyan4e950f62007-07-30 02:36:13 +04001629}
1630
Linus Torvaldsfc8744a2009-01-31 15:08:56 -08001631/*
1632 * We account for memory if it's a private writeable mapping,
Mel Gorman5a6fe122009-02-10 14:02:27 +00001633 * not hugepages and VM_NORESERVE wasn't set.
Linus Torvaldsfc8744a2009-01-31 15:08:56 -08001634 */
Hao Ge2bd9e6e2024-04-07 14:38:43 +08001635static inline bool accountable_mapping(struct file *file, vm_flags_t vm_flags)
Linus Torvaldsfc8744a2009-01-31 15:08:56 -08001636{
Mel Gorman5a6fe122009-02-10 14:02:27 +00001637 /*
1638 * hugetlb has its own accounting separate from the core VM
1639 * VM_HUGETLB may not be set yet so we cannot check for that flag.
1640 */
1641 if (file && is_file_hugepages(file))
Hao Ge2bd9e6e2024-04-07 14:38:43 +08001642 return false;
Mel Gorman5a6fe122009-02-10 14:02:27 +00001643
Linus Torvaldsfc8744a2009-01-31 15:08:56 -08001644 return (vm_flags & (VM_NORESERVE | VM_SHARED | VM_WRITE)) == VM_WRITE;
1645}
1646
Liam R. Howlett3499a132022-09-06 19:48:47 +00001647/**
1648 * unmapped_area() - Find an area between the low_limit and the high_limit with
1649 * the correct alignment and offset, all from @info. Note: current->mm is used
1650 * for the search.
1651 *
Vernon Yang82b24932023-01-11 21:20:36 +08001652 * @info: The unmapped area information including the range [low_limit -
1653 * high_limit), the alignment offset and mask.
Liam R. Howlett3499a132022-09-06 19:48:47 +00001654 *
1655 * Return: A memory address or -ENOMEM.
1656 */
Jaewon Kimbaceaf12020-04-01 21:09:10 -07001657static unsigned long unmapped_area(struct vm_unmapped_area_info *info)
Michel Lespinassedb4fbfb2012-12-11 16:01:49 -08001658{
Linus Torvalds6b008642023-04-18 17:40:09 -04001659 unsigned long length, gap;
1660 unsigned long low_limit, high_limit;
Liam R. Howlett58c5d0d2023-04-14 14:59:19 -04001661 struct vm_area_struct *tmp;
Yajun Dengd4e6b392024-03-25 14:32:58 +08001662 VMA_ITERATOR(vmi, current->mm, 0);
Michel Lespinassedb4fbfb2012-12-11 16:01:49 -08001663
1664 /* Adjust search length to account for worst case alignment overhead */
Rick Edgecombe44bd7ac2024-03-25 19:16:53 -07001665 length = info->length + info->align_mask + info->start_gap;
Michel Lespinassedb4fbfb2012-12-11 16:01:49 -08001666 if (length < info->length)
1667 return -ENOMEM;
1668
Liam R. Howlett58c5d0d2023-04-14 14:59:19 -04001669 low_limit = info->low_limit;
Linus Torvalds6b008642023-04-18 17:40:09 -04001670 if (low_limit < mmap_min_addr)
1671 low_limit = mmap_min_addr;
1672 high_limit = info->high_limit;
Liam R. Howlett58c5d0d2023-04-14 14:59:19 -04001673retry:
Yajun Dengd4e6b392024-03-25 14:32:58 +08001674 if (vma_iter_area_lowest(&vmi, low_limit, high_limit, length))
Liam R. Howlett3499a132022-09-06 19:48:47 +00001675 return -ENOMEM;
1676
Rick Edgecombe44bd7ac2024-03-25 19:16:53 -07001677 /*
1678 * Adjust for the gap first so it doesn't interfere with the
1679 * later alignment. The first step is the minimum needed to
1680 * fulill the start gap, the next steps is the minimum to align
1681 * that. It is the minimum needed to fulill both.
1682 */
1683 gap = vma_iter_addr(&vmi) + info->start_gap;
Liam R. Howlettd4af56c2022-09-06 19:48:45 +00001684 gap += (info->align_offset - gap) & info->align_mask;
Yajun Dengd4e6b392024-03-25 14:32:58 +08001685 tmp = vma_next(&vmi);
Rick Edgecombe0266e7c2023-06-12 17:10:42 -07001686 if (tmp && (tmp->vm_flags & VM_STARTGAP_FLAGS)) { /* Avoid prev check if possible */
Liam R. Howlett58c5d0d2023-04-14 14:59:19 -04001687 if (vm_start_gap(tmp) < gap + length - 1) {
1688 low_limit = tmp->vm_end;
Yajun Dengd4e6b392024-03-25 14:32:58 +08001689 vma_iter_reset(&vmi);
Liam R. Howlett58c5d0d2023-04-14 14:59:19 -04001690 goto retry;
1691 }
1692 } else {
Yajun Dengd4e6b392024-03-25 14:32:58 +08001693 tmp = vma_prev(&vmi);
Liam R. Howlett58c5d0d2023-04-14 14:59:19 -04001694 if (tmp && vm_end_gap(tmp) > gap) {
1695 low_limit = vm_end_gap(tmp);
Yajun Dengd4e6b392024-03-25 14:32:58 +08001696 vma_iter_reset(&vmi);
Liam R. Howlett58c5d0d2023-04-14 14:59:19 -04001697 goto retry;
1698 }
1699 }
1700
Liam R. Howlett3499a132022-09-06 19:48:47 +00001701 return gap;
Michel Lespinassedb4fbfb2012-12-11 16:01:49 -08001702}
1703
Liam R. Howlett3499a132022-09-06 19:48:47 +00001704/**
1705 * unmapped_area_topdown() - Find an area between the low_limit and the
Vernon Yang82b24932023-01-11 21:20:36 +08001706 * high_limit with the correct alignment and offset at the highest available
Liam R. Howlett3499a132022-09-06 19:48:47 +00001707 * address, all from @info. Note: current->mm is used for the search.
1708 *
Vernon Yang82b24932023-01-11 21:20:36 +08001709 * @info: The unmapped area information including the range [low_limit -
1710 * high_limit), the alignment offset and mask.
Liam R. Howlett3499a132022-09-06 19:48:47 +00001711 *
1712 * Return: A memory address or -ENOMEM.
1713 */
Jaewon Kimbaceaf12020-04-01 21:09:10 -07001714static unsigned long unmapped_area_topdown(struct vm_unmapped_area_info *info)
Michel Lespinassedb4fbfb2012-12-11 16:01:49 -08001715{
Linus Torvalds6b008642023-04-18 17:40:09 -04001716 unsigned long length, gap, gap_end;
1717 unsigned long low_limit, high_limit;
Liam R. Howlett58c5d0d2023-04-14 14:59:19 -04001718 struct vm_area_struct *tmp;
Yajun Dengd4e6b392024-03-25 14:32:58 +08001719 VMA_ITERATOR(vmi, current->mm, 0);
Liam R. Howlettd4af56c2022-09-06 19:48:45 +00001720
Michel Lespinassedb4fbfb2012-12-11 16:01:49 -08001721 /* Adjust search length to account for worst case alignment overhead */
Rick Edgecombe44bd7ac2024-03-25 19:16:53 -07001722 length = info->length + info->align_mask + info->start_gap;
Michel Lespinassedb4fbfb2012-12-11 16:01:49 -08001723 if (length < info->length)
1724 return -ENOMEM;
1725
Linus Torvalds6b008642023-04-18 17:40:09 -04001726 low_limit = info->low_limit;
1727 if (low_limit < mmap_min_addr)
1728 low_limit = mmap_min_addr;
Liam R. Howlett58c5d0d2023-04-14 14:59:19 -04001729 high_limit = info->high_limit;
1730retry:
Yajun Dengd4e6b392024-03-25 14:32:58 +08001731 if (vma_iter_area_highest(&vmi, low_limit, high_limit, length))
Liam R. Howlett3499a132022-09-06 19:48:47 +00001732 return -ENOMEM;
1733
Yajun Dengd4e6b392024-03-25 14:32:58 +08001734 gap = vma_iter_end(&vmi) - info->length;
Liam R. Howlettd4af56c2022-09-06 19:48:45 +00001735 gap -= (gap - info->align_offset) & info->align_mask;
Yajun Dengd4e6b392024-03-25 14:32:58 +08001736 gap_end = vma_iter_end(&vmi);
1737 tmp = vma_next(&vmi);
Rick Edgecombe0266e7c2023-06-12 17:10:42 -07001738 if (tmp && (tmp->vm_flags & VM_STARTGAP_FLAGS)) { /* Avoid prev check if possible */
Yajun Dengd4e6b392024-03-25 14:32:58 +08001739 if (vm_start_gap(tmp) < gap_end) {
Liam R. Howlett58c5d0d2023-04-14 14:59:19 -04001740 high_limit = vm_start_gap(tmp);
Yajun Dengd4e6b392024-03-25 14:32:58 +08001741 vma_iter_reset(&vmi);
Liam R. Howlett58c5d0d2023-04-14 14:59:19 -04001742 goto retry;
1743 }
1744 } else {
Yajun Dengd4e6b392024-03-25 14:32:58 +08001745 tmp = vma_prev(&vmi);
Liam R. Howlett58c5d0d2023-04-14 14:59:19 -04001746 if (tmp && vm_end_gap(tmp) > gap) {
1747 high_limit = tmp->vm_start;
Yajun Dengd4e6b392024-03-25 14:32:58 +08001748 vma_iter_reset(&vmi);
Liam R. Howlett58c5d0d2023-04-14 14:59:19 -04001749 goto retry;
1750 }
1751 }
1752
Liam R. Howlett3499a132022-09-06 19:48:47 +00001753 return gap;
Michel Lespinassedb4fbfb2012-12-11 16:01:49 -08001754}
1755
Jaewon Kimbaceaf12020-04-01 21:09:10 -07001756/*
1757 * Search for an unmapped address range.
1758 *
1759 * We are looking for a range that:
1760 * - does not intersect with any VMA;
1761 * - is contained within the [low_limit, high_limit) interval;
1762 * - is at least the desired size.
1763 * - satisfies (begin_addr & align_mask) == (align_offset & align_mask)
1764 */
1765unsigned long vm_unmapped_area(struct vm_unmapped_area_info *info)
1766{
Jaewon Kimdf529ca2020-04-01 21:09:13 -07001767 unsigned long addr;
1768
Jaewon Kimbaceaf12020-04-01 21:09:10 -07001769 if (info->flags & VM_UNMAPPED_AREA_TOPDOWN)
Jaewon Kimdf529ca2020-04-01 21:09:13 -07001770 addr = unmapped_area_topdown(info);
Jaewon Kimbaceaf12020-04-01 21:09:10 -07001771 else
Jaewon Kimdf529ca2020-04-01 21:09:13 -07001772 addr = unmapped_area(info);
1773
1774 trace_vm_unmapped_area(addr, info);
1775 return addr;
Jaewon Kimbaceaf12020-04-01 21:09:10 -07001776}
Steve Capperf6795052018-12-06 22:50:36 +00001777
Linus Torvalds1da177e2005-04-16 15:20:36 -07001778/* Get an address range which is currently unmapped.
1779 * For shmat() with addr=0.
1780 *
1781 * Ugly calling convention alert:
1782 * Return value with the low bits set means error value,
1783 * ie
1784 * if (ret & ~PAGE_MASK)
1785 * error = ret;
1786 *
1787 * This function "knows" that -ENOMEM has the bits set.
1788 */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001789unsigned long
Christophe Leroy4b439e22022-04-09 19:17:27 +02001790generic_get_unmapped_area(struct file *filp, unsigned long addr,
1791 unsigned long len, unsigned long pgoff,
1792 unsigned long flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001793{
1794 struct mm_struct *mm = current->mm;
Hugh Dickins1be71072017-06-19 04:03:24 -07001795 struct vm_area_struct *vma, *prev;
Rick Edgecombeb80fa3cb2024-03-25 19:16:52 -07001796 struct vm_unmapped_area_info info = {};
Christophe Leroy2cb4de02022-04-09 19:17:28 +02001797 const unsigned long mmap_end = arch_get_mmap_end(addr, len, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001798
Steve Capperf6795052018-12-06 22:50:36 +00001799 if (len > mmap_end - mmap_min_addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001800 return -ENOMEM;
1801
Benjamin Herrenschmidt06abdfb2007-05-06 14:50:13 -07001802 if (flags & MAP_FIXED)
1803 return addr;
1804
Linus Torvalds1da177e2005-04-16 15:20:36 -07001805 if (addr) {
1806 addr = PAGE_ALIGN(addr);
Hugh Dickins1be71072017-06-19 04:03:24 -07001807 vma = find_vma_prev(mm, addr, &prev);
Steve Capperf6795052018-12-06 22:50:36 +00001808 if (mmap_end - len >= addr && addr >= mmap_min_addr &&
Hugh Dickins1be71072017-06-19 04:03:24 -07001809 (!vma || addr + len <= vm_start_gap(vma)) &&
1810 (!prev || addr >= vm_end_gap(prev)))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001811 return addr;
1812 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001813
Michel Lespinassedb4fbfb2012-12-11 16:01:49 -08001814 info.length = len;
Heiko Carstens4e99b022013-11-12 15:07:54 -08001815 info.low_limit = mm->mmap_base;
Steve Capperf6795052018-12-06 22:50:36 +00001816 info.high_limit = mmap_end;
Michel Lespinassedb4fbfb2012-12-11 16:01:49 -08001817 return vm_unmapped_area(&info);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001818}
Christophe Leroy4b439e22022-04-09 19:17:27 +02001819
1820#ifndef HAVE_ARCH_UNMAPPED_AREA
1821unsigned long
1822arch_get_unmapped_area(struct file *filp, unsigned long addr,
1823 unsigned long len, unsigned long pgoff,
1824 unsigned long flags)
1825{
1826 return generic_get_unmapped_area(filp, addr, len, pgoff, flags);
1827}
vishnu.pscc71aba2014-10-09 15:26:29 -07001828#endif
Linus Torvalds1da177e2005-04-16 15:20:36 -07001829
Linus Torvalds1da177e2005-04-16 15:20:36 -07001830/*
1831 * This mmap-allocator allocates new areas top-down from below the
1832 * stack's low limit (the base):
1833 */
Linus Torvalds1da177e2005-04-16 15:20:36 -07001834unsigned long
Christophe Leroy4b439e22022-04-09 19:17:27 +02001835generic_get_unmapped_area_topdown(struct file *filp, unsigned long addr,
1836 unsigned long len, unsigned long pgoff,
1837 unsigned long flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001838{
Hugh Dickins1be71072017-06-19 04:03:24 -07001839 struct vm_area_struct *vma, *prev;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001840 struct mm_struct *mm = current->mm;
Rick Edgecombeb80fa3cb2024-03-25 19:16:52 -07001841 struct vm_unmapped_area_info info = {};
Christophe Leroy2cb4de02022-04-09 19:17:28 +02001842 const unsigned long mmap_end = arch_get_mmap_end(addr, len, flags);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001843
1844 /* requested length too big for entire address space */
Steve Capperf6795052018-12-06 22:50:36 +00001845 if (len > mmap_end - mmap_min_addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001846 return -ENOMEM;
1847
Benjamin Herrenschmidt06abdfb2007-05-06 14:50:13 -07001848 if (flags & MAP_FIXED)
1849 return addr;
1850
Linus Torvalds1da177e2005-04-16 15:20:36 -07001851 /* requesting a specific address */
1852 if (addr) {
1853 addr = PAGE_ALIGN(addr);
Hugh Dickins1be71072017-06-19 04:03:24 -07001854 vma = find_vma_prev(mm, addr, &prev);
Steve Capperf6795052018-12-06 22:50:36 +00001855 if (mmap_end - len >= addr && addr >= mmap_min_addr &&
Hugh Dickins1be71072017-06-19 04:03:24 -07001856 (!vma || addr + len <= vm_start_gap(vma)) &&
1857 (!prev || addr >= vm_end_gap(prev)))
Linus Torvalds1da177e2005-04-16 15:20:36 -07001858 return addr;
1859 }
1860
Michel Lespinassedb4fbfb2012-12-11 16:01:49 -08001861 info.flags = VM_UNMAPPED_AREA_TOPDOWN;
1862 info.length = len;
Linus Torvalds6b008642023-04-18 17:40:09 -04001863 info.low_limit = PAGE_SIZE;
Steve Capperf6795052018-12-06 22:50:36 +00001864 info.high_limit = arch_get_mmap_base(addr, mm->mmap_base);
Michel Lespinassedb4fbfb2012-12-11 16:01:49 -08001865 addr = vm_unmapped_area(&info);
Xiao Guangrongb716ad92012-03-21 16:33:56 -07001866
Linus Torvalds1da177e2005-04-16 15:20:36 -07001867 /*
1868 * A failed mmap() very likely causes application failure,
1869 * so fall back to the bottom-up function here. This scenario
1870 * can happen with large stack limits and large mmap()
1871 * allocations.
1872 */
Alexander Kuleshovde1741a2015-11-05 18:46:54 -08001873 if (offset_in_page(addr)) {
Michel Lespinassedb4fbfb2012-12-11 16:01:49 -08001874 VM_BUG_ON(addr != -ENOMEM);
1875 info.flags = 0;
1876 info.low_limit = TASK_UNMAPPED_BASE;
Steve Capperf6795052018-12-06 22:50:36 +00001877 info.high_limit = mmap_end;
Michel Lespinassedb4fbfb2012-12-11 16:01:49 -08001878 addr = vm_unmapped_area(&info);
1879 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07001880
1881 return addr;
1882}
Christophe Leroy4b439e22022-04-09 19:17:27 +02001883
1884#ifndef HAVE_ARCH_UNMAPPED_AREA_TOPDOWN
1885unsigned long
1886arch_get_unmapped_area_topdown(struct file *filp, unsigned long addr,
1887 unsigned long len, unsigned long pgoff,
1888 unsigned long flags)
1889{
1890 return generic_get_unmapped_area_topdown(filp, addr, len, pgoff, flags);
1891}
Linus Torvalds1da177e2005-04-16 15:20:36 -07001892#endif
1893
Rick Edgecombe96114872024-03-25 19:16:45 -07001894#ifndef HAVE_ARCH_UNMAPPED_AREA_VMFLAGS
Linus Torvalds1da177e2005-04-16 15:20:36 -07001895unsigned long
Rick Edgecombe96114872024-03-25 19:16:45 -07001896arch_get_unmapped_area_vmflags(struct file *filp, unsigned long addr, unsigned long len,
1897 unsigned long pgoff, unsigned long flags, vm_flags_t vm_flags)
1898{
1899 return arch_get_unmapped_area(filp, addr, len, pgoff, flags);
1900}
1901
1902unsigned long
1903arch_get_unmapped_area_topdown_vmflags(struct file *filp, unsigned long addr,
1904 unsigned long len, unsigned long pgoff,
1905 unsigned long flags, vm_flags_t vm_flags)
1906{
1907 return arch_get_unmapped_area_topdown(filp, addr, len, pgoff, flags);
1908}
1909#endif
1910
1911unsigned long mm_get_unmapped_area_vmflags(struct mm_struct *mm, struct file *filp,
1912 unsigned long addr, unsigned long len,
1913 unsigned long pgoff, unsigned long flags,
1914 vm_flags_t vm_flags)
1915{
1916 if (test_bit(MMF_TOPDOWN, &mm->flags))
1917 return arch_get_unmapped_area_topdown_vmflags(filp, addr, len, pgoff,
1918 flags, vm_flags);
1919 return arch_get_unmapped_area_vmflags(filp, addr, len, pgoff, flags, vm_flags);
1920}
1921
Linus Torvalds1da177e2005-04-16 15:20:36 -07001922unsigned long
Rick Edgecombe8a0fe562024-03-25 19:16:47 -07001923__get_unmapped_area(struct file *file, unsigned long addr, unsigned long len,
1924 unsigned long pgoff, unsigned long flags, vm_flags_t vm_flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001925{
Benjamin Herrenschmidt06abdfb2007-05-06 14:50:13 -07001926 unsigned long (*get_area)(struct file *, unsigned long,
Rick Edgecombe529ce232024-03-25 19:16:44 -07001927 unsigned long, unsigned long, unsigned long)
1928 = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001929
Al Viro9206de92009-12-03 15:23:11 -05001930 unsigned long error = arch_mmap_check(addr, len, flags);
1931 if (error)
1932 return error;
1933
1934 /* Careful about overflows.. */
1935 if (len > TASK_SIZE)
1936 return -ENOMEM;
1937
Hugh Dickinsc01d5b32016-07-26 15:26:15 -07001938 if (file) {
1939 if (file->f_op->get_unmapped_area)
1940 get_area = file->f_op->get_unmapped_area;
1941 } else if (flags & MAP_SHARED) {
1942 /*
1943 * mmap_region() will call shmem_zero_setup() to create a file,
1944 * so use shmem's get_unmapped_area in case it can be huge.
Hugh Dickinsc01d5b32016-07-26 15:26:15 -07001945 */
Hugh Dickinsc01d5b32016-07-26 15:26:15 -07001946 get_area = shmem_get_unmapped_area;
1947 }
1948
Ryan Roberts96204e12024-01-23 17:14:20 +00001949 /* Always treat pgoff as zero for anonymous memory. */
1950 if (!file)
1951 pgoff = 0;
1952
Rick Edgecombeed48e872024-03-25 19:16:48 -07001953 if (get_area) {
Rick Edgecombe529ce232024-03-25 19:16:44 -07001954 addr = get_area(file, addr, len, pgoff, flags);
Rick Edgecombeed48e872024-03-25 19:16:48 -07001955 } else if (IS_ENABLED(CONFIG_TRANSPARENT_HUGEPAGE)) {
1956 /* Ensures that larger anonymous mappings are THP aligned. */
1957 addr = thp_get_unmapped_area_vmflags(file, addr, len,
1958 pgoff, flags, vm_flags);
1959 } else {
Rick Edgecombe8a0fe562024-03-25 19:16:47 -07001960 addr = mm_get_unmapped_area_vmflags(current->mm, file, addr, len,
1961 pgoff, flags, vm_flags);
Rick Edgecombeed48e872024-03-25 19:16:48 -07001962 }
Benjamin Herrenschmidt06abdfb2007-05-06 14:50:13 -07001963 if (IS_ERR_VALUE(addr))
1964 return addr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001965
Linus Torvalds07ab67c2005-05-19 22:43:37 -07001966 if (addr > TASK_SIZE - len)
1967 return -ENOMEM;
Alexander Kuleshovde1741a2015-11-05 18:46:54 -08001968 if (offset_in_page(addr))
Linus Torvalds07ab67c2005-05-19 22:43:37 -07001969 return -EINVAL;
Benjamin Herrenschmidt06abdfb2007-05-06 14:50:13 -07001970
Al Viro9ac4ed42012-05-30 17:13:15 -04001971 error = security_mmap_addr(addr);
1972 return error ? error : addr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001973}
1974
Rick Edgecombe529ce232024-03-25 19:16:44 -07001975unsigned long
1976mm_get_unmapped_area(struct mm_struct *mm, struct file *file,
1977 unsigned long addr, unsigned long len,
1978 unsigned long pgoff, unsigned long flags)
1979{
1980 if (test_bit(MMF_TOPDOWN, &mm->flags))
1981 return arch_get_unmapped_area_topdown(file, addr, len, pgoff, flags);
1982 return arch_get_unmapped_area(file, addr, len, pgoff, flags);
1983}
1984EXPORT_SYMBOL(mm_get_unmapped_area);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001985
Liam R. Howlettbe8432e2022-09-06 19:48:46 +00001986/**
Liam R. Howlettabdba2d2022-09-06 19:48:50 +00001987 * find_vma_intersection() - Look up the first VMA which intersects the interval
1988 * @mm: The process address space.
1989 * @start_addr: The inclusive start user address.
1990 * @end_addr: The exclusive end user address.
1991 *
1992 * Returns: The first VMA within the provided range, %NULL otherwise. Assumes
1993 * start_addr < end_addr.
1994 */
1995struct vm_area_struct *find_vma_intersection(struct mm_struct *mm,
1996 unsigned long start_addr,
1997 unsigned long end_addr)
1998{
Liam R. Howlettabdba2d2022-09-06 19:48:50 +00001999 unsigned long index = start_addr;
2000
2001 mmap_assert_locked(mm);
Liam R. Howlett7964cf82022-09-06 19:48:51 +00002002 return mt_find(&mm->mm_mt, &index, end_addr - 1);
Liam R. Howlettabdba2d2022-09-06 19:48:50 +00002003}
2004EXPORT_SYMBOL(find_vma_intersection);
2005
2006/**
Liam R. Howlettbe8432e2022-09-06 19:48:46 +00002007 * find_vma() - Find the VMA for a given address, or the next VMA.
2008 * @mm: The mm_struct to check
2009 * @addr: The address
2010 *
2011 * Returns: The VMA associated with addr, or the next VMA.
2012 * May return %NULL in the case of no VMA at addr or above.
2013 */
ZhenwenXu48aae422009-01-06 14:40:21 -08002014struct vm_area_struct *find_vma(struct mm_struct *mm, unsigned long addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002015{
Liam R. Howlettbe8432e2022-09-06 19:48:46 +00002016 unsigned long index = addr;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002017
Luigi Rizzo5b78ed22021-09-02 14:56:46 -07002018 mmap_assert_locked(mm);
Liam R. Howlett7964cf82022-09-06 19:48:51 +00002019 return mt_find(&mm->mm_mt, &index, ULONG_MAX);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002020}
Linus Torvalds1da177e2005-04-16 15:20:36 -07002021EXPORT_SYMBOL(find_vma);
2022
Liam R. Howlett7fdbd372022-09-06 19:48:47 +00002023/**
2024 * find_vma_prev() - Find the VMA for a given address, or the next vma and
2025 * set %pprev to the previous VMA, if any.
2026 * @mm: The mm_struct to check
2027 * @addr: The address
2028 * @pprev: The pointer to set to the previous VMA
2029 *
2030 * Note that RCU lock is missing here since the external mmap_lock() is used
2031 * instead.
2032 *
2033 * Returns: The VMA associated with @addr, or the next vma.
2034 * May return %NULL in the case of no vma at addr or above.
KOSAKI Motohiro6bd48372012-01-10 15:08:07 -08002035 */
Linus Torvalds1da177e2005-04-16 15:20:36 -07002036struct vm_area_struct *
2037find_vma_prev(struct mm_struct *mm, unsigned long addr,
2038 struct vm_area_struct **pprev)
2039{
KOSAKI Motohiro6bd48372012-01-10 15:08:07 -08002040 struct vm_area_struct *vma;
Yajun Dengd4e6b392024-03-25 14:32:58 +08002041 VMA_ITERATOR(vmi, mm, addr);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002042
Yajun Dengd4e6b392024-03-25 14:32:58 +08002043 vma = vma_iter_load(&vmi);
2044 *pprev = vma_prev(&vmi);
Liam R. Howlett7fdbd372022-09-06 19:48:47 +00002045 if (!vma)
Yajun Dengd4e6b392024-03-25 14:32:58 +08002046 vma = vma_next(&vmi);
KOSAKI Motohiro6bd48372012-01-10 15:08:07 -08002047 return vma;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002048}
2049
2050/*
2051 * Verify that the stack growth is acceptable and
2052 * update accounting. This is shared with both the
2053 * grow-up and grow-down cases.
2054 */
Hugh Dickins1be71072017-06-19 04:03:24 -07002055static int acct_stack_growth(struct vm_area_struct *vma,
2056 unsigned long size, unsigned long grow)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002057{
2058 struct mm_struct *mm = vma->vm_mm;
Hugh Dickins1be71072017-06-19 04:03:24 -07002059 unsigned long new_start;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002060
2061 /* address space limit tests */
Konstantin Khlebnikov84638332016-01-14 15:22:07 -08002062 if (!may_expand_vm(mm, vma->vm_flags, grow))
Linus Torvalds1da177e2005-04-16 15:20:36 -07002063 return -ENOMEM;
2064
2065 /* Stack limit test */
Krzysztof Opasiak24c79d82017-07-10 15:50:03 -07002066 if (size > rlimit(RLIMIT_STACK))
Linus Torvalds1da177e2005-04-16 15:20:36 -07002067 return -ENOMEM;
2068
2069 /* mlock limit tests */
Andrew Mortonb0cc5e82023-05-22 13:52:10 -07002070 if (!mlock_future_ok(mm, vma->vm_flags, grow << PAGE_SHIFT))
Miaohe Linc5d8a362022-04-28 23:16:12 -07002071 return -ENOMEM;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002072
Adam Litke0d59a012007-01-30 14:35:39 -08002073 /* Check to ensure the stack will not grow into a hugetlb-only region */
2074 new_start = (vma->vm_flags & VM_GROWSUP) ? vma->vm_start :
2075 vma->vm_end - size;
2076 if (is_hugepage_only_range(vma->vm_mm, new_start, size))
2077 return -EFAULT;
2078
Linus Torvalds1da177e2005-04-16 15:20:36 -07002079 /*
2080 * Overcommit.. This must be the final test, as it will
2081 * update security statistics.
2082 */
Hugh Dickins05fa1992009-04-16 21:58:12 +01002083 if (security_vm_enough_memory_mm(mm, grow))
Linus Torvalds1da177e2005-04-16 15:20:36 -07002084 return -ENOMEM;
2085
Linus Torvalds1da177e2005-04-16 15:20:36 -07002086 return 0;
2087}
2088
Ard Biesheuvelcf8e8652022-10-20 15:54:33 +02002089#if defined(CONFIG_STACK_GROWSUP)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002090/*
Ard Biesheuvelcf8e8652022-10-20 15:54:33 +02002091 * PA-RISC uses this for its stack.
Hugh Dickins46dea3d2005-10-29 18:16:20 -07002092 * vma is the last one with address > vma->vm_end. Have to extend vma.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002093 */
Linus Torvalds8d7071a2023-06-24 13:45:51 -07002094static int expand_upwards(struct vm_area_struct *vma, unsigned long address)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002095{
Oleg Nesterov09357812015-11-05 18:48:17 -08002096 struct mm_struct *mm = vma->vm_mm;
Hugh Dickins1be71072017-06-19 04:03:24 -07002097 struct vm_area_struct *next;
2098 unsigned long gap_addr;
Konstantin Khlebnikov12352d32016-02-05 15:36:50 -08002099 int error = 0;
Yajun Dengd4e6b392024-03-25 14:32:58 +08002100 VMA_ITERATOR(vmi, mm, vma->vm_start);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002101
2102 if (!(vma->vm_flags & VM_GROWSUP))
2103 return -EFAULT;
2104
Helge Dellerbd726c92017-06-19 17:34:05 +02002105 /* Guard against exceeding limits of the address space. */
Hugh Dickins1be71072017-06-19 04:03:24 -07002106 address &= PAGE_MASK;
Helge Deller37511fb2017-07-14 14:49:38 -07002107 if (address >= (TASK_SIZE & PAGE_MASK))
Konstantin Khlebnikov12352d32016-02-05 15:36:50 -08002108 return -ENOMEM;
Helge Dellerbd726c92017-06-19 17:34:05 +02002109 address += PAGE_SIZE;
Konstantin Khlebnikov12352d32016-02-05 15:36:50 -08002110
Hugh Dickins1be71072017-06-19 04:03:24 -07002111 /* Enforce stack_guard_gap */
2112 gap_addr = address + stack_guard_gap;
Helge Dellerbd726c92017-06-19 17:34:05 +02002113
2114 /* Guard against overflow */
2115 if (gap_addr < address || gap_addr > TASK_SIZE)
2116 gap_addr = TASK_SIZE;
2117
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002118 next = find_vma_intersection(mm, vma->vm_end, gap_addr);
2119 if (next && vma_is_accessible(next)) {
Hugh Dickins1be71072017-06-19 04:03:24 -07002120 if (!(next->vm_flags & VM_GROWSUP))
2121 return -ENOMEM;
2122 /* Check that both stack segments have the same anon_vma? */
2123 }
2124
Liam R. Howlettb5df0922023-07-24 14:31:52 -04002125 if (next)
Yajun Dengd4e6b392024-03-25 14:32:58 +08002126 vma_iter_prev_range_limit(&vmi, address);
Liam R. Howlettb5df0922023-07-24 14:31:52 -04002127
Yajun Dengd4e6b392024-03-25 14:32:58 +08002128 vma_iter_config(&vmi, vma->vm_start, address);
2129 if (vma_iter_prealloc(&vmi, vma))
Linus Torvalds1da177e2005-04-16 15:20:36 -07002130 return -ENOMEM;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002131
Liam R. Howlettd4af56c2022-09-06 19:48:45 +00002132 /* We must make sure the anon_vma is allocated. */
2133 if (unlikely(anon_vma_prepare(vma))) {
Yajun Dengd4e6b392024-03-25 14:32:58 +08002134 vma_iter_free(&vmi);
Liam R. Howlettd4af56c2022-09-06 19:48:45 +00002135 return -ENOMEM;
2136 }
2137
Suren Baghdasaryanc1373812023-07-08 12:12:10 -07002138 /* Lock the VMA before expanding to prevent concurrent page faults */
2139 vma_start_write(vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002140 /*
2141 * vma->vm_start/vm_end cannot change under us because the caller
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -07002142 * is required to hold the mmap_lock in read mode. We need the
Linus Torvalds1da177e2005-04-16 15:20:36 -07002143 * anon_vma lock to serialize against concurrent expand_stacks.
2144 */
Konstantin Khlebnikov12352d32016-02-05 15:36:50 -08002145 anon_vma_lock_write(vma->anon_vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002146
2147 /* Somebody else might have raced and expanded it already */
2148 if (address > vma->vm_end) {
2149 unsigned long size, grow;
2150
2151 size = address - vma->vm_start;
2152 grow = (address - vma->vm_end) >> PAGE_SHIFT;
2153
Hugh Dickins42c36f62011-05-09 17:44:42 -07002154 error = -ENOMEM;
2155 if (vma->vm_pgoff + (size >> PAGE_SHIFT) >= vma->vm_pgoff) {
2156 error = acct_stack_growth(vma, size, grow);
2157 if (!error) {
Michel Lespinasse41289972012-12-12 13:52:25 -08002158 /*
Liam R. Howlett524e00b2022-09-06 19:48:48 +00002159 * We only hold a shared mmap_lock lock here, so
2160 * we need to protect against concurrent vma
2161 * expansions. anon_vma_lock_write() doesn't
2162 * help here, as we don't guarantee that all
2163 * growable vmas in a mm share the same root
2164 * anon vma. So, we reuse mm->page_table_lock
2165 * to guard against concurrent vma expansions.
Michel Lespinasse41289972012-12-12 13:52:25 -08002166 */
Oleg Nesterov09357812015-11-05 18:48:17 -08002167 spin_lock(&mm->page_table_lock);
Oleg Nesterov87e88272015-11-05 18:48:14 -08002168 if (vma->vm_flags & VM_LOCKED)
Oleg Nesterov09357812015-11-05 18:48:17 -08002169 mm->locked_vm += grow;
Konstantin Khlebnikov84638332016-01-14 15:22:07 -08002170 vm_stat_account(mm, vma->vm_flags, grow);
Michel Lespinassebf181b92012-10-08 16:31:39 -07002171 anon_vma_interval_tree_pre_update_vma(vma);
Hugh Dickins42c36f62011-05-09 17:44:42 -07002172 vma->vm_end = address;
Liam R. Howlettd4af56c2022-09-06 19:48:45 +00002173 /* Overwrite old entry in mtree. */
Yajun Dengd4e6b392024-03-25 14:32:58 +08002174 vma_iter_store(&vmi, vma);
Michel Lespinassebf181b92012-10-08 16:31:39 -07002175 anon_vma_interval_tree_post_update_vma(vma);
Oleg Nesterov09357812015-11-05 18:48:17 -08002176 spin_unlock(&mm->page_table_lock);
Michel Lespinasse41289972012-12-12 13:52:25 -08002177
Hugh Dickins42c36f62011-05-09 17:44:42 -07002178 perf_event_mmap(vma);
2179 }
Eric B Munson3af9e852010-05-18 15:30:49 +01002180 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002181 }
Konstantin Khlebnikov12352d32016-02-05 15:36:50 -08002182 anon_vma_unlock_write(vma->anon_vma);
Yajun Dengd4e6b392024-03-25 14:32:58 +08002183 vma_iter_free(&vmi);
Liam R. Howlett2574d5e2023-07-14 15:55:48 -04002184 validate_mm(mm);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002185 return error;
2186}
Ard Biesheuvelcf8e8652022-10-20 15:54:33 +02002187#endif /* CONFIG_STACK_GROWSUP */
Hugh Dickins46dea3d2005-10-29 18:16:20 -07002188
Linus Torvalds1da177e2005-04-16 15:20:36 -07002189/*
2190 * vma is the first one with address < vma->vm_start. Have to extend vma.
Linus Torvalds8d7071a2023-06-24 13:45:51 -07002191 * mmap_lock held for writing.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002192 */
Liam R. Howlett524e00b2022-09-06 19:48:48 +00002193int expand_downwards(struct vm_area_struct *vma, unsigned long address)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002194{
Oleg Nesterov09357812015-11-05 18:48:17 -08002195 struct mm_struct *mm = vma->vm_mm;
Hugh Dickins1be71072017-06-19 04:03:24 -07002196 struct vm_area_struct *prev;
Jann Horn0a1d5292019-02-27 21:29:52 +01002197 int error = 0;
Yajun Dengd4e6b392024-03-25 14:32:58 +08002198 VMA_ITERATOR(vmi, mm, vma->vm_start);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002199
Linus Torvalds8d7071a2023-06-24 13:45:51 -07002200 if (!(vma->vm_flags & VM_GROWSDOWN))
2201 return -EFAULT;
2202
Eric Paris88694772007-11-26 18:47:26 -05002203 address &= PAGE_MASK;
Ben Hutchings8b35ca3e2023-06-22 21:24:30 +02002204 if (address < mmap_min_addr || address < FIRST_USER_ADDRESS)
Jann Horn0a1d5292019-02-27 21:29:52 +01002205 return -EPERM;
Eric Paris88694772007-11-26 18:47:26 -05002206
Hugh Dickins1be71072017-06-19 04:03:24 -07002207 /* Enforce stack_guard_gap */
Yajun Dengd4e6b392024-03-25 14:32:58 +08002208 prev = vma_prev(&vmi);
Oleg Nesterov32e4e6d2017-07-10 15:49:54 -07002209 /* Check that both stack segments have the same anon_vma? */
Liam R. Howlettf440fa12023-06-16 15:58:54 -07002210 if (prev) {
2211 if (!(prev->vm_flags & VM_GROWSDOWN) &&
2212 vma_is_accessible(prev) &&
2213 (address - prev->vm_end < stack_guard_gap))
Hugh Dickins1be71072017-06-19 04:03:24 -07002214 return -ENOMEM;
Hugh Dickins1be71072017-06-19 04:03:24 -07002215 }
2216
Liam R. Howlettb5df0922023-07-24 14:31:52 -04002217 if (prev)
Yajun Dengd4e6b392024-03-25 14:32:58 +08002218 vma_iter_next_range_limit(&vmi, vma->vm_start);
Liam R. Howlettb5df0922023-07-24 14:31:52 -04002219
Yajun Dengd4e6b392024-03-25 14:32:58 +08002220 vma_iter_config(&vmi, address, vma->vm_end);
2221 if (vma_iter_prealloc(&vmi, vma))
Konstantin Khlebnikov12352d32016-02-05 15:36:50 -08002222 return -ENOMEM;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002223
Liam R. Howlettd4af56c2022-09-06 19:48:45 +00002224 /* We must make sure the anon_vma is allocated. */
2225 if (unlikely(anon_vma_prepare(vma))) {
Yajun Dengd4e6b392024-03-25 14:32:58 +08002226 vma_iter_free(&vmi);
Liam R. Howlettd4af56c2022-09-06 19:48:45 +00002227 return -ENOMEM;
2228 }
2229
Suren Baghdasaryanc1373812023-07-08 12:12:10 -07002230 /* Lock the VMA before expanding to prevent concurrent page faults */
2231 vma_start_write(vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002232 /*
2233 * vma->vm_start/vm_end cannot change under us because the caller
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -07002234 * is required to hold the mmap_lock in read mode. We need the
Linus Torvalds1da177e2005-04-16 15:20:36 -07002235 * anon_vma lock to serialize against concurrent expand_stacks.
2236 */
Konstantin Khlebnikov12352d32016-02-05 15:36:50 -08002237 anon_vma_lock_write(vma->anon_vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002238
2239 /* Somebody else might have raced and expanded it already */
2240 if (address < vma->vm_start) {
2241 unsigned long size, grow;
2242
2243 size = vma->vm_end - address;
2244 grow = (vma->vm_start - address) >> PAGE_SHIFT;
2245
Linus Torvaldsa626ca62011-04-13 08:07:28 -07002246 error = -ENOMEM;
2247 if (grow <= vma->vm_pgoff) {
2248 error = acct_stack_growth(vma, size, grow);
2249 if (!error) {
Michel Lespinasse41289972012-12-12 13:52:25 -08002250 /*
Liam R. Howlett524e00b2022-09-06 19:48:48 +00002251 * We only hold a shared mmap_lock lock here, so
2252 * we need to protect against concurrent vma
2253 * expansions. anon_vma_lock_write() doesn't
2254 * help here, as we don't guarantee that all
2255 * growable vmas in a mm share the same root
2256 * anon vma. So, we reuse mm->page_table_lock
2257 * to guard against concurrent vma expansions.
Michel Lespinasse41289972012-12-12 13:52:25 -08002258 */
Oleg Nesterov09357812015-11-05 18:48:17 -08002259 spin_lock(&mm->page_table_lock);
Oleg Nesterov87e88272015-11-05 18:48:14 -08002260 if (vma->vm_flags & VM_LOCKED)
Oleg Nesterov09357812015-11-05 18:48:17 -08002261 mm->locked_vm += grow;
Konstantin Khlebnikov84638332016-01-14 15:22:07 -08002262 vm_stat_account(mm, vma->vm_flags, grow);
Michel Lespinassebf181b92012-10-08 16:31:39 -07002263 anon_vma_interval_tree_pre_update_vma(vma);
Linus Torvaldsa626ca62011-04-13 08:07:28 -07002264 vma->vm_start = address;
2265 vma->vm_pgoff -= grow;
Liam R. Howlettd4af56c2022-09-06 19:48:45 +00002266 /* Overwrite old entry in mtree. */
Yajun Dengd4e6b392024-03-25 14:32:58 +08002267 vma_iter_store(&vmi, vma);
Michel Lespinassebf181b92012-10-08 16:31:39 -07002268 anon_vma_interval_tree_post_update_vma(vma);
Oleg Nesterov09357812015-11-05 18:48:17 -08002269 spin_unlock(&mm->page_table_lock);
Michel Lespinasse41289972012-12-12 13:52:25 -08002270
Linus Torvaldsa626ca62011-04-13 08:07:28 -07002271 perf_event_mmap(vma);
2272 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002273 }
2274 }
Konstantin Khlebnikov12352d32016-02-05 15:36:50 -08002275 anon_vma_unlock_write(vma->anon_vma);
Yajun Dengd4e6b392024-03-25 14:32:58 +08002276 vma_iter_free(&vmi);
Liam R. Howlett2574d5e2023-07-14 15:55:48 -04002277 validate_mm(mm);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002278 return error;
2279}
2280
Hugh Dickins1be71072017-06-19 04:03:24 -07002281/* enforced gap between the expanding stack and other mappings. */
2282unsigned long stack_guard_gap = 256UL<<PAGE_SHIFT;
2283
2284static int __init cmdline_parse_stack_guard_gap(char *p)
2285{
2286 unsigned long val;
2287 char *endptr;
2288
2289 val = simple_strtoul(p, &endptr, 10);
2290 if (!*endptr)
2291 stack_guard_gap = val << PAGE_SHIFT;
2292
Randy Dunlape6d09492022-03-22 14:42:27 -07002293 return 1;
Hugh Dickins1be71072017-06-19 04:03:24 -07002294}
2295__setup("stack_guard_gap=", cmdline_parse_stack_guard_gap);
2296
Ollie Wildb6a2fea2007-07-19 01:48:16 -07002297#ifdef CONFIG_STACK_GROWSUP
Linus Torvalds8d7071a2023-06-24 13:45:51 -07002298int expand_stack_locked(struct vm_area_struct *vma, unsigned long address)
Ollie Wildb6a2fea2007-07-19 01:48:16 -07002299{
2300 return expand_upwards(vma, address);
2301}
2302
Linus Torvalds8d7071a2023-06-24 13:45:51 -07002303struct vm_area_struct *find_extend_vma_locked(struct mm_struct *mm, unsigned long addr)
Ollie Wildb6a2fea2007-07-19 01:48:16 -07002304{
2305 struct vm_area_struct *vma, *prev;
2306
2307 addr &= PAGE_MASK;
2308 vma = find_vma_prev(mm, addr, &prev);
2309 if (vma && (vma->vm_start <= addr))
2310 return vma;
Liam R. Howlettf440fa12023-06-16 15:58:54 -07002311 if (!prev)
2312 return NULL;
Linus Torvalds8d7071a2023-06-24 13:45:51 -07002313 if (expand_stack_locked(prev, addr))
Ollie Wildb6a2fea2007-07-19 01:48:16 -07002314 return NULL;
Michel Lespinassecea10a12013-02-22 16:32:44 -08002315 if (prev->vm_flags & VM_LOCKED)
Kirill A. Shutemovfc05f562015-04-14 15:44:39 -07002316 populate_vma_page_range(prev, addr, prev->vm_end, NULL);
Ollie Wildb6a2fea2007-07-19 01:48:16 -07002317 return prev;
2318}
2319#else
Linus Torvalds8d7071a2023-06-24 13:45:51 -07002320int expand_stack_locked(struct vm_area_struct *vma, unsigned long address)
Ollie Wildb6a2fea2007-07-19 01:48:16 -07002321{
2322 return expand_downwards(vma, address);
2323}
2324
Linus Torvalds8d7071a2023-06-24 13:45:51 -07002325struct vm_area_struct *find_extend_vma_locked(struct mm_struct *mm, unsigned long addr)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002326{
vishnu.pscc71aba2014-10-09 15:26:29 -07002327 struct vm_area_struct *vma;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002328 unsigned long start;
2329
2330 addr &= PAGE_MASK;
vishnu.pscc71aba2014-10-09 15:26:29 -07002331 vma = find_vma(mm, addr);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002332 if (!vma)
2333 return NULL;
2334 if (vma->vm_start <= addr)
2335 return vma;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002336 start = vma->vm_start;
Linus Torvalds8d7071a2023-06-24 13:45:51 -07002337 if (expand_stack_locked(vma, addr))
Linus Torvalds1da177e2005-04-16 15:20:36 -07002338 return NULL;
Michel Lespinassecea10a12013-02-22 16:32:44 -08002339 if (vma->vm_flags & VM_LOCKED)
Kirill A. Shutemovfc05f562015-04-14 15:44:39 -07002340 populate_vma_page_range(vma, addr, start, NULL);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002341 return vma;
2342}
2343#endif
2344
Lukas Bulwahn69e583e2023-11-13 13:47:28 +01002345#if defined(CONFIG_STACK_GROWSUP)
Linus Torvalds8d7071a2023-06-24 13:45:51 -07002346
2347#define vma_expand_up(vma,addr) expand_upwards(vma, addr)
2348#define vma_expand_down(vma, addr) (-EFAULT)
2349
2350#else
2351
2352#define vma_expand_up(vma,addr) (-EFAULT)
2353#define vma_expand_down(vma, addr) expand_downwards(vma, addr)
2354
2355#endif
2356
2357/*
2358 * expand_stack(): legacy interface for page faulting. Don't use unless
2359 * you have to.
2360 *
2361 * This is called with the mm locked for reading, drops the lock, takes
2362 * the lock for writing, tries to look up a vma again, expands it if
2363 * necessary, and downgrades the lock to reading again.
2364 *
2365 * If no vma is found or it can't be expanded, it returns NULL and has
2366 * dropped the lock.
2367 */
2368struct vm_area_struct *expand_stack(struct mm_struct *mm, unsigned long addr)
2369{
2370 struct vm_area_struct *vma, *prev;
2371
2372 mmap_read_unlock(mm);
2373 if (mmap_write_lock_killable(mm))
2374 return NULL;
2375
2376 vma = find_vma_prev(mm, addr, &prev);
2377 if (vma && vma->vm_start <= addr)
2378 goto success;
2379
2380 if (prev && !vma_expand_up(prev, addr)) {
2381 vma = prev;
2382 goto success;
2383 }
2384
2385 if (vma && !vma_expand_down(vma, addr))
2386 goto success;
2387
2388 mmap_write_unlock(mm);
2389 return NULL;
2390
2391success:
2392 mmap_write_downgrade(mm);
2393 return vma;
2394}
Jesse Barnese1d6d012014-12-12 16:55:27 -08002395
Linus Torvalds1da177e2005-04-16 15:20:36 -07002396/*
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002397 * Ok - we have the memory areas we should free on a maple tree so release them,
2398 * and do the vma updates.
Hugh Dickins2c0b3812005-10-29 18:15:56 -07002399 *
2400 * Called with the mm semaphore held.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002401 */
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002402static inline void remove_mt(struct mm_struct *mm, struct ma_state *mas)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002403{
Linus Torvalds4f74d2c2012-05-06 13:54:06 -07002404 unsigned long nr_accounted = 0;
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002405 struct vm_area_struct *vma;
Linus Torvalds4f74d2c2012-05-06 13:54:06 -07002406
Hugh Dickins365e9c872005-10-29 18:16:18 -07002407 /* Update high watermark before we lower total_vm */
2408 update_hiwater_vm(mm);
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002409 mas_for_each(mas, vma, ULONG_MAX) {
Hugh Dickins2c0b3812005-10-29 18:15:56 -07002410 long nrpages = vma_pages(vma);
2411
Linus Torvalds4f74d2c2012-05-06 13:54:06 -07002412 if (vma->vm_flags & VM_ACCOUNT)
2413 nr_accounted += nrpages;
Konstantin Khlebnikov84638332016-01-14 15:22:07 -08002414 vm_stat_account(mm, vma->vm_flags, -nrpages);
Suren Baghdasaryan0d2ebf92023-02-27 09:36:31 -08002415 remove_vma(vma, false);
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002416 }
Linus Torvalds4f74d2c2012-05-06 13:54:06 -07002417 vm_unacct_memory(nr_accounted);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002418}
2419
2420/*
2421 * Get rid of page table information in the indicated region.
2422 *
Paolo 'Blaisorblade' Giarrussof10df682005-09-21 09:55:37 -07002423 * Called with the mm semaphore held.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002424 */
Liam R. Howlettfd892592023-07-24 14:31:45 -04002425static void unmap_region(struct mm_struct *mm, struct ma_state *mas,
Hugh Dickinse0da3822005-04-19 13:29:15 -07002426 struct vm_area_struct *vma, struct vm_area_struct *prev,
Liam R. Howlettfd892592023-07-24 14:31:45 -04002427 struct vm_area_struct *next, unsigned long start,
2428 unsigned long end, unsigned long tree_end, bool mm_wr_locked)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002429{
Peter Zijlstrad16dfc52011-05-24 17:11:45 -07002430 struct mmu_gather tlb;
Liam R. Howlettfd892592023-07-24 14:31:45 -04002431 unsigned long mt_start = mas->index;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002432
2433 lru_add_drain();
Will Deacona72afd82021-01-27 23:53:45 +00002434 tlb_gather_mmu(&tlb, mm);
Hugh Dickins365e9c872005-10-29 18:16:18 -07002435 update_hiwater_rss(mm);
Liam R. Howlettfd892592023-07-24 14:31:45 -04002436 unmap_vmas(&tlb, mas, vma, start, end, tree_end, mm_wr_locked);
2437 mas_set(mas, mt_start);
2438 free_pgtables(&tlb, mas, vma, prev ? prev->vm_end : FIRST_USER_ADDRESS,
Suren Baghdasaryan98e51a22023-02-27 09:36:18 -08002439 next ? next->vm_start : USER_PGTABLES_CEILING,
2440 mm_wr_locked);
Will Deaconae8eba82021-01-27 23:53:43 +00002441 tlb_finish_mmu(&tlb);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002442}
2443
2444/*
David Rientjesdef5efe2017-02-24 14:58:47 -08002445 * __split_vma() bypasses sysctl_max_map_count checking. We use this where it
2446 * has already been checked or doesn't make sense to fail.
Liam R. Howlett0fd5a9e2023-01-20 11:26:36 -05002447 * VMA Iterator will point to the end VMA.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002448 */
Lorenzo Stoakesadb20b02023-10-11 18:04:29 +01002449static int __split_vma(struct vma_iterator *vmi, struct vm_area_struct *vma,
2450 unsigned long addr, int new_below)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002451{
Liam R. Howlettb2b3b882023-01-20 11:26:44 -05002452 struct vma_prepare vp;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002453 struct vm_area_struct *new;
Chen Gange3975892015-09-08 15:03:38 -07002454 int err;
Liam R. Howlett9760ebf2023-01-20 11:26:30 -05002455
Liam R. Howlettb2b3b882023-01-20 11:26:44 -05002456 WARN_ON(vma->vm_start >= addr);
2457 WARN_ON(vma->vm_end <= addr);
2458
Dmitry Safonovdd3b6142020-12-14 19:08:17 -08002459 if (vma->vm_ops && vma->vm_ops->may_split) {
2460 err = vma->vm_ops->may_split(vma, addr);
Dan Williams31383c62017-11-29 16:10:28 -08002461 if (err)
2462 return err;
2463 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002464
Linus Torvalds3928d4f2018-07-21 13:48:51 -07002465 new = vm_area_dup(vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002466 if (!new)
Chen Gange3975892015-09-08 15:03:38 -07002467 return -ENOMEM;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002468
Liam R. Howlettb2b3b882023-01-20 11:26:44 -05002469 if (new_below) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07002470 new->vm_end = addr;
Liam R. Howlettb2b3b882023-01-20 11:26:44 -05002471 } else {
Linus Torvalds1da177e2005-04-16 15:20:36 -07002472 new->vm_start = addr;
2473 new->vm_pgoff += ((addr - vma->vm_start) >> PAGE_SHIFT);
2474 }
2475
Liam R. Howlettb5df0922023-07-24 14:31:52 -04002476 err = -ENOMEM;
2477 vma_iter_config(vmi, new->vm_start, new->vm_end);
2478 if (vma_iter_prealloc(vmi, new))
2479 goto out_free_vma;
2480
Oleg Nesterovef0855d2013-09-11 14:20:14 -07002481 err = vma_dup_policy(vma, new);
2482 if (err)
Liam R. Howlettb2b3b882023-01-20 11:26:44 -05002483 goto out_free_vmi;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002484
Daniel Forrestc4ea95d2014-12-02 15:59:42 -08002485 err = anon_vma_clone(new, vma);
2486 if (err)
Rik van Riel5beb4932010-03-05 13:42:07 -08002487 goto out_free_mpol;
2488
Konstantin Khlebnikove9714ac2012-10-08 16:28:54 -07002489 if (new->vm_file)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002490 get_file(new->vm_file);
2491
2492 if (new->vm_ops && new->vm_ops->open)
2493 new->vm_ops->open(new);
2494
Suren Baghdasaryanc9d6e982023-08-04 08:27:24 -07002495 vma_start_write(vma);
2496 vma_start_write(new);
2497
Liam R. Howlettb2b3b882023-01-20 11:26:44 -05002498 init_vma_prep(&vp, vma);
2499 vp.insert = new;
2500 vma_prepare(&vp);
Suren Baghdasaryanccf1d782023-02-27 09:36:13 -08002501 vma_adjust_trans_huge(vma, vma->vm_start, addr, 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002502
Liam R. Howlettb2b3b882023-01-20 11:26:44 -05002503 if (new_below) {
2504 vma->vm_start = addr;
2505 vma->vm_pgoff += (addr - new->vm_start) >> PAGE_SHIFT;
2506 } else {
2507 vma->vm_end = addr;
Liam R. Howlett9760ebf2023-01-20 11:26:30 -05002508 }
Rik van Riel5beb4932010-03-05 13:42:07 -08002509
Liam R. Howlettb2b3b882023-01-20 11:26:44 -05002510 /* vma_complete stores the new vma */
2511 vma_complete(&vp, vmi, vma->vm_mm);
2512
2513 /* Success. */
2514 if (new_below)
2515 vma_next(vmi);
Liam R. Howlettb2b3b882023-01-20 11:26:44 -05002516 return 0;
2517
2518out_free_mpol:
Oleg Nesterovef0855d2013-09-11 14:20:14 -07002519 mpol_put(vma_policy(new));
Liam R. Howlettb2b3b882023-01-20 11:26:44 -05002520out_free_vmi:
2521 vma_iter_free(vmi);
2522out_free_vma:
Linus Torvalds3928d4f2018-07-21 13:48:51 -07002523 vm_area_free(new);
Rik van Riel5beb4932010-03-05 13:42:07 -08002524 return err;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002525}
2526
KOSAKI Motohiro659ace52009-12-14 17:57:56 -08002527/*
2528 * Split a vma into two pieces at address 'addr', a new vma is allocated
2529 * either for the first part or the tail.
2530 */
Lorenzo Stoakesadb20b02023-10-11 18:04:29 +01002531static int split_vma(struct vma_iterator *vmi, struct vm_area_struct *vma,
2532 unsigned long addr, int new_below)
KOSAKI Motohiro659ace52009-12-14 17:57:56 -08002533{
Liam R. Howlett9760ebf2023-01-20 11:26:30 -05002534 if (vma->vm_mm->map_count >= sysctl_max_map_count)
KOSAKI Motohiro659ace52009-12-14 17:57:56 -08002535 return -ENOMEM;
2536
Liam R. Howlett9760ebf2023-01-20 11:26:30 -05002537 return __split_vma(vmi, vma, addr, new_below);
Liam R. Howlettf2ebfe42023-01-20 11:26:15 -05002538}
2539
Liam R. Howlett11f9a212022-09-06 19:48:52 +00002540/*
Lorenzo Stoakes94d7d922023-10-11 18:04:28 +01002541 * We are about to modify one or multiple of a VMA's flags, policy, userfaultfd
2542 * context and anonymous VMA name within the range [start, end).
2543 *
2544 * As a result, we might be able to merge the newly modified VMA range with an
2545 * adjacent VMA with identical properties.
2546 *
2547 * If no merge is possible and the range does not span the entirety of the VMA,
2548 * we then need to split the VMA to accommodate the change.
2549 *
2550 * The function returns either the merged VMA, the original VMA if a split was
2551 * required instead, or an error if the split failed.
2552 */
2553struct vm_area_struct *vma_modify(struct vma_iterator *vmi,
2554 struct vm_area_struct *prev,
2555 struct vm_area_struct *vma,
2556 unsigned long start, unsigned long end,
2557 unsigned long vm_flags,
2558 struct mempolicy *policy,
2559 struct vm_userfaultfd_ctx uffd_ctx,
2560 struct anon_vma_name *anon_name)
2561{
2562 pgoff_t pgoff = vma->vm_pgoff + ((start - vma->vm_start) >> PAGE_SHIFT);
2563 struct vm_area_struct *merged;
2564
Yajun Deng2c8b9472024-02-03 09:46:32 +08002565 merged = vma_merge(vmi, prev, vma, start, end, vm_flags,
2566 pgoff, policy, uffd_ctx, anon_name);
Lorenzo Stoakes94d7d922023-10-11 18:04:28 +01002567 if (merged)
2568 return merged;
2569
2570 if (vma->vm_start < start) {
2571 int err = split_vma(vmi, vma, start, 1);
2572
2573 if (err)
2574 return ERR_PTR(err);
2575 }
2576
2577 if (vma->vm_end > end) {
2578 int err = split_vma(vmi, vma, end, 0);
2579
2580 if (err)
2581 return ERR_PTR(err);
2582 }
2583
2584 return vma;
2585}
2586
2587/*
Lorenzo Stoakes4b5f2d22023-10-11 18:04:30 +01002588 * Attempt to merge a newly mapped VMA with those adjacent to it. The caller
2589 * must ensure that [start, end) does not overlap any existing VMA.
2590 */
2591static struct vm_area_struct
2592*vma_merge_new_vma(struct vma_iterator *vmi, struct vm_area_struct *prev,
2593 struct vm_area_struct *vma, unsigned long start,
2594 unsigned long end, pgoff_t pgoff)
2595{
Yajun Deng2c8b9472024-02-03 09:46:32 +08002596 return vma_merge(vmi, prev, vma, start, end, vma->vm_flags, pgoff,
2597 vma_policy(vma), vma->vm_userfaultfd_ctx, anon_vma_name(vma));
Lorenzo Stoakes4b5f2d22023-10-11 18:04:30 +01002598}
2599
2600/*
Lorenzo Stoakes93bf5d42023-10-11 18:04:31 +01002601 * Expand vma by delta bytes, potentially merging with an immediately adjacent
2602 * VMA with identical properties.
2603 */
2604struct vm_area_struct *vma_merge_extend(struct vma_iterator *vmi,
2605 struct vm_area_struct *vma,
2606 unsigned long delta)
2607{
2608 pgoff_t pgoff = vma->vm_pgoff + vma_pages(vma);
2609
2610 /* vma is specified as prev, so case 1 or 2 will apply. */
Yajun Deng2c8b9472024-02-03 09:46:32 +08002611 return vma_merge(vmi, vma, vma, vma->vm_end, vma->vm_end + delta,
2612 vma->vm_flags, pgoff, vma_policy(vma),
2613 vma->vm_userfaultfd_ctx, anon_vma_name(vma));
Lorenzo Stoakes93bf5d42023-10-11 18:04:31 +01002614}
2615
2616/*
Liam R. Howlett183654c2023-01-20 11:26:13 -05002617 * do_vmi_align_munmap() - munmap the aligned region from @start to @end.
2618 * @vmi: The vma iterator
Liam R. Howlett11f9a212022-09-06 19:48:52 +00002619 * @vma: The starting vm_area_struct
2620 * @mm: The mm_struct
2621 * @start: The aligned start address to munmap.
2622 * @end: The aligned end address to munmap.
2623 * @uf: The userfaultfd list_head
Liam R. Howlett408579c2023-06-29 22:28:16 -04002624 * @unlock: Set to true to drop the mmap_lock. unlocking only happens on
2625 * success.
Liam R. Howlett11f9a212022-09-06 19:48:52 +00002626 *
Liam R. Howlett408579c2023-06-29 22:28:16 -04002627 * Return: 0 on success and drops the lock if so directed, error and leaves the
2628 * lock held otherwise.
Liam R. Howlett11f9a212022-09-06 19:48:52 +00002629 */
2630static int
Liam R. Howlett183654c2023-01-20 11:26:13 -05002631do_vmi_align_munmap(struct vma_iterator *vmi, struct vm_area_struct *vma,
Liam R. Howlett11f9a212022-09-06 19:48:52 +00002632 struct mm_struct *mm, unsigned long start,
Liam R. Howlett408579c2023-06-29 22:28:16 -04002633 unsigned long end, struct list_head *uf, bool unlock)
Liam R. Howlett11f9a212022-09-06 19:48:52 +00002634{
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002635 struct vm_area_struct *prev, *next = NULL;
2636 struct maple_tree mt_detach;
2637 int count = 0;
Liam R. Howlettd4af56c2022-09-06 19:48:45 +00002638 int error = -ENOMEM;
Liam R. Howlett606c8122023-06-17 20:47:08 -04002639 unsigned long locked_vm = 0;
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002640 MA_STATE(mas_detach, &mt_detach, 0, 0);
Liam R. Howlett3dd44322023-02-27 09:36:07 -08002641 mt_init_flags(&mt_detach, vmi->mas.tree->ma_flags & MT_FLAGS_LOCK_MASK);
Liam R. Howlett02fdb252023-07-05 14:47:49 -04002642 mt_on_stack(mt_detach);
Liam R. Howlett524e00b2022-09-06 19:48:48 +00002643
Linus Torvalds1da177e2005-04-16 15:20:36 -07002644 /*
2645 * If we need to split any vma, do it now to save pain later.
2646 *
2647 * Note: mremap's move_vma VM_ACCOUNT handling assumes a partially
2648 * unmapped vm_area_struct will remain in use: so lower split_vma
2649 * places tmp vma above, and higher split_vma places tmp vma below.
2650 */
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002651
2652 /* Does it split the first one? */
Hugh Dickins146425a2005-04-19 13:29:18 -07002653 if (start > vma->vm_start) {
KOSAKI Motohiro659ace52009-12-14 17:57:56 -08002654
2655 /*
2656 * Make sure that map_count on return from munmap() will
2657 * not exceed its limit; but let map_count go just above
2658 * its limit temporarily, to help free resources as expected.
2659 */
2660 if (end < vma->vm_end && mm->map_count >= sysctl_max_map_count)
Liam R. Howlettd4af56c2022-09-06 19:48:45 +00002661 goto map_count_exceeded;
KOSAKI Motohiro659ace52009-12-14 17:57:56 -08002662
Liam R. Howlett6935e052023-07-24 14:31:57 -04002663 error = __split_vma(vmi, vma, start, 1);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002664 if (error)
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002665 goto start_split_failed;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002666 }
2667
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002668 /*
2669 * Detach a range of VMAs from the mm. Using next as a temp variable as
2670 * it is always overwritten.
2671 */
Liam R. Howlett6935e052023-07-24 14:31:57 -04002672 next = vma;
2673 do {
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002674 /* Does it split the end? */
2675 if (next->vm_end > end) {
Liam R. Howlett6b73cff2023-01-20 11:26:39 -05002676 error = __split_vma(vmi, next, end, 0);
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002677 if (error)
2678 goto end_split_failed;
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002679 }
Liam R. Howlett606c8122023-06-17 20:47:08 -04002680 vma_start_write(next);
Liam R. Howlettfd892592023-07-24 14:31:45 -04002681 mas_set(&mas_detach, count);
David Woodhouse6c26bd42023-06-28 10:55:03 +01002682 error = mas_store_gfp(&mas_detach, next, GFP_KERNEL);
2683 if (error)
Liam R. Howlett606c8122023-06-17 20:47:08 -04002684 goto munmap_gather_failed;
2685 vma_mark_detached(next, true);
2686 if (next->vm_flags & VM_LOCKED)
2687 locked_vm += vma_pages(next);
Liam R. Howlett11f9a212022-09-06 19:48:52 +00002688
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002689 count++;
Liam R. Howlett65ac1322023-05-31 21:54:02 -04002690 if (unlikely(uf)) {
2691 /*
2692 * If userfaultfd_unmap_prep returns an error the vmas
2693 * will remain split, but userland will get a
2694 * highly unexpected error anyway. This is no
2695 * different than the case where the first of the two
2696 * __split_vma fails, but we don't undo the first
2697 * split, despite we could. This is unlikely enough
2698 * failure that it's not worth optimizing it for.
2699 */
2700 error = userfaultfd_unmap_prep(next, start, end, uf);
2701
2702 if (error)
2703 goto userfaultfd_error;
2704 }
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002705#ifdef CONFIG_DEBUG_VM_MAPLE_TREE
2706 BUG_ON(next->vm_start < start);
2707 BUG_ON(next->vm_start > end);
2708#endif
Liam R. Howlett6935e052023-07-24 14:31:57 -04002709 } for_each_vma_range(*vmi, next, end);
Andrea Arcangeli2376dd72017-09-06 16:23:53 -07002710
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002711#if defined(CONFIG_DEBUG_VM_MAPLE_TREE)
2712 /* Make sure no VMAs are about to be lost. */
2713 {
Liam R. Howlettfd892592023-07-24 14:31:45 -04002714 MA_STATE(test, &mt_detach, 0, 0);
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002715 struct vm_area_struct *vma_mas, *vma_test;
2716 int test_count = 0;
2717
Liam R. Howlett183654c2023-01-20 11:26:13 -05002718 vma_iter_set(vmi, start);
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002719 rcu_read_lock();
Liam R. Howlettfd892592023-07-24 14:31:45 -04002720 vma_test = mas_find(&test, count - 1);
Liam R. Howlett183654c2023-01-20 11:26:13 -05002721 for_each_vma_range(*vmi, vma_mas, end) {
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002722 BUG_ON(vma_mas != vma_test);
2723 test_count++;
Liam R. Howlettfd892592023-07-24 14:31:45 -04002724 vma_test = mas_next(&test, count - 1);
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002725 }
2726 rcu_read_unlock();
2727 BUG_ON(count != test_count);
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002728 }
2729#endif
Liam R. Howlett6935e052023-07-24 14:31:57 -04002730
2731 while (vma_iter_addr(vmi) > start)
2732 vma_iter_prev_range(vmi);
2733
David Woodhouse6c26bd42023-06-28 10:55:03 +01002734 error = vma_iter_clear_gfp(vmi, start, end, GFP_KERNEL);
2735 if (error)
Liam R. Howlett606c8122023-06-17 20:47:08 -04002736 goto clear_tree_failed;
Liam R. Howlett0378c0a2023-01-20 11:26:12 -05002737
David Woodhouse6c26bd42023-06-28 10:55:03 +01002738 /* Point of no return */
Liam R. Howlett606c8122023-06-17 20:47:08 -04002739 mm->locked_vm -= locked_vm;
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002740 mm->map_count -= count;
Liam R. Howlett408579c2023-06-29 22:28:16 -04002741 if (unlock)
Matthew Wilcox (Oracle)e4bd84c2023-06-29 20:14:14 +01002742 mmap_write_downgrade(mm);
Yang Shidd2283f2018-10-26 15:07:11 -07002743
Liam R. Howlett6935e052023-07-24 14:31:57 -04002744 prev = vma_iter_prev_range(vmi);
2745 next = vma_next(vmi);
2746 if (next)
2747 vma_iter_prev_range(vmi);
2748
Suren Baghdasaryan68f48382023-01-26 11:37:51 -08002749 /*
2750 * We can free page tables without write-locking mmap_lock because VMAs
2751 * were isolated before we downgraded mmap_lock.
2752 */
Liam R. Howlettfd892592023-07-24 14:31:45 -04002753 mas_set(&mas_detach, 1);
2754 unmap_region(mm, &mas_detach, vma, prev, next, start, end, count,
2755 !unlock);
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002756 /* Statistics and freeing VMAs */
Liam R. Howlettfd892592023-07-24 14:31:45 -04002757 mas_set(&mas_detach, 0);
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002758 remove_mt(mm, &mas_detach);
Linus Torvaldsae80b402023-07-03 10:08:50 -07002759 validate_mm(mm);
Liam R. Howlett408579c2023-06-29 22:28:16 -04002760 if (unlock)
2761 mmap_read_unlock(mm);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002762
Liam R. Howlett02fdb252023-07-05 14:47:49 -04002763 __mt_destroy(&mt_detach);
Liam R. Howlett408579c2023-06-29 22:28:16 -04002764 return 0;
Liam R. Howlettd4af56c2022-09-06 19:48:45 +00002765
Liam R. Howlett606c8122023-06-17 20:47:08 -04002766clear_tree_failed:
Liam R. Howlettd4af56c2022-09-06 19:48:45 +00002767userfaultfd_error:
Liam R. Howlett606c8122023-06-17 20:47:08 -04002768munmap_gather_failed:
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002769end_split_failed:
Liam R. Howlett606c8122023-06-17 20:47:08 -04002770 mas_set(&mas_detach, 0);
2771 mas_for_each(&mas_detach, next, end)
2772 vma_mark_detached(next, false);
2773
Liam R. Howlett763ecb02022-09-06 19:49:06 +00002774 __mt_destroy(&mt_detach);
2775start_split_failed:
2776map_count_exceeded:
Linus Torvaldsb5641a52023-07-03 19:29:48 -07002777 validate_mm(mm);
Liam R. Howlettd4af56c2022-09-06 19:48:45 +00002778 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002779}
Linus Torvalds1da177e2005-04-16 15:20:36 -07002780
Liam R. Howlett11f9a212022-09-06 19:48:52 +00002781/*
Liam R. Howlett183654c2023-01-20 11:26:13 -05002782 * do_vmi_munmap() - munmap a given range.
2783 * @vmi: The vma iterator
Liam R. Howlett11f9a212022-09-06 19:48:52 +00002784 * @mm: The mm_struct
2785 * @start: The start address to munmap
2786 * @len: The length of the range to munmap
2787 * @uf: The userfaultfd list_head
Liam R. Howlett408579c2023-06-29 22:28:16 -04002788 * @unlock: set to true if the user wants to drop the mmap_lock on success
Liam R. Howlett11f9a212022-09-06 19:48:52 +00002789 *
2790 * This function takes a @mas that is either pointing to the previous VMA or set
2791 * to MA_START and sets it up to remove the mapping(s). The @len will be
2792 * aligned and any arch_unmap work will be preformed.
2793 *
Liam R. Howlett408579c2023-06-29 22:28:16 -04002794 * Return: 0 on success and drops the lock if so directed, error and leaves the
2795 * lock held otherwise.
Liam R. Howlett11f9a212022-09-06 19:48:52 +00002796 */
Liam R. Howlett183654c2023-01-20 11:26:13 -05002797int do_vmi_munmap(struct vma_iterator *vmi, struct mm_struct *mm,
Liam R. Howlett11f9a212022-09-06 19:48:52 +00002798 unsigned long start, size_t len, struct list_head *uf,
Liam R. Howlett408579c2023-06-29 22:28:16 -04002799 bool unlock)
Liam R. Howlett11f9a212022-09-06 19:48:52 +00002800{
2801 unsigned long end;
2802 struct vm_area_struct *vma;
2803
2804 if ((offset_in_page(start)) || start > TASK_SIZE || len > TASK_SIZE-start)
2805 return -EINVAL;
2806
2807 end = start + PAGE_ALIGN(len);
2808 if (end == start)
2809 return -EINVAL;
2810
Jeff Xu8be72582024-04-15 16:35:21 +00002811 /*
2812 * Check if memory is sealed before arch_unmap.
2813 * Prevent unmapping a sealed VMA.
2814 * can_modify_mm assumes we have acquired the lock on MM.
2815 */
2816 if (unlikely(!can_modify_mm(mm, start, end)))
2817 return -EPERM;
2818
Liam R. Howlett11f9a212022-09-06 19:48:52 +00002819 /* arch_unmap() might do unmaps itself. */
2820 arch_unmap(mm, start, end);
2821
2822 /* Find the first overlapping VMA */
Liam R. Howlett183654c2023-01-20 11:26:13 -05002823 vma = vma_find(vmi, end);
Liam R. Howlett408579c2023-06-29 22:28:16 -04002824 if (!vma) {
2825 if (unlock)
2826 mmap_write_unlock(mm);
Liam R. Howlett11f9a212022-09-06 19:48:52 +00002827 return 0;
Liam R. Howlett408579c2023-06-29 22:28:16 -04002828 }
Liam R. Howlett11f9a212022-09-06 19:48:52 +00002829
Liam R. Howlett408579c2023-06-29 22:28:16 -04002830 return do_vmi_align_munmap(vmi, vma, mm, start, end, uf, unlock);
Liam R. Howlett11f9a212022-09-06 19:48:52 +00002831}
2832
2833/* do_munmap() - Wrapper function for non-maple tree aware do_munmap() calls.
2834 * @mm: The mm_struct
2835 * @start: The start address to munmap
2836 * @len: The length to be munmapped.
2837 * @uf: The userfaultfd list_head
Liam R. Howlett408579c2023-06-29 22:28:16 -04002838 *
2839 * Return: 0 on success, error otherwise.
Liam R. Howlett11f9a212022-09-06 19:48:52 +00002840 */
Yang Shidd2283f2018-10-26 15:07:11 -07002841int do_munmap(struct mm_struct *mm, unsigned long start, size_t len,
2842 struct list_head *uf)
2843{
Liam R. Howlett183654c2023-01-20 11:26:13 -05002844 VMA_ITERATOR(vmi, mm, start);
Liam R. Howlett11f9a212022-09-06 19:48:52 +00002845
Liam R. Howlett183654c2023-01-20 11:26:13 -05002846 return do_vmi_munmap(&vmi, mm, start, len, uf, false);
Yang Shidd2283f2018-10-26 15:07:11 -07002847}
2848
Liam R. Howlette99668a2022-09-06 19:48:52 +00002849unsigned long mmap_region(struct file *file, unsigned long addr,
2850 unsigned long len, vm_flags_t vm_flags, unsigned long pgoff,
2851 struct list_head *uf)
2852{
2853 struct mm_struct *mm = current->mm;
2854 struct vm_area_struct *vma = NULL;
2855 struct vm_area_struct *next, *prev, *merge;
2856 pgoff_t pglen = len >> PAGE_SHIFT;
2857 unsigned long charged = 0;
2858 unsigned long end = addr + len;
2859 unsigned long merge_start = addr, merge_end = end;
Lorenzo Stoakes15897892023-10-12 18:04:30 +01002860 bool writable_file_mapping = false;
Liam R. Howlette99668a2022-09-06 19:48:52 +00002861 pgoff_t vm_pgoff;
2862 int error;
Liam R. Howlett183654c2023-01-20 11:26:13 -05002863 VMA_ITERATOR(vmi, mm, addr);
Liam R. Howlette99668a2022-09-06 19:48:52 +00002864
2865 /* Check against address space limit. */
2866 if (!may_expand_vm(mm, vm_flags, len >> PAGE_SHIFT)) {
2867 unsigned long nr_pages;
2868
2869 /*
2870 * MAP_FIXED may remove pages of mappings that intersects with
2871 * requested mapping. Account for the pages it would unmap.
2872 */
2873 nr_pages = count_vma_pages_range(mm, addr, end);
2874
2875 if (!may_expand_vm(mm, vm_flags,
2876 (len >> PAGE_SHIFT) - nr_pages))
2877 return -ENOMEM;
2878 }
2879
2880 /* Unmap any existing mapping in the area */
Jeff Xu8be72582024-04-15 16:35:21 +00002881 error = do_vmi_munmap(&vmi, mm, addr, len, uf, false);
2882 if (error == -EPERM)
2883 return error;
2884 else if (error)
Liam R. Howlette99668a2022-09-06 19:48:52 +00002885 return -ENOMEM;
2886
2887 /*
2888 * Private writable mapping: check memory availability
2889 */
2890 if (accountable_mapping(file, vm_flags)) {
2891 charged = len >> PAGE_SHIFT;
2892 if (security_vm_enough_memory_mm(mm, charged))
2893 return -ENOMEM;
2894 vm_flags |= VM_ACCOUNT;
2895 }
2896
Liam R. Howlett183654c2023-01-20 11:26:13 -05002897 next = vma_next(&vmi);
2898 prev = vma_prev(&vmi);
Liam R. Howlett53bee982023-07-24 14:31:48 -04002899 if (vm_flags & VM_SPECIAL) {
2900 if (prev)
2901 vma_iter_next_range(&vmi);
Liam R. Howlette99668a2022-09-06 19:48:52 +00002902 goto cannot_expand;
Liam R. Howlett53bee982023-07-24 14:31:48 -04002903 }
Liam R. Howlette99668a2022-09-06 19:48:52 +00002904
2905 /* Attempt to expand an old mapping */
2906 /* Check next */
2907 if (next && next->vm_start == end && !vma_policy(next) &&
2908 can_vma_merge_before(next, vm_flags, NULL, file, pgoff+pglen,
2909 NULL_VM_UFFD_CTX, NULL)) {
2910 merge_end = next->vm_end;
2911 vma = next;
2912 vm_pgoff = next->vm_pgoff - pglen;
2913 }
2914
2915 /* Check prev */
2916 if (prev && prev->vm_end == addr && !vma_policy(prev) &&
2917 (vma ? can_vma_merge_after(prev, vm_flags, vma->anon_vma, file,
2918 pgoff, vma->vm_userfaultfd_ctx, NULL) :
2919 can_vma_merge_after(prev, vm_flags, NULL, file, pgoff,
2920 NULL_VM_UFFD_CTX, NULL))) {
2921 merge_start = prev->vm_start;
2922 vma = prev;
2923 vm_pgoff = prev->vm_pgoff;
Liam R. Howlett53bee982023-07-24 14:31:48 -04002924 } else if (prev) {
2925 vma_iter_next_range(&vmi);
Liam R. Howlette99668a2022-09-06 19:48:52 +00002926 }
2927
Liam R. Howlette99668a2022-09-06 19:48:52 +00002928 /* Actually expand, if possible */
2929 if (vma &&
Liam R. Howlett3c441ab2023-01-20 11:26:14 -05002930 !vma_expand(&vmi, vma, merge_start, merge_end, vm_pgoff, next)) {
Liam R. Howlette99668a2022-09-06 19:48:52 +00002931 khugepaged_enter_vma(vma, vm_flags);
2932 goto expanded;
2933 }
2934
Liam R. Howlett53bee982023-07-24 14:31:48 -04002935 if (vma == prev)
2936 vma_iter_set(&vmi, addr);
Liam R. Howlette99668a2022-09-06 19:48:52 +00002937cannot_expand:
Liam R. Howlett5c1c03d2023-05-18 10:55:44 -04002938
Liam R. Howlette99668a2022-09-06 19:48:52 +00002939 /*
2940 * Determine the object being mapped and call the appropriate
2941 * specific mapper. the address has already been validated, but
2942 * not unmapped, but the maps are removed from the list.
2943 */
2944 vma = vm_area_alloc(mm);
2945 if (!vma) {
2946 error = -ENOMEM;
2947 goto unacct_error;
2948 }
2949
Liam R. Howlett53bee982023-07-24 14:31:48 -04002950 vma_iter_config(&vmi, addr, end);
Yajun Deng412c6ef2024-01-24 11:57:19 +08002951 vma_set_range(vma, addr, end, pgoff);
Suren Baghdasaryan1c712222023-01-26 11:37:49 -08002952 vm_flags_init(vma, vm_flags);
Liam R. Howlette99668a2022-09-06 19:48:52 +00002953 vma->vm_page_prot = vm_get_page_prot(vm_flags);
Liam R. Howlette99668a2022-09-06 19:48:52 +00002954
2955 if (file) {
Liam R. Howlette99668a2022-09-06 19:48:52 +00002956 vma->vm_file = get_file(file);
2957 error = call_mmap(file, vma);
2958 if (error)
2959 goto unmap_and_free_vma;
2960
Lorenzo Stoakes15897892023-10-12 18:04:30 +01002961 if (vma_is_shared_maywrite(vma)) {
2962 error = mapping_map_writable(file->f_mapping);
2963 if (error)
2964 goto close_and_free_vma;
2965
2966 writable_file_mapping = true;
2967 }
2968
Liam Howletta57b7052022-10-18 19:17:12 +00002969 /*
2970 * Expansion is handled above, merging is handled below.
2971 * Drivers should not alter the address of the VMA.
Liam R. Howlette99668a2022-09-06 19:48:52 +00002972 */
Liam R. Howlettcc8d1b02023-01-20 11:26:38 -05002973 error = -EINVAL;
2974 if (WARN_ON((addr != vma->vm_start)))
Liam Howletta57b7052022-10-18 19:17:12 +00002975 goto close_and_free_vma;
Liam R. Howlette99668a2022-09-06 19:48:52 +00002976
Liam R. Howlett53bee982023-07-24 14:31:48 -04002977 vma_iter_config(&vmi, addr, end);
Liam R. Howlette99668a2022-09-06 19:48:52 +00002978 /*
2979 * If vm_flags changed after call_mmap(), we should try merge
2980 * vma again as we may succeed this time.
2981 */
2982 if (unlikely(vm_flags != vma->vm_flags && prev)) {
Lorenzo Stoakes4b5f2d22023-10-11 18:04:30 +01002983 merge = vma_merge_new_vma(&vmi, prev, vma,
2984 vma->vm_start, vma->vm_end,
2985 vma->vm_pgoff);
Liam R. Howlette99668a2022-09-06 19:48:52 +00002986 if (merge) {
2987 /*
2988 * ->mmap() can change vma->vm_file and fput
2989 * the original file. So fput the vma->vm_file
2990 * here or we would add an extra fput for file
2991 * and cause general protection fault
2992 * ultimately.
2993 */
2994 fput(vma->vm_file);
2995 vm_area_free(vma);
2996 vma = merge;
2997 /* Update vm_flags to pick up the change. */
Liam R. Howlette99668a2022-09-06 19:48:52 +00002998 vm_flags = vma->vm_flags;
2999 goto unmap_writable;
3000 }
3001 }
3002
3003 vm_flags = vma->vm_flags;
3004 } else if (vm_flags & VM_SHARED) {
3005 error = shmem_zero_setup(vma);
3006 if (error)
3007 goto free_vma;
3008 } else {
3009 vma_set_anonymous(vma);
3010 }
3011
Joey Goulyb5078082023-01-19 16:03:43 +00003012 if (map_deny_write_exec(vma, vma->vm_flags)) {
3013 error = -EACCES;
Joey Gouly6bbf1092023-03-08 19:04:20 +00003014 goto close_and_free_vma;
Joey Goulyb5078082023-01-19 16:03:43 +00003015 }
3016
Liam R. Howlette99668a2022-09-06 19:48:52 +00003017 /* Allow architectures to sanity-check the vm_flags */
Liam R. Howlettcc8d1b02023-01-20 11:26:38 -05003018 error = -EINVAL;
3019 if (!arch_validate_flags(vma->vm_flags))
3020 goto close_and_free_vma;
Liam R. Howlette99668a2022-09-06 19:48:52 +00003021
Liam R. Howlettcc8d1b02023-01-20 11:26:38 -05003022 error = -ENOMEM;
Liam R. Howlettb5df0922023-07-24 14:31:52 -04003023 if (vma_iter_prealloc(&vmi, vma))
Liam R. Howlettcc8d1b02023-01-20 11:26:38 -05003024 goto close_and_free_vma;
Liam R. Howlette99668a2022-09-06 19:48:52 +00003025
Hugh Dickins1c7873e2023-07-08 16:04:00 -07003026 /* Lock the VMA since it is modified after insertion into VMA tree */
3027 vma_start_write(vma);
Liam R. Howlett183654c2023-01-20 11:26:13 -05003028 vma_iter_store(&vmi, vma);
Liam R. Howlette99668a2022-09-06 19:48:52 +00003029 mm->map_count++;
Yajun Deng30afc8c2024-01-10 16:46:22 +08003030 vma_link_file(vma);
Liam R. Howlette99668a2022-09-06 19:48:52 +00003031
3032 /*
3033 * vma_merge() calls khugepaged_enter_vma() either, the below
3034 * call covers the non-merge case.
3035 */
3036 khugepaged_enter_vma(vma, vma->vm_flags);
3037
3038 /* Once vma denies write, undo our temporary denial count */
3039unmap_writable:
Lorenzo Stoakes15897892023-10-12 18:04:30 +01003040 if (writable_file_mapping)
Liam R. Howlette99668a2022-09-06 19:48:52 +00003041 mapping_unmap_writable(file->f_mapping);
3042 file = vma->vm_file;
Stefan Roeschd7597f52023-04-17 22:13:40 -07003043 ksm_add_vma(vma);
Liam R. Howlette99668a2022-09-06 19:48:52 +00003044expanded:
3045 perf_event_mmap(vma);
3046
3047 vm_stat_account(mm, vm_flags, len >> PAGE_SHIFT);
3048 if (vm_flags & VM_LOCKED) {
3049 if ((vm_flags & VM_SPECIAL) || vma_is_dax(vma) ||
3050 is_vm_hugetlb_page(vma) ||
3051 vma == get_gate_vma(current->mm))
Suren Baghdasaryane430a952023-01-26 11:37:48 -08003052 vm_flags_clear(vma, VM_LOCKED_MASK);
Liam R. Howlette99668a2022-09-06 19:48:52 +00003053 else
3054 mm->locked_vm += (len >> PAGE_SHIFT);
3055 }
3056
3057 if (file)
3058 uprobe_mmap(vma);
3059
3060 /*
3061 * New (or expanded) vma always get soft dirty status.
3062 * Otherwise user-space soft-dirty page tracker won't
3063 * be able to distinguish situation when vma area unmapped,
3064 * then new mapped in-place (which must be aimed as
3065 * a completely new data area).
3066 */
Suren Baghdasaryan1c712222023-01-26 11:37:49 -08003067 vm_flags_set(vma, VM_SOFTDIRTY);
Liam R. Howlette99668a2022-09-06 19:48:52 +00003068
3069 vma_set_page_prot(vma);
3070
3071 validate_mm(mm);
3072 return addr;
3073
Carlos Llamasdeb0f652022-09-30 00:38:43 +00003074close_and_free_vma:
Liam R. Howlettcc8d1b02023-01-20 11:26:38 -05003075 if (file && vma->vm_ops && vma->vm_ops->close)
Carlos Llamasdeb0f652022-09-30 00:38:43 +00003076 vma->vm_ops->close(vma);
Liam R. Howlette99668a2022-09-06 19:48:52 +00003077
Liam R. Howlettcc8d1b02023-01-20 11:26:38 -05003078 if (file || vma->vm_file) {
3079unmap_and_free_vma:
3080 fput(vma->vm_file);
3081 vma->vm_file = NULL;
3082
Liam R. Howlettfd892592023-07-24 14:31:45 -04003083 vma_iter_set(&vmi, vma->vm_end);
Liam R. Howlettcc8d1b02023-01-20 11:26:38 -05003084 /* Undo any partial mapping done by a device driver. */
Liam R. Howlettfd892592023-07-24 14:31:45 -04003085 unmap_region(mm, &vmi.mas, vma, prev, next, vma->vm_start,
3086 vma->vm_end, vma->vm_end, true);
Liam R. Howlettcc8d1b02023-01-20 11:26:38 -05003087 }
Lorenzo Stoakes15897892023-10-12 18:04:30 +01003088 if (writable_file_mapping)
Liam R. Howlette99668a2022-09-06 19:48:52 +00003089 mapping_unmap_writable(file->f_mapping);
3090free_vma:
3091 vm_area_free(vma);
3092unacct_error:
3093 if (charged)
3094 vm_unacct_memory(charged);
3095 validate_mm(mm);
3096 return error;
3097}
3098
Liam R. Howlett408579c2023-06-29 22:28:16 -04003099static int __vm_munmap(unsigned long start, size_t len, bool unlock)
Linus Torvaldsa46ef992012-04-20 16:20:01 -07003100{
3101 int ret;
Al Virobfce2812012-04-20 21:57:04 -04003102 struct mm_struct *mm = current->mm;
Mike Rapoport897ab3e2017-02-24 14:58:22 -08003103 LIST_HEAD(uf);
Liam R. Howlett183654c2023-01-20 11:26:13 -05003104 VMA_ITERATOR(vmi, mm, start);
Linus Torvaldsa46ef992012-04-20 16:20:01 -07003105
Michel Lespinassed8ed45c2020-06-08 21:33:25 -07003106 if (mmap_write_lock_killable(mm))
Michal Hockoae798782016-05-23 16:25:33 -07003107 return -EINTR;
3108
Liam R. Howlett408579c2023-06-29 22:28:16 -04003109 ret = do_vmi_munmap(&vmi, mm, start, len, &uf, unlock);
3110 if (ret || !unlock)
Michel Lespinassed8ed45c2020-06-08 21:33:25 -07003111 mmap_write_unlock(mm);
Yang Shidd2283f2018-10-26 15:07:11 -07003112
Mike Rapoport897ab3e2017-02-24 14:58:22 -08003113 userfaultfd_unmap_complete(mm, &uf);
Linus Torvaldsa46ef992012-04-20 16:20:01 -07003114 return ret;
3115}
Yang Shidd2283f2018-10-26 15:07:11 -07003116
3117int vm_munmap(unsigned long start, size_t len)
3118{
3119 return __vm_munmap(start, len, false);
3120}
Linus Torvaldsa46ef992012-04-20 16:20:01 -07003121EXPORT_SYMBOL(vm_munmap);
3122
Heiko Carstens6a6160a2009-01-14 14:14:15 +01003123SYSCALL_DEFINE2(munmap, unsigned long, addr, size_t, len)
Linus Torvalds1da177e2005-04-16 15:20:36 -07003124{
Catalin Marinasce18d172019-09-25 16:49:04 -07003125 addr = untagged_addr(addr);
Yang Shidd2283f2018-10-26 15:07:11 -07003126 return __vm_munmap(addr, len, true);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003127}
3128
Kirill A. Shutemovc8d78c182015-02-10 14:09:46 -08003129
3130/*
3131 * Emulation of deprecated remap_file_pages() syscall.
3132 */
3133SYSCALL_DEFINE5(remap_file_pages, unsigned long, start, unsigned long, size,
3134 unsigned long, prot, unsigned long, pgoff, unsigned long, flags)
3135{
3136
3137 struct mm_struct *mm = current->mm;
3138 struct vm_area_struct *vma;
3139 unsigned long populate = 0;
3140 unsigned long ret = -EINVAL;
3141 struct file *file;
3142
Mike Rapoportee657282022-06-27 09:00:26 +03003143 pr_warn_once("%s (%d) uses deprecated remap_file_pages() syscall. See Documentation/mm/remap_file_pages.rst.\n",
Joe Perches756a0252016-03-17 14:19:47 -07003144 current->comm, current->pid);
Kirill A. Shutemovc8d78c182015-02-10 14:09:46 -08003145
3146 if (prot)
3147 return ret;
3148 start = start & PAGE_MASK;
3149 size = size & PAGE_MASK;
3150
3151 if (start + size <= start)
3152 return ret;
3153
3154 /* Does pgoff wrap? */
3155 if (pgoff + (size >> PAGE_SHIFT) < pgoff)
3156 return ret;
3157
Michel Lespinassed8ed45c2020-06-08 21:33:25 -07003158 if (mmap_write_lock_killable(mm))
Michal Hockodc0ef0d2016-05-23 16:25:27 -07003159 return -EINTR;
3160
Liam R. Howlett9b593cb2021-09-02 14:56:49 -07003161 vma = vma_lookup(mm, start);
Kirill A. Shutemovc8d78c182015-02-10 14:09:46 -08003162
3163 if (!vma || !(vma->vm_flags & VM_SHARED))
3164 goto out;
3165
Kirill A. Shutemov48f7df32016-02-17 13:11:15 -08003166 if (start + size > vma->vm_end) {
Liam R. Howlett763ecb02022-09-06 19:49:06 +00003167 VMA_ITERATOR(vmi, mm, vma->vm_end);
3168 struct vm_area_struct *next, *prev = vma;
Kirill A. Shutemov48f7df32016-02-17 13:11:15 -08003169
Liam R. Howlett763ecb02022-09-06 19:49:06 +00003170 for_each_vma_range(vmi, next, start + size) {
Kirill A. Shutemov48f7df32016-02-17 13:11:15 -08003171 /* hole between vmas ? */
Liam R. Howlett763ecb02022-09-06 19:49:06 +00003172 if (next->vm_start != prev->vm_end)
Kirill A. Shutemov48f7df32016-02-17 13:11:15 -08003173 goto out;
3174
3175 if (next->vm_file != vma->vm_file)
3176 goto out;
3177
3178 if (next->vm_flags != vma->vm_flags)
3179 goto out;
3180
Liam Howlett1db43d32022-10-25 16:12:49 +00003181 if (start + size <= next->vm_end)
3182 break;
3183
Liam R. Howlett763ecb02022-09-06 19:49:06 +00003184 prev = next;
Kirill A. Shutemov48f7df32016-02-17 13:11:15 -08003185 }
3186
3187 if (!next)
3188 goto out;
Kirill A. Shutemovc8d78c182015-02-10 14:09:46 -08003189 }
3190
3191 prot |= vma->vm_flags & VM_READ ? PROT_READ : 0;
3192 prot |= vma->vm_flags & VM_WRITE ? PROT_WRITE : 0;
3193 prot |= vma->vm_flags & VM_EXEC ? PROT_EXEC : 0;
3194
3195 flags &= MAP_NONBLOCK;
3196 flags |= MAP_SHARED | MAP_FIXED | MAP_POPULATE;
Liam Howlettfce000b2021-05-04 18:38:06 -07003197 if (vma->vm_flags & VM_LOCKED)
Kirill A. Shutemovc8d78c182015-02-10 14:09:46 -08003198 flags |= MAP_LOCKED;
Kirill A. Shutemov48f7df32016-02-17 13:11:15 -08003199
Kirill A. Shutemovc8d78c182015-02-10 14:09:46 -08003200 file = get_file(vma->vm_file);
Peter Collingbourne45e55302020-08-06 23:23:37 -07003201 ret = do_mmap(vma->vm_file, start, size,
Yu-cheng Yu592b5fa2023-06-12 17:10:30 -07003202 prot, flags, 0, pgoff, &populate, NULL);
Kirill A. Shutemovc8d78c182015-02-10 14:09:46 -08003203 fput(file);
3204out:
Michel Lespinassed8ed45c2020-06-08 21:33:25 -07003205 mmap_write_unlock(mm);
Kirill A. Shutemovc8d78c182015-02-10 14:09:46 -08003206 if (populate)
3207 mm_populate(ret, populate);
3208 if (!IS_ERR_VALUE(ret))
3209 ret = 0;
3210 return ret;
3211}
3212
Linus Torvalds1da177e2005-04-16 15:20:36 -07003213/*
Liam R. Howlett27b26702023-01-26 16:20:49 -05003214 * do_vma_munmap() - Unmap a full or partial vma.
3215 * @vmi: The vma iterator pointing at the vma
3216 * @vma: The first vma to be munmapped
3217 * @start: the start of the address to unmap
3218 * @end: The end of the address to unmap
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +00003219 * @uf: The userfaultfd list_head
Liam R. Howlett408579c2023-06-29 22:28:16 -04003220 * @unlock: Drop the lock on success
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +00003221 *
Liam R. Howlett27b26702023-01-26 16:20:49 -05003222 * unmaps a VMA mapping when the vma iterator is already in position.
3223 * Does not handle alignment.
Liam R. Howlett408579c2023-06-29 22:28:16 -04003224 *
3225 * Return: 0 on success drops the lock of so directed, error on failure and will
3226 * still hold the lock.
Linus Torvalds1da177e2005-04-16 15:20:36 -07003227 */
Liam R. Howlett27b26702023-01-26 16:20:49 -05003228int do_vma_munmap(struct vma_iterator *vmi, struct vm_area_struct *vma,
Liam R. Howlett408579c2023-06-29 22:28:16 -04003229 unsigned long start, unsigned long end, struct list_head *uf,
3230 bool unlock)
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +00003231{
3232 struct mm_struct *mm = vma->vm_mm;
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +00003233
Jeff Xu8be72582024-04-15 16:35:21 +00003234 /*
3235 * Check if memory is sealed before arch_unmap.
3236 * Prevent unmapping a sealed VMA.
3237 * can_modify_mm assumes we have acquired the lock on MM.
3238 */
3239 if (unlikely(!can_modify_mm(mm, start, end)))
3240 return -EPERM;
3241
Liam R. Howlett27b26702023-01-26 16:20:49 -05003242 arch_unmap(mm, start, end);
Linus Torvaldsb5641a52023-07-03 19:29:48 -07003243 return do_vmi_align_munmap(vmi, vma, mm, start, end, uf, unlock);
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +00003244}
3245
3246/*
3247 * do_brk_flags() - Increase the brk vma if the flags match.
Liam R. Howlett92fed822023-01-20 11:26:09 -05003248 * @vmi: The vma iterator
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +00003249 * @addr: The start address
3250 * @len: The length of the increase
3251 * @vma: The vma,
3252 * @flags: The VMA Flags
3253 *
3254 * Extend the brk VMA from addr to addr + len. If the VMA is NULL or the flags
3255 * do not match then create a new anonymous VMA. Eventually we may be able to
3256 * do some brk-specific accounting here.
3257 */
Liam R. Howlett92fed822023-01-20 11:26:09 -05003258static int do_brk_flags(struct vma_iterator *vmi, struct vm_area_struct *vma,
Liam R. Howlett763ecb02022-09-06 19:49:06 +00003259 unsigned long addr, unsigned long len, unsigned long flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -07003260{
vishnu.pscc71aba2014-10-09 15:26:29 -07003261 struct mm_struct *mm = current->mm;
Liam R. Howlett287051b2023-01-20 11:26:48 -05003262 struct vma_prepare vp;
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +00003263
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +00003264 /*
3265 * Check against address space limits by the changed size
3266 * Note: This happens *after* clearing old mappings in some code paths.
3267 */
Denys Vlasenko16e72e92017-02-22 15:45:16 -08003268 flags |= VM_DATA_DEFAULT_FLAGS | VM_ACCOUNT | mm->def_flags;
Konstantin Khlebnikov84638332016-01-14 15:22:07 -08003269 if (!may_expand_vm(mm, flags, len >> PAGE_SHIFT))
Linus Torvalds1da177e2005-04-16 15:20:36 -07003270 return -ENOMEM;
3271
3272 if (mm->map_count > sysctl_max_map_count)
3273 return -ENOMEM;
3274
Al Viro191c5422012-02-13 03:58:52 +00003275 if (security_vm_enough_memory_mm(mm, len >> PAGE_SHIFT))
Linus Torvalds1da177e2005-04-16 15:20:36 -07003276 return -ENOMEM;
3277
Linus Torvalds1da177e2005-04-16 15:20:36 -07003278 /*
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +00003279 * Expand the existing vma if possible; Note that singular lists do not
3280 * occur after forking, so the expand will only happen on new VMAs.
Linus Torvalds1da177e2005-04-16 15:20:36 -07003281 */
Liam Howlett6c28ca62022-12-05 19:23:17 +00003282 if (vma && vma->vm_end == addr && !vma_policy(vma) &&
3283 can_vma_merge_after(vma, flags, NULL, NULL,
3284 addr >> PAGE_SHIFT, NULL_VM_UFFD_CTX, NULL)) {
Liam R. Howlettb5df0922023-07-24 14:31:52 -04003285 vma_iter_config(vmi, vma->vm_start, addr + len);
3286 if (vma_iter_prealloc(vmi, vma))
Alistair Popple675eaca2022-12-02 15:53:39 +11003287 goto unacct_fail;
Liam Howlett28c56092022-10-11 16:08:37 +00003288
Suren Baghdasaryanc9d6e982023-08-04 08:27:24 -07003289 vma_start_write(vma);
3290
Liam R. Howlett287051b2023-01-20 11:26:48 -05003291 init_vma_prep(&vp, vma);
3292 vma_prepare(&vp);
Suren Baghdasaryanccf1d782023-02-27 09:36:13 -08003293 vma_adjust_trans_huge(vma, vma->vm_start, addr + len, 0);
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +00003294 vma->vm_end = addr + len;
Suren Baghdasaryan1c712222023-01-26 11:37:49 -08003295 vm_flags_set(vma, VM_SOFTDIRTY);
Liam R. Howlett92fed822023-01-20 11:26:09 -05003296 vma_iter_store(vmi, vma);
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +00003297
Liam R. Howlett287051b2023-01-20 11:26:48 -05003298 vma_complete(&vp, vmi, mm);
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +00003299 khugepaged_enter_vma(vma, flags);
3300 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003301 }
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +00003302
Liam R. Howlettb5df0922023-07-24 14:31:52 -04003303 if (vma)
3304 vma_iter_next_range(vmi);
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +00003305 /* create a vma struct for an anonymous mapping */
3306 vma = vm_area_alloc(mm);
3307 if (!vma)
Alistair Popple675eaca2022-12-02 15:53:39 +11003308 goto unacct_fail;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003309
Kirill A. Shutemovbfd40ea2018-07-26 16:37:35 -07003310 vma_set_anonymous(vma);
Yajun Deng412c6ef2024-01-24 11:57:19 +08003311 vma_set_range(vma, addr, addr + len, addr >> PAGE_SHIFT);
Suren Baghdasaryan1c712222023-01-26 11:37:49 -08003312 vm_flags_init(vma, flags);
Coly Li3ed75eb2007-10-18 23:39:15 -07003313 vma->vm_page_prot = vm_get_page_prot(flags);
Suren Baghdasaryanad9f0062023-08-04 08:27:23 -07003314 vma_start_write(vma);
Liam R. Howlett92fed822023-01-20 11:26:09 -05003315 if (vma_iter_store_gfp(vmi, vma, GFP_KERNEL))
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +00003316 goto mas_store_fail;
Liam R. Howlettd4af56c2022-09-06 19:48:45 +00003317
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +00003318 mm->map_count++;
Liam R. Howlett2574d5e2023-07-14 15:55:48 -04003319 validate_mm(mm);
Stefan Roeschd7597f52023-04-17 22:13:40 -07003320 ksm_add_vma(vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003321out:
Eric B Munson3af9e852010-05-18 15:30:49 +01003322 perf_event_mmap(vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003323 mm->total_vm += len >> PAGE_SHIFT;
Konstantin Khlebnikov84638332016-01-14 15:22:07 -08003324 mm->data_vm += len >> PAGE_SHIFT;
Michel Lespinasse128557f2013-02-22 16:32:40 -08003325 if (flags & VM_LOCKED)
3326 mm->locked_vm += (len >> PAGE_SHIFT);
Suren Baghdasaryan1c712222023-01-26 11:37:49 -08003327 vm_flags_set(vma, VM_SOFTDIRTY);
Linus Torvalds5d22fc22016-05-27 15:57:31 -07003328 return 0;
Liam R. Howlettd4af56c2022-09-06 19:48:45 +00003329
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +00003330mas_store_fail:
Liam R. Howlettd4af56c2022-09-06 19:48:45 +00003331 vm_area_free(vma);
Alistair Popple675eaca2022-12-02 15:53:39 +11003332unacct_fail:
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +00003333 vm_unacct_memory(len >> PAGE_SHIFT);
3334 return -ENOMEM;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003335}
3336
Michal Hockobb177a72018-07-13 16:59:20 -07003337int vm_brk_flags(unsigned long addr, unsigned long request, unsigned long flags)
Linus Torvaldse4eb1ff2012-04-20 15:35:40 -07003338{
3339 struct mm_struct *mm = current->mm;
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +00003340 struct vm_area_struct *vma = NULL;
Michal Hockobb177a72018-07-13 16:59:20 -07003341 unsigned long len;
Linus Torvalds5d22fc22016-05-27 15:57:31 -07003342 int ret;
Michel Lespinasse128557f2013-02-22 16:32:40 -08003343 bool populate;
Mike Rapoport897ab3e2017-02-24 14:58:22 -08003344 LIST_HEAD(uf);
Liam R. Howlett92fed822023-01-20 11:26:09 -05003345 VMA_ITERATOR(vmi, mm, addr);
Linus Torvaldse4eb1ff2012-04-20 15:35:40 -07003346
Michal Hockobb177a72018-07-13 16:59:20 -07003347 len = PAGE_ALIGN(request);
3348 if (len < request)
3349 return -ENOMEM;
3350 if (!len)
3351 return 0;
3352
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +00003353 /* Until we need other flags, refuse anything except VM_EXEC. */
3354 if ((flags & (~VM_EXEC)) != 0)
3355 return -EINVAL;
3356
Sebastian Otte0f81ab2023-09-29 10:19:41 -07003357 if (mmap_write_lock_killable(mm))
3358 return -EINTR;
3359
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +00003360 ret = check_brk_limits(addr, len);
3361 if (ret)
3362 goto limits_failed;
3363
Liam R. Howlett183654c2023-01-20 11:26:13 -05003364 ret = do_vmi_munmap(&vmi, mm, addr, len, &uf, 0);
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +00003365 if (ret)
3366 goto munmap_failed;
3367
Liam R. Howlett92fed822023-01-20 11:26:09 -05003368 vma = vma_prev(&vmi);
3369 ret = do_brk_flags(&vmi, vma, addr, len, flags);
Michel Lespinasse128557f2013-02-22 16:32:40 -08003370 populate = ((mm->def_flags & VM_LOCKED) != 0);
Michel Lespinassed8ed45c2020-06-08 21:33:25 -07003371 mmap_write_unlock(mm);
Mike Rapoport897ab3e2017-02-24 14:58:22 -08003372 userfaultfd_unmap_complete(mm, &uf);
Linus Torvalds5d22fc22016-05-27 15:57:31 -07003373 if (populate && !ret)
Michel Lespinasse128557f2013-02-22 16:32:40 -08003374 mm_populate(addr, len);
Linus Torvaldse4eb1ff2012-04-20 15:35:40 -07003375 return ret;
Liam R. Howlett2e7ce7d2022-09-06 19:48:50 +00003376
3377munmap_failed:
3378limits_failed:
3379 mmap_write_unlock(mm);
3380 return ret;
Linus Torvaldse4eb1ff2012-04-20 15:35:40 -07003381}
Denys Vlasenko16e72e92017-02-22 15:45:16 -08003382EXPORT_SYMBOL(vm_brk_flags);
3383
Linus Torvalds1da177e2005-04-16 15:20:36 -07003384/* Release all mmaps. */
3385void exit_mmap(struct mm_struct *mm)
3386{
Peter Zijlstrad16dfc52011-05-24 17:11:45 -07003387 struct mmu_gather tlb;
Rik van Rielba470de2008-10-18 20:26:50 -07003388 struct vm_area_struct *vma;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003389 unsigned long nr_accounted = 0;
Yajun Dengd4e6b392024-03-25 14:32:58 +08003390 VMA_ITERATOR(vmi, mm, 0);
Liam R. Howlett763ecb02022-09-06 19:49:06 +00003391 int count = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003392
Jeremy Fitzhardinged6dd61c2007-05-02 19:27:14 +02003393 /* mm's last user has gone, and its about to be pulled down */
Andrea Arcangelicddb8a52008-07-28 15:46:29 -07003394 mmu_notifier_release(mm);
Jeremy Fitzhardinged6dd61c2007-05-02 19:27:14 +02003395
Suren Baghdasaryanbf3980c2022-05-31 15:30:59 -07003396 mmap_read_lock(mm);
Jeremy Fitzhardinge9480c532009-02-11 13:04:41 -08003397 arch_exit_mmap(mm);
3398
Yajun Dengd4e6b392024-03-25 14:32:58 +08003399 vma = vma_next(&vmi);
Peng Zhangd2406292023-10-27 11:38:45 +08003400 if (!vma || unlikely(xa_is_zero(vma))) {
Suren Baghdasaryan64591e82022-01-14 14:06:14 -08003401 /* Can happen if dup_mmap() received an OOM */
Suren Baghdasaryanbf3980c2022-05-31 15:30:59 -07003402 mmap_read_unlock(mm);
Peng Zhangd2406292023-10-27 11:38:45 +08003403 mmap_write_lock(mm);
3404 goto destroy;
Suren Baghdasaryan64591e82022-01-14 14:06:14 -08003405 }
Jeremy Fitzhardinge9480c532009-02-11 13:04:41 -08003406
Linus Torvalds1da177e2005-04-16 15:20:36 -07003407 lru_add_drain();
Linus Torvalds1da177e2005-04-16 15:20:36 -07003408 flush_cache_mm(mm);
Will Deacond8b45052021-01-27 23:53:44 +00003409 tlb_gather_mmu_fullmm(&tlb, mm);
Oleg Nesterov901608d2009-01-06 14:40:29 -08003410 /* update_hiwater_rss(mm) here? but nobody should be looking */
Liam R. Howlett763ecb02022-09-06 19:49:06 +00003411 /* Use ULONG_MAX here to ensure all VMAs in the mm are unmapped */
Yajun Dengd4e6b392024-03-25 14:32:58 +08003412 unmap_vmas(&tlb, &vmi.mas, vma, 0, ULONG_MAX, ULONG_MAX, false);
Suren Baghdasaryanbf3980c2022-05-31 15:30:59 -07003413 mmap_read_unlock(mm);
3414
3415 /*
3416 * Set MMF_OOM_SKIP to hide this task from the oom killer/reaper
Suren Baghdasaryanb3541d92022-05-31 15:31:00 -07003417 * because the memory has been already freed.
Suren Baghdasaryanbf3980c2022-05-31 15:30:59 -07003418 */
3419 set_bit(MMF_OOM_SKIP, &mm->flags);
3420 mmap_write_lock(mm);
Liam R. Howlett3dd44322023-02-27 09:36:07 -08003421 mt_clear_in_rcu(&mm->mm_mt);
Yajun Dengd4e6b392024-03-25 14:32:58 +08003422 vma_iter_set(&vmi, vma->vm_end);
3423 free_pgtables(&tlb, &vmi.mas, vma, FIRST_USER_ADDRESS,
Suren Baghdasaryan98e51a22023-02-27 09:36:18 -08003424 USER_PGTABLES_CEILING, true);
Will Deaconae8eba82021-01-27 23:53:43 +00003425 tlb_finish_mmu(&tlb);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003426
Liam R. Howlett763ecb02022-09-06 19:49:06 +00003427 /*
3428 * Walk the list again, actually closing and freeing it, with preemption
3429 * enabled, without holding any MM locks besides the unreachable
3430 * mmap_write_lock.
3431 */
Yajun Dengd4e6b392024-03-25 14:32:58 +08003432 vma_iter_set(&vmi, vma->vm_end);
Liam R. Howlett763ecb02022-09-06 19:49:06 +00003433 do {
Linus Torvalds4f74d2c2012-05-06 13:54:06 -07003434 if (vma->vm_flags & VM_ACCOUNT)
3435 nr_accounted += vma_pages(vma);
Suren Baghdasaryan0d2ebf92023-02-27 09:36:31 -08003436 remove_vma(vma, true);
Liam R. Howlett763ecb02022-09-06 19:49:06 +00003437 count++;
Paul E. McKenney0a3b3c22020-04-16 16:46:10 -07003438 cond_resched();
Yajun Dengd4e6b392024-03-25 14:32:58 +08003439 vma = vma_next(&vmi);
Peng Zhangd2406292023-10-27 11:38:45 +08003440 } while (vma && likely(!xa_is_zero(vma)));
Liam R. Howlett763ecb02022-09-06 19:49:06 +00003441
3442 BUG_ON(count != mm->map_count);
Liam R. Howlettd4af56c2022-09-06 19:48:45 +00003443
3444 trace_exit_mmap(mm);
Peng Zhangd2406292023-10-27 11:38:45 +08003445destroy:
Liam R. Howlettd4af56c2022-09-06 19:48:45 +00003446 __mt_destroy(&mm->mm_mt);
Suren Baghdasaryan64591e82022-01-14 14:06:14 -08003447 mmap_write_unlock(mm);
Linus Torvalds4f74d2c2012-05-06 13:54:06 -07003448 vm_unacct_memory(nr_accounted);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003449}
3450
3451/* Insert vm structure into process list sorted by address
3452 * and into the inode's i_mmap tree. If vm_file is non-NULL
Davidlohr Buesoc8c06ef2014-12-12 16:54:24 -08003453 * then i_mmap_rwsem is taken here.
Linus Torvalds1da177e2005-04-16 15:20:36 -07003454 */
Hugh Dickins6597d782012-10-08 16:29:07 -07003455int insert_vm_struct(struct mm_struct *mm, struct vm_area_struct *vma)
Linus Torvalds1da177e2005-04-16 15:20:36 -07003456{
Liam R. Howlettd4af56c2022-09-06 19:48:45 +00003457 unsigned long charged = vma_pages(vma);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003458
Liam R. Howlettd4af56c2022-09-06 19:48:45 +00003459
Liam R. Howlettd0601a52022-09-06 19:49:06 +00003460 if (find_vma_intersection(mm, vma->vm_start, vma->vm_end))
Chen Gangc9d13f52015-09-08 15:04:08 -07003461 return -ENOMEM;
Liam R. Howlettd4af56c2022-09-06 19:48:45 +00003462
Chen Gangc9d13f52015-09-08 15:04:08 -07003463 if ((vma->vm_flags & VM_ACCOUNT) &&
Liam R. Howlettd4af56c2022-09-06 19:48:45 +00003464 security_vm_enough_memory_mm(mm, charged))
Chen Gangc9d13f52015-09-08 15:04:08 -07003465 return -ENOMEM;
3466
Linus Torvalds1da177e2005-04-16 15:20:36 -07003467 /*
3468 * The vm_pgoff of a purely anonymous vma should be irrelevant
3469 * until its first write fault, when page's anon_vma and index
3470 * are set. But now set the vm_pgoff it will almost certainly
3471 * end up with (unless mremap moves it elsewhere before that
3472 * first wfault), so /proc/pid/maps tells a consistent story.
3473 *
3474 * By setting it to reflect the virtual start address of the
3475 * vma, merges and splits can happen in a seamless way, just
3476 * using the existing file pgoff checks and manipulations.
Liao Pingfang83323262020-10-13 16:54:18 -07003477 * Similarly in do_mmap and in do_brk_flags.
Linus Torvalds1da177e2005-04-16 15:20:36 -07003478 */
Oleg Nesterov8a9cc3b2015-09-08 14:58:31 -07003479 if (vma_is_anonymous(vma)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07003480 BUG_ON(vma->anon_vma);
3481 vma->vm_pgoff = vma->vm_start >> PAGE_SHIFT;
3482 }
Srikar Dronamraju2b144492012-02-09 14:56:42 +05303483
Liam R. Howlett763ecb02022-09-06 19:49:06 +00003484 if (vma_link(mm, vma)) {
Anthony Yznagadd34d9f2023-08-29 17:43:24 -07003485 if (vma->vm_flags & VM_ACCOUNT)
3486 vm_unacct_memory(charged);
Liam R. Howlettd4af56c2022-09-06 19:48:45 +00003487 return -ENOMEM;
3488 }
3489
Linus Torvalds1da177e2005-04-16 15:20:36 -07003490 return 0;
3491}
3492
3493/*
3494 * Copy the vma structure to a new location in the same mm,
3495 * prior to moving page table entries, to effect an mremap move.
3496 */
3497struct vm_area_struct *copy_vma(struct vm_area_struct **vmap,
Michel Lespinasse38a76012012-10-08 16:31:50 -07003498 unsigned long addr, unsigned long len, pgoff_t pgoff,
3499 bool *need_rmap_locks)
Linus Torvalds1da177e2005-04-16 15:20:36 -07003500{
3501 struct vm_area_struct *vma = *vmap;
3502 unsigned long vma_start = vma->vm_start;
3503 struct mm_struct *mm = vma->vm_mm;
3504 struct vm_area_struct *new_vma, *prev;
Andrea Arcangeli948f0172012-01-10 15:08:05 -08003505 bool faulted_in_anon_vma = true;
Liam R. Howlett076f16b2023-01-20 11:26:26 -05003506 VMA_ITERATOR(vmi, mm, addr);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003507
3508 /*
3509 * If anonymous vma has not yet been faulted, update new pgoff
3510 * to match new location, to increase its chance of merging.
3511 */
Oleg Nesterovce757992015-09-08 14:58:34 -07003512 if (unlikely(vma_is_anonymous(vma) && !vma->anon_vma)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07003513 pgoff = addr >> PAGE_SHIFT;
Andrea Arcangeli948f0172012-01-10 15:08:05 -08003514 faulted_in_anon_vma = false;
3515 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07003516
Liam R. Howlett763ecb02022-09-06 19:49:06 +00003517 new_vma = find_vma_prev(mm, addr, &prev);
3518 if (new_vma && new_vma->vm_start < addr + len)
Hugh Dickins6597d782012-10-08 16:29:07 -07003519 return NULL; /* should never get here */
Liam R. Howlett524e00b2022-09-06 19:48:48 +00003520
Lorenzo Stoakes4b5f2d22023-10-11 18:04:30 +01003521 new_vma = vma_merge_new_vma(&vmi, prev, vma, addr, addr + len, pgoff);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003522 if (new_vma) {
3523 /*
3524 * Source vma may have been merged into new_vma
3525 */
Andrea Arcangeli948f0172012-01-10 15:08:05 -08003526 if (unlikely(vma_start >= new_vma->vm_start &&
3527 vma_start < new_vma->vm_end)) {
3528 /*
3529 * The only way we can get a vma_merge with
3530 * self during an mremap is if the vma hasn't
3531 * been faulted in yet and we were allowed to
3532 * reset the dst vma->vm_pgoff to the
3533 * destination address of the mremap to allow
3534 * the merge to happen. mremap must change the
3535 * vm_pgoff linearity between src and dst vmas
3536 * (in turn preventing a vma_merge) to be
3537 * safe. It is only safe to keep the vm_pgoff
3538 * linear if there are no pages mapped yet.
3539 */
Sasha Levin81d1b092014-10-09 15:28:10 -07003540 VM_BUG_ON_VMA(faulted_in_anon_vma, new_vma);
Michel Lespinasse38a76012012-10-08 16:31:50 -07003541 *vmap = vma = new_vma;
Michel Lespinasse108d6642012-10-08 16:31:36 -07003542 }
Michel Lespinasse38a76012012-10-08 16:31:50 -07003543 *need_rmap_locks = (new_vma->vm_pgoff <= vma->vm_pgoff);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003544 } else {
Linus Torvalds3928d4f2018-07-21 13:48:51 -07003545 new_vma = vm_area_dup(vma);
Chen Gange3975892015-09-08 15:03:38 -07003546 if (!new_vma)
3547 goto out;
Yajun Deng412c6ef2024-01-24 11:57:19 +08003548 vma_set_range(new_vma, addr, addr + len, pgoff);
Chen Gange3975892015-09-08 15:03:38 -07003549 if (vma_dup_policy(vma, new_vma))
3550 goto out_free_vma;
Chen Gange3975892015-09-08 15:03:38 -07003551 if (anon_vma_clone(new_vma, vma))
3552 goto out_free_mempol;
3553 if (new_vma->vm_file)
3554 get_file(new_vma->vm_file);
3555 if (new_vma->vm_ops && new_vma->vm_ops->open)
3556 new_vma->vm_ops->open(new_vma);
Liam R. Howlett763ecb02022-09-06 19:49:06 +00003557 if (vma_link(mm, new_vma))
Liam R. Howlett524e00b2022-09-06 19:48:48 +00003558 goto out_vma_link;
Chen Gange3975892015-09-08 15:03:38 -07003559 *need_rmap_locks = false;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003560 }
3561 return new_vma;
Rik van Riel5beb4932010-03-05 13:42:07 -08003562
Liam R. Howlett524e00b2022-09-06 19:48:48 +00003563out_vma_link:
3564 if (new_vma->vm_ops && new_vma->vm_ops->close)
3565 new_vma->vm_ops->close(new_vma);
Liam Howlett92b73992022-10-11 20:36:51 +00003566
3567 if (new_vma->vm_file)
3568 fput(new_vma->vm_file);
3569
3570 unlink_anon_vmas(new_vma);
Chen Gange3975892015-09-08 15:03:38 -07003571out_free_mempol:
Oleg Nesterovef0855d2013-09-11 14:20:14 -07003572 mpol_put(vma_policy(new_vma));
Chen Gange3975892015-09-08 15:03:38 -07003573out_free_vma:
Linus Torvalds3928d4f2018-07-21 13:48:51 -07003574 vm_area_free(new_vma);
Chen Gange3975892015-09-08 15:03:38 -07003575out:
Rik van Riel5beb4932010-03-05 13:42:07 -08003576 return NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003577}
akpm@osdl.org119f6572005-05-01 08:58:35 -07003578
3579/*
3580 * Return true if the calling process may expand its vm space by the passed
3581 * number of pages
3582 */
Konstantin Khlebnikov84638332016-01-14 15:22:07 -08003583bool may_expand_vm(struct mm_struct *mm, vm_flags_t flags, unsigned long npages)
akpm@osdl.org119f6572005-05-01 08:58:35 -07003584{
Konstantin Khlebnikov84638332016-01-14 15:22:07 -08003585 if (mm->total_vm + npages > rlimit(RLIMIT_AS) >> PAGE_SHIFT)
3586 return false;
akpm@osdl.org119f6572005-05-01 08:58:35 -07003587
Konstantin Khlebnikovd977d562016-02-02 16:57:43 -08003588 if (is_data_mapping(flags) &&
3589 mm->data_vm + npages > rlimit(RLIMIT_DATA) >> PAGE_SHIFT) {
Konstantin Khlebnikovf4fcd552016-05-20 16:57:45 -07003590 /* Workaround for Valgrind */
3591 if (rlimit(RLIMIT_DATA) == 0 &&
3592 mm->data_vm + npages <= rlimit_max(RLIMIT_DATA) >> PAGE_SHIFT)
3593 return true;
David Woodhouse57a77022018-04-05 16:22:05 -07003594
3595 pr_warn_once("%s (%d): VmData %lu exceed data ulimit %lu. Update limits%s.\n",
3596 current->comm, current->pid,
3597 (mm->data_vm + npages) << PAGE_SHIFT,
3598 rlimit(RLIMIT_DATA),
3599 ignore_rlimit_data ? "" : " or use boot option ignore_rlimit_data");
3600
3601 if (!ignore_rlimit_data)
Konstantin Khlebnikovd977d562016-02-02 16:57:43 -08003602 return false;
3603 }
akpm@osdl.org119f6572005-05-01 08:58:35 -07003604
Konstantin Khlebnikov84638332016-01-14 15:22:07 -08003605 return true;
3606}
3607
3608void vm_stat_account(struct mm_struct *mm, vm_flags_t flags, long npages)
3609{
Peng Liu78660762021-11-05 13:38:12 -07003610 WRITE_ONCE(mm->total_vm, READ_ONCE(mm->total_vm)+npages);
Konstantin Khlebnikov84638332016-01-14 15:22:07 -08003611
Konstantin Khlebnikovd977d562016-02-02 16:57:43 -08003612 if (is_exec_mapping(flags))
Konstantin Khlebnikov84638332016-01-14 15:22:07 -08003613 mm->exec_vm += npages;
Konstantin Khlebnikovd977d562016-02-02 16:57:43 -08003614 else if (is_stack_mapping(flags))
Konstantin Khlebnikov84638332016-01-14 15:22:07 -08003615 mm->stack_vm += npages;
Konstantin Khlebnikovd977d562016-02-02 16:57:43 -08003616 else if (is_data_mapping(flags))
Konstantin Khlebnikov84638332016-01-14 15:22:07 -08003617 mm->data_vm += npages;
akpm@osdl.org119f6572005-05-01 08:58:35 -07003618}
Roland McGrathfa5dc222007-02-08 14:20:41 -08003619
Souptick Joarderb3ec9f32018-06-07 17:08:04 -07003620static vm_fault_t special_mapping_fault(struct vm_fault *vmf);
Andy Lutomirskia62c34b2014-05-19 15:58:33 -07003621
3622/*
3623 * Having a close hook prevents vma merging regardless of flags.
3624 */
3625static void special_mapping_close(struct vm_area_struct *vma)
3626{
3627}
3628
3629static const char *special_mapping_name(struct vm_area_struct *vma)
3630{
3631 return ((struct vm_special_mapping *)vma->vm_private_data)->name;
3632}
3633
Brian Geffon14d07112021-04-29 22:57:48 -07003634static int special_mapping_mremap(struct vm_area_struct *new_vma)
Dmitry Safonovb059a452016-06-28 14:35:38 +03003635{
3636 struct vm_special_mapping *sm = new_vma->vm_private_data;
3637
Dmitry Safonov280e87e2017-06-19 17:32:42 +01003638 if (WARN_ON_ONCE(current->mm != new_vma->vm_mm))
3639 return -EFAULT;
3640
Dmitry Safonovb059a452016-06-28 14:35:38 +03003641 if (sm->mremap)
3642 return sm->mremap(sm, new_vma);
Dmitry Safonov280e87e2017-06-19 17:32:42 +01003643
Dmitry Safonovb059a452016-06-28 14:35:38 +03003644 return 0;
3645}
3646
Dmitry Safonov871402e2020-12-14 19:08:25 -08003647static int special_mapping_split(struct vm_area_struct *vma, unsigned long addr)
3648{
3649 /*
3650 * Forbid splitting special mappings - kernel has expectations over
3651 * the number of pages in mapping. Together with VM_DONTEXPAND
3652 * the size of vma should stay the same over the special mapping's
3653 * lifetime.
3654 */
3655 return -EINVAL;
3656}
3657
Andy Lutomirskia62c34b2014-05-19 15:58:33 -07003658static const struct vm_operations_struct special_mapping_vmops = {
3659 .close = special_mapping_close,
3660 .fault = special_mapping_fault,
Dmitry Safonovb059a452016-06-28 14:35:38 +03003661 .mremap = special_mapping_mremap,
Andy Lutomirskia62c34b2014-05-19 15:58:33 -07003662 .name = special_mapping_name,
Dmitry Safonovaf34ebe2019-11-12 01:27:13 +00003663 /* vDSO code relies that VVAR can't be accessed remotely */
3664 .access = NULL,
Dmitry Safonov871402e2020-12-14 19:08:25 -08003665 .may_split = special_mapping_split,
Andy Lutomirskia62c34b2014-05-19 15:58:33 -07003666};
3667
3668static const struct vm_operations_struct legacy_special_mapping_vmops = {
3669 .close = special_mapping_close,
3670 .fault = special_mapping_fault,
3671};
Roland McGrathfa5dc222007-02-08 14:20:41 -08003672
Souptick Joarderb3ec9f32018-06-07 17:08:04 -07003673static vm_fault_t special_mapping_fault(struct vm_fault *vmf)
Roland McGrathfa5dc222007-02-08 14:20:41 -08003674{
Dave Jiang11bac802017-02-24 14:56:41 -08003675 struct vm_area_struct *vma = vmf->vma;
Nick Pigginb1d0e4f2008-02-09 01:15:19 +01003676 pgoff_t pgoff;
Roland McGrathfa5dc222007-02-08 14:20:41 -08003677 struct page **pages;
3678
Andy Lutomirskif872f5402015-12-29 20:12:19 -08003679 if (vma->vm_ops == &legacy_special_mapping_vmops) {
Andy Lutomirskia62c34b2014-05-19 15:58:33 -07003680 pages = vma->vm_private_data;
Andy Lutomirskif872f5402015-12-29 20:12:19 -08003681 } else {
3682 struct vm_special_mapping *sm = vma->vm_private_data;
3683
3684 if (sm->fault)
Dave Jiang11bac802017-02-24 14:56:41 -08003685 return sm->fault(sm, vmf->vma, vmf);
Andy Lutomirskif872f5402015-12-29 20:12:19 -08003686
3687 pages = sm->pages;
3688 }
Andy Lutomirskia62c34b2014-05-19 15:58:33 -07003689
Oleg Nesterov8a9cc3b2015-09-08 14:58:31 -07003690 for (pgoff = vmf->pgoff; pgoff && *pages; ++pages)
Nick Pigginb1d0e4f2008-02-09 01:15:19 +01003691 pgoff--;
Roland McGrathfa5dc222007-02-08 14:20:41 -08003692
3693 if (*pages) {
3694 struct page *page = *pages;
3695 get_page(page);
Nick Pigginb1d0e4f2008-02-09 01:15:19 +01003696 vmf->page = page;
3697 return 0;
Roland McGrathfa5dc222007-02-08 14:20:41 -08003698 }
3699
Nick Pigginb1d0e4f2008-02-09 01:15:19 +01003700 return VM_FAULT_SIGBUS;
Roland McGrathfa5dc222007-02-08 14:20:41 -08003701}
3702
Andy Lutomirskia62c34b2014-05-19 15:58:33 -07003703static struct vm_area_struct *__install_special_mapping(
3704 struct mm_struct *mm,
3705 unsigned long addr, unsigned long len,
Chen Gang27f28b92015-11-05 18:48:41 -08003706 unsigned long vm_flags, void *priv,
3707 const struct vm_operations_struct *ops)
Roland McGrathfa5dc222007-02-08 14:20:41 -08003708{
Tavis Ormandy462e635e2010-12-09 15:29:42 +01003709 int ret;
Roland McGrathfa5dc222007-02-08 14:20:41 -08003710 struct vm_area_struct *vma;
3711
Linus Torvalds490fc052018-07-21 15:24:03 -07003712 vma = vm_area_alloc(mm);
Roland McGrathfa5dc222007-02-08 14:20:41 -08003713 if (unlikely(vma == NULL))
Stefani Seibold3935ed62014-03-17 23:22:02 +01003714 return ERR_PTR(-ENOMEM);
Roland McGrathfa5dc222007-02-08 14:20:41 -08003715
Yajun Deng412c6ef2024-01-24 11:57:19 +08003716 vma_set_range(vma, addr, addr + len, 0);
Suren Baghdasaryane430a952023-01-26 11:37:48 -08003717 vm_flags_init(vma, (vm_flags | mm->def_flags |
3718 VM_DONTEXPAND | VM_SOFTDIRTY) & ~VM_LOCKED_MASK);
Coly Li3ed75eb2007-10-18 23:39:15 -07003719 vma->vm_page_prot = vm_get_page_prot(vma->vm_flags);
Roland McGrathfa5dc222007-02-08 14:20:41 -08003720
Andy Lutomirskia62c34b2014-05-19 15:58:33 -07003721 vma->vm_ops = ops;
3722 vma->vm_private_data = priv;
Roland McGrathfa5dc222007-02-08 14:20:41 -08003723
Tavis Ormandy462e635e2010-12-09 15:29:42 +01003724 ret = insert_vm_struct(mm, vma);
3725 if (ret)
3726 goto out;
Roland McGrathfa5dc222007-02-08 14:20:41 -08003727
Konstantin Khlebnikov84638332016-01-14 15:22:07 -08003728 vm_stat_account(mm, vma->vm_flags, len >> PAGE_SHIFT);
Roland McGrathfa5dc222007-02-08 14:20:41 -08003729
Ingo Molnarcdd6c482009-09-21 12:02:48 +02003730 perf_event_mmap(vma);
Peter Zijlstra089dd792009-06-05 14:04:55 +02003731
Stefani Seibold3935ed62014-03-17 23:22:02 +01003732 return vma;
Tavis Ormandy462e635e2010-12-09 15:29:42 +01003733
3734out:
Linus Torvalds3928d4f2018-07-21 13:48:51 -07003735 vm_area_free(vma);
Stefani Seibold3935ed62014-03-17 23:22:02 +01003736 return ERR_PTR(ret);
3737}
3738
Dmitry Safonov2eefd872016-09-05 16:33:05 +03003739bool vma_is_special_mapping(const struct vm_area_struct *vma,
3740 const struct vm_special_mapping *sm)
3741{
3742 return vma->vm_private_data == sm &&
3743 (vma->vm_ops == &special_mapping_vmops ||
3744 vma->vm_ops == &legacy_special_mapping_vmops);
3745}
3746
Andy Lutomirskia62c34b2014-05-19 15:58:33 -07003747/*
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -07003748 * Called with mm->mmap_lock held for writing.
Andy Lutomirskia62c34b2014-05-19 15:58:33 -07003749 * Insert a new vma covering the given region, with the given flags.
3750 * Its pages are supplied by the given array of struct page *.
3751 * The array can be shorter than len >> PAGE_SHIFT if it's null-terminated.
3752 * The region past the last page supplied will always produce SIGBUS.
3753 * The array pointer and the pages it points to are assumed to stay alive
3754 * for as long as this mapping might exist.
3755 */
3756struct vm_area_struct *_install_special_mapping(
3757 struct mm_struct *mm,
3758 unsigned long addr, unsigned long len,
3759 unsigned long vm_flags, const struct vm_special_mapping *spec)
3760{
Chen Gang27f28b92015-11-05 18:48:41 -08003761 return __install_special_mapping(mm, addr, len, vm_flags, (void *)spec,
3762 &special_mapping_vmops);
Andy Lutomirskia62c34b2014-05-19 15:58:33 -07003763}
3764
Stefani Seibold3935ed62014-03-17 23:22:02 +01003765int install_special_mapping(struct mm_struct *mm,
3766 unsigned long addr, unsigned long len,
3767 unsigned long vm_flags, struct page **pages)
3768{
Andy Lutomirskia62c34b2014-05-19 15:58:33 -07003769 struct vm_area_struct *vma = __install_special_mapping(
Chen Gang27f28b92015-11-05 18:48:41 -08003770 mm, addr, len, vm_flags, (void *)pages,
3771 &legacy_special_mapping_vmops);
Stefani Seibold3935ed62014-03-17 23:22:02 +01003772
Duan Jiong14bd5b42014-06-04 16:07:05 -07003773 return PTR_ERR_OR_ZERO(vma);
Roland McGrathfa5dc222007-02-08 14:20:41 -08003774}
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003775
3776static DEFINE_MUTEX(mm_all_locks_mutex);
3777
Peter Zijlstra454ed842008-08-11 09:30:25 +02003778static void vm_lock_anon_vma(struct mm_struct *mm, struct anon_vma *anon_vma)
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003779{
Davidlohr Buesof808c132017-09-08 16:15:08 -07003780 if (!test_bit(0, (unsigned long *) &anon_vma->root->rb_root.rb_root.rb_node)) {
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003781 /*
3782 * The LSB of head.next can't change from under us
3783 * because we hold the mm_all_locks_mutex.
3784 */
Michel Lespinasseda1c55f2020-06-08 21:33:47 -07003785 down_write_nest_lock(&anon_vma->root->rwsem, &mm->mmap_lock);
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003786 /*
3787 * We can safely modify head.next after taking the
Ingo Molnar5a505082012-12-02 19:56:46 +00003788 * anon_vma->root->rwsem. If some other vma in this mm shares
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003789 * the same anon_vma we won't take it again.
3790 *
3791 * No need of atomic instructions here, head.next
3792 * can't change from under us thanks to the
Ingo Molnar5a505082012-12-02 19:56:46 +00003793 * anon_vma->root->rwsem.
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003794 */
3795 if (__test_and_set_bit(0, (unsigned long *)
Davidlohr Buesof808c132017-09-08 16:15:08 -07003796 &anon_vma->root->rb_root.rb_root.rb_node))
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003797 BUG();
3798 }
3799}
3800
Peter Zijlstra454ed842008-08-11 09:30:25 +02003801static void vm_lock_mapping(struct mm_struct *mm, struct address_space *mapping)
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003802{
3803 if (!test_bit(AS_MM_ALL_LOCKS, &mapping->flags)) {
3804 /*
3805 * AS_MM_ALL_LOCKS can't change from under us because
3806 * we hold the mm_all_locks_mutex.
3807 *
3808 * Operations on ->flags have to be atomic because
3809 * even if AS_MM_ALL_LOCKS is stable thanks to the
3810 * mm_all_locks_mutex, there may be other cpus
3811 * changing other bitflags in parallel to us.
3812 */
3813 if (test_and_set_bit(AS_MM_ALL_LOCKS, &mapping->flags))
3814 BUG();
Michel Lespinasseda1c55f2020-06-08 21:33:47 -07003815 down_write_nest_lock(&mapping->i_mmap_rwsem, &mm->mmap_lock);
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003816 }
3817}
3818
3819/*
3820 * This operation locks against the VM for all pte/vma/mm related
3821 * operations that could ever happen on a certain mm. This includes
3822 * vmtruncate, try_to_unmap, and all page faults.
3823 *
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -07003824 * The caller must take the mmap_lock in write mode before calling
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003825 * mm_take_all_locks(). The caller isn't allowed to release the
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -07003826 * mmap_lock until mm_drop_all_locks() returns.
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003827 *
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -07003828 * mmap_lock in write mode is required in order to block all operations
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003829 * that could modify pagetables and free pages without need of
Kirill A. Shutemov27ba0642015-02-10 14:09:59 -08003830 * altering the vma layout. It's also needed in write mode to avoid new
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003831 * anon_vmas to be associated with existing vmas.
3832 *
3833 * A single task can't take more than one mm_take_all_locks() in a row
3834 * or it would deadlock.
3835 *
Michel Lespinassebf181b92012-10-08 16:31:39 -07003836 * The LSB in anon_vma->rb_root.rb_node and the AS_MM_ALL_LOCKS bitflag in
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003837 * mapping->flags avoid to take the same lock twice, if more than one
3838 * vma in this mm is backed by the same anon_vma or address_space.
3839 *
Kirill A. Shutemov88f306b2016-01-15 16:57:31 -08003840 * We take locks in following order, accordingly to comment at beginning
3841 * of mm/rmap.c:
3842 * - all hugetlbfs_i_mmap_rwsem_key locks (aka mapping->i_mmap_rwsem for
3843 * hugetlb mapping);
Suren Baghdasaryaneeff9a52023-02-27 09:36:20 -08003844 * - all vmas marked locked
Kirill A. Shutemov88f306b2016-01-15 16:57:31 -08003845 * - all i_mmap_rwsem locks;
3846 * - all anon_vma->rwseml
3847 *
3848 * We can take all locks within these types randomly because the VM code
3849 * doesn't nest them and we protected from parallel mm_take_all_locks() by
3850 * mm_all_locks_mutex.
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003851 *
3852 * mm_take_all_locks() and mm_drop_all_locks are expensive operations
3853 * that may have to take thousand of locks.
3854 *
3855 * mm_take_all_locks() can fail if it's interrupted by signals.
3856 */
3857int mm_take_all_locks(struct mm_struct *mm)
3858{
3859 struct vm_area_struct *vma;
Rik van Riel5beb4932010-03-05 13:42:07 -08003860 struct anon_vma_chain *avc;
Yajun Dengd4e6b392024-03-25 14:32:58 +08003861 VMA_ITERATOR(vmi, mm, 0);
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003862
Rolf Eike Beer325bca12022-04-28 23:16:11 -07003863 mmap_assert_write_locked(mm);
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003864
3865 mutex_lock(&mm_all_locks_mutex);
3866
Jann Horn90717562023-07-20 21:34:36 +02003867 /*
3868 * vma_start_write() does not have a complement in mm_drop_all_locks()
3869 * because vma_start_write() is always asymmetrical; it marks a VMA as
3870 * being written to until mmap_write_unlock() or mmap_write_downgrade()
3871 * is reached.
3872 */
Yajun Dengd4e6b392024-03-25 14:32:58 +08003873 for_each_vma(vmi, vma) {
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003874 if (signal_pending(current))
3875 goto out_unlock;
Suren Baghdasaryaneeff9a52023-02-27 09:36:20 -08003876 vma_start_write(vma);
3877 }
3878
Yajun Dengd4e6b392024-03-25 14:32:58 +08003879 vma_iter_init(&vmi, mm, 0);
3880 for_each_vma(vmi, vma) {
Suren Baghdasaryaneeff9a52023-02-27 09:36:20 -08003881 if (signal_pending(current))
3882 goto out_unlock;
Kirill A. Shutemov88f306b2016-01-15 16:57:31 -08003883 if (vma->vm_file && vma->vm_file->f_mapping &&
3884 is_vm_hugetlb_page(vma))
3885 vm_lock_mapping(mm, vma->vm_file->f_mapping);
3886 }
3887
Yajun Dengd4e6b392024-03-25 14:32:58 +08003888 vma_iter_init(&vmi, mm, 0);
3889 for_each_vma(vmi, vma) {
Kirill A. Shutemov88f306b2016-01-15 16:57:31 -08003890 if (signal_pending(current))
3891 goto out_unlock;
3892 if (vma->vm_file && vma->vm_file->f_mapping &&
3893 !is_vm_hugetlb_page(vma))
Peter Zijlstra454ed842008-08-11 09:30:25 +02003894 vm_lock_mapping(mm, vma->vm_file->f_mapping);
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003895 }
Peter Zijlstra7cd5a022008-08-11 09:30:25 +02003896
Yajun Dengd4e6b392024-03-25 14:32:58 +08003897 vma_iter_init(&vmi, mm, 0);
3898 for_each_vma(vmi, vma) {
Peter Zijlstra7cd5a022008-08-11 09:30:25 +02003899 if (signal_pending(current))
3900 goto out_unlock;
3901 if (vma->anon_vma)
Rik van Riel5beb4932010-03-05 13:42:07 -08003902 list_for_each_entry(avc, &vma->anon_vma_chain, same_vma)
3903 vm_lock_anon_vma(mm, avc->anon_vma);
Peter Zijlstra7cd5a022008-08-11 09:30:25 +02003904 }
3905
Kautuk Consul584cff52011-10-31 17:08:59 -07003906 return 0;
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003907
3908out_unlock:
Kautuk Consul584cff52011-10-31 17:08:59 -07003909 mm_drop_all_locks(mm);
3910 return -EINTR;
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003911}
3912
3913static void vm_unlock_anon_vma(struct anon_vma *anon_vma)
3914{
Davidlohr Buesof808c132017-09-08 16:15:08 -07003915 if (test_bit(0, (unsigned long *) &anon_vma->root->rb_root.rb_root.rb_node)) {
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003916 /*
3917 * The LSB of head.next can't change to 0 from under
3918 * us because we hold the mm_all_locks_mutex.
3919 *
3920 * We must however clear the bitflag before unlocking
Michel Lespinassebf181b92012-10-08 16:31:39 -07003921 * the vma so the users using the anon_vma->rb_root will
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003922 * never see our bitflag.
3923 *
3924 * No need of atomic instructions here, head.next
3925 * can't change from under us until we release the
Ingo Molnar5a505082012-12-02 19:56:46 +00003926 * anon_vma->root->rwsem.
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003927 */
3928 if (!__test_and_clear_bit(0, (unsigned long *)
Davidlohr Buesof808c132017-09-08 16:15:08 -07003929 &anon_vma->root->rb_root.rb_root.rb_node))
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003930 BUG();
Konstantin Khlebnikov08b52702013-02-22 16:34:40 -08003931 anon_vma_unlock_write(anon_vma);
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003932 }
3933}
3934
3935static void vm_unlock_mapping(struct address_space *mapping)
3936{
3937 if (test_bit(AS_MM_ALL_LOCKS, &mapping->flags)) {
3938 /*
3939 * AS_MM_ALL_LOCKS can't change to 0 from under us
3940 * because we hold the mm_all_locks_mutex.
3941 */
Davidlohr Bueso83cde9e2014-12-12 16:54:21 -08003942 i_mmap_unlock_write(mapping);
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003943 if (!test_and_clear_bit(AS_MM_ALL_LOCKS,
3944 &mapping->flags))
3945 BUG();
3946 }
3947}
3948
3949/*
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -07003950 * The mmap_lock cannot be released by the caller until
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003951 * mm_drop_all_locks() returns.
3952 */
3953void mm_drop_all_locks(struct mm_struct *mm)
3954{
3955 struct vm_area_struct *vma;
Rik van Riel5beb4932010-03-05 13:42:07 -08003956 struct anon_vma_chain *avc;
Yajun Dengd4e6b392024-03-25 14:32:58 +08003957 VMA_ITERATOR(vmi, mm, 0);
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003958
Rolf Eike Beer325bca12022-04-28 23:16:11 -07003959 mmap_assert_write_locked(mm);
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003960 BUG_ON(!mutex_is_locked(&mm_all_locks_mutex));
3961
Yajun Dengd4e6b392024-03-25 14:32:58 +08003962 for_each_vma(vmi, vma) {
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003963 if (vma->anon_vma)
Rik van Riel5beb4932010-03-05 13:42:07 -08003964 list_for_each_entry(avc, &vma->anon_vma_chain, same_vma)
3965 vm_unlock_anon_vma(avc->anon_vma);
Andrea Arcangeli7906d002008-07-28 15:46:26 -07003966 if (vma->vm_file && vma->vm_file->f_mapping)
3967 vm_unlock_mapping(vma->vm_file->f_mapping);
3968 }
3969
3970 mutex_unlock(&mm_all_locks_mutex);
3971}
David Howells8feae132009-01-08 12:04:47 +00003972
3973/*
seokhoon.yoon3edf41d2017-02-24 14:56:44 -08003974 * initialise the percpu counter for VM
David Howells8feae132009-01-08 12:04:47 +00003975 */
3976void __init mmap_init(void)
3977{
KOSAKI Motohiro00a62ce2009-04-30 15:08:51 -07003978 int ret;
3979
Tejun Heo908c7f12014-09-08 09:51:29 +09003980 ret = percpu_counter_init(&vm_committed_as, 0, GFP_KERNEL);
KOSAKI Motohiro00a62ce2009-04-30 15:08:51 -07003981 VM_BUG_ON(ret);
David Howells8feae132009-01-08 12:04:47 +00003982}
Andrew Shewmakerc9b1d092013-04-29 15:08:10 -07003983
3984/*
3985 * Initialise sysctl_user_reserve_kbytes.
3986 *
3987 * This is intended to prevent a user from starting a single memory hogging
3988 * process, such that they cannot recover (kill the hog) in OVERCOMMIT_NEVER
3989 * mode.
3990 *
3991 * The default value is min(3% of free memory, 128MB)
3992 * 128MB is enough to recover with sshd/login, bash, and top/kill.
3993 */
Andrew Shewmaker16408792013-04-29 15:08:12 -07003994static int init_user_reserve(void)
Andrew Shewmakerc9b1d092013-04-29 15:08:10 -07003995{
3996 unsigned long free_kbytes;
3997
ZhangPengb1773e02023-08-04 09:25:58 +08003998 free_kbytes = K(global_zone_page_state(NR_FREE_PAGES));
Andrew Shewmakerc9b1d092013-04-29 15:08:10 -07003999
Yajun Deng9c793852024-01-31 11:19:13 +08004000 sysctl_user_reserve_kbytes = min(free_kbytes / 32, SZ_128K);
Andrew Shewmakerc9b1d092013-04-29 15:08:10 -07004001 return 0;
4002}
Paul Gortmakera64fb3c2014-01-23 15:53:30 -08004003subsys_initcall(init_user_reserve);
Andrew Shewmaker4eeab4f2013-04-29 15:08:11 -07004004
4005/*
4006 * Initialise sysctl_admin_reserve_kbytes.
4007 *
4008 * The purpose of sysctl_admin_reserve_kbytes is to allow the sys admin
4009 * to log in and kill a memory hogging process.
4010 *
4011 * Systems with more than 256MB will reserve 8MB, enough to recover
4012 * with sshd, bash, and top in OVERCOMMIT_GUESS. Smaller systems will
4013 * only reserve 3% of free pages by default.
4014 */
Andrew Shewmaker16408792013-04-29 15:08:12 -07004015static int init_admin_reserve(void)
Andrew Shewmaker4eeab4f2013-04-29 15:08:11 -07004016{
4017 unsigned long free_kbytes;
4018
ZhangPengb1773e02023-08-04 09:25:58 +08004019 free_kbytes = K(global_zone_page_state(NR_FREE_PAGES));
Andrew Shewmaker4eeab4f2013-04-29 15:08:11 -07004020
Yajun Deng9c793852024-01-31 11:19:13 +08004021 sysctl_admin_reserve_kbytes = min(free_kbytes / 32, SZ_8K);
Andrew Shewmaker4eeab4f2013-04-29 15:08:11 -07004022 return 0;
4023}
Paul Gortmakera64fb3c2014-01-23 15:53:30 -08004024subsys_initcall(init_admin_reserve);
Andrew Shewmaker16408792013-04-29 15:08:12 -07004025
4026/*
4027 * Reinititalise user and admin reserves if memory is added or removed.
4028 *
4029 * The default user reserve max is 128MB, and the default max for the
4030 * admin reserve is 8MB. These are usually, but not always, enough to
4031 * enable recovery from a memory hogging process using login/sshd, a shell,
4032 * and tools like top. It may make sense to increase or even disable the
4033 * reserve depending on the existence of swap or variations in the recovery
4034 * tools. So, the admin may have changed them.
4035 *
4036 * If memory is added and the reserves have been eliminated or increased above
4037 * the default max, then we'll trust the admin.
4038 *
4039 * If memory is removed and there isn't enough free memory, then we
4040 * need to reset the reserves.
4041 *
4042 * Otherwise keep the reserve set by the admin.
4043 */
4044static int reserve_mem_notifier(struct notifier_block *nb,
4045 unsigned long action, void *data)
4046{
4047 unsigned long tmp, free_kbytes;
4048
4049 switch (action) {
4050 case MEM_ONLINE:
4051 /* Default max is 128MB. Leave alone if modified by operator. */
4052 tmp = sysctl_user_reserve_kbytes;
Yajun Deng9c793852024-01-31 11:19:13 +08004053 if (tmp > 0 && tmp < SZ_128K)
Andrew Shewmaker16408792013-04-29 15:08:12 -07004054 init_user_reserve();
4055
4056 /* Default max is 8MB. Leave alone if modified by operator. */
4057 tmp = sysctl_admin_reserve_kbytes;
Yajun Deng9c793852024-01-31 11:19:13 +08004058 if (tmp > 0 && tmp < SZ_8K)
Andrew Shewmaker16408792013-04-29 15:08:12 -07004059 init_admin_reserve();
4060
4061 break;
4062 case MEM_OFFLINE:
ZhangPengb1773e02023-08-04 09:25:58 +08004063 free_kbytes = K(global_zone_page_state(NR_FREE_PAGES));
Andrew Shewmaker16408792013-04-29 15:08:12 -07004064
4065 if (sysctl_user_reserve_kbytes > free_kbytes) {
4066 init_user_reserve();
4067 pr_info("vm.user_reserve_kbytes reset to %lu\n",
4068 sysctl_user_reserve_kbytes);
4069 }
4070
4071 if (sysctl_admin_reserve_kbytes > free_kbytes) {
4072 init_admin_reserve();
4073 pr_info("vm.admin_reserve_kbytes reset to %lu\n",
4074 sysctl_admin_reserve_kbytes);
4075 }
4076 break;
4077 default:
4078 break;
4079 }
4080 return NOTIFY_OK;
4081}
4082
Andrew Shewmaker16408792013-04-29 15:08:12 -07004083static int __meminit init_reserve_notifier(void)
4084{
Liu Shixin1eeaa4f2022-09-23 11:33:47 +08004085 if (hotplug_memory_notifier(reserve_mem_notifier, DEFAULT_CALLBACK_PRI))
Mitchel Humpherysb1de0d12014-06-06 14:38:30 -07004086 pr_err("Failed registering memory add/remove notifier for admin reserve\n");
Andrew Shewmaker16408792013-04-29 15:08:12 -07004087
4088 return 0;
4089}
Paul Gortmakera64fb3c2014-01-23 15:53:30 -08004090subsys_initcall(init_reserve_notifier);