Greg Kroah-Hartman | b244131 | 2017-11-01 15:07:57 +0100 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0 |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2 | #define pr_fmt(fmt) KBUILD_MODNAME ": " fmt |
| 3 | |
| 4 | #include <linux/mm.h> |
| 5 | #include <linux/sched.h> |
Ingo Molnar | 6e84f31 | 2017-02-08 18:51:29 +0100 | [diff] [blame] | 6 | #include <linux/sched/mm.h> |
Ingo Molnar | f7ccbae | 2017-02-08 18:51:30 +0100 | [diff] [blame] | 7 | #include <linux/sched/coredump.h> |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 8 | #include <linux/mmu_notifier.h> |
| 9 | #include <linux/rmap.h> |
| 10 | #include <linux/swap.h> |
| 11 | #include <linux/mm_inline.h> |
| 12 | #include <linux/kthread.h> |
| 13 | #include <linux/khugepaged.h> |
| 14 | #include <linux/freezer.h> |
| 15 | #include <linux/mman.h> |
| 16 | #include <linux/hashtable.h> |
| 17 | #include <linux/userfaultfd_k.h> |
| 18 | #include <linux/page_idle.h> |
Pasha Tatashin | 80110bb | 2022-02-03 20:49:24 -0800 | [diff] [blame] | 19 | #include <linux/page_table_check.h> |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 20 | #include <linux/swapops.h> |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 21 | #include <linux/shmem_fs.h> |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 22 | |
| 23 | #include <asm/tlb.h> |
| 24 | #include <asm/pgalloc.h> |
| 25 | #include "internal.h" |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 26 | #include "mm_slot.h" |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 27 | |
| 28 | enum scan_result { |
| 29 | SCAN_FAIL, |
| 30 | SCAN_SUCCEED, |
| 31 | SCAN_PMD_NULL, |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 32 | SCAN_PMD_NONE, |
Zach O'Keefe | 5072280 | 2022-07-06 16:59:26 -0700 | [diff] [blame] | 33 | SCAN_PMD_MAPPED, |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 34 | SCAN_EXCEED_NONE_PTE, |
Kirill A. Shutemov | 71a2c11 | 2020-06-03 16:00:30 -0700 | [diff] [blame] | 35 | SCAN_EXCEED_SWAP_PTE, |
| 36 | SCAN_EXCEED_SHARED_PTE, |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 37 | SCAN_PTE_NON_PRESENT, |
Peter Xu | e1e267c | 2020-04-06 20:06:04 -0700 | [diff] [blame] | 38 | SCAN_PTE_UFFD_WP, |
Zach O'Keefe | 58ac9a8 | 2022-09-22 15:40:38 -0700 | [diff] [blame] | 39 | SCAN_PTE_MAPPED_HUGEPAGE, |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 40 | SCAN_PAGE_RO, |
Ebru Akagunduz | 0db501f | 2016-07-26 15:26:46 -0700 | [diff] [blame] | 41 | SCAN_LACK_REFERENCED_PAGE, |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 42 | SCAN_PAGE_NULL, |
| 43 | SCAN_SCAN_ABORT, |
| 44 | SCAN_PAGE_COUNT, |
| 45 | SCAN_PAGE_LRU, |
| 46 | SCAN_PAGE_LOCK, |
| 47 | SCAN_PAGE_ANON, |
| 48 | SCAN_PAGE_COMPOUND, |
| 49 | SCAN_ANY_PROCESS, |
| 50 | SCAN_VMA_NULL, |
| 51 | SCAN_VMA_CHECK, |
| 52 | SCAN_ADDRESS_RANGE, |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 53 | SCAN_DEL_PAGE_LRU, |
| 54 | SCAN_ALLOC_HUGE_PAGE_FAIL, |
| 55 | SCAN_CGROUP_CHARGE_FAIL, |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 56 | SCAN_TRUNCATED, |
Song Liu | 99cb0db | 2019-09-23 15:38:00 -0700 | [diff] [blame] | 57 | SCAN_PAGE_HAS_PRIVATE, |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 58 | }; |
| 59 | |
| 60 | #define CREATE_TRACE_POINTS |
| 61 | #include <trace/events/huge_memory.h> |
| 62 | |
Vijay Balakrishna | 4aab2be | 2020-10-10 23:16:40 -0700 | [diff] [blame] | 63 | static struct task_struct *khugepaged_thread __read_mostly; |
| 64 | static DEFINE_MUTEX(khugepaged_mutex); |
| 65 | |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 66 | /* default scan 8*512 pte (or vmas) every 30 second */ |
| 67 | static unsigned int khugepaged_pages_to_scan __read_mostly; |
| 68 | static unsigned int khugepaged_pages_collapsed; |
| 69 | static unsigned int khugepaged_full_scans; |
| 70 | static unsigned int khugepaged_scan_sleep_millisecs __read_mostly = 10000; |
| 71 | /* during fragmentation poll the hugepage allocator once every minute */ |
| 72 | static unsigned int khugepaged_alloc_sleep_millisecs __read_mostly = 60000; |
| 73 | static unsigned long khugepaged_sleep_expire; |
| 74 | static DEFINE_SPINLOCK(khugepaged_mm_lock); |
| 75 | static DECLARE_WAIT_QUEUE_HEAD(khugepaged_wait); |
| 76 | /* |
| 77 | * default collapse hugepages if there is at least one pte mapped like |
| 78 | * it would have happened if the vma was large enough during page |
| 79 | * fault. |
Zach O'Keefe | d8ea7cc | 2022-07-06 16:59:24 -0700 | [diff] [blame] | 80 | * |
| 81 | * Note that these are only respected if collapse was initiated by khugepaged. |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 82 | */ |
| 83 | static unsigned int khugepaged_max_ptes_none __read_mostly; |
| 84 | static unsigned int khugepaged_max_ptes_swap __read_mostly; |
Kirill A. Shutemov | 71a2c11 | 2020-06-03 16:00:30 -0700 | [diff] [blame] | 85 | static unsigned int khugepaged_max_ptes_shared __read_mostly; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 86 | |
| 87 | #define MM_SLOTS_HASH_BITS 10 |
| 88 | static __read_mostly DEFINE_HASHTABLE(mm_slots_hash, MM_SLOTS_HASH_BITS); |
| 89 | |
| 90 | static struct kmem_cache *mm_slot_cache __read_mostly; |
| 91 | |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 92 | #define MAX_PTE_MAPPED_THP 8 |
| 93 | |
Zach O'Keefe | 34d6b47 | 2022-07-06 16:59:21 -0700 | [diff] [blame] | 94 | struct collapse_control { |
Zach O'Keefe | d8ea7cc | 2022-07-06 16:59:24 -0700 | [diff] [blame] | 95 | bool is_khugepaged; |
| 96 | |
Zach O'Keefe | 34d6b47 | 2022-07-06 16:59:21 -0700 | [diff] [blame] | 97 | /* Num pages scanned per node */ |
| 98 | u32 node_load[MAX_NUMNODES]; |
| 99 | |
Zach O'Keefe | 7d2c438 | 2022-07-06 16:59:28 -0700 | [diff] [blame] | 100 | /* Last target selected in hpage_collapse_find_target_node() */ |
Zach O'Keefe | 34d6b47 | 2022-07-06 16:59:21 -0700 | [diff] [blame] | 101 | int last_target_node; |
| 102 | }; |
| 103 | |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 104 | /** |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 105 | * struct khugepaged_mm_slot - khugepaged information per mm that is being scanned |
| 106 | * @slot: hash lookup from mm to mm_slot |
Alex Shi | 336e6b5 | 2020-12-14 19:12:01 -0800 | [diff] [blame] | 107 | * @nr_pte_mapped_thp: number of pte mapped THP |
| 108 | * @pte_mapped_thp: address array corresponding pte mapped THP |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 109 | */ |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 110 | struct khugepaged_mm_slot { |
| 111 | struct mm_slot slot; |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 112 | |
| 113 | /* pte-mapped THP in this mm */ |
| 114 | int nr_pte_mapped_thp; |
| 115 | unsigned long pte_mapped_thp[MAX_PTE_MAPPED_THP]; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 116 | }; |
| 117 | |
| 118 | /** |
| 119 | * struct khugepaged_scan - cursor for scanning |
| 120 | * @mm_head: the head of the mm list to scan |
| 121 | * @mm_slot: the current mm_slot we are scanning |
| 122 | * @address: the next address inside that to be scanned |
| 123 | * |
| 124 | * There is only the one khugepaged_scan instance of this cursor structure. |
| 125 | */ |
| 126 | struct khugepaged_scan { |
| 127 | struct list_head mm_head; |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 128 | struct khugepaged_mm_slot *mm_slot; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 129 | unsigned long address; |
| 130 | }; |
| 131 | |
| 132 | static struct khugepaged_scan khugepaged_scan = { |
| 133 | .mm_head = LIST_HEAD_INIT(khugepaged_scan.mm_head), |
| 134 | }; |
| 135 | |
Jérémy Lefaure | e1465d1 | 2016-11-30 15:54:02 -0800 | [diff] [blame] | 136 | #ifdef CONFIG_SYSFS |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 137 | static ssize_t scan_sleep_millisecs_show(struct kobject *kobj, |
| 138 | struct kobj_attribute *attr, |
| 139 | char *buf) |
| 140 | { |
Joe Perches | ae7a927 | 2020-12-14 19:14:42 -0800 | [diff] [blame] | 141 | return sysfs_emit(buf, "%u\n", khugepaged_scan_sleep_millisecs); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 142 | } |
| 143 | |
| 144 | static ssize_t scan_sleep_millisecs_store(struct kobject *kobj, |
| 145 | struct kobj_attribute *attr, |
| 146 | const char *buf, size_t count) |
| 147 | { |
Alexey Dobriyan | dfefd22 | 2020-12-14 19:15:03 -0800 | [diff] [blame] | 148 | unsigned int msecs; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 149 | int err; |
| 150 | |
Alexey Dobriyan | dfefd22 | 2020-12-14 19:15:03 -0800 | [diff] [blame] | 151 | err = kstrtouint(buf, 10, &msecs); |
| 152 | if (err) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 153 | return -EINVAL; |
| 154 | |
| 155 | khugepaged_scan_sleep_millisecs = msecs; |
| 156 | khugepaged_sleep_expire = 0; |
| 157 | wake_up_interruptible(&khugepaged_wait); |
| 158 | |
| 159 | return count; |
| 160 | } |
| 161 | static struct kobj_attribute scan_sleep_millisecs_attr = |
Miaohe Lin | 6dcdc94 | 2022-06-25 17:28:14 +0800 | [diff] [blame] | 162 | __ATTR_RW(scan_sleep_millisecs); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 163 | |
| 164 | static ssize_t alloc_sleep_millisecs_show(struct kobject *kobj, |
| 165 | struct kobj_attribute *attr, |
| 166 | char *buf) |
| 167 | { |
Joe Perches | ae7a927 | 2020-12-14 19:14:42 -0800 | [diff] [blame] | 168 | return sysfs_emit(buf, "%u\n", khugepaged_alloc_sleep_millisecs); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 169 | } |
| 170 | |
| 171 | static ssize_t alloc_sleep_millisecs_store(struct kobject *kobj, |
| 172 | struct kobj_attribute *attr, |
| 173 | const char *buf, size_t count) |
| 174 | { |
Alexey Dobriyan | dfefd22 | 2020-12-14 19:15:03 -0800 | [diff] [blame] | 175 | unsigned int msecs; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 176 | int err; |
| 177 | |
Alexey Dobriyan | dfefd22 | 2020-12-14 19:15:03 -0800 | [diff] [blame] | 178 | err = kstrtouint(buf, 10, &msecs); |
| 179 | if (err) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 180 | return -EINVAL; |
| 181 | |
| 182 | khugepaged_alloc_sleep_millisecs = msecs; |
| 183 | khugepaged_sleep_expire = 0; |
| 184 | wake_up_interruptible(&khugepaged_wait); |
| 185 | |
| 186 | return count; |
| 187 | } |
| 188 | static struct kobj_attribute alloc_sleep_millisecs_attr = |
Miaohe Lin | 6dcdc94 | 2022-06-25 17:28:14 +0800 | [diff] [blame] | 189 | __ATTR_RW(alloc_sleep_millisecs); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 190 | |
| 191 | static ssize_t pages_to_scan_show(struct kobject *kobj, |
| 192 | struct kobj_attribute *attr, |
| 193 | char *buf) |
| 194 | { |
Joe Perches | ae7a927 | 2020-12-14 19:14:42 -0800 | [diff] [blame] | 195 | return sysfs_emit(buf, "%u\n", khugepaged_pages_to_scan); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 196 | } |
| 197 | static ssize_t pages_to_scan_store(struct kobject *kobj, |
| 198 | struct kobj_attribute *attr, |
| 199 | const char *buf, size_t count) |
| 200 | { |
Alexey Dobriyan | dfefd22 | 2020-12-14 19:15:03 -0800 | [diff] [blame] | 201 | unsigned int pages; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 202 | int err; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 203 | |
Alexey Dobriyan | dfefd22 | 2020-12-14 19:15:03 -0800 | [diff] [blame] | 204 | err = kstrtouint(buf, 10, &pages); |
| 205 | if (err || !pages) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 206 | return -EINVAL; |
| 207 | |
| 208 | khugepaged_pages_to_scan = pages; |
| 209 | |
| 210 | return count; |
| 211 | } |
| 212 | static struct kobj_attribute pages_to_scan_attr = |
Miaohe Lin | 6dcdc94 | 2022-06-25 17:28:14 +0800 | [diff] [blame] | 213 | __ATTR_RW(pages_to_scan); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 214 | |
| 215 | static ssize_t pages_collapsed_show(struct kobject *kobj, |
| 216 | struct kobj_attribute *attr, |
| 217 | char *buf) |
| 218 | { |
Joe Perches | ae7a927 | 2020-12-14 19:14:42 -0800 | [diff] [blame] | 219 | return sysfs_emit(buf, "%u\n", khugepaged_pages_collapsed); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 220 | } |
| 221 | static struct kobj_attribute pages_collapsed_attr = |
| 222 | __ATTR_RO(pages_collapsed); |
| 223 | |
| 224 | static ssize_t full_scans_show(struct kobject *kobj, |
| 225 | struct kobj_attribute *attr, |
| 226 | char *buf) |
| 227 | { |
Joe Perches | ae7a927 | 2020-12-14 19:14:42 -0800 | [diff] [blame] | 228 | return sysfs_emit(buf, "%u\n", khugepaged_full_scans); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 229 | } |
| 230 | static struct kobj_attribute full_scans_attr = |
| 231 | __ATTR_RO(full_scans); |
| 232 | |
Miaohe Lin | 6dcdc94 | 2022-06-25 17:28:14 +0800 | [diff] [blame] | 233 | static ssize_t defrag_show(struct kobject *kobj, |
| 234 | struct kobj_attribute *attr, char *buf) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 235 | { |
| 236 | return single_hugepage_flag_show(kobj, attr, buf, |
Joe Perches | ae7a927 | 2020-12-14 19:14:42 -0800 | [diff] [blame] | 237 | TRANSPARENT_HUGEPAGE_DEFRAG_KHUGEPAGED_FLAG); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 238 | } |
Miaohe Lin | 6dcdc94 | 2022-06-25 17:28:14 +0800 | [diff] [blame] | 239 | static ssize_t defrag_store(struct kobject *kobj, |
| 240 | struct kobj_attribute *attr, |
| 241 | const char *buf, size_t count) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 242 | { |
| 243 | return single_hugepage_flag_store(kobj, attr, buf, count, |
| 244 | TRANSPARENT_HUGEPAGE_DEFRAG_KHUGEPAGED_FLAG); |
| 245 | } |
| 246 | static struct kobj_attribute khugepaged_defrag_attr = |
Miaohe Lin | 6dcdc94 | 2022-06-25 17:28:14 +0800 | [diff] [blame] | 247 | __ATTR_RW(defrag); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 248 | |
| 249 | /* |
| 250 | * max_ptes_none controls if khugepaged should collapse hugepages over |
| 251 | * any unmapped ptes in turn potentially increasing the memory |
| 252 | * footprint of the vmas. When max_ptes_none is 0 khugepaged will not |
| 253 | * reduce the available free memory in the system as it |
| 254 | * runs. Increasing max_ptes_none will instead potentially reduce the |
| 255 | * free memory in the system during the khugepaged scan. |
| 256 | */ |
Miaohe Lin | 6dcdc94 | 2022-06-25 17:28:14 +0800 | [diff] [blame] | 257 | static ssize_t max_ptes_none_show(struct kobject *kobj, |
| 258 | struct kobj_attribute *attr, |
| 259 | char *buf) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 260 | { |
Joe Perches | ae7a927 | 2020-12-14 19:14:42 -0800 | [diff] [blame] | 261 | return sysfs_emit(buf, "%u\n", khugepaged_max_ptes_none); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 262 | } |
Miaohe Lin | 6dcdc94 | 2022-06-25 17:28:14 +0800 | [diff] [blame] | 263 | static ssize_t max_ptes_none_store(struct kobject *kobj, |
| 264 | struct kobj_attribute *attr, |
| 265 | const char *buf, size_t count) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 266 | { |
| 267 | int err; |
| 268 | unsigned long max_ptes_none; |
| 269 | |
| 270 | err = kstrtoul(buf, 10, &max_ptes_none); |
Miaohe Lin | 36ee2c7 | 2022-06-25 17:28:12 +0800 | [diff] [blame] | 271 | if (err || max_ptes_none > HPAGE_PMD_NR - 1) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 272 | return -EINVAL; |
| 273 | |
| 274 | khugepaged_max_ptes_none = max_ptes_none; |
| 275 | |
| 276 | return count; |
| 277 | } |
| 278 | static struct kobj_attribute khugepaged_max_ptes_none_attr = |
Miaohe Lin | 6dcdc94 | 2022-06-25 17:28:14 +0800 | [diff] [blame] | 279 | __ATTR_RW(max_ptes_none); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 280 | |
Miaohe Lin | 6dcdc94 | 2022-06-25 17:28:14 +0800 | [diff] [blame] | 281 | static ssize_t max_ptes_swap_show(struct kobject *kobj, |
| 282 | struct kobj_attribute *attr, |
| 283 | char *buf) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 284 | { |
Joe Perches | ae7a927 | 2020-12-14 19:14:42 -0800 | [diff] [blame] | 285 | return sysfs_emit(buf, "%u\n", khugepaged_max_ptes_swap); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 286 | } |
| 287 | |
Miaohe Lin | 6dcdc94 | 2022-06-25 17:28:14 +0800 | [diff] [blame] | 288 | static ssize_t max_ptes_swap_store(struct kobject *kobj, |
| 289 | struct kobj_attribute *attr, |
| 290 | const char *buf, size_t count) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 291 | { |
| 292 | int err; |
| 293 | unsigned long max_ptes_swap; |
| 294 | |
| 295 | err = kstrtoul(buf, 10, &max_ptes_swap); |
Miaohe Lin | 36ee2c7 | 2022-06-25 17:28:12 +0800 | [diff] [blame] | 296 | if (err || max_ptes_swap > HPAGE_PMD_NR - 1) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 297 | return -EINVAL; |
| 298 | |
| 299 | khugepaged_max_ptes_swap = max_ptes_swap; |
| 300 | |
| 301 | return count; |
| 302 | } |
| 303 | |
| 304 | static struct kobj_attribute khugepaged_max_ptes_swap_attr = |
Miaohe Lin | 6dcdc94 | 2022-06-25 17:28:14 +0800 | [diff] [blame] | 305 | __ATTR_RW(max_ptes_swap); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 306 | |
Miaohe Lin | 6dcdc94 | 2022-06-25 17:28:14 +0800 | [diff] [blame] | 307 | static ssize_t max_ptes_shared_show(struct kobject *kobj, |
| 308 | struct kobj_attribute *attr, |
| 309 | char *buf) |
Kirill A. Shutemov | 71a2c11 | 2020-06-03 16:00:30 -0700 | [diff] [blame] | 310 | { |
Joe Perches | ae7a927 | 2020-12-14 19:14:42 -0800 | [diff] [blame] | 311 | return sysfs_emit(buf, "%u\n", khugepaged_max_ptes_shared); |
Kirill A. Shutemov | 71a2c11 | 2020-06-03 16:00:30 -0700 | [diff] [blame] | 312 | } |
| 313 | |
Miaohe Lin | 6dcdc94 | 2022-06-25 17:28:14 +0800 | [diff] [blame] | 314 | static ssize_t max_ptes_shared_store(struct kobject *kobj, |
| 315 | struct kobj_attribute *attr, |
| 316 | const char *buf, size_t count) |
Kirill A. Shutemov | 71a2c11 | 2020-06-03 16:00:30 -0700 | [diff] [blame] | 317 | { |
| 318 | int err; |
| 319 | unsigned long max_ptes_shared; |
| 320 | |
| 321 | err = kstrtoul(buf, 10, &max_ptes_shared); |
Miaohe Lin | 36ee2c7 | 2022-06-25 17:28:12 +0800 | [diff] [blame] | 322 | if (err || max_ptes_shared > HPAGE_PMD_NR - 1) |
Kirill A. Shutemov | 71a2c11 | 2020-06-03 16:00:30 -0700 | [diff] [blame] | 323 | return -EINVAL; |
| 324 | |
| 325 | khugepaged_max_ptes_shared = max_ptes_shared; |
| 326 | |
| 327 | return count; |
| 328 | } |
| 329 | |
| 330 | static struct kobj_attribute khugepaged_max_ptes_shared_attr = |
Miaohe Lin | 6dcdc94 | 2022-06-25 17:28:14 +0800 | [diff] [blame] | 331 | __ATTR_RW(max_ptes_shared); |
Kirill A. Shutemov | 71a2c11 | 2020-06-03 16:00:30 -0700 | [diff] [blame] | 332 | |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 333 | static struct attribute *khugepaged_attr[] = { |
| 334 | &khugepaged_defrag_attr.attr, |
| 335 | &khugepaged_max_ptes_none_attr.attr, |
Kirill A. Shutemov | 71a2c11 | 2020-06-03 16:00:30 -0700 | [diff] [blame] | 336 | &khugepaged_max_ptes_swap_attr.attr, |
| 337 | &khugepaged_max_ptes_shared_attr.attr, |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 338 | &pages_to_scan_attr.attr, |
| 339 | &pages_collapsed_attr.attr, |
| 340 | &full_scans_attr.attr, |
| 341 | &scan_sleep_millisecs_attr.attr, |
| 342 | &alloc_sleep_millisecs_attr.attr, |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 343 | NULL, |
| 344 | }; |
| 345 | |
| 346 | struct attribute_group khugepaged_attr_group = { |
| 347 | .attrs = khugepaged_attr, |
| 348 | .name = "khugepaged", |
| 349 | }; |
Jérémy Lefaure | e1465d1 | 2016-11-30 15:54:02 -0800 | [diff] [blame] | 350 | #endif /* CONFIG_SYSFS */ |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 351 | |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 352 | int hugepage_madvise(struct vm_area_struct *vma, |
| 353 | unsigned long *vm_flags, int advice) |
| 354 | { |
| 355 | switch (advice) { |
| 356 | case MADV_HUGEPAGE: |
| 357 | #ifdef CONFIG_S390 |
| 358 | /* |
| 359 | * qemu blindly sets MADV_HUGEPAGE on all allocations, but s390 |
| 360 | * can't handle this properly after s390_enable_sie, so we simply |
| 361 | * ignore the madvise to prevent qemu from causing a SIGSEGV. |
| 362 | */ |
| 363 | if (mm_has_pgste(vma->vm_mm)) |
| 364 | return 0; |
| 365 | #endif |
| 366 | *vm_flags &= ~VM_NOHUGEPAGE; |
| 367 | *vm_flags |= VM_HUGEPAGE; |
| 368 | /* |
| 369 | * If the vma become good for khugepaged to scan, |
| 370 | * register it here without waiting a page fault that |
| 371 | * may not happen any time soon. |
| 372 | */ |
Yang Shi | c791576 | 2022-05-19 14:08:50 -0700 | [diff] [blame] | 373 | khugepaged_enter_vma(vma, *vm_flags); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 374 | break; |
| 375 | case MADV_NOHUGEPAGE: |
| 376 | *vm_flags &= ~VM_HUGEPAGE; |
| 377 | *vm_flags |= VM_NOHUGEPAGE; |
| 378 | /* |
| 379 | * Setting VM_NOHUGEPAGE will prevent khugepaged from scanning |
| 380 | * this vma even if we leave the mm registered in khugepaged if |
| 381 | * it got registered before VM_NOHUGEPAGE was set. |
| 382 | */ |
| 383 | break; |
| 384 | } |
| 385 | |
| 386 | return 0; |
| 387 | } |
| 388 | |
| 389 | int __init khugepaged_init(void) |
| 390 | { |
| 391 | mm_slot_cache = kmem_cache_create("khugepaged_mm_slot", |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 392 | sizeof(struct khugepaged_mm_slot), |
| 393 | __alignof__(struct khugepaged_mm_slot), |
| 394 | 0, NULL); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 395 | if (!mm_slot_cache) |
| 396 | return -ENOMEM; |
| 397 | |
| 398 | khugepaged_pages_to_scan = HPAGE_PMD_NR * 8; |
| 399 | khugepaged_max_ptes_none = HPAGE_PMD_NR - 1; |
| 400 | khugepaged_max_ptes_swap = HPAGE_PMD_NR / 8; |
Kirill A. Shutemov | 71a2c11 | 2020-06-03 16:00:30 -0700 | [diff] [blame] | 401 | khugepaged_max_ptes_shared = HPAGE_PMD_NR / 2; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 402 | |
| 403 | return 0; |
| 404 | } |
| 405 | |
| 406 | void __init khugepaged_destroy(void) |
| 407 | { |
| 408 | kmem_cache_destroy(mm_slot_cache); |
| 409 | } |
| 410 | |
Zach O'Keefe | 7d2c438 | 2022-07-06 16:59:28 -0700 | [diff] [blame] | 411 | static inline int hpage_collapse_test_exit(struct mm_struct *mm) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 412 | { |
Jann Horn | 4d45e75 | 2020-10-15 20:13:00 -0700 | [diff] [blame] | 413 | return atomic_read(&mm->mm_users) == 0; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 414 | } |
| 415 | |
Yang Shi | d2081b2 | 2022-05-19 14:08:49 -0700 | [diff] [blame] | 416 | void __khugepaged_enter(struct mm_struct *mm) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 417 | { |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 418 | struct khugepaged_mm_slot *mm_slot; |
| 419 | struct mm_slot *slot; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 420 | int wakeup; |
| 421 | |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 422 | mm_slot = mm_slot_alloc(mm_slot_cache); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 423 | if (!mm_slot) |
Yang Shi | d2081b2 | 2022-05-19 14:08:49 -0700 | [diff] [blame] | 424 | return; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 425 | |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 426 | slot = &mm_slot->slot; |
| 427 | |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 428 | /* __khugepaged_exit() must not run from under us */ |
Zach O'Keefe | 7d2c438 | 2022-07-06 16:59:28 -0700 | [diff] [blame] | 429 | VM_BUG_ON_MM(hpage_collapse_test_exit(mm), mm); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 430 | if (unlikely(test_and_set_bit(MMF_VM_HUGEPAGE, &mm->flags))) { |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 431 | mm_slot_free(mm_slot_cache, mm_slot); |
Yang Shi | d2081b2 | 2022-05-19 14:08:49 -0700 | [diff] [blame] | 432 | return; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 433 | } |
| 434 | |
| 435 | spin_lock(&khugepaged_mm_lock); |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 436 | mm_slot_insert(mm_slots_hash, mm, slot); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 437 | /* |
| 438 | * Insert just behind the scanning cursor, to let the area settle |
| 439 | * down a little. |
| 440 | */ |
| 441 | wakeup = list_empty(&khugepaged_scan.mm_head); |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 442 | list_add_tail(&slot->mm_node, &khugepaged_scan.mm_head); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 443 | spin_unlock(&khugepaged_mm_lock); |
| 444 | |
Vegard Nossum | f1f1007 | 2017-02-27 14:30:07 -0800 | [diff] [blame] | 445 | mmgrab(mm); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 446 | if (wakeup) |
| 447 | wake_up_interruptible(&khugepaged_wait); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 448 | } |
| 449 | |
Yang Shi | c791576 | 2022-05-19 14:08:50 -0700 | [diff] [blame] | 450 | void khugepaged_enter_vma(struct vm_area_struct *vma, |
| 451 | unsigned long vm_flags) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 452 | { |
Yang Shi | 2647d11 | 2022-05-19 14:08:49 -0700 | [diff] [blame] | 453 | if (!test_bit(MMF_VM_HUGEPAGE, &vma->vm_mm->flags) && |
Yang Shi | 1064026 | 2022-06-16 10:48:39 -0700 | [diff] [blame] | 454 | hugepage_flags_enabled()) { |
Zach O'Keefe | a7f4e6e | 2022-07-06 16:59:25 -0700 | [diff] [blame] | 455 | if (hugepage_vma_check(vma, vm_flags, false, false, true)) |
Yang Shi | 2647d11 | 2022-05-19 14:08:49 -0700 | [diff] [blame] | 456 | __khugepaged_enter(vma->vm_mm); |
| 457 | } |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 458 | } |
| 459 | |
| 460 | void __khugepaged_exit(struct mm_struct *mm) |
| 461 | { |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 462 | struct khugepaged_mm_slot *mm_slot; |
| 463 | struct mm_slot *slot; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 464 | int free = 0; |
| 465 | |
| 466 | spin_lock(&khugepaged_mm_lock); |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 467 | slot = mm_slot_lookup(mm_slots_hash, mm); |
| 468 | mm_slot = mm_slot_entry(slot, struct khugepaged_mm_slot, slot); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 469 | if (mm_slot && khugepaged_scan.mm_slot != mm_slot) { |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 470 | hash_del(&slot->hash); |
| 471 | list_del(&slot->mm_node); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 472 | free = 1; |
| 473 | } |
| 474 | spin_unlock(&khugepaged_mm_lock); |
| 475 | |
| 476 | if (free) { |
| 477 | clear_bit(MMF_VM_HUGEPAGE, &mm->flags); |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 478 | mm_slot_free(mm_slot_cache, mm_slot); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 479 | mmdrop(mm); |
| 480 | } else if (mm_slot) { |
| 481 | /* |
| 482 | * This is required to serialize against |
Zach O'Keefe | 7d2c438 | 2022-07-06 16:59:28 -0700 | [diff] [blame] | 483 | * hpage_collapse_test_exit() (which is guaranteed to run |
| 484 | * under mmap sem read mode). Stop here (after we return all |
| 485 | * pagetables will be destroyed) until khugepaged has finished |
| 486 | * working on the pagetables under the mmap_lock. |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 487 | */ |
Michel Lespinasse | d8ed45c | 2020-06-08 21:33:25 -0700 | [diff] [blame] | 488 | mmap_write_lock(mm); |
| 489 | mmap_write_unlock(mm); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 490 | } |
| 491 | } |
| 492 | |
| 493 | static void release_pte_page(struct page *page) |
| 494 | { |
Kirill A. Shutemov | 5503fbf | 2020-06-03 16:00:23 -0700 | [diff] [blame] | 495 | mod_node_page_state(page_pgdat(page), |
| 496 | NR_ISOLATED_ANON + page_is_file_lru(page), |
| 497 | -compound_nr(page)); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 498 | unlock_page(page); |
| 499 | putback_lru_page(page); |
| 500 | } |
| 501 | |
Kirill A. Shutemov | 5503fbf | 2020-06-03 16:00:23 -0700 | [diff] [blame] | 502 | static void release_pte_pages(pte_t *pte, pte_t *_pte, |
| 503 | struct list_head *compound_pagelist) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 504 | { |
Kirill A. Shutemov | 5503fbf | 2020-06-03 16:00:23 -0700 | [diff] [blame] | 505 | struct page *page, *tmp; |
| 506 | |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 507 | while (--_pte >= pte) { |
| 508 | pte_t pteval = *_pte; |
Kirill A. Shutemov | 5503fbf | 2020-06-03 16:00:23 -0700 | [diff] [blame] | 509 | |
| 510 | page = pte_page(pteval); |
| 511 | if (!pte_none(pteval) && !is_zero_pfn(pte_pfn(pteval)) && |
| 512 | !PageCompound(page)) |
| 513 | release_pte_page(page); |
| 514 | } |
| 515 | |
| 516 | list_for_each_entry_safe(page, tmp, compound_pagelist, lru) { |
| 517 | list_del(&page->lru); |
| 518 | release_pte_page(page); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 519 | } |
| 520 | } |
| 521 | |
Kirill A. Shutemov | 9445689 | 2020-06-03 16:00:20 -0700 | [diff] [blame] | 522 | static bool is_refcount_suitable(struct page *page) |
| 523 | { |
| 524 | int expected_refcount; |
| 525 | |
| 526 | expected_refcount = total_mapcount(page); |
| 527 | if (PageSwapCache(page)) |
| 528 | expected_refcount += compound_nr(page); |
| 529 | |
| 530 | return page_count(page) == expected_refcount; |
| 531 | } |
| 532 | |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 533 | static int __collapse_huge_page_isolate(struct vm_area_struct *vma, |
| 534 | unsigned long address, |
Kirill A. Shutemov | 5503fbf | 2020-06-03 16:00:23 -0700 | [diff] [blame] | 535 | pte_t *pte, |
Zach O'Keefe | d8ea7cc | 2022-07-06 16:59:24 -0700 | [diff] [blame] | 536 | struct collapse_control *cc, |
Kirill A. Shutemov | 5503fbf | 2020-06-03 16:00:23 -0700 | [diff] [blame] | 537 | struct list_head *compound_pagelist) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 538 | { |
| 539 | struct page *page = NULL; |
| 540 | pte_t *_pte; |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 541 | int none_or_zero = 0, shared = 0, result = SCAN_FAIL, referenced = 0; |
Ebru Akagunduz | 0db501f | 2016-07-26 15:26:46 -0700 | [diff] [blame] | 542 | bool writable = false; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 543 | |
Miaohe Lin | 36ee2c7 | 2022-06-25 17:28:12 +0800 | [diff] [blame] | 544 | for (_pte = pte; _pte < pte + HPAGE_PMD_NR; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 545 | _pte++, address += PAGE_SIZE) { |
| 546 | pte_t pteval = *_pte; |
| 547 | if (pte_none(pteval) || (pte_present(pteval) && |
| 548 | is_zero_pfn(pte_pfn(pteval)))) { |
Zach O'Keefe | d8ea7cc | 2022-07-06 16:59:24 -0700 | [diff] [blame] | 549 | ++none_or_zero; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 550 | if (!userfaultfd_armed(vma) && |
Zach O'Keefe | d8ea7cc | 2022-07-06 16:59:24 -0700 | [diff] [blame] | 551 | (!cc->is_khugepaged || |
| 552 | none_or_zero <= khugepaged_max_ptes_none)) { |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 553 | continue; |
| 554 | } else { |
| 555 | result = SCAN_EXCEED_NONE_PTE; |
Yang Yang | e9ea874 | 2022-01-14 14:07:55 -0800 | [diff] [blame] | 556 | count_vm_event(THP_SCAN_EXCEED_NONE_PTE); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 557 | goto out; |
| 558 | } |
| 559 | } |
| 560 | if (!pte_present(pteval)) { |
| 561 | result = SCAN_PTE_NON_PRESENT; |
| 562 | goto out; |
| 563 | } |
| 564 | page = vm_normal_page(vma, address, pteval); |
Alex Sierra | 3218f87 | 2022-07-15 10:05:11 -0500 | [diff] [blame] | 565 | if (unlikely(!page) || unlikely(is_zone_device_page(page))) { |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 566 | result = SCAN_PAGE_NULL; |
| 567 | goto out; |
| 568 | } |
| 569 | |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 570 | VM_BUG_ON_PAGE(!PageAnon(page), page); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 571 | |
Zach O'Keefe | d8ea7cc | 2022-07-06 16:59:24 -0700 | [diff] [blame] | 572 | if (page_mapcount(page) > 1) { |
| 573 | ++shared; |
| 574 | if (cc->is_khugepaged && |
| 575 | shared > khugepaged_max_ptes_shared) { |
| 576 | result = SCAN_EXCEED_SHARED_PTE; |
| 577 | count_vm_event(THP_SCAN_EXCEED_SHARED_PTE); |
| 578 | goto out; |
| 579 | } |
Kirill A. Shutemov | 71a2c11 | 2020-06-03 16:00:30 -0700 | [diff] [blame] | 580 | } |
| 581 | |
Kirill A. Shutemov | 5503fbf | 2020-06-03 16:00:23 -0700 | [diff] [blame] | 582 | if (PageCompound(page)) { |
| 583 | struct page *p; |
| 584 | page = compound_head(page); |
| 585 | |
| 586 | /* |
| 587 | * Check if we have dealt with the compound page |
| 588 | * already |
| 589 | */ |
| 590 | list_for_each_entry(p, compound_pagelist, lru) { |
| 591 | if (page == p) |
| 592 | goto next; |
| 593 | } |
| 594 | } |
| 595 | |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 596 | /* |
| 597 | * We can do it before isolate_lru_page because the |
| 598 | * page can't be freed from under us. NOTE: PG_lock |
| 599 | * is needed to serialize against split_huge_page |
| 600 | * when invoked from the VM. |
| 601 | */ |
| 602 | if (!trylock_page(page)) { |
| 603 | result = SCAN_PAGE_LOCK; |
| 604 | goto out; |
| 605 | } |
| 606 | |
| 607 | /* |
Kirill A. Shutemov | 9445689 | 2020-06-03 16:00:20 -0700 | [diff] [blame] | 608 | * Check if the page has any GUP (or other external) pins. |
| 609 | * |
| 610 | * The page table that maps the page has been already unlinked |
| 611 | * from the page table tree and this process cannot get |
Ingo Molnar | f0953a1 | 2021-05-06 18:06:47 -0700 | [diff] [blame] | 612 | * an additional pin on the page. |
Kirill A. Shutemov | 9445689 | 2020-06-03 16:00:20 -0700 | [diff] [blame] | 613 | * |
| 614 | * New pins can come later if the page is shared across fork, |
| 615 | * but not from this process. The other process cannot write to |
| 616 | * the page, only trigger CoW. |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 617 | */ |
Kirill A. Shutemov | 9445689 | 2020-06-03 16:00:20 -0700 | [diff] [blame] | 618 | if (!is_refcount_suitable(page)) { |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 619 | unlock_page(page); |
| 620 | result = SCAN_PAGE_COUNT; |
| 621 | goto out; |
| 622 | } |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 623 | |
| 624 | /* |
| 625 | * Isolate the page to avoid collapsing an hugepage |
| 626 | * currently in use by the VM. |
| 627 | */ |
| 628 | if (isolate_lru_page(page)) { |
| 629 | unlock_page(page); |
| 630 | result = SCAN_DEL_PAGE_LRU; |
| 631 | goto out; |
| 632 | } |
Kirill A. Shutemov | 5503fbf | 2020-06-03 16:00:23 -0700 | [diff] [blame] | 633 | mod_node_page_state(page_pgdat(page), |
| 634 | NR_ISOLATED_ANON + page_is_file_lru(page), |
| 635 | compound_nr(page)); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 636 | VM_BUG_ON_PAGE(!PageLocked(page), page); |
| 637 | VM_BUG_ON_PAGE(PageLRU(page), page); |
| 638 | |
Kirill A. Shutemov | 5503fbf | 2020-06-03 16:00:23 -0700 | [diff] [blame] | 639 | if (PageCompound(page)) |
| 640 | list_add_tail(&page->lru, compound_pagelist); |
| 641 | next: |
Zach O'Keefe | d8ea7cc | 2022-07-06 16:59:24 -0700 | [diff] [blame] | 642 | /* |
| 643 | * If collapse was initiated by khugepaged, check that there is |
| 644 | * enough young pte to justify collapsing the page |
| 645 | */ |
| 646 | if (cc->is_khugepaged && |
| 647 | (pte_young(pteval) || page_is_young(page) || |
| 648 | PageReferenced(page) || mmu_notifier_test_young(vma->vm_mm, |
| 649 | address))) |
Ebru Akagunduz | 0db501f | 2016-07-26 15:26:46 -0700 | [diff] [blame] | 650 | referenced++; |
Kirill A. Shutemov | 5503fbf | 2020-06-03 16:00:23 -0700 | [diff] [blame] | 651 | |
| 652 | if (pte_write(pteval)) |
| 653 | writable = true; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 654 | } |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 655 | |
Miaohe Lin | 74e579b | 2021-05-04 18:33:46 -0700 | [diff] [blame] | 656 | if (unlikely(!writable)) { |
| 657 | result = SCAN_PAGE_RO; |
Zach O'Keefe | d8ea7cc | 2022-07-06 16:59:24 -0700 | [diff] [blame] | 658 | } else if (unlikely(cc->is_khugepaged && !referenced)) { |
Miaohe Lin | 74e579b | 2021-05-04 18:33:46 -0700 | [diff] [blame] | 659 | result = SCAN_LACK_REFERENCED_PAGE; |
| 660 | } else { |
| 661 | result = SCAN_SUCCEED; |
| 662 | trace_mm_collapse_huge_page_isolate(page, none_or_zero, |
| 663 | referenced, writable, result); |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 664 | return result; |
Miaohe Lin | 74e579b | 2021-05-04 18:33:46 -0700 | [diff] [blame] | 665 | } |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 666 | out: |
Kirill A. Shutemov | 5503fbf | 2020-06-03 16:00:23 -0700 | [diff] [blame] | 667 | release_pte_pages(pte, _pte, compound_pagelist); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 668 | trace_mm_collapse_huge_page_isolate(page, none_or_zero, |
| 669 | referenced, writable, result); |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 670 | return result; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 671 | } |
| 672 | |
| 673 | static void __collapse_huge_page_copy(pte_t *pte, struct page *page, |
| 674 | struct vm_area_struct *vma, |
| 675 | unsigned long address, |
Kirill A. Shutemov | 5503fbf | 2020-06-03 16:00:23 -0700 | [diff] [blame] | 676 | spinlock_t *ptl, |
| 677 | struct list_head *compound_pagelist) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 678 | { |
Kirill A. Shutemov | 5503fbf | 2020-06-03 16:00:23 -0700 | [diff] [blame] | 679 | struct page *src_page, *tmp; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 680 | pte_t *_pte; |
David Rientjes | 338a16b | 2017-05-12 15:47:03 -0700 | [diff] [blame] | 681 | for (_pte = pte; _pte < pte + HPAGE_PMD_NR; |
| 682 | _pte++, page++, address += PAGE_SIZE) { |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 683 | pte_t pteval = *_pte; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 684 | |
| 685 | if (pte_none(pteval) || is_zero_pfn(pte_pfn(pteval))) { |
| 686 | clear_user_highpage(page, address); |
| 687 | add_mm_counter(vma->vm_mm, MM_ANONPAGES, 1); |
| 688 | if (is_zero_pfn(pte_pfn(pteval))) { |
| 689 | /* |
| 690 | * ptl mostly unnecessary. |
| 691 | */ |
| 692 | spin_lock(ptl); |
Pasha Tatashin | 08d5b29 | 2022-01-14 14:06:33 -0800 | [diff] [blame] | 693 | ptep_clear(vma->vm_mm, address, _pte); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 694 | spin_unlock(ptl); |
| 695 | } |
| 696 | } else { |
| 697 | src_page = pte_page(pteval); |
| 698 | copy_user_highpage(page, src_page, address, vma); |
Kirill A. Shutemov | 5503fbf | 2020-06-03 16:00:23 -0700 | [diff] [blame] | 699 | if (!PageCompound(src_page)) |
| 700 | release_pte_page(src_page); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 701 | /* |
| 702 | * ptl mostly unnecessary, but preempt has to |
| 703 | * be disabled to update the per-cpu stats |
| 704 | * inside page_remove_rmap(). |
| 705 | */ |
| 706 | spin_lock(ptl); |
Pasha Tatashin | 08d5b29 | 2022-01-14 14:06:33 -0800 | [diff] [blame] | 707 | ptep_clear(vma->vm_mm, address, _pte); |
Hugh Dickins | cea86fe | 2022-02-14 18:26:39 -0800 | [diff] [blame] | 708 | page_remove_rmap(src_page, vma, false); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 709 | spin_unlock(ptl); |
| 710 | free_page_and_swap_cache(src_page); |
| 711 | } |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 712 | } |
Kirill A. Shutemov | 5503fbf | 2020-06-03 16:00:23 -0700 | [diff] [blame] | 713 | |
| 714 | list_for_each_entry_safe(src_page, tmp, compound_pagelist, lru) { |
| 715 | list_del(&src_page->lru); |
Miaohe Lin | 1baec20 | 2022-06-25 17:28:16 +0800 | [diff] [blame] | 716 | mod_node_page_state(page_pgdat(src_page), |
| 717 | NR_ISOLATED_ANON + page_is_file_lru(src_page), |
| 718 | -compound_nr(src_page)); |
| 719 | unlock_page(src_page); |
| 720 | free_swap_cache(src_page); |
| 721 | putback_lru_page(src_page); |
Kirill A. Shutemov | 5503fbf | 2020-06-03 16:00:23 -0700 | [diff] [blame] | 722 | } |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 723 | } |
| 724 | |
| 725 | static void khugepaged_alloc_sleep(void) |
| 726 | { |
| 727 | DEFINE_WAIT(wait); |
| 728 | |
| 729 | add_wait_queue(&khugepaged_wait, &wait); |
Peter Zijlstra | f5d39b0 | 2022-08-22 13:18:22 +0200 | [diff] [blame] | 730 | __set_current_state(TASK_INTERRUPTIBLE|TASK_FREEZABLE); |
| 731 | schedule_timeout(msecs_to_jiffies(khugepaged_alloc_sleep_millisecs)); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 732 | remove_wait_queue(&khugepaged_wait, &wait); |
| 733 | } |
| 734 | |
Zach O'Keefe | 34d6b47 | 2022-07-06 16:59:21 -0700 | [diff] [blame] | 735 | struct collapse_control khugepaged_collapse_control = { |
Zach O'Keefe | d8ea7cc | 2022-07-06 16:59:24 -0700 | [diff] [blame] | 736 | .is_khugepaged = true, |
Zach O'Keefe | 34d6b47 | 2022-07-06 16:59:21 -0700 | [diff] [blame] | 737 | .last_target_node = NUMA_NO_NODE, |
| 738 | }; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 739 | |
Zach O'Keefe | 7d2c438 | 2022-07-06 16:59:28 -0700 | [diff] [blame] | 740 | static bool hpage_collapse_scan_abort(int nid, struct collapse_control *cc) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 741 | { |
| 742 | int i; |
| 743 | |
| 744 | /* |
Mel Gorman | a5f5f91 | 2016-07-28 15:46:32 -0700 | [diff] [blame] | 745 | * If node_reclaim_mode is disabled, then no extra effort is made to |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 746 | * allocate memory locally. |
| 747 | */ |
Dave Hansen | 202e35d | 2021-05-04 18:36:04 -0700 | [diff] [blame] | 748 | if (!node_reclaim_enabled()) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 749 | return false; |
| 750 | |
| 751 | /* If there is a count for this node already, it must be acceptable */ |
Zach O'Keefe | 34d6b47 | 2022-07-06 16:59:21 -0700 | [diff] [blame] | 752 | if (cc->node_load[nid]) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 753 | return false; |
| 754 | |
| 755 | for (i = 0; i < MAX_NUMNODES; i++) { |
Zach O'Keefe | 34d6b47 | 2022-07-06 16:59:21 -0700 | [diff] [blame] | 756 | if (!cc->node_load[i]) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 757 | continue; |
Matt Fleming | a55c745 | 2019-08-08 20:53:01 +0100 | [diff] [blame] | 758 | if (node_distance(nid, i) > node_reclaim_distance) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 759 | return true; |
| 760 | } |
| 761 | return false; |
| 762 | } |
| 763 | |
Yang Shi | 1064026 | 2022-06-16 10:48:39 -0700 | [diff] [blame] | 764 | #define khugepaged_defrag() \ |
| 765 | (transparent_hugepage_flags & \ |
| 766 | (1<<TRANSPARENT_HUGEPAGE_DEFRAG_KHUGEPAGED_FLAG)) |
| 767 | |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 768 | /* Defrag for khugepaged will enter direct reclaim/compaction if necessary */ |
| 769 | static inline gfp_t alloc_hugepage_khugepaged_gfpmask(void) |
| 770 | { |
Vlastimil Babka | 2516035 | 2016-07-28 15:49:25 -0700 | [diff] [blame] | 771 | return khugepaged_defrag() ? GFP_TRANSHUGE : GFP_TRANSHUGE_LIGHT; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 772 | } |
| 773 | |
| 774 | #ifdef CONFIG_NUMA |
Zach O'Keefe | 7d2c438 | 2022-07-06 16:59:28 -0700 | [diff] [blame] | 775 | static int hpage_collapse_find_target_node(struct collapse_control *cc) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 776 | { |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 777 | int nid, target_node = 0, max_value = 0; |
| 778 | |
| 779 | /* find first node with max normal pages hit */ |
| 780 | for (nid = 0; nid < MAX_NUMNODES; nid++) |
Zach O'Keefe | 34d6b47 | 2022-07-06 16:59:21 -0700 | [diff] [blame] | 781 | if (cc->node_load[nid] > max_value) { |
| 782 | max_value = cc->node_load[nid]; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 783 | target_node = nid; |
| 784 | } |
| 785 | |
| 786 | /* do some balance if several nodes have the same hit record */ |
Zach O'Keefe | 34d6b47 | 2022-07-06 16:59:21 -0700 | [diff] [blame] | 787 | if (target_node <= cc->last_target_node) |
| 788 | for (nid = cc->last_target_node + 1; nid < MAX_NUMNODES; |
| 789 | nid++) |
| 790 | if (max_value == cc->node_load[nid]) { |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 791 | target_node = nid; |
| 792 | break; |
| 793 | } |
| 794 | |
Zach O'Keefe | 34d6b47 | 2022-07-06 16:59:21 -0700 | [diff] [blame] | 795 | cc->last_target_node = target_node; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 796 | return target_node; |
| 797 | } |
Yang Shi | c6a7f44 | 2022-07-06 16:59:20 -0700 | [diff] [blame] | 798 | #else |
Zach O'Keefe | 7d2c438 | 2022-07-06 16:59:28 -0700 | [diff] [blame] | 799 | static int hpage_collapse_find_target_node(struct collapse_control *cc) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 800 | { |
Yang Shi | c6a7f44 | 2022-07-06 16:59:20 -0700 | [diff] [blame] | 801 | return 0; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 802 | } |
Yang Shi | c6a7f44 | 2022-07-06 16:59:20 -0700 | [diff] [blame] | 803 | #endif |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 804 | |
Zach O'Keefe | 7d2c438 | 2022-07-06 16:59:28 -0700 | [diff] [blame] | 805 | static bool hpage_collapse_alloc_page(struct page **hpage, gfp_t gfp, int node) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 806 | { |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 807 | *hpage = __alloc_pages_node(node, gfp, HPAGE_PMD_ORDER); |
| 808 | if (unlikely(!*hpage)) { |
| 809 | count_vm_event(THP_COLLAPSE_ALLOC_FAILED); |
Zach O'Keefe | 9710a78a | 2022-07-06 16:59:22 -0700 | [diff] [blame] | 810 | return false; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 811 | } |
| 812 | |
| 813 | prep_transhuge_page(*hpage); |
| 814 | count_vm_event(THP_COLLAPSE_ALLOC); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 815 | return true; |
| 816 | } |
| 817 | |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 818 | /* |
Michel Lespinasse | c1e8d7c | 2020-06-08 21:33:54 -0700 | [diff] [blame] | 819 | * If mmap_lock temporarily dropped, revalidate vma |
| 820 | * before taking mmap_lock. |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 821 | * Returns enum scan_result value. |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 822 | */ |
| 823 | |
Kirill A. Shutemov | c131f75 | 2016-09-19 14:44:01 -0700 | [diff] [blame] | 824 | static int hugepage_vma_revalidate(struct mm_struct *mm, unsigned long address, |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 825 | bool expect_anon, |
Zach O'Keefe | a7f4e6e | 2022-07-06 16:59:25 -0700 | [diff] [blame] | 826 | struct vm_area_struct **vmap, |
| 827 | struct collapse_control *cc) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 828 | { |
| 829 | struct vm_area_struct *vma; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 830 | |
Zach O'Keefe | 7d2c438 | 2022-07-06 16:59:28 -0700 | [diff] [blame] | 831 | if (unlikely(hpage_collapse_test_exit(mm))) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 832 | return SCAN_ANY_PROCESS; |
| 833 | |
Kirill A. Shutemov | c131f75 | 2016-09-19 14:44:01 -0700 | [diff] [blame] | 834 | *vmap = vma = find_vma(mm, address); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 835 | if (!vma) |
| 836 | return SCAN_VMA_NULL; |
| 837 | |
Yang Shi | 4fa6893 | 2022-06-16 10:48:35 -0700 | [diff] [blame] | 838 | if (!transhuge_vma_suitable(vma, address)) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 839 | return SCAN_ADDRESS_RANGE; |
Zach O'Keefe | a7f4e6e | 2022-07-06 16:59:25 -0700 | [diff] [blame] | 840 | if (!hugepage_vma_check(vma, vma->vm_flags, false, false, |
| 841 | cc->is_khugepaged)) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 842 | return SCAN_VMA_CHECK; |
Yang Shi | f707fa4 | 2022-06-16 10:48:36 -0700 | [diff] [blame] | 843 | /* |
| 844 | * Anon VMA expected, the address may be unmapped then |
| 845 | * remapped to file after khugepaged reaquired the mmap_lock. |
| 846 | * |
| 847 | * hugepage_vma_check may return true for qualified file |
| 848 | * vmas. |
| 849 | */ |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 850 | if (expect_anon && (!(*vmap)->anon_vma || !vma_is_anonymous(*vmap))) |
| 851 | return SCAN_PAGE_ANON; |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 852 | return SCAN_SUCCEED; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 853 | } |
| 854 | |
Zach O'Keefe | 5072280 | 2022-07-06 16:59:26 -0700 | [diff] [blame] | 855 | static int find_pmd_or_thp_or_none(struct mm_struct *mm, |
| 856 | unsigned long address, |
| 857 | pmd_t **pmd) |
| 858 | { |
| 859 | pmd_t pmde; |
| 860 | |
| 861 | *pmd = mm_find_pmd(mm, address); |
| 862 | if (!*pmd) |
| 863 | return SCAN_PMD_NULL; |
| 864 | |
| 865 | pmde = pmd_read_atomic(*pmd); |
| 866 | |
| 867 | #ifdef CONFIG_TRANSPARENT_HUGEPAGE |
| 868 | /* See comments in pmd_none_or_trans_huge_or_clear_bad() */ |
| 869 | barrier(); |
| 870 | #endif |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 871 | if (pmd_none(pmde)) |
| 872 | return SCAN_PMD_NONE; |
Zach O'Keefe | 5072280 | 2022-07-06 16:59:26 -0700 | [diff] [blame] | 873 | if (pmd_trans_huge(pmde)) |
| 874 | return SCAN_PMD_MAPPED; |
| 875 | if (pmd_bad(pmde)) |
| 876 | return SCAN_PMD_NULL; |
| 877 | return SCAN_SUCCEED; |
| 878 | } |
| 879 | |
| 880 | static int check_pmd_still_valid(struct mm_struct *mm, |
| 881 | unsigned long address, |
| 882 | pmd_t *pmd) |
| 883 | { |
| 884 | pmd_t *new_pmd; |
| 885 | int result = find_pmd_or_thp_or_none(mm, address, &new_pmd); |
| 886 | |
| 887 | if (result != SCAN_SUCCEED) |
| 888 | return result; |
| 889 | if (new_pmd != pmd) |
| 890 | return SCAN_FAIL; |
| 891 | return SCAN_SUCCEED; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 892 | } |
| 893 | |
| 894 | /* |
| 895 | * Bring missing pages in from swap, to complete THP collapse. |
Zach O'Keefe | 7d2c438 | 2022-07-06 16:59:28 -0700 | [diff] [blame] | 896 | * Only done if hpage_collapse_scan_pmd believes it is worthwhile. |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 897 | * |
Miaohe Lin | 4d928e2 | 2022-06-25 17:28:11 +0800 | [diff] [blame] | 898 | * Called and returns without pte mapped or spinlocks held. |
| 899 | * Note that if false is returned, mmap_lock will be released. |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 900 | */ |
| 901 | |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 902 | static int __collapse_huge_page_swapin(struct mm_struct *mm, |
| 903 | struct vm_area_struct *vma, |
| 904 | unsigned long haddr, pmd_t *pmd, |
| 905 | int referenced) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 906 | { |
Souptick Joarder | 2b74030 | 2018-08-23 17:01:36 -0700 | [diff] [blame] | 907 | int swapped_in = 0; |
| 908 | vm_fault_t ret = 0; |
Will Deacon | 2b635dd | 2021-01-14 15:33:49 +0000 | [diff] [blame] | 909 | unsigned long address, end = haddr + (HPAGE_PMD_NR * PAGE_SIZE); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 910 | |
Will Deacon | 2b635dd | 2021-01-14 15:33:49 +0000 | [diff] [blame] | 911 | for (address = haddr; address < end; address += PAGE_SIZE) { |
| 912 | struct vm_fault vmf = { |
| 913 | .vma = vma, |
| 914 | .address = address, |
| 915 | .pgoff = linear_page_index(vma, haddr), |
| 916 | .flags = FAULT_FLAG_ALLOW_RETRY, |
| 917 | .pmd = pmd, |
| 918 | }; |
| 919 | |
| 920 | vmf.pte = pte_offset_map(pmd, address); |
Jan Kara | 2994302 | 2016-12-14 15:07:16 -0800 | [diff] [blame] | 921 | vmf.orig_pte = *vmf.pte; |
Will Deacon | 2b635dd | 2021-01-14 15:33:49 +0000 | [diff] [blame] | 922 | if (!is_swap_pte(vmf.orig_pte)) { |
| 923 | pte_unmap(vmf.pte); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 924 | continue; |
Will Deacon | 2b635dd | 2021-01-14 15:33:49 +0000 | [diff] [blame] | 925 | } |
Jan Kara | 2994302 | 2016-12-14 15:07:16 -0800 | [diff] [blame] | 926 | ret = do_swap_page(&vmf); |
Ebru Akagunduz | 0db501f | 2016-07-26 15:26:46 -0700 | [diff] [blame] | 927 | |
Miaohe Lin | 4d928e2 | 2022-06-25 17:28:11 +0800 | [diff] [blame] | 928 | /* |
| 929 | * do_swap_page returns VM_FAULT_RETRY with released mmap_lock. |
| 930 | * Note we treat VM_FAULT_RETRY as VM_FAULT_ERROR here because |
| 931 | * we do not retry here and swap entry will remain in pagetable |
| 932 | * resulting in later failure. |
| 933 | */ |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 934 | if (ret & VM_FAULT_RETRY) { |
Ebru Akagunduz | 0db501f | 2016-07-26 15:26:46 -0700 | [diff] [blame] | 935 | trace_mm_collapse_huge_page_swapin(mm, swapped_in, referenced, 0); |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 936 | /* Likely, but not guaranteed, that page lock failed */ |
| 937 | return SCAN_PAGE_LOCK; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 938 | } |
Miaohe Lin | 4d928e2 | 2022-06-25 17:28:11 +0800 | [diff] [blame] | 939 | if (ret & VM_FAULT_ERROR) { |
| 940 | mmap_read_unlock(mm); |
| 941 | trace_mm_collapse_huge_page_swapin(mm, swapped_in, referenced, 0); |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 942 | return SCAN_FAIL; |
Miaohe Lin | 4d928e2 | 2022-06-25 17:28:11 +0800 | [diff] [blame] | 943 | } |
| 944 | swapped_in++; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 945 | } |
Kirill A. Shutemov | ae2c5d8 | 2020-06-03 16:00:17 -0700 | [diff] [blame] | 946 | |
| 947 | /* Drain LRU add pagevec to remove extra pin on the swapped in pages */ |
| 948 | if (swapped_in) |
| 949 | lru_add_drain(); |
| 950 | |
Ebru Akagunduz | 0db501f | 2016-07-26 15:26:46 -0700 | [diff] [blame] | 951 | trace_mm_collapse_huge_page_swapin(mm, swapped_in, referenced, 1); |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 952 | return SCAN_SUCCEED; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 953 | } |
| 954 | |
Zach O'Keefe | 9710a78a | 2022-07-06 16:59:22 -0700 | [diff] [blame] | 955 | static int alloc_charge_hpage(struct page **hpage, struct mm_struct *mm, |
| 956 | struct collapse_control *cc) |
| 957 | { |
| 958 | /* Only allocate from the target node */ |
Zach O'Keefe | 7d8faaf | 2022-07-06 16:59:27 -0700 | [diff] [blame] | 959 | gfp_t gfp = (cc->is_khugepaged ? alloc_hugepage_khugepaged_gfpmask() : |
| 960 | GFP_TRANSHUGE) | __GFP_THISNODE; |
Zach O'Keefe | 7d2c438 | 2022-07-06 16:59:28 -0700 | [diff] [blame] | 961 | int node = hpage_collapse_find_target_node(cc); |
Zach O'Keefe | 9710a78a | 2022-07-06 16:59:22 -0700 | [diff] [blame] | 962 | |
Zach O'Keefe | 7d2c438 | 2022-07-06 16:59:28 -0700 | [diff] [blame] | 963 | if (!hpage_collapse_alloc_page(hpage, gfp, node)) |
Zach O'Keefe | 9710a78a | 2022-07-06 16:59:22 -0700 | [diff] [blame] | 964 | return SCAN_ALLOC_HUGE_PAGE_FAIL; |
| 965 | if (unlikely(mem_cgroup_charge(page_folio(*hpage), mm, gfp))) |
| 966 | return SCAN_CGROUP_CHARGE_FAIL; |
| 967 | count_memcg_page_event(*hpage, THP_COLLAPSE_ALLOC); |
| 968 | return SCAN_SUCCEED; |
| 969 | } |
| 970 | |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 971 | static int collapse_huge_page(struct mm_struct *mm, unsigned long address, |
| 972 | int referenced, int unmapped, |
| 973 | struct collapse_control *cc) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 974 | { |
Kirill A. Shutemov | 5503fbf | 2020-06-03 16:00:23 -0700 | [diff] [blame] | 975 | LIST_HEAD(compound_pagelist); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 976 | pmd_t *pmd, _pmd; |
| 977 | pte_t *pte; |
| 978 | pgtable_t pgtable; |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 979 | struct page *hpage; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 980 | spinlock_t *pmd_ptl, *pte_ptl; |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 981 | int result = SCAN_FAIL; |
Kirill A. Shutemov | c131f75 | 2016-09-19 14:44:01 -0700 | [diff] [blame] | 982 | struct vm_area_struct *vma; |
Jérôme Glisse | ac46d4f | 2018-12-28 00:38:09 -0800 | [diff] [blame] | 983 | struct mmu_notifier_range range; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 984 | |
| 985 | VM_BUG_ON(address & ~HPAGE_PMD_MASK); |
| 986 | |
Kirill A. Shutemov | 988ddb7 | 2016-07-26 15:26:26 -0700 | [diff] [blame] | 987 | /* |
Michel Lespinasse | c1e8d7c | 2020-06-08 21:33:54 -0700 | [diff] [blame] | 988 | * Before allocating the hugepage, release the mmap_lock read lock. |
Kirill A. Shutemov | 988ddb7 | 2016-07-26 15:26:26 -0700 | [diff] [blame] | 989 | * The allocation can take potentially a long time if it involves |
Michel Lespinasse | c1e8d7c | 2020-06-08 21:33:54 -0700 | [diff] [blame] | 990 | * sync compaction, and we do not need to hold the mmap_lock during |
Kirill A. Shutemov | 988ddb7 | 2016-07-26 15:26:26 -0700 | [diff] [blame] | 991 | * that. We will recheck the vma after taking it again in write mode. |
| 992 | */ |
Michel Lespinasse | d8ed45c | 2020-06-08 21:33:25 -0700 | [diff] [blame] | 993 | mmap_read_unlock(mm); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 994 | |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 995 | result = alloc_charge_hpage(&hpage, mm, cc); |
Zach O'Keefe | 9710a78a | 2022-07-06 16:59:22 -0700 | [diff] [blame] | 996 | if (result != SCAN_SUCCEED) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 997 | goto out_nolock; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 998 | |
Michel Lespinasse | d8ed45c | 2020-06-08 21:33:25 -0700 | [diff] [blame] | 999 | mmap_read_lock(mm); |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1000 | result = hugepage_vma_revalidate(mm, address, true, &vma, cc); |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1001 | if (result != SCAN_SUCCEED) { |
Michel Lespinasse | d8ed45c | 2020-06-08 21:33:25 -0700 | [diff] [blame] | 1002 | mmap_read_unlock(mm); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1003 | goto out_nolock; |
| 1004 | } |
| 1005 | |
Zach O'Keefe | 5072280 | 2022-07-06 16:59:26 -0700 | [diff] [blame] | 1006 | result = find_pmd_or_thp_or_none(mm, address, &pmd); |
| 1007 | if (result != SCAN_SUCCEED) { |
Michel Lespinasse | d8ed45c | 2020-06-08 21:33:25 -0700 | [diff] [blame] | 1008 | mmap_read_unlock(mm); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1009 | goto out_nolock; |
| 1010 | } |
| 1011 | |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1012 | if (unmapped) { |
| 1013 | /* |
| 1014 | * __collapse_huge_page_swapin will return with mmap_lock |
| 1015 | * released when it fails. So we jump out_nolock directly in |
| 1016 | * that case. Continuing to collapse causes inconsistency. |
| 1017 | */ |
| 1018 | result = __collapse_huge_page_swapin(mm, vma, address, pmd, |
| 1019 | referenced); |
| 1020 | if (result != SCAN_SUCCEED) |
| 1021 | goto out_nolock; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1022 | } |
| 1023 | |
Michel Lespinasse | d8ed45c | 2020-06-08 21:33:25 -0700 | [diff] [blame] | 1024 | mmap_read_unlock(mm); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1025 | /* |
| 1026 | * Prevent all access to pagetables with the exception of |
| 1027 | * gup_fast later handled by the ptep_clear_flush and the VM |
| 1028 | * handled by the anon_vma lock + PG_lock. |
| 1029 | */ |
Michel Lespinasse | d8ed45c | 2020-06-08 21:33:25 -0700 | [diff] [blame] | 1030 | mmap_write_lock(mm); |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1031 | result = hugepage_vma_revalidate(mm, address, true, &vma, cc); |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1032 | if (result != SCAN_SUCCEED) |
Miaohe Lin | 18d24a7 | 2021-05-04 18:34:17 -0700 | [diff] [blame] | 1033 | goto out_up_write; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1034 | /* check if the pmd is still valid */ |
Zach O'Keefe | 5072280 | 2022-07-06 16:59:26 -0700 | [diff] [blame] | 1035 | result = check_pmd_still_valid(mm, address, pmd); |
| 1036 | if (result != SCAN_SUCCEED) |
Miaohe Lin | 18d24a7 | 2021-05-04 18:34:17 -0700 | [diff] [blame] | 1037 | goto out_up_write; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1038 | |
| 1039 | anon_vma_lock_write(vma->anon_vma); |
| 1040 | |
Jérôme Glisse | 7269f99 | 2019-05-13 17:20:53 -0700 | [diff] [blame] | 1041 | mmu_notifier_range_init(&range, MMU_NOTIFY_CLEAR, 0, NULL, mm, |
Jérôme Glisse | 6f4f13e | 2019-05-13 17:20:49 -0700 | [diff] [blame] | 1042 | address, address + HPAGE_PMD_SIZE); |
Jérôme Glisse | ac46d4f | 2018-12-28 00:38:09 -0800 | [diff] [blame] | 1043 | mmu_notifier_invalidate_range_start(&range); |
Ville Syrjälä | ec649c9d | 2019-11-05 21:16:48 -0800 | [diff] [blame] | 1044 | |
| 1045 | pte = pte_offset_map(pmd, address); |
| 1046 | pte_ptl = pte_lockptr(mm, pmd); |
| 1047 | |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1048 | pmd_ptl = pmd_lock(mm, pmd); /* probably unnecessary */ |
| 1049 | /* |
Yang Shi | 70cbc3c | 2022-09-07 11:01:43 -0700 | [diff] [blame] | 1050 | * This removes any huge TLB entry from the CPU so we won't allow |
| 1051 | * huge and small TLB entries for the same virtual address to |
| 1052 | * avoid the risk of CPU bugs in that area. |
| 1053 | * |
| 1054 | * Parallel fast GUP is fine since fast GUP will back off when |
| 1055 | * it detects PMD is changed. |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1056 | */ |
| 1057 | _pmd = pmdp_collapse_flush(vma, address, pmd); |
| 1058 | spin_unlock(pmd_ptl); |
Jérôme Glisse | ac46d4f | 2018-12-28 00:38:09 -0800 | [diff] [blame] | 1059 | mmu_notifier_invalidate_range_end(&range); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1060 | |
| 1061 | spin_lock(pte_ptl); |
Zach O'Keefe | d8ea7cc | 2022-07-06 16:59:24 -0700 | [diff] [blame] | 1062 | result = __collapse_huge_page_isolate(vma, address, pte, cc, |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1063 | &compound_pagelist); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1064 | spin_unlock(pte_ptl); |
| 1065 | |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1066 | if (unlikely(result != SCAN_SUCCEED)) { |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1067 | pte_unmap(pte); |
| 1068 | spin_lock(pmd_ptl); |
| 1069 | BUG_ON(!pmd_none(*pmd)); |
| 1070 | /* |
| 1071 | * We can only use set_pmd_at when establishing |
| 1072 | * hugepmds and never for establishing regular pmds that |
| 1073 | * points to regular pagetables. Use pmd_populate for that |
| 1074 | */ |
| 1075 | pmd_populate(mm, pmd, pmd_pgtable(_pmd)); |
| 1076 | spin_unlock(pmd_ptl); |
| 1077 | anon_vma_unlock_write(vma->anon_vma); |
Miaohe Lin | 18d24a7 | 2021-05-04 18:34:17 -0700 | [diff] [blame] | 1078 | goto out_up_write; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1079 | } |
| 1080 | |
| 1081 | /* |
| 1082 | * All pages are isolated and locked so anon_vma rmap |
| 1083 | * can't run anymore. |
| 1084 | */ |
| 1085 | anon_vma_unlock_write(vma->anon_vma); |
| 1086 | |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1087 | __collapse_huge_page_copy(pte, hpage, vma, address, pte_ptl, |
| 1088 | &compound_pagelist); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1089 | pte_unmap(pte); |
Miaohe Lin | 588d01f | 2021-05-04 18:33:40 -0700 | [diff] [blame] | 1090 | /* |
| 1091 | * spin_lock() below is not the equivalent of smp_wmb(), but |
| 1092 | * the smp_wmb() inside __SetPageUptodate() can be reused to |
| 1093 | * avoid the copy_huge_page writes to become visible after |
| 1094 | * the set_pmd_at() write. |
| 1095 | */ |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1096 | __SetPageUptodate(hpage); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1097 | pgtable = pmd_pgtable(_pmd); |
| 1098 | |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1099 | _pmd = mk_huge_pmd(hpage, vma->vm_page_prot); |
Linus Torvalds | f55e101 | 2017-11-29 09:01:01 -0800 | [diff] [blame] | 1100 | _pmd = maybe_pmd_mkwrite(pmd_mkdirty(_pmd), vma); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1101 | |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1102 | spin_lock(pmd_ptl); |
| 1103 | BUG_ON(!pmd_none(*pmd)); |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1104 | page_add_new_anon_rmap(hpage, vma, address); |
| 1105 | lru_cache_add_inactive_or_unevictable(hpage, vma); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1106 | pgtable_trans_huge_deposit(mm, pmd, pgtable); |
| 1107 | set_pmd_at(mm, address, pmd, _pmd); |
| 1108 | update_mmu_cache_pmd(vma, address, pmd); |
| 1109 | spin_unlock(pmd_ptl); |
| 1110 | |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1111 | hpage = NULL; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1112 | |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1113 | result = SCAN_SUCCEED; |
| 1114 | out_up_write: |
Michel Lespinasse | d8ed45c | 2020-06-08 21:33:25 -0700 | [diff] [blame] | 1115 | mmap_write_unlock(mm); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1116 | out_nolock: |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1117 | if (hpage) { |
| 1118 | mem_cgroup_uncharge(page_folio(hpage)); |
| 1119 | put_page(hpage); |
Yang Shi | c6a7f44 | 2022-07-06 16:59:20 -0700 | [diff] [blame] | 1120 | } |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1121 | trace_mm_collapse_huge_page(mm, result == SCAN_SUCCEED, result); |
| 1122 | return result; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1123 | } |
| 1124 | |
Zach O'Keefe | 7d2c438 | 2022-07-06 16:59:28 -0700 | [diff] [blame] | 1125 | static int hpage_collapse_scan_pmd(struct mm_struct *mm, |
| 1126 | struct vm_area_struct *vma, |
| 1127 | unsigned long address, bool *mmap_locked, |
| 1128 | struct collapse_control *cc) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1129 | { |
| 1130 | pmd_t *pmd; |
| 1131 | pte_t *pte, *_pte; |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1132 | int result = SCAN_FAIL, referenced = 0; |
Kirill A. Shutemov | 71a2c11 | 2020-06-03 16:00:30 -0700 | [diff] [blame] | 1133 | int none_or_zero = 0, shared = 0; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1134 | struct page *page = NULL; |
| 1135 | unsigned long _address; |
| 1136 | spinlock_t *ptl; |
| 1137 | int node = NUMA_NO_NODE, unmapped = 0; |
Ebru Akagunduz | 0db501f | 2016-07-26 15:26:46 -0700 | [diff] [blame] | 1138 | bool writable = false; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1139 | |
| 1140 | VM_BUG_ON(address & ~HPAGE_PMD_MASK); |
| 1141 | |
Zach O'Keefe | 5072280 | 2022-07-06 16:59:26 -0700 | [diff] [blame] | 1142 | result = find_pmd_or_thp_or_none(mm, address, &pmd); |
| 1143 | if (result != SCAN_SUCCEED) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1144 | goto out; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1145 | |
Zach O'Keefe | 34d6b47 | 2022-07-06 16:59:21 -0700 | [diff] [blame] | 1146 | memset(cc->node_load, 0, sizeof(cc->node_load)); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1147 | pte = pte_offset_map_lock(mm, pmd, address, &ptl); |
Miaohe Lin | 36ee2c7 | 2022-06-25 17:28:12 +0800 | [diff] [blame] | 1148 | for (_address = address, _pte = pte; _pte < pte + HPAGE_PMD_NR; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1149 | _pte++, _address += PAGE_SIZE) { |
| 1150 | pte_t pteval = *_pte; |
| 1151 | if (is_swap_pte(pteval)) { |
Zach O'Keefe | d8ea7cc | 2022-07-06 16:59:24 -0700 | [diff] [blame] | 1152 | ++unmapped; |
| 1153 | if (!cc->is_khugepaged || |
| 1154 | unmapped <= khugepaged_max_ptes_swap) { |
Peter Xu | e1e267c | 2020-04-06 20:06:04 -0700 | [diff] [blame] | 1155 | /* |
| 1156 | * Always be strict with uffd-wp |
| 1157 | * enabled swap entries. Please see |
| 1158 | * comment below for pte_uffd_wp(). |
| 1159 | */ |
| 1160 | if (pte_swp_uffd_wp(pteval)) { |
| 1161 | result = SCAN_PTE_UFFD_WP; |
| 1162 | goto out_unmap; |
| 1163 | } |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1164 | continue; |
| 1165 | } else { |
| 1166 | result = SCAN_EXCEED_SWAP_PTE; |
Yang Yang | e9ea874 | 2022-01-14 14:07:55 -0800 | [diff] [blame] | 1167 | count_vm_event(THP_SCAN_EXCEED_SWAP_PTE); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1168 | goto out_unmap; |
| 1169 | } |
| 1170 | } |
| 1171 | if (pte_none(pteval) || is_zero_pfn(pte_pfn(pteval))) { |
Zach O'Keefe | d8ea7cc | 2022-07-06 16:59:24 -0700 | [diff] [blame] | 1172 | ++none_or_zero; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1173 | if (!userfaultfd_armed(vma) && |
Zach O'Keefe | d8ea7cc | 2022-07-06 16:59:24 -0700 | [diff] [blame] | 1174 | (!cc->is_khugepaged || |
| 1175 | none_or_zero <= khugepaged_max_ptes_none)) { |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1176 | continue; |
| 1177 | } else { |
| 1178 | result = SCAN_EXCEED_NONE_PTE; |
Yang Yang | e9ea874 | 2022-01-14 14:07:55 -0800 | [diff] [blame] | 1179 | count_vm_event(THP_SCAN_EXCEED_NONE_PTE); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1180 | goto out_unmap; |
| 1181 | } |
| 1182 | } |
Peter Xu | e1e267c | 2020-04-06 20:06:04 -0700 | [diff] [blame] | 1183 | if (pte_uffd_wp(pteval)) { |
| 1184 | /* |
| 1185 | * Don't collapse the page if any of the small |
| 1186 | * PTEs are armed with uffd write protection. |
| 1187 | * Here we can also mark the new huge pmd as |
| 1188 | * write protected if any of the small ones is |
Haitao Shi | 8958b24 | 2020-12-15 20:47:26 -0800 | [diff] [blame] | 1189 | * marked but that could bring unknown |
Peter Xu | e1e267c | 2020-04-06 20:06:04 -0700 | [diff] [blame] | 1190 | * userfault messages that falls outside of |
| 1191 | * the registered range. So, just be simple. |
| 1192 | */ |
| 1193 | result = SCAN_PTE_UFFD_WP; |
| 1194 | goto out_unmap; |
| 1195 | } |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1196 | if (pte_write(pteval)) |
| 1197 | writable = true; |
| 1198 | |
| 1199 | page = vm_normal_page(vma, _address, pteval); |
Alex Sierra | 3218f87 | 2022-07-15 10:05:11 -0500 | [diff] [blame] | 1200 | if (unlikely(!page) || unlikely(is_zone_device_page(page))) { |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1201 | result = SCAN_PAGE_NULL; |
| 1202 | goto out_unmap; |
| 1203 | } |
| 1204 | |
Zach O'Keefe | d8ea7cc | 2022-07-06 16:59:24 -0700 | [diff] [blame] | 1205 | if (page_mapcount(page) > 1) { |
| 1206 | ++shared; |
| 1207 | if (cc->is_khugepaged && |
| 1208 | shared > khugepaged_max_ptes_shared) { |
| 1209 | result = SCAN_EXCEED_SHARED_PTE; |
| 1210 | count_vm_event(THP_SCAN_EXCEED_SHARED_PTE); |
| 1211 | goto out_unmap; |
| 1212 | } |
Kirill A. Shutemov | 71a2c11 | 2020-06-03 16:00:30 -0700 | [diff] [blame] | 1213 | } |
| 1214 | |
Kirill A. Shutemov | 5503fbf | 2020-06-03 16:00:23 -0700 | [diff] [blame] | 1215 | page = compound_head(page); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1216 | |
| 1217 | /* |
| 1218 | * Record which node the original page is from and save this |
Zach O'Keefe | 34d6b47 | 2022-07-06 16:59:21 -0700 | [diff] [blame] | 1219 | * information to cc->node_load[]. |
Quanfa Fu | 0b8f0d8 | 2022-01-14 14:09:25 -0800 | [diff] [blame] | 1220 | * Khugepaged will allocate hugepage from the node has the max |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1221 | * hit record. |
| 1222 | */ |
| 1223 | node = page_to_nid(page); |
Zach O'Keefe | 7d2c438 | 2022-07-06 16:59:28 -0700 | [diff] [blame] | 1224 | if (hpage_collapse_scan_abort(node, cc)) { |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1225 | result = SCAN_SCAN_ABORT; |
| 1226 | goto out_unmap; |
| 1227 | } |
Zach O'Keefe | 34d6b47 | 2022-07-06 16:59:21 -0700 | [diff] [blame] | 1228 | cc->node_load[node]++; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1229 | if (!PageLRU(page)) { |
| 1230 | result = SCAN_PAGE_LRU; |
| 1231 | goto out_unmap; |
| 1232 | } |
| 1233 | if (PageLocked(page)) { |
| 1234 | result = SCAN_PAGE_LOCK; |
| 1235 | goto out_unmap; |
| 1236 | } |
| 1237 | if (!PageAnon(page)) { |
| 1238 | result = SCAN_PAGE_ANON; |
| 1239 | goto out_unmap; |
| 1240 | } |
| 1241 | |
| 1242 | /* |
Kirill A. Shutemov | 9445689 | 2020-06-03 16:00:20 -0700 | [diff] [blame] | 1243 | * Check if the page has any GUP (or other external) pins. |
| 1244 | * |
Miaohe Lin | 36ee2c7 | 2022-06-25 17:28:12 +0800 | [diff] [blame] | 1245 | * Here the check is racy it may see total_mapcount > refcount |
Kirill A. Shutemov | 9445689 | 2020-06-03 16:00:20 -0700 | [diff] [blame] | 1246 | * in some cases. |
| 1247 | * For example, one process with one forked child process. |
| 1248 | * The parent has the PMD split due to MADV_DONTNEED, then |
| 1249 | * the child is trying unmap the whole PMD, but khugepaged |
| 1250 | * may be scanning the parent between the child has |
| 1251 | * PageDoubleMap flag cleared and dec the mapcount. So |
| 1252 | * khugepaged may see total_mapcount > refcount. |
| 1253 | * |
| 1254 | * But such case is ephemeral we could always retry collapse |
| 1255 | * later. However it may report false positive if the page |
| 1256 | * has excessive GUP pins (i.e. 512). Anyway the same check |
| 1257 | * will be done again later the risk seems low. |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1258 | */ |
Kirill A. Shutemov | 9445689 | 2020-06-03 16:00:20 -0700 | [diff] [blame] | 1259 | if (!is_refcount_suitable(page)) { |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1260 | result = SCAN_PAGE_COUNT; |
| 1261 | goto out_unmap; |
| 1262 | } |
Zach O'Keefe | d8ea7cc | 2022-07-06 16:59:24 -0700 | [diff] [blame] | 1263 | |
| 1264 | /* |
| 1265 | * If collapse was initiated by khugepaged, check that there is |
| 1266 | * enough young pte to justify collapsing the page |
| 1267 | */ |
| 1268 | if (cc->is_khugepaged && |
| 1269 | (pte_young(pteval) || page_is_young(page) || |
| 1270 | PageReferenced(page) || mmu_notifier_test_young(vma->vm_mm, |
| 1271 | address))) |
Ebru Akagunduz | 0db501f | 2016-07-26 15:26:46 -0700 | [diff] [blame] | 1272 | referenced++; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1273 | } |
Kirill A. Shutemov | ffe945e | 2020-06-03 16:00:09 -0700 | [diff] [blame] | 1274 | if (!writable) { |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1275 | result = SCAN_PAGE_RO; |
Zach O'Keefe | d8ea7cc | 2022-07-06 16:59:24 -0700 | [diff] [blame] | 1276 | } else if (cc->is_khugepaged && |
| 1277 | (!referenced || |
| 1278 | (unmapped && referenced < HPAGE_PMD_NR / 2))) { |
Kirill A. Shutemov | ffe945e | 2020-06-03 16:00:09 -0700 | [diff] [blame] | 1279 | result = SCAN_LACK_REFERENCED_PAGE; |
| 1280 | } else { |
| 1281 | result = SCAN_SUCCEED; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1282 | } |
| 1283 | out_unmap: |
| 1284 | pte_unmap_unlock(pte, ptl); |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1285 | if (result == SCAN_SUCCEED) { |
| 1286 | result = collapse_huge_page(mm, address, referenced, |
| 1287 | unmapped, cc); |
Michel Lespinasse | c1e8d7c | 2020-06-08 21:33:54 -0700 | [diff] [blame] | 1288 | /* collapse_huge_page will return with the mmap_lock released */ |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1289 | *mmap_locked = false; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1290 | } |
| 1291 | out: |
| 1292 | trace_mm_khugepaged_scan_pmd(mm, page, writable, referenced, |
| 1293 | none_or_zero, result, unmapped); |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1294 | return result; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1295 | } |
| 1296 | |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 1297 | static void collect_mm_slot(struct khugepaged_mm_slot *mm_slot) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1298 | { |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 1299 | struct mm_slot *slot = &mm_slot->slot; |
| 1300 | struct mm_struct *mm = slot->mm; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1301 | |
Lance Roy | 35f3aa3 | 2018-10-04 23:45:47 -0700 | [diff] [blame] | 1302 | lockdep_assert_held(&khugepaged_mm_lock); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1303 | |
Zach O'Keefe | 7d2c438 | 2022-07-06 16:59:28 -0700 | [diff] [blame] | 1304 | if (hpage_collapse_test_exit(mm)) { |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1305 | /* free mm_slot */ |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 1306 | hash_del(&slot->hash); |
| 1307 | list_del(&slot->mm_node); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1308 | |
| 1309 | /* |
| 1310 | * Not strictly needed because the mm exited already. |
| 1311 | * |
| 1312 | * clear_bit(MMF_VM_HUGEPAGE, &mm->flags); |
| 1313 | */ |
| 1314 | |
| 1315 | /* khugepaged_mm_lock actually not necessary for the below */ |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 1316 | mm_slot_free(mm_slot_cache, mm_slot); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 1317 | mmdrop(mm); |
| 1318 | } |
| 1319 | } |
| 1320 | |
Matthew Wilcox (Oracle) | 396bcc5 | 2020-04-06 20:04:35 -0700 | [diff] [blame] | 1321 | #ifdef CONFIG_SHMEM |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1322 | /* |
| 1323 | * Notify khugepaged that given addr of the mm is pte-mapped THP. Then |
| 1324 | * khugepaged should try to collapse the page table. |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1325 | * |
| 1326 | * Note that following race exists: |
| 1327 | * (1) khugepaged calls khugepaged_collapse_pte_mapped_thps() for mm_struct A, |
| 1328 | * emptying the A's ->pte_mapped_thp[] array. |
| 1329 | * (2) MADV_COLLAPSE collapses some file extent with target mm_struct B, and |
| 1330 | * retract_page_tables() finds a VMA in mm_struct A mapping the same extent |
| 1331 | * (at virtual address X) and adds an entry (for X) into mm_struct A's |
| 1332 | * ->pte-mapped_thp[] array. |
| 1333 | * (3) khugepaged calls khugepaged_collapse_scan_file() for mm_struct A at X, |
| 1334 | * sees a pte-mapped THP (SCAN_PTE_MAPPED_HUGEPAGE) and adds an entry |
| 1335 | * (for X) into mm_struct A's ->pte-mapped_thp[] array. |
| 1336 | * Thus, it's possible the same address is added multiple times for the same |
| 1337 | * mm_struct. Should this happen, we'll simply attempt |
| 1338 | * collapse_pte_mapped_thp() multiple times for the same address, under the same |
| 1339 | * exclusive mmap_lock, and assuming the first call is successful, subsequent |
| 1340 | * attempts will return quickly (without grabbing any additional locks) when |
| 1341 | * a huge pmd is found in find_pmd_or_thp_or_none(). Since this is a cheap |
| 1342 | * check, and since this is a rare occurrence, the cost of preventing this |
| 1343 | * "multiple-add" is thought to be more expensive than just handling it, should |
| 1344 | * it occur. |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1345 | */ |
Zach O'Keefe | 58ac9a8 | 2022-09-22 15:40:38 -0700 | [diff] [blame] | 1346 | static bool khugepaged_add_pte_mapped_thp(struct mm_struct *mm, |
Miaohe Lin | 081c325 | 2022-06-25 17:28:15 +0800 | [diff] [blame] | 1347 | unsigned long addr) |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1348 | { |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 1349 | struct khugepaged_mm_slot *mm_slot; |
| 1350 | struct mm_slot *slot; |
Zach O'Keefe | 58ac9a8 | 2022-09-22 15:40:38 -0700 | [diff] [blame] | 1351 | bool ret = false; |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1352 | |
| 1353 | VM_BUG_ON(addr & ~HPAGE_PMD_MASK); |
| 1354 | |
| 1355 | spin_lock(&khugepaged_mm_lock); |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 1356 | slot = mm_slot_lookup(mm_slots_hash, mm); |
| 1357 | mm_slot = mm_slot_entry(slot, struct khugepaged_mm_slot, slot); |
Zach O'Keefe | 58ac9a8 | 2022-09-22 15:40:38 -0700 | [diff] [blame] | 1358 | if (likely(mm_slot && mm_slot->nr_pte_mapped_thp < MAX_PTE_MAPPED_THP)) { |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1359 | mm_slot->pte_mapped_thp[mm_slot->nr_pte_mapped_thp++] = addr; |
Zach O'Keefe | 58ac9a8 | 2022-09-22 15:40:38 -0700 | [diff] [blame] | 1360 | ret = true; |
| 1361 | } |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1362 | spin_unlock(&khugepaged_mm_lock); |
Zach O'Keefe | 58ac9a8 | 2022-09-22 15:40:38 -0700 | [diff] [blame] | 1363 | return ret; |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1364 | } |
| 1365 | |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1366 | /* hpage must be locked, and mmap_lock must be held in write */ |
| 1367 | static int set_huge_pmd(struct vm_area_struct *vma, unsigned long addr, |
| 1368 | pmd_t *pmdp, struct page *hpage) |
| 1369 | { |
| 1370 | struct vm_fault vmf = { |
| 1371 | .vma = vma, |
| 1372 | .address = addr, |
| 1373 | .flags = 0, |
| 1374 | .pmd = pmdp, |
| 1375 | }; |
| 1376 | |
| 1377 | VM_BUG_ON(!PageTransHuge(hpage)); |
| 1378 | mmap_assert_write_locked(vma->vm_mm); |
| 1379 | |
| 1380 | if (do_set_pmd(&vmf, hpage)) |
| 1381 | return SCAN_FAIL; |
| 1382 | |
| 1383 | get_page(hpage); |
| 1384 | return SCAN_SUCCEED; |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1385 | } |
| 1386 | |
Pasha Tatashin | e59a47b8 | 2022-02-03 20:49:20 -0800 | [diff] [blame] | 1387 | static void collapse_and_free_pmd(struct mm_struct *mm, struct vm_area_struct *vma, |
| 1388 | unsigned long addr, pmd_t *pmdp) |
| 1389 | { |
| 1390 | spinlock_t *ptl; |
| 1391 | pmd_t pmd; |
| 1392 | |
Pasha Tatashin | 80110bb | 2022-02-03 20:49:24 -0800 | [diff] [blame] | 1393 | mmap_assert_write_locked(mm); |
Pasha Tatashin | e59a47b8 | 2022-02-03 20:49:20 -0800 | [diff] [blame] | 1394 | ptl = pmd_lock(vma->vm_mm, pmdp); |
| 1395 | pmd = pmdp_collapse_flush(vma, addr, pmdp); |
| 1396 | spin_unlock(ptl); |
| 1397 | mm_dec_nr_ptes(mm); |
Pasha Tatashin | 80110bb | 2022-02-03 20:49:24 -0800 | [diff] [blame] | 1398 | page_table_check_pte_clear_range(mm, addr, pmd); |
Pasha Tatashin | e59a47b8 | 2022-02-03 20:49:20 -0800 | [diff] [blame] | 1399 | pte_free(mm, pmd_pgtable(pmd)); |
| 1400 | } |
| 1401 | |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1402 | /** |
Alex Shi | 336e6b5 | 2020-12-14 19:12:01 -0800 | [diff] [blame] | 1403 | * collapse_pte_mapped_thp - Try to collapse a pte-mapped THP for mm at |
| 1404 | * address haddr. |
| 1405 | * |
| 1406 | * @mm: process address space where collapse happens |
| 1407 | * @addr: THP collapse address |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1408 | * @install_pmd: If a huge PMD should be installed |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1409 | * |
| 1410 | * This function checks whether all the PTEs in the PMD are pointing to the |
| 1411 | * right THP. If so, retract the page table so the THP can refault in with |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1412 | * as pmd-mapped. Possibly install a huge PMD mapping the THP. |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1413 | */ |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1414 | int collapse_pte_mapped_thp(struct mm_struct *mm, unsigned long addr, |
| 1415 | bool install_pmd) |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1416 | { |
| 1417 | unsigned long haddr = addr & HPAGE_PMD_MASK; |
Liam R. Howlett | 94d815b | 2022-09-06 19:48:50 +0000 | [diff] [blame] | 1418 | struct vm_area_struct *vma = vma_lookup(mm, haddr); |
Hugh Dickins | 119a5fc | 2020-08-06 23:26:18 -0700 | [diff] [blame] | 1419 | struct page *hpage; |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1420 | pte_t *start_pte, *pte; |
Pasha Tatashin | e59a47b8 | 2022-02-03 20:49:20 -0800 | [diff] [blame] | 1421 | pmd_t *pmd; |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1422 | spinlock_t *ptl; |
Zach O'Keefe | 58ac9a8 | 2022-09-22 15:40:38 -0700 | [diff] [blame] | 1423 | int count = 0, result = SCAN_FAIL; |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1424 | int i; |
| 1425 | |
Zach O'Keefe | 58ac9a8 | 2022-09-22 15:40:38 -0700 | [diff] [blame] | 1426 | mmap_assert_write_locked(mm); |
| 1427 | |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1428 | /* Fast check before locking page if already PMD-mapped */ |
Zach O'Keefe | 58ac9a8 | 2022-09-22 15:40:38 -0700 | [diff] [blame] | 1429 | result = find_pmd_or_thp_or_none(mm, haddr, &pmd); |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1430 | if (result == SCAN_PMD_MAPPED) |
| 1431 | return result; |
Zach O'Keefe | 58ac9a8 | 2022-09-22 15:40:38 -0700 | [diff] [blame] | 1432 | |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1433 | if (!vma || !vma->vm_file || |
Miaohe Lin | fef792a | 2021-05-04 18:34:15 -0700 | [diff] [blame] | 1434 | !range_in_vma(vma, haddr, haddr + HPAGE_PMD_SIZE)) |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1435 | return SCAN_VMA_CHECK; |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1436 | |
| 1437 | /* |
Zach O'Keefe | a7f4e6e | 2022-07-06 16:59:25 -0700 | [diff] [blame] | 1438 | * If we are here, we've succeeded in replacing all the native pages |
| 1439 | * in the page cache with a single hugepage. If a mm were to fault-in |
| 1440 | * this memory (mapped by a suitably aligned VMA), we'd get the hugepage |
| 1441 | * and map it by a PMD, regardless of sysfs THP settings. As such, let's |
| 1442 | * analogously elide sysfs THP settings here. |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1443 | */ |
Zach O'Keefe | a7f4e6e | 2022-07-06 16:59:25 -0700 | [diff] [blame] | 1444 | if (!hugepage_vma_check(vma, vma->vm_flags, false, false, false)) |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1445 | return SCAN_VMA_CHECK; |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1446 | |
Peter Xu | deb4c93 | 2022-05-12 20:22:55 -0700 | [diff] [blame] | 1447 | /* Keep pmd pgtable for uffd-wp; see comment in retract_page_tables() */ |
| 1448 | if (userfaultfd_wp(vma)) |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1449 | return SCAN_PTE_UFFD_WP; |
Peter Xu | deb4c93 | 2022-05-12 20:22:55 -0700 | [diff] [blame] | 1450 | |
Hugh Dickins | 119a5fc | 2020-08-06 23:26:18 -0700 | [diff] [blame] | 1451 | hpage = find_lock_page(vma->vm_file->f_mapping, |
| 1452 | linear_page_index(vma, haddr)); |
| 1453 | if (!hpage) |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1454 | return SCAN_PAGE_NULL; |
Hugh Dickins | 119a5fc | 2020-08-06 23:26:18 -0700 | [diff] [blame] | 1455 | |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1456 | if (!PageHead(hpage)) { |
| 1457 | result = SCAN_FAIL; |
Hugh Dickins | 119a5fc | 2020-08-06 23:26:18 -0700 | [diff] [blame] | 1458 | goto drop_hpage; |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1459 | } |
Hugh Dickins | 119a5fc | 2020-08-06 23:26:18 -0700 | [diff] [blame] | 1460 | |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1461 | if (compound_order(hpage) != HPAGE_PMD_ORDER) { |
| 1462 | result = SCAN_PAGE_COMPOUND; |
Hugh Dickins | 119a5fc | 2020-08-06 23:26:18 -0700 | [diff] [blame] | 1463 | goto drop_hpage; |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1464 | } |
Zach O'Keefe | 780a4b6 | 2022-09-22 15:27:31 -0700 | [diff] [blame] | 1465 | |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1466 | switch (result) { |
| 1467 | case SCAN_SUCCEED: |
| 1468 | break; |
| 1469 | case SCAN_PMD_NONE: |
| 1470 | /* |
| 1471 | * In MADV_COLLAPSE path, possible race with khugepaged where |
| 1472 | * all pte entries have been removed and pmd cleared. If so, |
| 1473 | * skip all the pte checks and just update the pmd mapping. |
| 1474 | */ |
| 1475 | goto maybe_install_pmd; |
| 1476 | default: |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1477 | goto drop_hpage; |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1478 | } |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1479 | |
| 1480 | start_pte = pte_offset_map_lock(mm, pmd, haddr, &ptl); |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1481 | result = SCAN_FAIL; |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1482 | |
| 1483 | /* step 1: check all mapped PTEs are to the right huge page */ |
| 1484 | for (i = 0, addr = haddr, pte = start_pte; |
| 1485 | i < HPAGE_PMD_NR; i++, addr += PAGE_SIZE, pte++) { |
| 1486 | struct page *page; |
| 1487 | |
| 1488 | /* empty pte, skip */ |
| 1489 | if (pte_none(*pte)) |
| 1490 | continue; |
| 1491 | |
| 1492 | /* page swapped out, abort */ |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1493 | if (!pte_present(*pte)) { |
| 1494 | result = SCAN_PTE_NON_PRESENT; |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1495 | goto abort; |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1496 | } |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1497 | |
| 1498 | page = vm_normal_page(vma, addr, *pte); |
Alex Sierra | 3218f87 | 2022-07-15 10:05:11 -0500 | [diff] [blame] | 1499 | if (WARN_ON_ONCE(page && is_zone_device_page(page))) |
| 1500 | page = NULL; |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1501 | /* |
Hugh Dickins | 119a5fc | 2020-08-06 23:26:18 -0700 | [diff] [blame] | 1502 | * Note that uprobe, debugger, or MAP_PRIVATE may change the |
| 1503 | * page table, but the new page will not be a subpage of hpage. |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1504 | */ |
Hugh Dickins | 119a5fc | 2020-08-06 23:26:18 -0700 | [diff] [blame] | 1505 | if (hpage + i != page) |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1506 | goto abort; |
| 1507 | count++; |
| 1508 | } |
| 1509 | |
| 1510 | /* step 2: adjust rmap */ |
| 1511 | for (i = 0, addr = haddr, pte = start_pte; |
| 1512 | i < HPAGE_PMD_NR; i++, addr += PAGE_SIZE, pte++) { |
| 1513 | struct page *page; |
| 1514 | |
| 1515 | if (pte_none(*pte)) |
| 1516 | continue; |
| 1517 | page = vm_normal_page(vma, addr, *pte); |
Alex Sierra | 3218f87 | 2022-07-15 10:05:11 -0500 | [diff] [blame] | 1518 | if (WARN_ON_ONCE(page && is_zone_device_page(page))) |
| 1519 | goto abort; |
Hugh Dickins | cea86fe | 2022-02-14 18:26:39 -0800 | [diff] [blame] | 1520 | page_remove_rmap(page, vma, false); |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1521 | } |
| 1522 | |
| 1523 | pte_unmap_unlock(start_pte, ptl); |
| 1524 | |
| 1525 | /* step 3: set proper refcount and mm_counters. */ |
Hugh Dickins | 119a5fc | 2020-08-06 23:26:18 -0700 | [diff] [blame] | 1526 | if (count) { |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1527 | page_ref_sub(hpage, count); |
| 1528 | add_mm_counter(vma->vm_mm, mm_counter_file(hpage), -count); |
| 1529 | } |
| 1530 | |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1531 | /* step 4: remove pte entries */ |
Pasha Tatashin | e59a47b8 | 2022-02-03 20:49:20 -0800 | [diff] [blame] | 1532 | collapse_and_free_pmd(mm, vma, haddr, pmd); |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1533 | |
| 1534 | maybe_install_pmd: |
| 1535 | /* step 5: install pmd entry */ |
| 1536 | result = install_pmd |
| 1537 | ? set_huge_pmd(vma, haddr, pmd, hpage) |
| 1538 | : SCAN_SUCCEED; |
| 1539 | |
Hugh Dickins | 119a5fc | 2020-08-06 23:26:18 -0700 | [diff] [blame] | 1540 | drop_hpage: |
| 1541 | unlock_page(hpage); |
| 1542 | put_page(hpage); |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1543 | return result; |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1544 | |
| 1545 | abort: |
| 1546 | pte_unmap_unlock(start_pte, ptl); |
Hugh Dickins | 119a5fc | 2020-08-06 23:26:18 -0700 | [diff] [blame] | 1547 | goto drop_hpage; |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1548 | } |
| 1549 | |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 1550 | static void khugepaged_collapse_pte_mapped_thps(struct khugepaged_mm_slot *mm_slot) |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1551 | { |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 1552 | struct mm_slot *slot = &mm_slot->slot; |
| 1553 | struct mm_struct *mm = slot->mm; |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1554 | int i; |
| 1555 | |
| 1556 | if (likely(mm_slot->nr_pte_mapped_thp == 0)) |
Miaohe Lin | 0edf61e | 2021-05-04 18:33:37 -0700 | [diff] [blame] | 1557 | return; |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1558 | |
Michel Lespinasse | d8ed45c | 2020-06-08 21:33:25 -0700 | [diff] [blame] | 1559 | if (!mmap_write_trylock(mm)) |
Miaohe Lin | 0edf61e | 2021-05-04 18:33:37 -0700 | [diff] [blame] | 1560 | return; |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1561 | |
Zach O'Keefe | 7d2c438 | 2022-07-06 16:59:28 -0700 | [diff] [blame] | 1562 | if (unlikely(hpage_collapse_test_exit(mm))) |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1563 | goto out; |
| 1564 | |
| 1565 | for (i = 0; i < mm_slot->nr_pte_mapped_thp; i++) |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1566 | collapse_pte_mapped_thp(mm, mm_slot->pte_mapped_thp[i], false); |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1567 | |
| 1568 | out: |
| 1569 | mm_slot->nr_pte_mapped_thp = 0; |
Michel Lespinasse | d8ed45c | 2020-06-08 21:33:25 -0700 | [diff] [blame] | 1570 | mmap_write_unlock(mm); |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1571 | } |
| 1572 | |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1573 | static int retract_page_tables(struct address_space *mapping, pgoff_t pgoff, |
| 1574 | struct mm_struct *target_mm, |
| 1575 | unsigned long target_addr, struct page *hpage, |
| 1576 | struct collapse_control *cc) |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1577 | { |
| 1578 | struct vm_area_struct *vma; |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1579 | int target_result = SCAN_FAIL; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1580 | |
| 1581 | i_mmap_lock_write(mapping); |
| 1582 | vma_interval_tree_foreach(vma, &mapping->i_mmap, pgoff, pgoff) { |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1583 | int result = SCAN_FAIL; |
| 1584 | struct mm_struct *mm = NULL; |
| 1585 | unsigned long addr = 0; |
| 1586 | pmd_t *pmd; |
| 1587 | bool is_target = false; |
| 1588 | |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1589 | /* |
| 1590 | * Check vma->anon_vma to exclude MAP_PRIVATE mappings that |
| 1591 | * got written to. These VMAs are likely not worth investing |
Michel Lespinasse | 3e4e28c | 2020-06-08 21:33:51 -0700 | [diff] [blame] | 1592 | * mmap_write_lock(mm) as PMD-mapping is likely to be split |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1593 | * later. |
| 1594 | * |
Miaohe Lin | 36ee2c7 | 2022-06-25 17:28:12 +0800 | [diff] [blame] | 1595 | * Note that vma->anon_vma check is racy: it can be set up after |
Michel Lespinasse | c1e8d7c | 2020-06-08 21:33:54 -0700 | [diff] [blame] | 1596 | * the check but before we took mmap_lock by the fault path. |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1597 | * But page lock would prevent establishing any new ptes of the |
| 1598 | * page, so we are safe. |
| 1599 | * |
| 1600 | * An alternative would be drop the check, but check that page |
| 1601 | * table is clear before calling pmdp_collapse_flush() under |
| 1602 | * ptl. It has higher chance to recover THP for the VMA, but |
| 1603 | * has higher cost too. |
| 1604 | */ |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1605 | if (vma->anon_vma) { |
| 1606 | result = SCAN_PAGE_ANON; |
| 1607 | goto next; |
| 1608 | } |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1609 | addr = vma->vm_start + ((pgoff - vma->vm_pgoff) << PAGE_SHIFT); |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1610 | if (addr & ~HPAGE_PMD_MASK || |
| 1611 | vma->vm_end < addr + HPAGE_PMD_SIZE) { |
| 1612 | result = SCAN_VMA_CHECK; |
| 1613 | goto next; |
| 1614 | } |
Hugh Dickins | 18e7760 | 2020-08-06 23:26:22 -0700 | [diff] [blame] | 1615 | mm = vma->vm_mm; |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1616 | is_target = mm == target_mm && addr == target_addr; |
| 1617 | result = find_pmd_or_thp_or_none(mm, addr, &pmd); |
| 1618 | if (result != SCAN_SUCCEED) |
| 1619 | goto next; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1620 | /* |
Michel Lespinasse | c1e8d7c | 2020-06-08 21:33:54 -0700 | [diff] [blame] | 1621 | * We need exclusive mmap_lock to retract page table. |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1622 | * |
| 1623 | * We use trylock due to lock inversion: we need to acquire |
Michel Lespinasse | c1e8d7c | 2020-06-08 21:33:54 -0700 | [diff] [blame] | 1624 | * mmap_lock while holding page lock. Fault path does it in |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 1625 | * reverse order. Trylock is a way to avoid deadlock. |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1626 | * |
| 1627 | * Also, it's not MADV_COLLAPSE's job to collapse other |
| 1628 | * mappings - let khugepaged take care of them later. |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1629 | */ |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1630 | result = SCAN_PTE_MAPPED_HUGEPAGE; |
| 1631 | if ((cc->is_khugepaged || is_target) && |
| 1632 | mmap_write_trylock(mm)) { |
Peter Xu | deb4c93 | 2022-05-12 20:22:55 -0700 | [diff] [blame] | 1633 | /* |
| 1634 | * When a vma is registered with uffd-wp, we can't |
| 1635 | * recycle the pmd pgtable because there can be pte |
| 1636 | * markers installed. Skip it only, so the rest mm/vma |
| 1637 | * can still have the same file mapped hugely, however |
| 1638 | * it'll always mapped in small page size for uffd-wp |
| 1639 | * registered ranges. |
| 1640 | */ |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1641 | if (hpage_collapse_test_exit(mm)) { |
| 1642 | result = SCAN_ANY_PROCESS; |
| 1643 | goto unlock_next; |
| 1644 | } |
| 1645 | if (userfaultfd_wp(vma)) { |
| 1646 | result = SCAN_PTE_UFFD_WP; |
| 1647 | goto unlock_next; |
| 1648 | } |
| 1649 | collapse_and_free_pmd(mm, vma, addr, pmd); |
| 1650 | if (!cc->is_khugepaged && is_target) |
| 1651 | result = set_huge_pmd(vma, addr, pmd, hpage); |
| 1652 | else |
| 1653 | result = SCAN_SUCCEED; |
| 1654 | |
| 1655 | unlock_next: |
Hugh Dickins | 18e7760 | 2020-08-06 23:26:22 -0700 | [diff] [blame] | 1656 | mmap_write_unlock(mm); |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1657 | goto next; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1658 | } |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1659 | /* |
| 1660 | * Calling context will handle target mm/addr. Otherwise, let |
| 1661 | * khugepaged try again later. |
| 1662 | */ |
| 1663 | if (!is_target) { |
| 1664 | khugepaged_add_pte_mapped_thp(mm, addr); |
| 1665 | continue; |
| 1666 | } |
| 1667 | next: |
| 1668 | if (is_target) |
| 1669 | target_result = result; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1670 | } |
| 1671 | i_mmap_unlock_write(mapping); |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1672 | return target_result; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1673 | } |
| 1674 | |
| 1675 | /** |
Song Liu | 99cb0db | 2019-09-23 15:38:00 -0700 | [diff] [blame] | 1676 | * collapse_file - collapse filemap/tmpfs/shmem pages into huge one. |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1677 | * |
Alex Shi | 336e6b5 | 2020-12-14 19:12:01 -0800 | [diff] [blame] | 1678 | * @mm: process address space where collapse happens |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1679 | * @addr: virtual collapse start address |
Alex Shi | 336e6b5 | 2020-12-14 19:12:01 -0800 | [diff] [blame] | 1680 | * @file: file that collapse on |
| 1681 | * @start: collapse start address |
Zach O'Keefe | 9710a78a | 2022-07-06 16:59:22 -0700 | [diff] [blame] | 1682 | * @cc: collapse context and scratchpad |
Alex Shi | 336e6b5 | 2020-12-14 19:12:01 -0800 | [diff] [blame] | 1683 | * |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1684 | * Basic scheme is simple, details are more complex: |
Hugh Dickins | 87c460a | 2018-11-30 14:10:43 -0800 | [diff] [blame] | 1685 | * - allocate and lock a new huge page; |
Matthew Wilcox | 77da938 | 2017-12-04 14:56:08 -0500 | [diff] [blame] | 1686 | * - scan page cache replacing old pages with the new one |
Song Liu | 99cb0db | 2019-09-23 15:38:00 -0700 | [diff] [blame] | 1687 | * + swap/gup in pages if necessary; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1688 | * + fill in gaps; |
Matthew Wilcox | 77da938 | 2017-12-04 14:56:08 -0500 | [diff] [blame] | 1689 | * + keep old pages around in case rollback is required; |
| 1690 | * - if replacing succeeds: |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1691 | * + copy data over; |
| 1692 | * + free old pages; |
Hugh Dickins | 87c460a | 2018-11-30 14:10:43 -0800 | [diff] [blame] | 1693 | * + unlock huge page; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1694 | * - if replacing failed; |
| 1695 | * + put all pages back and unfreeze them; |
Matthew Wilcox | 77da938 | 2017-12-04 14:56:08 -0500 | [diff] [blame] | 1696 | * + restore gaps in the page cache; |
Hugh Dickins | 87c460a | 2018-11-30 14:10:43 -0800 | [diff] [blame] | 1697 | * + unlock and free huge page; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1698 | */ |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 1699 | static int collapse_file(struct mm_struct *mm, unsigned long addr, |
| 1700 | struct file *file, pgoff_t start, |
| 1701 | struct collapse_control *cc) |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1702 | { |
Song Liu | 579c571 | 2019-09-23 15:37:57 -0700 | [diff] [blame] | 1703 | struct address_space *mapping = file->f_mapping; |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1704 | struct page *hpage; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1705 | pgoff_t index, end = start + HPAGE_PMD_NR; |
| 1706 | LIST_HEAD(pagelist); |
Matthew Wilcox | 77da938 | 2017-12-04 14:56:08 -0500 | [diff] [blame] | 1707 | XA_STATE_ORDER(xas, &mapping->i_pages, start, HPAGE_PMD_ORDER); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1708 | int nr_none = 0, result = SCAN_SUCCEED; |
Song Liu | 99cb0db | 2019-09-23 15:38:00 -0700 | [diff] [blame] | 1709 | bool is_shmem = shmem_file(file); |
Muchun Song | bf9ecea | 2021-02-24 12:03:27 -0800 | [diff] [blame] | 1710 | int nr; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1711 | |
Song Liu | 99cb0db | 2019-09-23 15:38:00 -0700 | [diff] [blame] | 1712 | VM_BUG_ON(!IS_ENABLED(CONFIG_READ_ONLY_THP_FOR_FS) && !is_shmem); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1713 | VM_BUG_ON(start & (HPAGE_PMD_NR - 1)); |
| 1714 | |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1715 | result = alloc_charge_hpage(&hpage, mm, cc); |
Zach O'Keefe | 9710a78a | 2022-07-06 16:59:22 -0700 | [diff] [blame] | 1716 | if (result != SCAN_SUCCEED) |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1717 | goto out; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1718 | |
Matthew Wilcox (Oracle) | 6b24ca4 | 2020-06-27 22:19:08 -0400 | [diff] [blame] | 1719 | /* |
| 1720 | * Ensure we have slots for all the pages in the range. This is |
| 1721 | * almost certainly a no-op because most of the pages must be present |
| 1722 | */ |
Hugh Dickins | 95feeab | 2018-11-30 14:10:50 -0800 | [diff] [blame] | 1723 | do { |
| 1724 | xas_lock_irq(&xas); |
| 1725 | xas_create_range(&xas); |
| 1726 | if (!xas_error(&xas)) |
| 1727 | break; |
| 1728 | xas_unlock_irq(&xas); |
| 1729 | if (!xas_nomem(&xas, GFP_KERNEL)) { |
Hugh Dickins | 95feeab | 2018-11-30 14:10:50 -0800 | [diff] [blame] | 1730 | result = SCAN_FAIL; |
| 1731 | goto out; |
| 1732 | } |
| 1733 | } while (1); |
| 1734 | |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1735 | __SetPageLocked(hpage); |
Song Liu | 99cb0db | 2019-09-23 15:38:00 -0700 | [diff] [blame] | 1736 | if (is_shmem) |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1737 | __SetPageSwapBacked(hpage); |
| 1738 | hpage->index = start; |
| 1739 | hpage->mapping = mapping; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1740 | |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1741 | /* |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1742 | * At this point the hpage is locked and not up-to-date. |
Hugh Dickins | 87c460a | 2018-11-30 14:10:43 -0800 | [diff] [blame] | 1743 | * It's safe to insert it into the page cache, because nobody would |
| 1744 | * be able to map it or use it in another way until we unlock it. |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1745 | */ |
| 1746 | |
Matthew Wilcox | 77da938 | 2017-12-04 14:56:08 -0500 | [diff] [blame] | 1747 | xas_set(&xas, start); |
| 1748 | for (index = start; index < end; index++) { |
| 1749 | struct page *page = xas_next(&xas); |
| 1750 | |
| 1751 | VM_BUG_ON(index != xas.xa_index); |
Song Liu | 99cb0db | 2019-09-23 15:38:00 -0700 | [diff] [blame] | 1752 | if (is_shmem) { |
| 1753 | if (!page) { |
| 1754 | /* |
| 1755 | * Stop if extent has been truncated or |
| 1756 | * hole-punched, and is now completely |
| 1757 | * empty. |
| 1758 | */ |
| 1759 | if (index == start) { |
| 1760 | if (!xas_next_entry(&xas, end - 1)) { |
| 1761 | result = SCAN_TRUNCATED; |
| 1762 | goto xa_locked; |
| 1763 | } |
| 1764 | xas_set(&xas, index); |
| 1765 | } |
| 1766 | if (!shmem_charge(mapping->host, 1)) { |
| 1767 | result = SCAN_FAIL; |
Hugh Dickins | 042a308 | 2018-11-30 14:10:39 -0800 | [diff] [blame] | 1768 | goto xa_locked; |
Hugh Dickins | 701270f | 2018-11-30 14:10:25 -0800 | [diff] [blame] | 1769 | } |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1770 | xas_store(&xas, hpage); |
Song Liu | 99cb0db | 2019-09-23 15:38:00 -0700 | [diff] [blame] | 1771 | nr_none++; |
| 1772 | continue; |
Hugh Dickins | 701270f | 2018-11-30 14:10:25 -0800 | [diff] [blame] | 1773 | } |
Song Liu | 99cb0db | 2019-09-23 15:38:00 -0700 | [diff] [blame] | 1774 | |
| 1775 | if (xa_is_value(page) || !PageUptodate(page)) { |
Matthew Wilcox (Oracle) | 7459c14 | 2022-09-02 20:46:27 +0100 | [diff] [blame] | 1776 | struct folio *folio; |
| 1777 | |
Song Liu | 99cb0db | 2019-09-23 15:38:00 -0700 | [diff] [blame] | 1778 | xas_unlock_irq(&xas); |
| 1779 | /* swap in or instantiate fallocated page */ |
Matthew Wilcox (Oracle) | 7459c14 | 2022-09-02 20:46:27 +0100 | [diff] [blame] | 1780 | if (shmem_get_folio(mapping->host, index, |
| 1781 | &folio, SGP_NOALLOC)) { |
Song Liu | 99cb0db | 2019-09-23 15:38:00 -0700 | [diff] [blame] | 1782 | result = SCAN_FAIL; |
| 1783 | goto xa_unlocked; |
| 1784 | } |
Matthew Wilcox (Oracle) | 7459c14 | 2022-09-02 20:46:27 +0100 | [diff] [blame] | 1785 | page = folio_file_page(folio, index); |
Song Liu | 99cb0db | 2019-09-23 15:38:00 -0700 | [diff] [blame] | 1786 | } else if (trylock_page(page)) { |
| 1787 | get_page(page); |
| 1788 | xas_unlock_irq(&xas); |
| 1789 | } else { |
| 1790 | result = SCAN_PAGE_LOCK; |
Hugh Dickins | 042a308 | 2018-11-30 14:10:39 -0800 | [diff] [blame] | 1791 | goto xa_locked; |
Matthew Wilcox | 77da938 | 2017-12-04 14:56:08 -0500 | [diff] [blame] | 1792 | } |
Song Liu | 99cb0db | 2019-09-23 15:38:00 -0700 | [diff] [blame] | 1793 | } else { /* !is_shmem */ |
| 1794 | if (!page || xa_is_value(page)) { |
| 1795 | xas_unlock_irq(&xas); |
| 1796 | page_cache_sync_readahead(mapping, &file->f_ra, |
| 1797 | file, index, |
David Howells | e5a59d3 | 2020-09-04 16:36:16 -0700 | [diff] [blame] | 1798 | end - index); |
Song Liu | 99cb0db | 2019-09-23 15:38:00 -0700 | [diff] [blame] | 1799 | /* drain pagevecs to help isolate_lru_page() */ |
| 1800 | lru_add_drain(); |
| 1801 | page = find_lock_page(mapping, index); |
| 1802 | if (unlikely(page == NULL)) { |
| 1803 | result = SCAN_FAIL; |
| 1804 | goto xa_unlocked; |
| 1805 | } |
Song Liu | 75f3606 | 2019-11-30 17:57:19 -0800 | [diff] [blame] | 1806 | } else if (PageDirty(page)) { |
| 1807 | /* |
| 1808 | * khugepaged only works on read-only fd, |
| 1809 | * so this page is dirty because it hasn't |
| 1810 | * been flushed since first write. There |
| 1811 | * won't be new dirty pages. |
| 1812 | * |
| 1813 | * Trigger async flush here and hope the |
| 1814 | * writeback is done when khugepaged |
| 1815 | * revisits this page. |
| 1816 | * |
| 1817 | * This is a one-off situation. We are not |
| 1818 | * forcing writeback in loop. |
| 1819 | */ |
| 1820 | xas_unlock_irq(&xas); |
| 1821 | filemap_flush(mapping); |
| 1822 | result = SCAN_FAIL; |
| 1823 | goto xa_unlocked; |
Rongwei Wang | 74c42e1 | 2021-10-28 14:36:27 -0700 | [diff] [blame] | 1824 | } else if (PageWriteback(page)) { |
| 1825 | xas_unlock_irq(&xas); |
| 1826 | result = SCAN_FAIL; |
| 1827 | goto xa_unlocked; |
Song Liu | 99cb0db | 2019-09-23 15:38:00 -0700 | [diff] [blame] | 1828 | } else if (trylock_page(page)) { |
| 1829 | get_page(page); |
| 1830 | xas_unlock_irq(&xas); |
| 1831 | } else { |
| 1832 | result = SCAN_PAGE_LOCK; |
| 1833 | goto xa_locked; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1834 | } |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1835 | } |
| 1836 | |
| 1837 | /* |
Matthew Wilcox | b93b016 | 2018-04-10 16:36:56 -0700 | [diff] [blame] | 1838 | * The page must be locked, so we can drop the i_pages lock |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1839 | * without racing with truncate. |
| 1840 | */ |
| 1841 | VM_BUG_ON_PAGE(!PageLocked(page), page); |
Song Liu | 4655e5e | 2019-11-15 17:34:53 -0800 | [diff] [blame] | 1842 | |
| 1843 | /* make sure the page is up to date */ |
| 1844 | if (unlikely(!PageUptodate(page))) { |
| 1845 | result = SCAN_FAIL; |
| 1846 | goto out_unlock; |
| 1847 | } |
Hugh Dickins | 06a5e12 | 2018-11-30 14:10:47 -0800 | [diff] [blame] | 1848 | |
| 1849 | /* |
| 1850 | * If file was truncated then extended, or hole-punched, before |
| 1851 | * we locked the first page, then a THP might be there already. |
Zach O'Keefe | 58ac9a8 | 2022-09-22 15:40:38 -0700 | [diff] [blame] | 1852 | * This will be discovered on the first iteration. |
Hugh Dickins | 06a5e12 | 2018-11-30 14:10:47 -0800 | [diff] [blame] | 1853 | */ |
| 1854 | if (PageTransCompound(page)) { |
Zach O'Keefe | 58ac9a8 | 2022-09-22 15:40:38 -0700 | [diff] [blame] | 1855 | struct page *head = compound_head(page); |
| 1856 | |
| 1857 | result = compound_order(head) == HPAGE_PMD_ORDER && |
| 1858 | head->index == start |
| 1859 | /* Maybe PMD-mapped */ |
| 1860 | ? SCAN_PTE_MAPPED_HUGEPAGE |
| 1861 | : SCAN_PAGE_COMPOUND; |
Hugh Dickins | 06a5e12 | 2018-11-30 14:10:47 -0800 | [diff] [blame] | 1862 | goto out_unlock; |
| 1863 | } |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1864 | |
| 1865 | if (page_mapping(page) != mapping) { |
| 1866 | result = SCAN_TRUNCATED; |
| 1867 | goto out_unlock; |
| 1868 | } |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1869 | |
Rongwei Wang | 74c42e1 | 2021-10-28 14:36:27 -0700 | [diff] [blame] | 1870 | if (!is_shmem && (PageDirty(page) || |
| 1871 | PageWriteback(page))) { |
Song Liu | 4655e5e | 2019-11-15 17:34:53 -0800 | [diff] [blame] | 1872 | /* |
| 1873 | * khugepaged only works on read-only fd, so this |
| 1874 | * page is dirty because it hasn't been flushed |
| 1875 | * since first write. |
| 1876 | */ |
| 1877 | result = SCAN_FAIL; |
| 1878 | goto out_unlock; |
| 1879 | } |
| 1880 | |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1881 | if (isolate_lru_page(page)) { |
| 1882 | result = SCAN_DEL_PAGE_LRU; |
Hugh Dickins | 042a308 | 2018-11-30 14:10:39 -0800 | [diff] [blame] | 1883 | goto out_unlock; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1884 | } |
| 1885 | |
Song Liu | 99cb0db | 2019-09-23 15:38:00 -0700 | [diff] [blame] | 1886 | if (page_has_private(page) && |
| 1887 | !try_to_release_page(page, GFP_KERNEL)) { |
| 1888 | result = SCAN_PAGE_HAS_PRIVATE; |
Hugh Dickins | 2f33a70 | 2020-05-27 22:20:43 -0700 | [diff] [blame] | 1889 | putback_lru_page(page); |
Song Liu | 99cb0db | 2019-09-23 15:38:00 -0700 | [diff] [blame] | 1890 | goto out_unlock; |
| 1891 | } |
| 1892 | |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1893 | if (page_mapped(page)) |
Matthew Wilcox (Oracle) | 869f7ee | 2022-02-15 09:28:49 -0500 | [diff] [blame] | 1894 | try_to_unmap(page_folio(page), |
| 1895 | TTU_IGNORE_MLOCK | TTU_BATCH_FLUSH); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1896 | |
Matthew Wilcox | 77da938 | 2017-12-04 14:56:08 -0500 | [diff] [blame] | 1897 | xas_lock_irq(&xas); |
| 1898 | xas_set(&xas, index); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1899 | |
Matthew Wilcox | 77da938 | 2017-12-04 14:56:08 -0500 | [diff] [blame] | 1900 | VM_BUG_ON_PAGE(page != xas_load(&xas), page); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1901 | |
| 1902 | /* |
| 1903 | * The page is expected to have page_count() == 3: |
| 1904 | * - we hold a pin on it; |
Matthew Wilcox | 77da938 | 2017-12-04 14:56:08 -0500 | [diff] [blame] | 1905 | * - one reference from page cache; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1906 | * - one from isolate_lru_page; |
| 1907 | */ |
| 1908 | if (!page_ref_freeze(page, 3)) { |
| 1909 | result = SCAN_PAGE_COUNT; |
Hugh Dickins | 042a308 | 2018-11-30 14:10:39 -0800 | [diff] [blame] | 1910 | xas_unlock_irq(&xas); |
| 1911 | putback_lru_page(page); |
| 1912 | goto out_unlock; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1913 | } |
| 1914 | |
| 1915 | /* |
| 1916 | * Add the page to the list to be able to undo the collapse if |
| 1917 | * something go wrong. |
| 1918 | */ |
| 1919 | list_add_tail(&page->lru, &pagelist); |
| 1920 | |
| 1921 | /* Finally, replace with the new page. */ |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1922 | xas_store(&xas, hpage); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1923 | continue; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1924 | out_unlock: |
| 1925 | unlock_page(page); |
| 1926 | put_page(page); |
Hugh Dickins | 042a308 | 2018-11-30 14:10:39 -0800 | [diff] [blame] | 1927 | goto xa_unlocked; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1928 | } |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1929 | nr = thp_nr_pages(hpage); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1930 | |
Song Liu | 99cb0db | 2019-09-23 15:38:00 -0700 | [diff] [blame] | 1931 | if (is_shmem) |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1932 | __mod_lruvec_page_state(hpage, NR_SHMEM_THPS, nr); |
Song Liu | 09d91cd | 2019-09-23 15:38:03 -0700 | [diff] [blame] | 1933 | else { |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1934 | __mod_lruvec_page_state(hpage, NR_FILE_THPS, nr); |
Song Liu | 09d91cd | 2019-09-23 15:38:03 -0700 | [diff] [blame] | 1935 | filemap_nr_thps_inc(mapping); |
Collin Fijalkovich | eb6ecbe | 2021-06-30 18:51:32 -0700 | [diff] [blame] | 1936 | /* |
| 1937 | * Paired with smp_mb() in do_dentry_open() to ensure |
| 1938 | * i_writecount is up to date and the update to nr_thps is |
| 1939 | * visible. Ensures the page cache will be truncated if the |
| 1940 | * file is opened writable. |
| 1941 | */ |
| 1942 | smp_mb(); |
| 1943 | if (inode_is_open_for_write(mapping->host)) { |
| 1944 | result = SCAN_FAIL; |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1945 | __mod_lruvec_page_state(hpage, NR_FILE_THPS, -nr); |
Collin Fijalkovich | eb6ecbe | 2021-06-30 18:51:32 -0700 | [diff] [blame] | 1946 | filemap_nr_thps_dec(mapping); |
| 1947 | goto xa_locked; |
| 1948 | } |
Song Liu | 09d91cd | 2019-09-23 15:38:03 -0700 | [diff] [blame] | 1949 | } |
Song Liu | 99cb0db | 2019-09-23 15:38:00 -0700 | [diff] [blame] | 1950 | |
Hugh Dickins | 042a308 | 2018-11-30 14:10:39 -0800 | [diff] [blame] | 1951 | if (nr_none) { |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1952 | __mod_lruvec_page_state(hpage, NR_FILE_PAGES, nr_none); |
Miaohe Lin | 2f55f07 | 2022-06-25 17:28:13 +0800 | [diff] [blame] | 1953 | /* nr_none is always 0 for non-shmem. */ |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1954 | __mod_lruvec_page_state(hpage, NR_SHMEM, nr_none); |
Hugh Dickins | 042a308 | 2018-11-30 14:10:39 -0800 | [diff] [blame] | 1955 | } |
| 1956 | |
Matthew Wilcox (Oracle) | 6b24ca4 | 2020-06-27 22:19:08 -0400 | [diff] [blame] | 1957 | /* Join all the small entries into a single multi-index entry */ |
| 1958 | xas_set_order(&xas, start, HPAGE_PMD_ORDER); |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1959 | xas_store(&xas, hpage); |
Hugh Dickins | 042a308 | 2018-11-30 14:10:39 -0800 | [diff] [blame] | 1960 | xa_locked: |
| 1961 | xas_unlock_irq(&xas); |
Matthew Wilcox | 77da938 | 2017-12-04 14:56:08 -0500 | [diff] [blame] | 1962 | xa_unlocked: |
Hugh Dickins | 042a308 | 2018-11-30 14:10:39 -0800 | [diff] [blame] | 1963 | |
Hugh Dickins | 6d9df8a | 2022-02-14 18:40:55 -0800 | [diff] [blame] | 1964 | /* |
| 1965 | * If collapse is successful, flush must be done now before copying. |
| 1966 | * If collapse is unsuccessful, does flush actually need to be done? |
| 1967 | * Do it anyway, to clear the state. |
| 1968 | */ |
| 1969 | try_to_unmap_flush(); |
| 1970 | |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1971 | if (result == SCAN_SUCCEED) { |
Matthew Wilcox | 77da938 | 2017-12-04 14:56:08 -0500 | [diff] [blame] | 1972 | struct page *page, *tmp; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1973 | |
| 1974 | /* |
Matthew Wilcox | 77da938 | 2017-12-04 14:56:08 -0500 | [diff] [blame] | 1975 | * Replacing old pages with new one has succeeded, now we |
| 1976 | * need to copy the content and free the old pages. |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1977 | */ |
Hugh Dickins | 2af8ff2 | 2018-11-30 14:10:35 -0800 | [diff] [blame] | 1978 | index = start; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1979 | list_for_each_entry_safe(page, tmp, &pagelist, lru) { |
Hugh Dickins | 2af8ff2 | 2018-11-30 14:10:35 -0800 | [diff] [blame] | 1980 | while (index < page->index) { |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1981 | clear_highpage(hpage + (index % HPAGE_PMD_NR)); |
Hugh Dickins | 2af8ff2 | 2018-11-30 14:10:35 -0800 | [diff] [blame] | 1982 | index++; |
| 1983 | } |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1984 | copy_highpage(hpage + (page->index % HPAGE_PMD_NR), |
| 1985 | page); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1986 | list_del(&page->lru); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1987 | page->mapping = NULL; |
Hugh Dickins | 042a308 | 2018-11-30 14:10:39 -0800 | [diff] [blame] | 1988 | page_ref_unfreeze(page, 1); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1989 | ClearPageActive(page); |
| 1990 | ClearPageUnevictable(page); |
Hugh Dickins | 042a308 | 2018-11-30 14:10:39 -0800 | [diff] [blame] | 1991 | unlock_page(page); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1992 | put_page(page); |
Hugh Dickins | 2af8ff2 | 2018-11-30 14:10:35 -0800 | [diff] [blame] | 1993 | index++; |
| 1994 | } |
| 1995 | while (index < end) { |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 1996 | clear_highpage(hpage + (index % HPAGE_PMD_NR)); |
Hugh Dickins | 2af8ff2 | 2018-11-30 14:10:35 -0800 | [diff] [blame] | 1997 | index++; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 1998 | } |
| 1999 | |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 2000 | SetPageUptodate(hpage); |
| 2001 | page_ref_add(hpage, HPAGE_PMD_NR - 1); |
Johannes Weiner | 6058eae | 2020-06-03 16:02:40 -0700 | [diff] [blame] | 2002 | if (is_shmem) |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 2003 | set_page_dirty(hpage); |
| 2004 | lru_cache_add(hpage); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2005 | |
Hugh Dickins | 042a308 | 2018-11-30 14:10:39 -0800 | [diff] [blame] | 2006 | /* |
| 2007 | * Remove pte page tables, so we can re-fault the page as huge. |
| 2008 | */ |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 2009 | result = retract_page_tables(mapping, start, mm, addr, hpage, |
| 2010 | cc); |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 2011 | unlock_page(hpage); |
| 2012 | hpage = NULL; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2013 | } else { |
Matthew Wilcox | 77da938 | 2017-12-04 14:56:08 -0500 | [diff] [blame] | 2014 | struct page *page; |
Hugh Dickins | aaa52e3 | 2018-11-30 14:10:29 -0800 | [diff] [blame] | 2015 | |
Matthew Wilcox | 77da938 | 2017-12-04 14:56:08 -0500 | [diff] [blame] | 2016 | /* Something went wrong: roll back page cache changes */ |
Matthew Wilcox | 77da938 | 2017-12-04 14:56:08 -0500 | [diff] [blame] | 2017 | xas_lock_irq(&xas); |
Miaohe Lin | 2f55f07 | 2022-06-25 17:28:13 +0800 | [diff] [blame] | 2018 | if (nr_none) { |
| 2019 | mapping->nrpages -= nr_none; |
Song Liu | 99cb0db | 2019-09-23 15:38:00 -0700 | [diff] [blame] | 2020 | shmem_uncharge(mapping->host, nr_none); |
Miaohe Lin | 2f55f07 | 2022-06-25 17:28:13 +0800 | [diff] [blame] | 2021 | } |
Hugh Dickins | aaa52e3 | 2018-11-30 14:10:29 -0800 | [diff] [blame] | 2022 | |
Matthew Wilcox | 77da938 | 2017-12-04 14:56:08 -0500 | [diff] [blame] | 2023 | xas_set(&xas, start); |
| 2024 | xas_for_each(&xas, page, end - 1) { |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2025 | page = list_first_entry_or_null(&pagelist, |
| 2026 | struct page, lru); |
Matthew Wilcox | 77da938 | 2017-12-04 14:56:08 -0500 | [diff] [blame] | 2027 | if (!page || xas.xa_index < page->index) { |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2028 | if (!nr_none) |
| 2029 | break; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2030 | nr_none--; |
Johannes Weiner | 59749e6 | 2016-12-12 16:43:35 -0800 | [diff] [blame] | 2031 | /* Put holes back where they were */ |
Matthew Wilcox | 77da938 | 2017-12-04 14:56:08 -0500 | [diff] [blame] | 2032 | xas_store(&xas, NULL); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2033 | continue; |
| 2034 | } |
| 2035 | |
Matthew Wilcox | 77da938 | 2017-12-04 14:56:08 -0500 | [diff] [blame] | 2036 | VM_BUG_ON_PAGE(page->index != xas.xa_index, page); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2037 | |
| 2038 | /* Unfreeze the page. */ |
| 2039 | list_del(&page->lru); |
| 2040 | page_ref_unfreeze(page, 2); |
Matthew Wilcox | 77da938 | 2017-12-04 14:56:08 -0500 | [diff] [blame] | 2041 | xas_store(&xas, page); |
| 2042 | xas_pause(&xas); |
| 2043 | xas_unlock_irq(&xas); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2044 | unlock_page(page); |
Hugh Dickins | 042a308 | 2018-11-30 14:10:39 -0800 | [diff] [blame] | 2045 | putback_lru_page(page); |
Matthew Wilcox | 77da938 | 2017-12-04 14:56:08 -0500 | [diff] [blame] | 2046 | xas_lock_irq(&xas); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2047 | } |
| 2048 | VM_BUG_ON(nr_none); |
Matthew Wilcox | 77da938 | 2017-12-04 14:56:08 -0500 | [diff] [blame] | 2049 | xas_unlock_irq(&xas); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2050 | |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 2051 | hpage->mapping = NULL; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2052 | } |
Hugh Dickins | 042a308 | 2018-11-30 14:10:39 -0800 | [diff] [blame] | 2053 | |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 2054 | if (hpage) |
| 2055 | unlock_page(hpage); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2056 | out: |
| 2057 | VM_BUG_ON(!list_empty(&pagelist)); |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 2058 | if (hpage) { |
| 2059 | mem_cgroup_uncharge(page_folio(hpage)); |
| 2060 | put_page(hpage); |
Yang Shi | c6a7f44 | 2022-07-06 16:59:20 -0700 | [diff] [blame] | 2061 | } |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2062 | /* TODO: tracepoints */ |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 2063 | return result; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2064 | } |
| 2065 | |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 2066 | static int hpage_collapse_scan_file(struct mm_struct *mm, unsigned long addr, |
| 2067 | struct file *file, pgoff_t start, |
| 2068 | struct collapse_control *cc) |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2069 | { |
| 2070 | struct page *page = NULL; |
Song Liu | 579c571 | 2019-09-23 15:37:57 -0700 | [diff] [blame] | 2071 | struct address_space *mapping = file->f_mapping; |
Matthew Wilcox | 85b392d | 2017-12-04 15:06:23 -0500 | [diff] [blame] | 2072 | XA_STATE(xas, &mapping->i_pages, start); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2073 | int present, swap; |
| 2074 | int node = NUMA_NO_NODE; |
| 2075 | int result = SCAN_SUCCEED; |
| 2076 | |
| 2077 | present = 0; |
| 2078 | swap = 0; |
Zach O'Keefe | 34d6b47 | 2022-07-06 16:59:21 -0700 | [diff] [blame] | 2079 | memset(cc->node_load, 0, sizeof(cc->node_load)); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2080 | rcu_read_lock(); |
Matthew Wilcox | 85b392d | 2017-12-04 15:06:23 -0500 | [diff] [blame] | 2081 | xas_for_each(&xas, page, start + HPAGE_PMD_NR - 1) { |
| 2082 | if (xas_retry(&xas, page)) |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2083 | continue; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2084 | |
Matthew Wilcox | 85b392d | 2017-12-04 15:06:23 -0500 | [diff] [blame] | 2085 | if (xa_is_value(page)) { |
Zach O'Keefe | d8ea7cc | 2022-07-06 16:59:24 -0700 | [diff] [blame] | 2086 | ++swap; |
| 2087 | if (cc->is_khugepaged && |
| 2088 | swap > khugepaged_max_ptes_swap) { |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2089 | result = SCAN_EXCEED_SWAP_PTE; |
Yang Yang | e9ea874 | 2022-01-14 14:07:55 -0800 | [diff] [blame] | 2090 | count_vm_event(THP_SCAN_EXCEED_SWAP_PTE); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2091 | break; |
| 2092 | } |
| 2093 | continue; |
| 2094 | } |
| 2095 | |
Matthew Wilcox (Oracle) | 6b24ca4 | 2020-06-27 22:19:08 -0400 | [diff] [blame] | 2096 | /* |
Zach O'Keefe | 58ac9a8 | 2022-09-22 15:40:38 -0700 | [diff] [blame] | 2097 | * TODO: khugepaged should compact smaller compound pages |
Matthew Wilcox (Oracle) | 6b24ca4 | 2020-06-27 22:19:08 -0400 | [diff] [blame] | 2098 | * into a PMD sized page |
| 2099 | */ |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2100 | if (PageTransCompound(page)) { |
Zach O'Keefe | 58ac9a8 | 2022-09-22 15:40:38 -0700 | [diff] [blame] | 2101 | struct page *head = compound_head(page); |
| 2102 | |
| 2103 | result = compound_order(head) == HPAGE_PMD_ORDER && |
| 2104 | head->index == start |
| 2105 | /* Maybe PMD-mapped */ |
| 2106 | ? SCAN_PTE_MAPPED_HUGEPAGE |
| 2107 | : SCAN_PAGE_COMPOUND; |
| 2108 | /* |
| 2109 | * For SCAN_PTE_MAPPED_HUGEPAGE, further processing |
| 2110 | * by the caller won't touch the page cache, and so |
| 2111 | * it's safe to skip LRU and refcount checks before |
| 2112 | * returning. |
| 2113 | */ |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2114 | break; |
| 2115 | } |
| 2116 | |
| 2117 | node = page_to_nid(page); |
Zach O'Keefe | 7d2c438 | 2022-07-06 16:59:28 -0700 | [diff] [blame] | 2118 | if (hpage_collapse_scan_abort(node, cc)) { |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2119 | result = SCAN_SCAN_ABORT; |
| 2120 | break; |
| 2121 | } |
Zach O'Keefe | 34d6b47 | 2022-07-06 16:59:21 -0700 | [diff] [blame] | 2122 | cc->node_load[node]++; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2123 | |
| 2124 | if (!PageLRU(page)) { |
| 2125 | result = SCAN_PAGE_LRU; |
| 2126 | break; |
| 2127 | } |
| 2128 | |
Song Liu | 99cb0db | 2019-09-23 15:38:00 -0700 | [diff] [blame] | 2129 | if (page_count(page) != |
| 2130 | 1 + page_mapcount(page) + page_has_private(page)) { |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2131 | result = SCAN_PAGE_COUNT; |
| 2132 | break; |
| 2133 | } |
| 2134 | |
| 2135 | /* |
| 2136 | * We probably should check if the page is referenced here, but |
| 2137 | * nobody would transfer pte_young() to PageReferenced() for us. |
| 2138 | * And rmap walk here is just too costly... |
| 2139 | */ |
| 2140 | |
| 2141 | present++; |
| 2142 | |
| 2143 | if (need_resched()) { |
Matthew Wilcox | 85b392d | 2017-12-04 15:06:23 -0500 | [diff] [blame] | 2144 | xas_pause(&xas); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2145 | cond_resched_rcu(); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2146 | } |
| 2147 | } |
| 2148 | rcu_read_unlock(); |
| 2149 | |
| 2150 | if (result == SCAN_SUCCEED) { |
Zach O'Keefe | d8ea7cc | 2022-07-06 16:59:24 -0700 | [diff] [blame] | 2151 | if (cc->is_khugepaged && |
| 2152 | present < HPAGE_PMD_NR - khugepaged_max_ptes_none) { |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2153 | result = SCAN_EXCEED_NONE_PTE; |
Yang Yang | e9ea874 | 2022-01-14 14:07:55 -0800 | [diff] [blame] | 2154 | count_vm_event(THP_SCAN_EXCEED_NONE_PTE); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2155 | } else { |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 2156 | result = collapse_file(mm, addr, file, start, cc); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2157 | } |
| 2158 | } |
| 2159 | |
Zach O'Keefe | d41fd20 | 2022-09-22 15:40:40 -0700 | [diff] [blame] | 2160 | trace_mm_khugepaged_scan_file(mm, page, file->f_path.dentry->d_iname, |
| 2161 | present, swap, result); |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 2162 | return result; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2163 | } |
| 2164 | #else |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 2165 | static int hpage_collapse_scan_file(struct mm_struct *mm, unsigned long addr, |
| 2166 | struct file *file, pgoff_t start, |
| 2167 | struct collapse_control *cc) |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2168 | { |
| 2169 | BUILD_BUG(); |
| 2170 | } |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 2171 | |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 2172 | static void khugepaged_collapse_pte_mapped_thps(struct khugepaged_mm_slot *mm_slot) |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 2173 | { |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 2174 | } |
Zach O'Keefe | 58ac9a8 | 2022-09-22 15:40:38 -0700 | [diff] [blame] | 2175 | |
| 2176 | static bool khugepaged_add_pte_mapped_thp(struct mm_struct *mm, |
| 2177 | unsigned long addr) |
| 2178 | { |
| 2179 | return false; |
| 2180 | } |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2181 | #endif |
| 2182 | |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 2183 | static unsigned int khugepaged_scan_mm_slot(unsigned int pages, int *result, |
Zach O'Keefe | 34d6b47 | 2022-07-06 16:59:21 -0700 | [diff] [blame] | 2184 | struct collapse_control *cc) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2185 | __releases(&khugepaged_mm_lock) |
| 2186 | __acquires(&khugepaged_mm_lock) |
| 2187 | { |
Matthew Wilcox (Oracle) | 6854050 | 2022-09-06 19:49:00 +0000 | [diff] [blame] | 2188 | struct vma_iterator vmi; |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 2189 | struct khugepaged_mm_slot *mm_slot; |
| 2190 | struct mm_slot *slot; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2191 | struct mm_struct *mm; |
| 2192 | struct vm_area_struct *vma; |
| 2193 | int progress = 0; |
| 2194 | |
| 2195 | VM_BUG_ON(!pages); |
Lance Roy | 35f3aa3 | 2018-10-04 23:45:47 -0700 | [diff] [blame] | 2196 | lockdep_assert_held(&khugepaged_mm_lock); |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 2197 | *result = SCAN_FAIL; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2198 | |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 2199 | if (khugepaged_scan.mm_slot) { |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2200 | mm_slot = khugepaged_scan.mm_slot; |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 2201 | slot = &mm_slot->slot; |
| 2202 | } else { |
| 2203 | slot = list_entry(khugepaged_scan.mm_head.next, |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2204 | struct mm_slot, mm_node); |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 2205 | mm_slot = mm_slot_entry(slot, struct khugepaged_mm_slot, slot); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2206 | khugepaged_scan.address = 0; |
| 2207 | khugepaged_scan.mm_slot = mm_slot; |
| 2208 | } |
| 2209 | spin_unlock(&khugepaged_mm_lock); |
Song Liu | 27e1f82 | 2019-09-23 15:38:30 -0700 | [diff] [blame] | 2210 | khugepaged_collapse_pte_mapped_thps(mm_slot); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2211 | |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 2212 | mm = slot->mm; |
Yang Shi | 3b454ad | 2018-01-31 16:18:28 -0800 | [diff] [blame] | 2213 | /* |
| 2214 | * Don't wait for semaphore (to avoid long wait times). Just move to |
| 2215 | * the next mm on the list. |
| 2216 | */ |
| 2217 | vma = NULL; |
Michel Lespinasse | d8ed45c | 2020-06-08 21:33:25 -0700 | [diff] [blame] | 2218 | if (unlikely(!mmap_read_trylock(mm))) |
Michel Lespinasse | c1e8d7c | 2020-06-08 21:33:54 -0700 | [diff] [blame] | 2219 | goto breakouterloop_mmap_lock; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2220 | |
| 2221 | progress++; |
Matthew Wilcox (Oracle) | 6854050 | 2022-09-06 19:49:00 +0000 | [diff] [blame] | 2222 | if (unlikely(hpage_collapse_test_exit(mm))) |
| 2223 | goto breakouterloop; |
| 2224 | |
| 2225 | vma_iter_init(&vmi, mm, khugepaged_scan.address); |
| 2226 | for_each_vma(vmi, vma) { |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2227 | unsigned long hstart, hend; |
| 2228 | |
| 2229 | cond_resched(); |
Zach O'Keefe | 7d2c438 | 2022-07-06 16:59:28 -0700 | [diff] [blame] | 2230 | if (unlikely(hpage_collapse_test_exit(mm))) { |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2231 | progress++; |
| 2232 | break; |
| 2233 | } |
Zach O'Keefe | a7f4e6e | 2022-07-06 16:59:25 -0700 | [diff] [blame] | 2234 | if (!hugepage_vma_check(vma, vma->vm_flags, false, false, true)) { |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2235 | skip: |
| 2236 | progress++; |
| 2237 | continue; |
| 2238 | } |
Yang Shi | 4fa6893 | 2022-06-16 10:48:35 -0700 | [diff] [blame] | 2239 | hstart = round_up(vma->vm_start, HPAGE_PMD_SIZE); |
| 2240 | hend = round_down(vma->vm_end, HPAGE_PMD_SIZE); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2241 | if (khugepaged_scan.address > hend) |
| 2242 | goto skip; |
| 2243 | if (khugepaged_scan.address < hstart) |
| 2244 | khugepaged_scan.address = hstart; |
| 2245 | VM_BUG_ON(khugepaged_scan.address & ~HPAGE_PMD_MASK); |
| 2246 | |
| 2247 | while (khugepaged_scan.address < hend) { |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 2248 | bool mmap_locked = true; |
| 2249 | |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2250 | cond_resched(); |
Zach O'Keefe | 7d2c438 | 2022-07-06 16:59:28 -0700 | [diff] [blame] | 2251 | if (unlikely(hpage_collapse_test_exit(mm))) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2252 | goto breakouterloop; |
| 2253 | |
| 2254 | VM_BUG_ON(khugepaged_scan.address < hstart || |
| 2255 | khugepaged_scan.address + HPAGE_PMD_SIZE > |
| 2256 | hend); |
Song Liu | 99cb0db | 2019-09-23 15:38:00 -0700 | [diff] [blame] | 2257 | if (IS_ENABLED(CONFIG_SHMEM) && vma->vm_file) { |
Matthew Wilcox (Oracle) | 396bcc5 | 2020-04-06 20:04:35 -0700 | [diff] [blame] | 2258 | struct file *file = get_file(vma->vm_file); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2259 | pgoff_t pgoff = linear_page_index(vma, |
| 2260 | khugepaged_scan.address); |
Song Liu | 99cb0db | 2019-09-23 15:38:00 -0700 | [diff] [blame] | 2261 | |
Michel Lespinasse | d8ed45c | 2020-06-08 21:33:25 -0700 | [diff] [blame] | 2262 | mmap_read_unlock(mm); |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 2263 | *result = hpage_collapse_scan_file(mm, |
| 2264 | khugepaged_scan.address, |
| 2265 | file, pgoff, cc); |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 2266 | mmap_locked = false; |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2267 | fput(file); |
| 2268 | } else { |
Zach O'Keefe | 7d2c438 | 2022-07-06 16:59:28 -0700 | [diff] [blame] | 2269 | *result = hpage_collapse_scan_pmd(mm, vma, |
| 2270 | khugepaged_scan.address, |
| 2271 | &mmap_locked, |
| 2272 | cc); |
Kirill A. Shutemov | f3f0e1d | 2016-07-26 15:26:32 -0700 | [diff] [blame] | 2273 | } |
Zach O'Keefe | 58ac9a8 | 2022-09-22 15:40:38 -0700 | [diff] [blame] | 2274 | switch (*result) { |
| 2275 | case SCAN_PTE_MAPPED_HUGEPAGE: { |
| 2276 | pmd_t *pmd; |
| 2277 | |
| 2278 | *result = find_pmd_or_thp_or_none(mm, |
| 2279 | khugepaged_scan.address, |
| 2280 | &pmd); |
| 2281 | if (*result != SCAN_SUCCEED) |
| 2282 | break; |
| 2283 | if (!khugepaged_add_pte_mapped_thp(mm, |
| 2284 | khugepaged_scan.address)) |
| 2285 | break; |
| 2286 | } fallthrough; |
| 2287 | case SCAN_SUCCEED: |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 2288 | ++khugepaged_pages_collapsed; |
Zach O'Keefe | 58ac9a8 | 2022-09-22 15:40:38 -0700 | [diff] [blame] | 2289 | break; |
| 2290 | default: |
| 2291 | break; |
| 2292 | } |
| 2293 | |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2294 | /* move to next address */ |
| 2295 | khugepaged_scan.address += HPAGE_PMD_SIZE; |
| 2296 | progress += HPAGE_PMD_NR; |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 2297 | if (!mmap_locked) |
| 2298 | /* |
| 2299 | * We released mmap_lock so break loop. Note |
| 2300 | * that we drop mmap_lock before all hugepage |
| 2301 | * allocations, so if allocation fails, we are |
| 2302 | * guaranteed to break here and report the |
| 2303 | * correct result back to caller. |
| 2304 | */ |
Michel Lespinasse | c1e8d7c | 2020-06-08 21:33:54 -0700 | [diff] [blame] | 2305 | goto breakouterloop_mmap_lock; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2306 | if (progress >= pages) |
| 2307 | goto breakouterloop; |
| 2308 | } |
| 2309 | } |
| 2310 | breakouterloop: |
Michel Lespinasse | d8ed45c | 2020-06-08 21:33:25 -0700 | [diff] [blame] | 2311 | mmap_read_unlock(mm); /* exit_mmap will destroy ptes after this */ |
Michel Lespinasse | c1e8d7c | 2020-06-08 21:33:54 -0700 | [diff] [blame] | 2312 | breakouterloop_mmap_lock: |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2313 | |
| 2314 | spin_lock(&khugepaged_mm_lock); |
| 2315 | VM_BUG_ON(khugepaged_scan.mm_slot != mm_slot); |
| 2316 | /* |
| 2317 | * Release the current mm_slot if this mm is about to die, or |
| 2318 | * if we scanned all vmas of this mm. |
| 2319 | */ |
Zach O'Keefe | 7d2c438 | 2022-07-06 16:59:28 -0700 | [diff] [blame] | 2320 | if (hpage_collapse_test_exit(mm) || !vma) { |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2321 | /* |
| 2322 | * Make sure that if mm_users is reaching zero while |
| 2323 | * khugepaged runs here, khugepaged_exit will find |
| 2324 | * mm_slot not pointing to the exiting mm. |
| 2325 | */ |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 2326 | if (slot->mm_node.next != &khugepaged_scan.mm_head) { |
| 2327 | slot = list_entry(slot->mm_node.next, |
| 2328 | struct mm_slot, mm_node); |
| 2329 | khugepaged_scan.mm_slot = |
| 2330 | mm_slot_entry(slot, struct khugepaged_mm_slot, slot); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2331 | khugepaged_scan.address = 0; |
| 2332 | } else { |
| 2333 | khugepaged_scan.mm_slot = NULL; |
| 2334 | khugepaged_full_scans++; |
| 2335 | } |
| 2336 | |
| 2337 | collect_mm_slot(mm_slot); |
| 2338 | } |
| 2339 | |
| 2340 | return progress; |
| 2341 | } |
| 2342 | |
| 2343 | static int khugepaged_has_work(void) |
| 2344 | { |
| 2345 | return !list_empty(&khugepaged_scan.mm_head) && |
Yang Shi | 1064026 | 2022-06-16 10:48:39 -0700 | [diff] [blame] | 2346 | hugepage_flags_enabled(); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2347 | } |
| 2348 | |
| 2349 | static int khugepaged_wait_event(void) |
| 2350 | { |
| 2351 | return !list_empty(&khugepaged_scan.mm_head) || |
| 2352 | kthread_should_stop(); |
| 2353 | } |
| 2354 | |
Zach O'Keefe | 34d6b47 | 2022-07-06 16:59:21 -0700 | [diff] [blame] | 2355 | static void khugepaged_do_scan(struct collapse_control *cc) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2356 | { |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2357 | unsigned int progress = 0, pass_through_head = 0; |
Yanfei Xu | 89dc6a9 | 2021-05-04 18:34:12 -0700 | [diff] [blame] | 2358 | unsigned int pages = READ_ONCE(khugepaged_pages_to_scan); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2359 | bool wait = true; |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 2360 | int result = SCAN_SUCCEED; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2361 | |
Kirill A. Shutemov | a980df3 | 2020-06-03 16:00:12 -0700 | [diff] [blame] | 2362 | lru_add_drain_all(); |
| 2363 | |
Yang Shi | c6a7f44 | 2022-07-06 16:59:20 -0700 | [diff] [blame] | 2364 | while (true) { |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2365 | cond_resched(); |
| 2366 | |
| 2367 | if (unlikely(kthread_should_stop() || try_to_freeze())) |
| 2368 | break; |
| 2369 | |
| 2370 | spin_lock(&khugepaged_mm_lock); |
| 2371 | if (!khugepaged_scan.mm_slot) |
| 2372 | pass_through_head++; |
| 2373 | if (khugepaged_has_work() && |
| 2374 | pass_through_head < 2) |
| 2375 | progress += khugepaged_scan_mm_slot(pages - progress, |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 2376 | &result, cc); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2377 | else |
| 2378 | progress = pages; |
| 2379 | spin_unlock(&khugepaged_mm_lock); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2380 | |
Yang Shi | c6a7f44 | 2022-07-06 16:59:20 -0700 | [diff] [blame] | 2381 | if (progress >= pages) |
| 2382 | break; |
| 2383 | |
Zach O'Keefe | 50ad2f2 | 2022-07-06 16:59:23 -0700 | [diff] [blame] | 2384 | if (result == SCAN_ALLOC_HUGE_PAGE_FAIL) { |
Yang Shi | c6a7f44 | 2022-07-06 16:59:20 -0700 | [diff] [blame] | 2385 | /* |
| 2386 | * If fail to allocate the first time, try to sleep for |
| 2387 | * a while. When hit again, cancel the scan. |
| 2388 | */ |
| 2389 | if (!wait) |
| 2390 | break; |
| 2391 | wait = false; |
Yang Shi | c6a7f44 | 2022-07-06 16:59:20 -0700 | [diff] [blame] | 2392 | khugepaged_alloc_sleep(); |
| 2393 | } |
| 2394 | } |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2395 | } |
| 2396 | |
| 2397 | static bool khugepaged_should_wakeup(void) |
| 2398 | { |
| 2399 | return kthread_should_stop() || |
| 2400 | time_after_eq(jiffies, khugepaged_sleep_expire); |
| 2401 | } |
| 2402 | |
| 2403 | static void khugepaged_wait_work(void) |
| 2404 | { |
| 2405 | if (khugepaged_has_work()) { |
| 2406 | const unsigned long scan_sleep_jiffies = |
| 2407 | msecs_to_jiffies(khugepaged_scan_sleep_millisecs); |
| 2408 | |
| 2409 | if (!scan_sleep_jiffies) |
| 2410 | return; |
| 2411 | |
| 2412 | khugepaged_sleep_expire = jiffies + scan_sleep_jiffies; |
| 2413 | wait_event_freezable_timeout(khugepaged_wait, |
| 2414 | khugepaged_should_wakeup(), |
| 2415 | scan_sleep_jiffies); |
| 2416 | return; |
| 2417 | } |
| 2418 | |
Yang Shi | 1064026 | 2022-06-16 10:48:39 -0700 | [diff] [blame] | 2419 | if (hugepage_flags_enabled()) |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2420 | wait_event_freezable(khugepaged_wait, khugepaged_wait_event()); |
| 2421 | } |
| 2422 | |
| 2423 | static int khugepaged(void *none) |
| 2424 | { |
Qi Zheng | b26e270 | 2022-08-31 11:19:46 +0800 | [diff] [blame] | 2425 | struct khugepaged_mm_slot *mm_slot; |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2426 | |
| 2427 | set_freezable(); |
| 2428 | set_user_nice(current, MAX_NICE); |
| 2429 | |
| 2430 | while (!kthread_should_stop()) { |
Zach O'Keefe | 34d6b47 | 2022-07-06 16:59:21 -0700 | [diff] [blame] | 2431 | khugepaged_do_scan(&khugepaged_collapse_control); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2432 | khugepaged_wait_work(); |
| 2433 | } |
| 2434 | |
| 2435 | spin_lock(&khugepaged_mm_lock); |
| 2436 | mm_slot = khugepaged_scan.mm_slot; |
| 2437 | khugepaged_scan.mm_slot = NULL; |
| 2438 | if (mm_slot) |
| 2439 | collect_mm_slot(mm_slot); |
| 2440 | spin_unlock(&khugepaged_mm_lock); |
| 2441 | return 0; |
| 2442 | } |
| 2443 | |
| 2444 | static void set_recommended_min_free_kbytes(void) |
| 2445 | { |
| 2446 | struct zone *zone; |
| 2447 | int nr_zones = 0; |
| 2448 | unsigned long recommended_min; |
| 2449 | |
Yang Shi | 1064026 | 2022-06-16 10:48:39 -0700 | [diff] [blame] | 2450 | if (!hugepage_flags_enabled()) { |
Liangcai Fan | bd3400e | 2021-11-05 13:41:36 -0700 | [diff] [blame] | 2451 | calculate_min_free_kbytes(); |
| 2452 | goto update_wmarks; |
| 2453 | } |
| 2454 | |
Joonsoo Kim | b7d349c | 2018-04-10 16:30:27 -0700 | [diff] [blame] | 2455 | for_each_populated_zone(zone) { |
| 2456 | /* |
| 2457 | * We don't need to worry about fragmentation of |
| 2458 | * ZONE_MOVABLE since it only has movable pages. |
| 2459 | */ |
| 2460 | if (zone_idx(zone) > gfp_zone(GFP_USER)) |
| 2461 | continue; |
| 2462 | |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2463 | nr_zones++; |
Joonsoo Kim | b7d349c | 2018-04-10 16:30:27 -0700 | [diff] [blame] | 2464 | } |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2465 | |
| 2466 | /* Ensure 2 pageblocks are free to assist fragmentation avoidance */ |
| 2467 | recommended_min = pageblock_nr_pages * nr_zones * 2; |
| 2468 | |
| 2469 | /* |
| 2470 | * Make sure that on average at least two pageblocks are almost free |
| 2471 | * of another type, one for a migratetype to fall back to and a |
| 2472 | * second to avoid subsequent fallbacks of other types There are 3 |
| 2473 | * MIGRATE_TYPES we care about. |
| 2474 | */ |
| 2475 | recommended_min += pageblock_nr_pages * nr_zones * |
| 2476 | MIGRATE_PCPTYPES * MIGRATE_PCPTYPES; |
| 2477 | |
| 2478 | /* don't ever allow to reserve more than 5% of the lowmem */ |
| 2479 | recommended_min = min(recommended_min, |
| 2480 | (unsigned long) nr_free_buffer_pages() / 20); |
| 2481 | recommended_min <<= (PAGE_SHIFT-10); |
| 2482 | |
| 2483 | if (recommended_min > min_free_kbytes) { |
| 2484 | if (user_min_free_kbytes >= 0) |
| 2485 | pr_info("raising min_free_kbytes from %d to %lu to help transparent hugepage allocations\n", |
| 2486 | min_free_kbytes, recommended_min); |
| 2487 | |
| 2488 | min_free_kbytes = recommended_min; |
| 2489 | } |
Liangcai Fan | bd3400e | 2021-11-05 13:41:36 -0700 | [diff] [blame] | 2490 | |
| 2491 | update_wmarks: |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2492 | setup_per_zone_wmarks(); |
| 2493 | } |
| 2494 | |
| 2495 | int start_stop_khugepaged(void) |
| 2496 | { |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2497 | int err = 0; |
| 2498 | |
| 2499 | mutex_lock(&khugepaged_mutex); |
Yang Shi | 1064026 | 2022-06-16 10:48:39 -0700 | [diff] [blame] | 2500 | if (hugepage_flags_enabled()) { |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2501 | if (!khugepaged_thread) |
| 2502 | khugepaged_thread = kthread_run(khugepaged, NULL, |
| 2503 | "khugepaged"); |
| 2504 | if (IS_ERR(khugepaged_thread)) { |
| 2505 | pr_err("khugepaged: kthread_run(khugepaged) failed\n"); |
| 2506 | err = PTR_ERR(khugepaged_thread); |
| 2507 | khugepaged_thread = NULL; |
| 2508 | goto fail; |
| 2509 | } |
| 2510 | |
| 2511 | if (!list_empty(&khugepaged_scan.mm_head)) |
| 2512 | wake_up_interruptible(&khugepaged_wait); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2513 | } else if (khugepaged_thread) { |
| 2514 | kthread_stop(khugepaged_thread); |
| 2515 | khugepaged_thread = NULL; |
| 2516 | } |
Liangcai Fan | bd3400e | 2021-11-05 13:41:36 -0700 | [diff] [blame] | 2517 | set_recommended_min_free_kbytes(); |
Kirill A. Shutemov | b46e756 | 2016-07-26 15:26:24 -0700 | [diff] [blame] | 2518 | fail: |
| 2519 | mutex_unlock(&khugepaged_mutex); |
| 2520 | return err; |
| 2521 | } |
Vijay Balakrishna | 4aab2be | 2020-10-10 23:16:40 -0700 | [diff] [blame] | 2522 | |
| 2523 | void khugepaged_min_free_kbytes_update(void) |
| 2524 | { |
| 2525 | mutex_lock(&khugepaged_mutex); |
Yang Shi | 1064026 | 2022-06-16 10:48:39 -0700 | [diff] [blame] | 2526 | if (hugepage_flags_enabled() && khugepaged_thread) |
Vijay Balakrishna | 4aab2be | 2020-10-10 23:16:40 -0700 | [diff] [blame] | 2527 | set_recommended_min_free_kbytes(); |
| 2528 | mutex_unlock(&khugepaged_mutex); |
| 2529 | } |
Zach O'Keefe | 7d8faaf | 2022-07-06 16:59:27 -0700 | [diff] [blame] | 2530 | |
| 2531 | static int madvise_collapse_errno(enum scan_result r) |
| 2532 | { |
| 2533 | /* |
| 2534 | * MADV_COLLAPSE breaks from existing madvise(2) conventions to provide |
| 2535 | * actionable feedback to caller, so they may take an appropriate |
| 2536 | * fallback measure depending on the nature of the failure. |
| 2537 | */ |
| 2538 | switch (r) { |
| 2539 | case SCAN_ALLOC_HUGE_PAGE_FAIL: |
| 2540 | return -ENOMEM; |
| 2541 | case SCAN_CGROUP_CHARGE_FAIL: |
| 2542 | return -EBUSY; |
| 2543 | /* Resource temporary unavailable - trying again might succeed */ |
| 2544 | case SCAN_PAGE_LOCK: |
| 2545 | case SCAN_PAGE_LRU: |
Zach O'Keefe | 0f3e2a2 | 2022-09-22 11:46:50 -0700 | [diff] [blame] | 2546 | case SCAN_DEL_PAGE_LRU: |
Zach O'Keefe | 7d8faaf | 2022-07-06 16:59:27 -0700 | [diff] [blame] | 2547 | return -EAGAIN; |
| 2548 | /* |
| 2549 | * Other: Trying again likely not to succeed / error intrinsic to |
| 2550 | * specified memory range. khugepaged likely won't be able to collapse |
| 2551 | * either. |
| 2552 | */ |
| 2553 | default: |
| 2554 | return -EINVAL; |
| 2555 | } |
| 2556 | } |
| 2557 | |
| 2558 | int madvise_collapse(struct vm_area_struct *vma, struct vm_area_struct **prev, |
| 2559 | unsigned long start, unsigned long end) |
| 2560 | { |
| 2561 | struct collapse_control *cc; |
| 2562 | struct mm_struct *mm = vma->vm_mm; |
| 2563 | unsigned long hstart, hend, addr; |
| 2564 | int thps = 0, last_fail = SCAN_FAIL; |
| 2565 | bool mmap_locked = true; |
| 2566 | |
| 2567 | BUG_ON(vma->vm_start > start); |
| 2568 | BUG_ON(vma->vm_end < end); |
| 2569 | |
| 2570 | *prev = vma; |
| 2571 | |
Zach O'Keefe | 7d8faaf | 2022-07-06 16:59:27 -0700 | [diff] [blame] | 2572 | if (!hugepage_vma_check(vma, vma->vm_flags, false, false, false)) |
| 2573 | return -EINVAL; |
| 2574 | |
| 2575 | cc = kmalloc(sizeof(*cc), GFP_KERNEL); |
| 2576 | if (!cc) |
| 2577 | return -ENOMEM; |
| 2578 | cc->is_khugepaged = false; |
| 2579 | cc->last_target_node = NUMA_NO_NODE; |
| 2580 | |
| 2581 | mmgrab(mm); |
| 2582 | lru_add_drain_all(); |
| 2583 | |
| 2584 | hstart = (start + ~HPAGE_PMD_MASK) & HPAGE_PMD_MASK; |
| 2585 | hend = end & HPAGE_PMD_MASK; |
| 2586 | |
| 2587 | for (addr = hstart; addr < hend; addr += HPAGE_PMD_SIZE) { |
| 2588 | int result = SCAN_FAIL; |
| 2589 | |
| 2590 | if (!mmap_locked) { |
| 2591 | cond_resched(); |
| 2592 | mmap_read_lock(mm); |
| 2593 | mmap_locked = true; |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 2594 | result = hugepage_vma_revalidate(mm, addr, false, &vma, |
| 2595 | cc); |
Zach O'Keefe | 7d8faaf | 2022-07-06 16:59:27 -0700 | [diff] [blame] | 2596 | if (result != SCAN_SUCCEED) { |
| 2597 | last_fail = result; |
| 2598 | goto out_nolock; |
| 2599 | } |
Yang Shi | 4d24de9 | 2022-09-14 09:22:20 -0700 | [diff] [blame] | 2600 | |
| 2601 | hend = vma->vm_end & HPAGE_PMD_MASK; |
Zach O'Keefe | 7d8faaf | 2022-07-06 16:59:27 -0700 | [diff] [blame] | 2602 | } |
| 2603 | mmap_assert_locked(mm); |
| 2604 | memset(cc->node_load, 0, sizeof(cc->node_load)); |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 2605 | if (IS_ENABLED(CONFIG_SHMEM) && vma->vm_file) { |
| 2606 | struct file *file = get_file(vma->vm_file); |
| 2607 | pgoff_t pgoff = linear_page_index(vma, addr); |
| 2608 | |
| 2609 | mmap_read_unlock(mm); |
| 2610 | mmap_locked = false; |
| 2611 | result = hpage_collapse_scan_file(mm, addr, file, pgoff, |
| 2612 | cc); |
| 2613 | fput(file); |
| 2614 | } else { |
| 2615 | result = hpage_collapse_scan_pmd(mm, vma, addr, |
| 2616 | &mmap_locked, cc); |
| 2617 | } |
Zach O'Keefe | 7d8faaf | 2022-07-06 16:59:27 -0700 | [diff] [blame] | 2618 | if (!mmap_locked) |
| 2619 | *prev = NULL; /* Tell caller we dropped mmap_lock */ |
| 2620 | |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 2621 | handle_result: |
Zach O'Keefe | 7d8faaf | 2022-07-06 16:59:27 -0700 | [diff] [blame] | 2622 | switch (result) { |
| 2623 | case SCAN_SUCCEED: |
| 2624 | case SCAN_PMD_MAPPED: |
| 2625 | ++thps; |
| 2626 | break; |
Zach O'Keefe | 3448839 | 2022-09-22 15:40:39 -0700 | [diff] [blame] | 2627 | case SCAN_PTE_MAPPED_HUGEPAGE: |
| 2628 | BUG_ON(mmap_locked); |
| 2629 | BUG_ON(*prev); |
| 2630 | mmap_write_lock(mm); |
| 2631 | result = collapse_pte_mapped_thp(mm, addr, true); |
| 2632 | mmap_write_unlock(mm); |
| 2633 | goto handle_result; |
Zach O'Keefe | 7d8faaf | 2022-07-06 16:59:27 -0700 | [diff] [blame] | 2634 | /* Whitelisted set of results where continuing OK */ |
| 2635 | case SCAN_PMD_NULL: |
| 2636 | case SCAN_PTE_NON_PRESENT: |
| 2637 | case SCAN_PTE_UFFD_WP: |
| 2638 | case SCAN_PAGE_RO: |
| 2639 | case SCAN_LACK_REFERENCED_PAGE: |
| 2640 | case SCAN_PAGE_NULL: |
| 2641 | case SCAN_PAGE_COUNT: |
| 2642 | case SCAN_PAGE_LOCK: |
| 2643 | case SCAN_PAGE_COMPOUND: |
| 2644 | case SCAN_PAGE_LRU: |
Zach O'Keefe | 0f3e2a2 | 2022-09-22 11:46:50 -0700 | [diff] [blame] | 2645 | case SCAN_DEL_PAGE_LRU: |
Zach O'Keefe | 7d8faaf | 2022-07-06 16:59:27 -0700 | [diff] [blame] | 2646 | last_fail = result; |
| 2647 | break; |
| 2648 | default: |
| 2649 | last_fail = result; |
| 2650 | /* Other error, exit */ |
| 2651 | goto out_maybelock; |
| 2652 | } |
| 2653 | } |
| 2654 | |
| 2655 | out_maybelock: |
| 2656 | /* Caller expects us to hold mmap_lock on return */ |
| 2657 | if (!mmap_locked) |
| 2658 | mmap_read_lock(mm); |
| 2659 | out_nolock: |
| 2660 | mmap_assert_locked(mm); |
| 2661 | mmdrop(mm); |
| 2662 | kfree(cc); |
| 2663 | |
| 2664 | return thps == ((hend - hstart) >> HPAGE_PMD_SHIFT) ? 0 |
| 2665 | : madvise_collapse_errno(last_fail); |
| 2666 | } |