Thomas Gleixner | 1a59d1b8 | 2019-05-27 08:55:05 +0200 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0-or-later |
Jiri Kosina | cc503c1 | 2008-01-30 13:31:07 +0100 | [diff] [blame] | 2 | /* |
Harvey Harrison | 675a081 | 2008-01-30 13:31:10 +0100 | [diff] [blame] | 3 | * Flexible mmap layout support |
Jiri Kosina | cc503c1 | 2008-01-30 13:31:07 +0100 | [diff] [blame] | 4 | * |
| 5 | * Based on code by Ingo Molnar and Andi Kleen, copyrighted |
| 6 | * as follows: |
| 7 | * |
Ingo Molnar | 8f47e16 | 2009-01-31 02:03:42 +0100 | [diff] [blame] | 8 | * Copyright 2003-2009 Red Hat Inc. |
Jiri Kosina | cc503c1 | 2008-01-30 13:31:07 +0100 | [diff] [blame] | 9 | * All Rights Reserved. |
| 10 | * Copyright 2005 Andi Kleen, SUSE Labs. |
| 11 | * Copyright 2007 Jiri Kosina, SUSE Labs. |
Andi Kleen | 8817210 | 2006-01-17 07:03:38 +0100 | [diff] [blame] | 12 | */ |
Jiri Kosina | cc503c1 | 2008-01-30 13:31:07 +0100 | [diff] [blame] | 13 | |
| 14 | #include <linux/personality.h> |
Andi Kleen | 8817210 | 2006-01-17 07:03:38 +0100 | [diff] [blame] | 15 | #include <linux/mm.h> |
Andi Kleen | 8817210 | 2006-01-17 07:03:38 +0100 | [diff] [blame] | 16 | #include <linux/random.h> |
Jiri Kosina | cc503c1 | 2008-01-30 13:31:07 +0100 | [diff] [blame] | 17 | #include <linux/limits.h> |
Ingo Molnar | 3f07c01 | 2017-02-08 18:51:30 +0100 | [diff] [blame] | 18 | #include <linux/sched/signal.h> |
Ingo Molnar | 0104260 | 2017-02-08 18:51:31 +0100 | [diff] [blame] | 19 | #include <linux/sched/mm.h> |
Dmitry Safonov | e13b73d | 2017-03-14 14:41:26 +0300 | [diff] [blame] | 20 | #include <linux/compat.h> |
Michal Hocko | 8093833 | 2009-09-08 11:01:55 +0200 | [diff] [blame] | 21 | #include <asm/elf.h> |
| 22 | |
Craig Bergstrom | be62a32 | 2017-11-15 15:29:51 -0700 | [diff] [blame] | 23 | #include "physaddr.h" |
| 24 | |
Jan-Simon Möller | cc99535 | 2014-09-05 16:16:45 -0700 | [diff] [blame] | 25 | struct va_alignment __read_mostly va_align = { |
Borislav Petkov | 9387f77 | 2011-08-06 14:31:38 +0200 | [diff] [blame] | 26 | .flags = -1, |
| 27 | }; |
| 28 | |
Kirill A. Shutemov | e8f01a8 | 2017-07-17 01:59:50 +0300 | [diff] [blame] | 29 | unsigned long task_size_32bit(void) |
Dmitry Safonov | 8f3e474 | 2017-03-06 17:17:18 +0300 | [diff] [blame] | 30 | { |
| 31 | return IA32_PAGE_OFFSET; |
| 32 | } |
| 33 | |
Kirill A. Shutemov | b569bab | 2017-07-17 01:59:52 +0300 | [diff] [blame] | 34 | unsigned long task_size_64bit(int full_addr_space) |
Dmitry Safonov | 1b028f7 | 2017-03-06 17:17:19 +0300 | [diff] [blame] | 35 | { |
Kirill A. Shutemov | b569bab | 2017-07-17 01:59:52 +0300 | [diff] [blame] | 36 | return full_addr_space ? TASK_SIZE_MAX : DEFAULT_MAP_WINDOW; |
Dmitry Safonov | 1b028f7 | 2017-03-06 17:17:19 +0300 | [diff] [blame] | 37 | } |
| 38 | |
Dmitry Safonov | 8f3e474 | 2017-03-06 17:17:18 +0300 | [diff] [blame] | 39 | static unsigned long stack_maxrandom_size(unsigned long task_size) |
Michal Hocko | 8093833 | 2009-09-08 11:01:55 +0200 | [diff] [blame] | 40 | { |
Hector Marco-Gisbert | 4e7c22d | 2015-02-14 09:33:50 -0800 | [diff] [blame] | 41 | unsigned long max = 0; |
Oleg Nesterov | 01578e3 | 2017-08-15 17:40:11 +0200 | [diff] [blame] | 42 | if (current->flags & PF_RANDOMIZE) { |
Kirill A. Shutemov | e8f01a8 | 2017-07-17 01:59:50 +0300 | [diff] [blame] | 43 | max = (-1UL) & __STACK_RND_MASK(task_size == task_size_32bit()); |
Dmitry Safonov | 8f3e474 | 2017-03-06 17:17:18 +0300 | [diff] [blame] | 44 | max <<= PAGE_SHIFT; |
Michal Hocko | 8093833 | 2009-09-08 11:01:55 +0200 | [diff] [blame] | 45 | } |
| 46 | |
| 47 | return max; |
| 48 | } |
| 49 | |
Dmitry Safonov | 6a0b41d | 2017-03-06 17:17:17 +0300 | [diff] [blame] | 50 | #ifdef CONFIG_COMPAT |
| 51 | # define mmap32_rnd_bits mmap_rnd_compat_bits |
| 52 | # define mmap64_rnd_bits mmap_rnd_bits |
| 53 | #else |
| 54 | # define mmap32_rnd_bits mmap_rnd_bits |
| 55 | # define mmap64_rnd_bits mmap_rnd_bits |
| 56 | #endif |
| 57 | |
Dmitry Safonov | 8f3e474 | 2017-03-06 17:17:18 +0300 | [diff] [blame] | 58 | #define SIZE_128M (128 * 1024 * 1024UL) |
| 59 | |
Andrew Morton | 954683a | 2008-01-30 13:31:07 +0100 | [diff] [blame] | 60 | static int mmap_is_legacy(void) |
Jiri Kosina | cc503c1 | 2008-01-30 13:31:07 +0100 | [diff] [blame] | 61 | { |
| 62 | if (current->personality & ADDR_COMPAT_LAYOUT) |
| 63 | return 1; |
| 64 | |
Jiri Kosina | cc503c1 | 2008-01-30 13:31:07 +0100 | [diff] [blame] | 65 | return sysctl_legacy_va_layout; |
| 66 | } |
| 67 | |
Dmitry Safonov | 6a0b41d | 2017-03-06 17:17:17 +0300 | [diff] [blame] | 68 | static unsigned long arch_rnd(unsigned int rndbits) |
| 69 | { |
Oleg Nesterov | 47ac548 | 2017-08-15 17:39:52 +0200 | [diff] [blame] | 70 | if (!(current->flags & PF_RANDOMIZE)) |
| 71 | return 0; |
Dmitry Safonov | 6a0b41d | 2017-03-06 17:17:17 +0300 | [diff] [blame] | 72 | return (get_random_long() & ((1UL << rndbits) - 1)) << PAGE_SHIFT; |
| 73 | } |
| 74 | |
Kees Cook | 2b68f6c | 2015-04-14 15:48:00 -0700 | [diff] [blame] | 75 | unsigned long arch_mmap_rnd(void) |
Harvey Harrison | 675a081 | 2008-01-30 13:31:10 +0100 | [diff] [blame] | 76 | { |
Dmitry Safonov | 6a0b41d | 2017-03-06 17:17:17 +0300 | [diff] [blame] | 77 | return arch_rnd(mmap_is_ia32() ? mmap32_rnd_bits : mmap64_rnd_bits); |
Harvey Harrison | 675a081 | 2008-01-30 13:31:10 +0100 | [diff] [blame] | 78 | } |
| 79 | |
Kees Cook | 8f2af15 | 2018-04-10 16:34:53 -0700 | [diff] [blame] | 80 | static unsigned long mmap_base(unsigned long rnd, unsigned long task_size, |
| 81 | struct rlimit *rlim_stack) |
Harvey Harrison | 675a081 | 2008-01-30 13:31:10 +0100 | [diff] [blame] | 82 | { |
Kees Cook | 8f2af15 | 2018-04-10 16:34:53 -0700 | [diff] [blame] | 83 | unsigned long gap = rlim_stack->rlim_cur; |
Rik van Riel | c204d21 | 2017-07-12 14:36:33 -0700 | [diff] [blame] | 84 | unsigned long pad = stack_maxrandom_size(task_size) + stack_guard_gap; |
Dmitry Safonov | 8f3e474 | 2017-03-06 17:17:18 +0300 | [diff] [blame] | 85 | unsigned long gap_min, gap_max; |
Harvey Harrison | 675a081 | 2008-01-30 13:31:10 +0100 | [diff] [blame] | 86 | |
Rik van Riel | c204d21 | 2017-07-12 14:36:33 -0700 | [diff] [blame] | 87 | /* Values close to RLIM_INFINITY can overflow. */ |
| 88 | if (gap + pad > gap) |
| 89 | gap += pad; |
| 90 | |
Dmitry Safonov | 8f3e474 | 2017-03-06 17:17:18 +0300 | [diff] [blame] | 91 | /* |
| 92 | * Top of mmap area (just below the process stack). |
| 93 | * Leave an at least ~128 MB hole with possible stack randomization. |
| 94 | */ |
Rik van Riel | c204d21 | 2017-07-12 14:36:33 -0700 | [diff] [blame] | 95 | gap_min = SIZE_128M; |
Dmitry Safonov | 8f3e474 | 2017-03-06 17:17:18 +0300 | [diff] [blame] | 96 | gap_max = (task_size / 6) * 5; |
Harvey Harrison | 675a081 | 2008-01-30 13:31:10 +0100 | [diff] [blame] | 97 | |
Dmitry Safonov | 8f3e474 | 2017-03-06 17:17:18 +0300 | [diff] [blame] | 98 | if (gap < gap_min) |
| 99 | gap = gap_min; |
| 100 | else if (gap > gap_max) |
| 101 | gap = gap_max; |
| 102 | |
| 103 | return PAGE_ALIGN(task_size - gap - rnd); |
| 104 | } |
| 105 | |
| 106 | static unsigned long mmap_legacy_base(unsigned long rnd, |
| 107 | unsigned long task_size) |
| 108 | { |
| 109 | return __TASK_UNMAPPED_BASE(task_size) + rnd; |
Harvey Harrison | 675a081 | 2008-01-30 13:31:10 +0100 | [diff] [blame] | 110 | } |
| 111 | |
| 112 | /* |
Jiri Kosina | cc503c1 | 2008-01-30 13:31:07 +0100 | [diff] [blame] | 113 | * This function, called very early during the creation of a new |
| 114 | * process VM image, sets up which VM layout function to use: |
| 115 | */ |
Dmitry Safonov | 1b028f7 | 2017-03-06 17:17:19 +0300 | [diff] [blame] | 116 | static void arch_pick_mmap_base(unsigned long *base, unsigned long *legacy_base, |
Kees Cook | 8f2af15 | 2018-04-10 16:34:53 -0700 | [diff] [blame] | 117 | unsigned long random_factor, unsigned long task_size, |
| 118 | struct rlimit *rlim_stack) |
Dmitry Safonov | 1b028f7 | 2017-03-06 17:17:19 +0300 | [diff] [blame] | 119 | { |
| 120 | *legacy_base = mmap_legacy_base(random_factor, task_size); |
| 121 | if (mmap_is_legacy()) |
| 122 | *base = *legacy_base; |
| 123 | else |
Kees Cook | 8f2af15 | 2018-04-10 16:34:53 -0700 | [diff] [blame] | 124 | *base = mmap_base(random_factor, task_size, rlim_stack); |
Dmitry Safonov | 1b028f7 | 2017-03-06 17:17:19 +0300 | [diff] [blame] | 125 | } |
| 126 | |
Kees Cook | 8f2af15 | 2018-04-10 16:34:53 -0700 | [diff] [blame] | 127 | void arch_pick_mmap_layout(struct mm_struct *mm, struct rlimit *rlim_stack) |
Jiri Kosina | cc503c1 | 2008-01-30 13:31:07 +0100 | [diff] [blame] | 128 | { |
Dmitry Safonov | 1b028f7 | 2017-03-06 17:17:19 +0300 | [diff] [blame] | 129 | if (mmap_is_legacy()) |
Jiri Kosina | cc503c1 | 2008-01-30 13:31:07 +0100 | [diff] [blame] | 130 | mm->get_unmapped_area = arch_get_unmapped_area; |
Dmitry Safonov | 1b028f7 | 2017-03-06 17:17:19 +0300 | [diff] [blame] | 131 | else |
Jiri Kosina | cc503c1 | 2008-01-30 13:31:07 +0100 | [diff] [blame] | 132 | mm->get_unmapped_area = arch_get_unmapped_area_topdown; |
Dmitry Safonov | 1b028f7 | 2017-03-06 17:17:19 +0300 | [diff] [blame] | 133 | |
| 134 | arch_pick_mmap_base(&mm->mmap_base, &mm->mmap_legacy_base, |
Kees Cook | 8f2af15 | 2018-04-10 16:34:53 -0700 | [diff] [blame] | 135 | arch_rnd(mmap64_rnd_bits), task_size_64bit(0), |
| 136 | rlim_stack); |
Dmitry Safonov | 1b028f7 | 2017-03-06 17:17:19 +0300 | [diff] [blame] | 137 | |
| 138 | #ifdef CONFIG_HAVE_ARCH_COMPAT_MMAP_BASES |
| 139 | /* |
| 140 | * The mmap syscall mapping base decision depends solely on the |
| 141 | * syscall type (64-bit or compat). This applies for 64bit |
| 142 | * applications and 32bit applications. The 64bit syscall uses |
| 143 | * mmap_base, the compat syscall uses mmap_compat_base. |
| 144 | */ |
| 145 | arch_pick_mmap_base(&mm->mmap_compat_base, &mm->mmap_compat_legacy_base, |
Kees Cook | 8f2af15 | 2018-04-10 16:34:53 -0700 | [diff] [blame] | 146 | arch_rnd(mmap32_rnd_bits), task_size_32bit(), |
| 147 | rlim_stack); |
Dmitry Safonov | 1b028f7 | 2017-03-06 17:17:19 +0300 | [diff] [blame] | 148 | #endif |
Jiri Kosina | cc503c1 | 2008-01-30 13:31:07 +0100 | [diff] [blame] | 149 | } |
Kirill A. Shutemov | a8965276 | 2015-07-20 14:29:58 -0700 | [diff] [blame] | 150 | |
Dmitry Safonov | e13b73d | 2017-03-14 14:41:26 +0300 | [diff] [blame] | 151 | unsigned long get_mmap_base(int is_legacy) |
| 152 | { |
| 153 | struct mm_struct *mm = current->mm; |
| 154 | |
| 155 | #ifdef CONFIG_HAVE_ARCH_COMPAT_MMAP_BASES |
Dmitry Safonov | a846446 | 2018-10-12 14:42:52 +0100 | [diff] [blame] | 156 | if (in_32bit_syscall()) { |
Dmitry Safonov | e13b73d | 2017-03-14 14:41:26 +0300 | [diff] [blame] | 157 | return is_legacy ? mm->mmap_compat_legacy_base |
| 158 | : mm->mmap_compat_base; |
| 159 | } |
| 160 | #endif |
| 161 | return is_legacy ? mm->mmap_legacy_base : mm->mmap_base; |
| 162 | } |
| 163 | |
Kirill A. Shutemov | a8965276 | 2015-07-20 14:29:58 -0700 | [diff] [blame] | 164 | const char *arch_vma_name(struct vm_area_struct *vma) |
| 165 | { |
| 166 | if (vma->vm_flags & VM_MPX) |
| 167 | return "[mpx]"; |
| 168 | return NULL; |
| 169 | } |
Kirill A. Shutemov | 1e0f25d | 2017-11-15 17:36:06 +0300 | [diff] [blame] | 170 | |
| 171 | /** |
| 172 | * mmap_address_hint_valid - Validate the address hint of mmap |
| 173 | * @addr: Address hint |
| 174 | * @len: Mapping length |
| 175 | * |
| 176 | * Check whether @addr and @addr + @len result in a valid mapping. |
| 177 | * |
| 178 | * On 32bit this only checks whether @addr + @len is <= TASK_SIZE. |
| 179 | * |
| 180 | * On 64bit with 5-level page tables another sanity check is required |
| 181 | * because mappings requested by mmap(@addr, 0) which cross the 47-bit |
| 182 | * virtual address boundary can cause the following theoretical issue: |
| 183 | * |
| 184 | * An application calls mmap(addr, 0), i.e. without MAP_FIXED, where @addr |
| 185 | * is below the border of the 47-bit address space and @addr + @len is |
| 186 | * above the border. |
| 187 | * |
| 188 | * With 4-level paging this request succeeds, but the resulting mapping |
| 189 | * address will always be within the 47-bit virtual address space, because |
| 190 | * the hint address does not result in a valid mapping and is |
| 191 | * ignored. Hence applications which are not prepared to handle virtual |
| 192 | * addresses above 47-bit work correctly. |
| 193 | * |
| 194 | * With 5-level paging this request would be granted and result in a |
| 195 | * mapping which crosses the border of the 47-bit virtual address |
| 196 | * space. If the application cannot handle addresses above 47-bit this |
| 197 | * will lead to misbehaviour and hard to diagnose failures. |
| 198 | * |
| 199 | * Therefore ignore address hints which would result in a mapping crossing |
| 200 | * the 47-bit virtual address boundary. |
| 201 | * |
| 202 | * Note, that in the same scenario with MAP_FIXED the behaviour is |
| 203 | * different. The request with @addr < 47-bit and @addr + @len > 47-bit |
| 204 | * fails on a 4-level paging machine but succeeds on a 5-level paging |
| 205 | * machine. It is reasonable to expect that an application does not rely on |
| 206 | * the failure of such a fixed mapping request, so the restriction is not |
| 207 | * applied. |
| 208 | */ |
| 209 | bool mmap_address_hint_valid(unsigned long addr, unsigned long len) |
| 210 | { |
| 211 | if (TASK_SIZE - len < addr) |
| 212 | return false; |
| 213 | |
| 214 | return (addr > DEFAULT_MAP_WINDOW) == (addr + len > DEFAULT_MAP_WINDOW); |
| 215 | } |
Craig Bergstrom | be62a32 | 2017-11-15 15:29:51 -0700 | [diff] [blame] | 216 | |
| 217 | /* Can we access it for direct reading/writing? Must be RAM: */ |
| 218 | int valid_phys_addr_range(phys_addr_t addr, size_t count) |
| 219 | { |
Ralph Campbell | 92c77f7 | 2019-03-25 17:18:17 -0700 | [diff] [blame] | 220 | return addr + count - 1 <= __pa(high_memory - 1); |
Craig Bergstrom | be62a32 | 2017-11-15 15:29:51 -0700 | [diff] [blame] | 221 | } |
| 222 | |
| 223 | /* Can we access it through mmap? Must be a valid physical address: */ |
| 224 | int valid_mmap_phys_addr_range(unsigned long pfn, size_t count) |
| 225 | { |
| 226 | phys_addr_t addr = (phys_addr_t)pfn << PAGE_SHIFT; |
| 227 | |
| 228 | return phys_addr_valid(addr + count - 1); |
| 229 | } |
Andi Kleen | 42e4089 | 2018-06-13 15:48:27 -0700 | [diff] [blame] | 230 | |
| 231 | /* |
| 232 | * Only allow root to set high MMIO mappings to PROT_NONE. |
| 233 | * This prevents an unpriv. user to set them to PROT_NONE and invert |
| 234 | * them, then pointing to valid memory for L1TF speculation. |
| 235 | * |
| 236 | * Note: for locked down kernels may want to disable the root override. |
| 237 | */ |
| 238 | bool pfn_modify_allowed(unsigned long pfn, pgprot_t prot) |
| 239 | { |
| 240 | if (!boot_cpu_has_bug(X86_BUG_L1TF)) |
| 241 | return true; |
| 242 | if (!__pte_needs_invert(pgprot_val(prot))) |
| 243 | return true; |
| 244 | /* If it's real memory always allow */ |
| 245 | if (pfn_valid(pfn)) |
| 246 | return true; |
Vlastimil Babka | b0a182f | 2018-08-23 15:44:18 +0200 | [diff] [blame] | 247 | if (pfn >= l1tf_pfn_limit() && !capable(CAP_SYS_ADMIN)) |
Andi Kleen | 42e4089 | 2018-06-13 15:48:27 -0700 | [diff] [blame] | 248 | return false; |
| 249 | return true; |
| 250 | } |