| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /* | 
|  | 2 | *	linux/mm/madvise.c | 
|  | 3 | * | 
|  | 4 | * Copyright (C) 1999  Linus Torvalds | 
|  | 5 | * Copyright (C) 2002  Christoph Hellwig | 
|  | 6 | */ | 
|  | 7 |  | 
|  | 8 | #include <linux/mman.h> | 
|  | 9 | #include <linux/pagemap.h> | 
|  | 10 | #include <linux/syscalls.h> | 
| Prasanna Meda | 05b7438 | 2005-06-21 17:14:37 -0700 | [diff] [blame] | 11 | #include <linux/mempolicy.h> | 
| Andi Kleen | afcf938 | 2009-12-16 12:20:00 +0100 | [diff] [blame] | 12 | #include <linux/page-isolation.h> | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 13 | #include <linux/hugetlb.h> | 
| Alexey Dobriyan | e8edc6e | 2007-05-21 01:22:52 +0400 | [diff] [blame] | 14 | #include <linux/sched.h> | 
| Hugh Dickins | f8af4da | 2009-09-21 17:01:57 -0700 | [diff] [blame] | 15 | #include <linux/ksm.h> | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 16 |  | 
|  | 17 | /* | 
| Nick Piggin | 0a27a14 | 2007-05-06 14:49:53 -0700 | [diff] [blame] | 18 | * Any behaviour which results in changes to the vma->vm_flags needs to | 
|  | 19 | * take mmap_sem for writing. Others, which simply traverse vmas, need | 
|  | 20 | * to only take it for reading. | 
|  | 21 | */ | 
|  | 22 | static int madvise_need_mmap_write(int behavior) | 
|  | 23 | { | 
|  | 24 | switch (behavior) { | 
|  | 25 | case MADV_REMOVE: | 
|  | 26 | case MADV_WILLNEED: | 
|  | 27 | case MADV_DONTNEED: | 
|  | 28 | return 0; | 
|  | 29 | default: | 
|  | 30 | /* be safe, default to 1. list exceptions explicitly */ | 
|  | 31 | return 1; | 
|  | 32 | } | 
|  | 33 | } | 
|  | 34 |  | 
|  | 35 | /* | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 36 | * We can potentially split a vm area into separate | 
|  | 37 | * areas, each area with its own behavior. | 
|  | 38 | */ | 
| Prasanna Meda | 05b7438 | 2005-06-21 17:14:37 -0700 | [diff] [blame] | 39 | static long madvise_behavior(struct vm_area_struct * vma, | 
|  | 40 | struct vm_area_struct **prev, | 
|  | 41 | unsigned long start, unsigned long end, int behavior) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 42 | { | 
|  | 43 | struct mm_struct * mm = vma->vm_mm; | 
|  | 44 | int error = 0; | 
| Prasanna Meda | 05b7438 | 2005-06-21 17:14:37 -0700 | [diff] [blame] | 45 | pgoff_t pgoff; | 
| Hugh Dickins | 3866ea9 | 2009-09-21 17:01:52 -0700 | [diff] [blame] | 46 | unsigned long new_flags = vma->vm_flags; | 
| Prasanna Meda | e798c6e | 2005-06-21 17:14:36 -0700 | [diff] [blame] | 47 |  | 
|  | 48 | switch (behavior) { | 
| Michael S. Tsirkin | f822566 | 2006-02-14 13:53:08 -0800 | [diff] [blame] | 49 | case MADV_NORMAL: | 
|  | 50 | new_flags = new_flags & ~VM_RAND_READ & ~VM_SEQ_READ; | 
|  | 51 | break; | 
| Prasanna Meda | e798c6e | 2005-06-21 17:14:36 -0700 | [diff] [blame] | 52 | case MADV_SEQUENTIAL: | 
| Michael S. Tsirkin | f822566 | 2006-02-14 13:53:08 -0800 | [diff] [blame] | 53 | new_flags = (new_flags & ~VM_RAND_READ) | VM_SEQ_READ; | 
| Prasanna Meda | e798c6e | 2005-06-21 17:14:36 -0700 | [diff] [blame] | 54 | break; | 
|  | 55 | case MADV_RANDOM: | 
| Michael S. Tsirkin | f822566 | 2006-02-14 13:53:08 -0800 | [diff] [blame] | 56 | new_flags = (new_flags & ~VM_SEQ_READ) | VM_RAND_READ; | 
| Prasanna Meda | e798c6e | 2005-06-21 17:14:36 -0700 | [diff] [blame] | 57 | break; | 
| Michael S. Tsirkin | f822566 | 2006-02-14 13:53:08 -0800 | [diff] [blame] | 58 | case MADV_DONTFORK: | 
|  | 59 | new_flags |= VM_DONTCOPY; | 
|  | 60 | break; | 
|  | 61 | case MADV_DOFORK: | 
| Hugh Dickins | 3866ea9 | 2009-09-21 17:01:52 -0700 | [diff] [blame] | 62 | if (vma->vm_flags & VM_IO) { | 
|  | 63 | error = -EINVAL; | 
|  | 64 | goto out; | 
|  | 65 | } | 
| Michael S. Tsirkin | f822566 | 2006-02-14 13:53:08 -0800 | [diff] [blame] | 66 | new_flags &= ~VM_DONTCOPY; | 
| Prasanna Meda | e798c6e | 2005-06-21 17:14:36 -0700 | [diff] [blame] | 67 | break; | 
| Jason Baron | accb61f | 2012-03-23 15:02:51 -0700 | [diff] [blame] | 68 | case MADV_DONTDUMP: | 
|  | 69 | new_flags |= VM_NODUMP; | 
|  | 70 | break; | 
|  | 71 | case MADV_DODUMP: | 
|  | 72 | new_flags &= ~VM_NODUMP; | 
|  | 73 | break; | 
| Hugh Dickins | f8af4da | 2009-09-21 17:01:57 -0700 | [diff] [blame] | 74 | case MADV_MERGEABLE: | 
|  | 75 | case MADV_UNMERGEABLE: | 
|  | 76 | error = ksm_madvise(vma, start, end, behavior, &new_flags); | 
|  | 77 | if (error) | 
|  | 78 | goto out; | 
|  | 79 | break; | 
| Andrea Arcangeli | 0af4e98 | 2011-01-13 15:46:55 -0800 | [diff] [blame] | 80 | case MADV_HUGEPAGE: | 
| Andrea Arcangeli | a664b2d | 2011-01-13 15:47:17 -0800 | [diff] [blame] | 81 | case MADV_NOHUGEPAGE: | 
| Andrea Arcangeli | 60ab324 | 2011-01-13 15:47:18 -0800 | [diff] [blame] | 82 | error = hugepage_madvise(vma, &new_flags, behavior); | 
| Andrea Arcangeli | 0af4e98 | 2011-01-13 15:46:55 -0800 | [diff] [blame] | 83 | if (error) | 
|  | 84 | goto out; | 
|  | 85 | break; | 
| Prasanna Meda | e798c6e | 2005-06-21 17:14:36 -0700 | [diff] [blame] | 86 | } | 
|  | 87 |  | 
| Prasanna Meda | 05b7438 | 2005-06-21 17:14:37 -0700 | [diff] [blame] | 88 | if (new_flags == vma->vm_flags) { | 
|  | 89 | *prev = vma; | 
| Hugh Dickins | 836d5ff | 2005-09-03 15:54:53 -0700 | [diff] [blame] | 90 | goto out; | 
| Prasanna Meda | 05b7438 | 2005-06-21 17:14:37 -0700 | [diff] [blame] | 91 | } | 
|  | 92 |  | 
|  | 93 | pgoff = vma->vm_pgoff + ((start - vma->vm_start) >> PAGE_SHIFT); | 
|  | 94 | *prev = vma_merge(mm, *prev, start, end, new_flags, vma->anon_vma, | 
|  | 95 | vma->vm_file, pgoff, vma_policy(vma)); | 
|  | 96 | if (*prev) { | 
|  | 97 | vma = *prev; | 
|  | 98 | goto success; | 
|  | 99 | } | 
|  | 100 |  | 
|  | 101 | *prev = vma; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 102 |  | 
|  | 103 | if (start != vma->vm_start) { | 
|  | 104 | error = split_vma(mm, vma, start, 1); | 
|  | 105 | if (error) | 
|  | 106 | goto out; | 
|  | 107 | } | 
|  | 108 |  | 
|  | 109 | if (end != vma->vm_end) { | 
|  | 110 | error = split_vma(mm, vma, end, 0); | 
|  | 111 | if (error) | 
|  | 112 | goto out; | 
|  | 113 | } | 
|  | 114 |  | 
| Hugh Dickins | 836d5ff | 2005-09-03 15:54:53 -0700 | [diff] [blame] | 115 | success: | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 116 | /* | 
|  | 117 | * vm_flags is protected by the mmap_sem held in write mode. | 
|  | 118 | */ | 
| Prasanna Meda | e798c6e | 2005-06-21 17:14:36 -0700 | [diff] [blame] | 119 | vma->vm_flags = new_flags; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 120 |  | 
|  | 121 | out: | 
|  | 122 | if (error == -ENOMEM) | 
|  | 123 | error = -EAGAIN; | 
|  | 124 | return error; | 
|  | 125 | } | 
|  | 126 |  | 
|  | 127 | /* | 
|  | 128 | * Schedule all required I/O operations.  Do not wait for completion. | 
|  | 129 | */ | 
|  | 130 | static long madvise_willneed(struct vm_area_struct * vma, | 
| Prasanna Meda | 05b7438 | 2005-06-21 17:14:37 -0700 | [diff] [blame] | 131 | struct vm_area_struct ** prev, | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 132 | unsigned long start, unsigned long end) | 
|  | 133 | { | 
|  | 134 | struct file *file = vma->vm_file; | 
|  | 135 |  | 
| Suzuki | 1bef400 | 2005-10-11 08:29:06 -0700 | [diff] [blame] | 136 | if (!file) | 
|  | 137 | return -EBADF; | 
|  | 138 |  | 
| Nick Piggin | 70688e4 | 2008-04-28 02:13:02 -0700 | [diff] [blame] | 139 | if (file->f_mapping->a_ops->get_xip_mem) { | 
| Carsten Otte | fe77ba6 | 2005-06-23 22:05:29 -0700 | [diff] [blame] | 140 | /* no bad return value, but ignore advice */ | 
|  | 141 | return 0; | 
|  | 142 | } | 
|  | 143 |  | 
| Prasanna Meda | 05b7438 | 2005-06-21 17:14:37 -0700 | [diff] [blame] | 144 | *prev = vma; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 145 | start = ((start - vma->vm_start) >> PAGE_SHIFT) + vma->vm_pgoff; | 
|  | 146 | if (end > vma->vm_end) | 
|  | 147 | end = vma->vm_end; | 
|  | 148 | end = ((end - vma->vm_start) >> PAGE_SHIFT) + vma->vm_pgoff; | 
|  | 149 |  | 
| Wu Fengguang | f7e839d | 2009-06-16 15:31:20 -0700 | [diff] [blame] | 150 | force_page_cache_readahead(file->f_mapping, file, start, end - start); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 151 | return 0; | 
|  | 152 | } | 
|  | 153 |  | 
|  | 154 | /* | 
|  | 155 | * Application no longer needs these pages.  If the pages are dirty, | 
|  | 156 | * it's OK to just throw them away.  The app will be more careful about | 
|  | 157 | * data it wants to keep.  Be sure to free swap resources too.  The | 
| Fernando Luis Vazquez Cao | 7e6cbea | 2008-07-29 22:33:39 -0700 | [diff] [blame] | 158 | * zap_page_range call sets things up for shrink_active_list to actually free | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 159 | * these pages later if no one else has touched them in the meantime, | 
|  | 160 | * although we could add these pages to a global reuse list for | 
| Fernando Luis Vazquez Cao | 7e6cbea | 2008-07-29 22:33:39 -0700 | [diff] [blame] | 161 | * shrink_active_list to pick up before reclaiming other pages. | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 162 | * | 
|  | 163 | * NB: This interface discards data rather than pushes it out to swap, | 
|  | 164 | * as some implementations do.  This has performance implications for | 
|  | 165 | * applications like large transactional databases which want to discard | 
|  | 166 | * pages in anonymous maps after committing to backing store the data | 
|  | 167 | * that was kept in them.  There is no reason to write this data out to | 
|  | 168 | * the swap area if the application is discarding it. | 
|  | 169 | * | 
|  | 170 | * An interface that causes the system to free clean pages and flush | 
|  | 171 | * dirty pages is already available as msync(MS_INVALIDATE). | 
|  | 172 | */ | 
|  | 173 | static long madvise_dontneed(struct vm_area_struct * vma, | 
| Prasanna Meda | 05b7438 | 2005-06-21 17:14:37 -0700 | [diff] [blame] | 174 | struct vm_area_struct ** prev, | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 175 | unsigned long start, unsigned long end) | 
|  | 176 | { | 
| Prasanna Meda | 05b7438 | 2005-06-21 17:14:37 -0700 | [diff] [blame] | 177 | *prev = vma; | 
| Linus Torvalds | 6aab341 | 2005-11-28 14:34:23 -0800 | [diff] [blame] | 178 | if (vma->vm_flags & (VM_LOCKED|VM_HUGETLB|VM_PFNMAP)) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 179 | return -EINVAL; | 
|  | 180 |  | 
|  | 181 | if (unlikely(vma->vm_flags & VM_NONLINEAR)) { | 
|  | 182 | struct zap_details details = { | 
|  | 183 | .nonlinear_vma = vma, | 
|  | 184 | .last_index = ULONG_MAX, | 
|  | 185 | }; | 
|  | 186 | zap_page_range(vma, start, end - start, &details); | 
|  | 187 | } else | 
|  | 188 | zap_page_range(vma, start, end - start, NULL); | 
|  | 189 | return 0; | 
|  | 190 | } | 
|  | 191 |  | 
| Badari Pulavarty | f6b3ec2 | 2006-01-06 00:10:38 -0800 | [diff] [blame] | 192 | /* | 
|  | 193 | * Application wants to free up the pages and associated backing store. | 
|  | 194 | * This is effectively punching a hole into the middle of a file. | 
|  | 195 | * | 
|  | 196 | * NOTE: Currently, only shmfs/tmpfs is supported for this operation. | 
|  | 197 | * Other filesystems return -ENOSYS. | 
|  | 198 | */ | 
|  | 199 | static long madvise_remove(struct vm_area_struct *vma, | 
| Nick Piggin | 00e9fa2 | 2007-03-16 13:38:10 -0800 | [diff] [blame] | 200 | struct vm_area_struct **prev, | 
| Badari Pulavarty | f6b3ec2 | 2006-01-06 00:10:38 -0800 | [diff] [blame] | 201 | unsigned long start, unsigned long end) | 
|  | 202 | { | 
|  | 203 | struct address_space *mapping; | 
| Hugh Dickins | 90ed52e | 2007-03-29 01:20:38 -0700 | [diff] [blame] | 204 | loff_t offset, endoff; | 
|  | 205 | int error; | 
| Badari Pulavarty | f6b3ec2 | 2006-01-06 00:10:38 -0800 | [diff] [blame] | 206 |  | 
| Hugh Dickins | 90ed52e | 2007-03-29 01:20:38 -0700 | [diff] [blame] | 207 | *prev = NULL;	/* tell sys_madvise we drop mmap_sem */ | 
| Nick Piggin | 00e9fa2 | 2007-03-16 13:38:10 -0800 | [diff] [blame] | 208 |  | 
| Badari Pulavarty | f6b3ec2 | 2006-01-06 00:10:38 -0800 | [diff] [blame] | 209 | if (vma->vm_flags & (VM_LOCKED|VM_NONLINEAR|VM_HUGETLB)) | 
|  | 210 | return -EINVAL; | 
|  | 211 |  | 
|  | 212 | if (!vma->vm_file || !vma->vm_file->f_mapping | 
|  | 213 | || !vma->vm_file->f_mapping->host) { | 
|  | 214 | return -EINVAL; | 
|  | 215 | } | 
|  | 216 |  | 
| Hugh Dickins | 69cf0fa | 2006-04-17 22:46:32 +0100 | [diff] [blame] | 217 | if ((vma->vm_flags & (VM_SHARED|VM_WRITE)) != (VM_SHARED|VM_WRITE)) | 
|  | 218 | return -EACCES; | 
|  | 219 |  | 
| Badari Pulavarty | f6b3ec2 | 2006-01-06 00:10:38 -0800 | [diff] [blame] | 220 | mapping = vma->vm_file->f_mapping; | 
|  | 221 |  | 
|  | 222 | offset = (loff_t)(start - vma->vm_start) | 
|  | 223 | + ((loff_t)vma->vm_pgoff << PAGE_SHIFT); | 
|  | 224 | endoff = (loff_t)(end - vma->vm_start - 1) | 
|  | 225 | + ((loff_t)vma->vm_pgoff << PAGE_SHIFT); | 
| Hugh Dickins | 90ed52e | 2007-03-29 01:20:38 -0700 | [diff] [blame] | 226 |  | 
| Christoph Hellwig | bd5fe6c | 2011-06-24 14:29:43 -0400 | [diff] [blame] | 227 | /* vmtruncate_range needs to take i_mutex */ | 
| Nick Piggin | 0a27a14 | 2007-05-06 14:49:53 -0700 | [diff] [blame] | 228 | up_read(¤t->mm->mmap_sem); | 
| Hugh Dickins | 90ed52e | 2007-03-29 01:20:38 -0700 | [diff] [blame] | 229 | error = vmtruncate_range(mapping->host, offset, endoff); | 
| Nick Piggin | 0a27a14 | 2007-05-06 14:49:53 -0700 | [diff] [blame] | 230 | down_read(¤t->mm->mmap_sem); | 
| Hugh Dickins | 90ed52e | 2007-03-29 01:20:38 -0700 | [diff] [blame] | 231 | return error; | 
| Badari Pulavarty | f6b3ec2 | 2006-01-06 00:10:38 -0800 | [diff] [blame] | 232 | } | 
|  | 233 |  | 
| Andi Kleen | 9893e49 | 2009-09-16 11:50:17 +0200 | [diff] [blame] | 234 | #ifdef CONFIG_MEMORY_FAILURE | 
|  | 235 | /* | 
|  | 236 | * Error injection support for memory error handling. | 
|  | 237 | */ | 
| Andi Kleen | afcf938 | 2009-12-16 12:20:00 +0100 | [diff] [blame] | 238 | static int madvise_hwpoison(int bhv, unsigned long start, unsigned long end) | 
| Andi Kleen | 9893e49 | 2009-09-16 11:50:17 +0200 | [diff] [blame] | 239 | { | 
|  | 240 | int ret = 0; | 
|  | 241 |  | 
|  | 242 | if (!capable(CAP_SYS_ADMIN)) | 
|  | 243 | return -EPERM; | 
|  | 244 | for (; start < end; start += PAGE_SIZE) { | 
|  | 245 | struct page *p; | 
| Andi Kleen | d15f107 | 2009-12-16 12:20:00 +0100 | [diff] [blame] | 246 | int ret = get_user_pages_fast(start, 1, 0, &p); | 
| Andi Kleen | 9893e49 | 2009-09-16 11:50:17 +0200 | [diff] [blame] | 247 | if (ret != 1) | 
|  | 248 | return ret; | 
| Andi Kleen | afcf938 | 2009-12-16 12:20:00 +0100 | [diff] [blame] | 249 | if (bhv == MADV_SOFT_OFFLINE) { | 
|  | 250 | printk(KERN_INFO "Soft offlining page %lx at %lx\n", | 
|  | 251 | page_to_pfn(p), start); | 
|  | 252 | ret = soft_offline_page(p, MF_COUNT_INCREASED); | 
|  | 253 | if (ret) | 
|  | 254 | break; | 
|  | 255 | continue; | 
|  | 256 | } | 
| Andi Kleen | 9893e49 | 2009-09-16 11:50:17 +0200 | [diff] [blame] | 257 | printk(KERN_INFO "Injecting memory failure for page %lx at %lx\n", | 
|  | 258 | page_to_pfn(p), start); | 
|  | 259 | /* Ignore return value for now */ | 
| Tony Luck | cd42f4a | 2011-12-15 10:48:12 -0800 | [diff] [blame] | 260 | memory_failure(page_to_pfn(p), 0, MF_COUNT_INCREASED); | 
| Andi Kleen | 9893e49 | 2009-09-16 11:50:17 +0200 | [diff] [blame] | 261 | } | 
|  | 262 | return ret; | 
|  | 263 | } | 
|  | 264 | #endif | 
|  | 265 |  | 
| suzuki | 165cd40 | 2005-07-27 11:43:59 -0700 | [diff] [blame] | 266 | static long | 
|  | 267 | madvise_vma(struct vm_area_struct *vma, struct vm_area_struct **prev, | 
|  | 268 | unsigned long start, unsigned long end, int behavior) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 269 | { | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 270 | switch (behavior) { | 
| Badari Pulavarty | f6b3ec2 | 2006-01-06 00:10:38 -0800 | [diff] [blame] | 271 | case MADV_REMOVE: | 
| Hugh Dickins | 3866ea9 | 2009-09-21 17:01:52 -0700 | [diff] [blame] | 272 | return madvise_remove(vma, prev, start, end); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 273 | case MADV_WILLNEED: | 
| Hugh Dickins | 3866ea9 | 2009-09-21 17:01:52 -0700 | [diff] [blame] | 274 | return madvise_willneed(vma, prev, start, end); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 275 | case MADV_DONTNEED: | 
| Hugh Dickins | 3866ea9 | 2009-09-21 17:01:52 -0700 | [diff] [blame] | 276 | return madvise_dontneed(vma, prev, start, end); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 277 | default: | 
| Hugh Dickins | 3866ea9 | 2009-09-21 17:01:52 -0700 | [diff] [blame] | 278 | return madvise_behavior(vma, prev, start, end, behavior); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 279 | } | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 280 | } | 
|  | 281 |  | 
| Nick Piggin | 75927af | 2009-06-16 15:32:38 -0700 | [diff] [blame] | 282 | static int | 
|  | 283 | madvise_behavior_valid(int behavior) | 
|  | 284 | { | 
|  | 285 | switch (behavior) { | 
|  | 286 | case MADV_DOFORK: | 
|  | 287 | case MADV_DONTFORK: | 
|  | 288 | case MADV_NORMAL: | 
|  | 289 | case MADV_SEQUENTIAL: | 
|  | 290 | case MADV_RANDOM: | 
|  | 291 | case MADV_REMOVE: | 
|  | 292 | case MADV_WILLNEED: | 
|  | 293 | case MADV_DONTNEED: | 
| Hugh Dickins | f8af4da | 2009-09-21 17:01:57 -0700 | [diff] [blame] | 294 | #ifdef CONFIG_KSM | 
|  | 295 | case MADV_MERGEABLE: | 
|  | 296 | case MADV_UNMERGEABLE: | 
|  | 297 | #endif | 
| Andrea Arcangeli | 0af4e98 | 2011-01-13 15:46:55 -0800 | [diff] [blame] | 298 | #ifdef CONFIG_TRANSPARENT_HUGEPAGE | 
|  | 299 | case MADV_HUGEPAGE: | 
| Andrea Arcangeli | a664b2d | 2011-01-13 15:47:17 -0800 | [diff] [blame] | 300 | case MADV_NOHUGEPAGE: | 
| Andrea Arcangeli | 0af4e98 | 2011-01-13 15:46:55 -0800 | [diff] [blame] | 301 | #endif | 
| Jason Baron | accb61f | 2012-03-23 15:02:51 -0700 | [diff] [blame] | 302 | case MADV_DONTDUMP: | 
|  | 303 | case MADV_DODUMP: | 
| Nick Piggin | 75927af | 2009-06-16 15:32:38 -0700 | [diff] [blame] | 304 | return 1; | 
|  | 305 |  | 
|  | 306 | default: | 
|  | 307 | return 0; | 
|  | 308 | } | 
|  | 309 | } | 
| Hugh Dickins | 3866ea9 | 2009-09-21 17:01:52 -0700 | [diff] [blame] | 310 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 311 | /* | 
|  | 312 | * The madvise(2) system call. | 
|  | 313 | * | 
|  | 314 | * Applications can use madvise() to advise the kernel how it should | 
|  | 315 | * handle paging I/O in this VM area.  The idea is to help the kernel | 
|  | 316 | * use appropriate read-ahead and caching techniques.  The information | 
|  | 317 | * provided is advisory only, and can be safely disregarded by the | 
|  | 318 | * kernel without affecting the correct operation of the application. | 
|  | 319 | * | 
|  | 320 | * behavior values: | 
|  | 321 | *  MADV_NORMAL - the default behavior is to read clusters.  This | 
|  | 322 | *		results in some read-ahead and read-behind. | 
|  | 323 | *  MADV_RANDOM - the system should read the minimum amount of data | 
|  | 324 | *		on any access, since it is unlikely that the appli- | 
|  | 325 | *		cation will need more than what it asks for. | 
|  | 326 | *  MADV_SEQUENTIAL - pages in the given range will probably be accessed | 
|  | 327 | *		once, so they can be aggressively read ahead, and | 
|  | 328 | *		can be freed soon after they are accessed. | 
|  | 329 | *  MADV_WILLNEED - the application is notifying the system to read | 
|  | 330 | *		some pages ahead. | 
|  | 331 | *  MADV_DONTNEED - the application is finished with the given range, | 
|  | 332 | *		so the kernel can free resources associated with it. | 
| Badari Pulavarty | f6b3ec2 | 2006-01-06 00:10:38 -0800 | [diff] [blame] | 333 | *  MADV_REMOVE - the application wants to free up the given range of | 
|  | 334 | *		pages and associated backing store. | 
| Hugh Dickins | 3866ea9 | 2009-09-21 17:01:52 -0700 | [diff] [blame] | 335 | *  MADV_DONTFORK - omit this area from child's address space when forking: | 
|  | 336 | *		typically, to avoid COWing pages pinned by get_user_pages(). | 
|  | 337 | *  MADV_DOFORK - cancel MADV_DONTFORK: no longer omit this area when forking. | 
| Hugh Dickins | f8af4da | 2009-09-21 17:01:57 -0700 | [diff] [blame] | 338 | *  MADV_MERGEABLE - the application recommends that KSM try to merge pages in | 
|  | 339 | *		this area with pages of identical content from other such areas. | 
|  | 340 | *  MADV_UNMERGEABLE- cancel MADV_MERGEABLE: no longer merge pages with others. | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 341 | * | 
|  | 342 | * return values: | 
|  | 343 | *  zero    - success | 
|  | 344 | *  -EINVAL - start + len < 0, start is not page-aligned, | 
|  | 345 | *		"behavior" is not a valid value, or application | 
|  | 346 | *		is attempting to release locked or shared pages. | 
|  | 347 | *  -ENOMEM - addresses in the specified range are not currently | 
|  | 348 | *		mapped, or are outside the AS of the process. | 
|  | 349 | *  -EIO    - an I/O error occurred while paging in data. | 
|  | 350 | *  -EBADF  - map exists, but area maps something that isn't a file. | 
|  | 351 | *  -EAGAIN - a kernel resource was temporarily unavailable. | 
|  | 352 | */ | 
| Heiko Carstens | 3480b25 | 2009-01-14 14:14:16 +0100 | [diff] [blame] | 353 | SYSCALL_DEFINE3(madvise, unsigned long, start, size_t, len_in, int, behavior) | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 354 | { | 
| Prasanna Meda | 05b7438 | 2005-06-21 17:14:37 -0700 | [diff] [blame] | 355 | unsigned long end, tmp; | 
|  | 356 | struct vm_area_struct * vma, *prev; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 357 | int unmapped_error = 0; | 
|  | 358 | int error = -EINVAL; | 
| Jason Baron | f797779 | 2007-07-15 23:38:21 -0700 | [diff] [blame] | 359 | int write; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 360 | size_t len; | 
|  | 361 |  | 
| Andi Kleen | 9893e49 | 2009-09-16 11:50:17 +0200 | [diff] [blame] | 362 | #ifdef CONFIG_MEMORY_FAILURE | 
| Andi Kleen | afcf938 | 2009-12-16 12:20:00 +0100 | [diff] [blame] | 363 | if (behavior == MADV_HWPOISON || behavior == MADV_SOFT_OFFLINE) | 
|  | 364 | return madvise_hwpoison(behavior, start, start+len_in); | 
| Andi Kleen | 9893e49 | 2009-09-16 11:50:17 +0200 | [diff] [blame] | 365 | #endif | 
| Nick Piggin | 75927af | 2009-06-16 15:32:38 -0700 | [diff] [blame] | 366 | if (!madvise_behavior_valid(behavior)) | 
|  | 367 | return error; | 
|  | 368 |  | 
| Jason Baron | f797779 | 2007-07-15 23:38:21 -0700 | [diff] [blame] | 369 | write = madvise_need_mmap_write(behavior); | 
|  | 370 | if (write) | 
| Nick Piggin | 0a27a14 | 2007-05-06 14:49:53 -0700 | [diff] [blame] | 371 | down_write(¤t->mm->mmap_sem); | 
|  | 372 | else | 
|  | 373 | down_read(¤t->mm->mmap_sem); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 374 |  | 
|  | 375 | if (start & ~PAGE_MASK) | 
|  | 376 | goto out; | 
|  | 377 | len = (len_in + ~PAGE_MASK) & PAGE_MASK; | 
|  | 378 |  | 
|  | 379 | /* Check to see whether len was rounded up from small -ve to zero */ | 
|  | 380 | if (len_in && !len) | 
|  | 381 | goto out; | 
|  | 382 |  | 
|  | 383 | end = start + len; | 
|  | 384 | if (end < start) | 
|  | 385 | goto out; | 
|  | 386 |  | 
|  | 387 | error = 0; | 
|  | 388 | if (end == start) | 
|  | 389 | goto out; | 
|  | 390 |  | 
|  | 391 | /* | 
|  | 392 | * If the interval [start,end) covers some unmapped address | 
|  | 393 | * ranges, just ignore them, but return -ENOMEM at the end. | 
| Prasanna Meda | 05b7438 | 2005-06-21 17:14:37 -0700 | [diff] [blame] | 394 | * - different from the way of handling in mlock etc. | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 395 | */ | 
| Prasanna Meda | 05b7438 | 2005-06-21 17:14:37 -0700 | [diff] [blame] | 396 | vma = find_vma_prev(current->mm, start, &prev); | 
| Hugh Dickins | 836d5ff | 2005-09-03 15:54:53 -0700 | [diff] [blame] | 397 | if (vma && start > vma->vm_start) | 
|  | 398 | prev = vma; | 
|  | 399 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 400 | for (;;) { | 
|  | 401 | /* Still start < end. */ | 
|  | 402 | error = -ENOMEM; | 
|  | 403 | if (!vma) | 
|  | 404 | goto out; | 
|  | 405 |  | 
| Prasanna Meda | 05b7438 | 2005-06-21 17:14:37 -0700 | [diff] [blame] | 406 | /* Here start < (end|vma->vm_end). */ | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 407 | if (start < vma->vm_start) { | 
|  | 408 | unmapped_error = -ENOMEM; | 
|  | 409 | start = vma->vm_start; | 
| Prasanna Meda | 05b7438 | 2005-06-21 17:14:37 -0700 | [diff] [blame] | 410 | if (start >= end) | 
|  | 411 | goto out; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 412 | } | 
|  | 413 |  | 
| Prasanna Meda | 05b7438 | 2005-06-21 17:14:37 -0700 | [diff] [blame] | 414 | /* Here vma->vm_start <= start < (end|vma->vm_end) */ | 
|  | 415 | tmp = vma->vm_end; | 
|  | 416 | if (end < tmp) | 
|  | 417 | tmp = end; | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 418 |  | 
| Prasanna Meda | 05b7438 | 2005-06-21 17:14:37 -0700 | [diff] [blame] | 419 | /* Here vma->vm_start <= start < tmp <= (end|vma->vm_end). */ | 
|  | 420 | error = madvise_vma(vma, &prev, start, tmp, behavior); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 421 | if (error) | 
|  | 422 | goto out; | 
| Prasanna Meda | 05b7438 | 2005-06-21 17:14:37 -0700 | [diff] [blame] | 423 | start = tmp; | 
| Hugh Dickins | 90ed52e | 2007-03-29 01:20:38 -0700 | [diff] [blame] | 424 | if (prev && start < prev->vm_end) | 
| Prasanna Meda | 05b7438 | 2005-06-21 17:14:37 -0700 | [diff] [blame] | 425 | start = prev->vm_end; | 
|  | 426 | error = unmapped_error; | 
|  | 427 | if (start >= end) | 
|  | 428 | goto out; | 
| Hugh Dickins | 90ed52e | 2007-03-29 01:20:38 -0700 | [diff] [blame] | 429 | if (prev) | 
|  | 430 | vma = prev->vm_next; | 
|  | 431 | else	/* madvise_remove dropped mmap_sem */ | 
|  | 432 | vma = find_vma(current->mm, start); | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 433 | } | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 434 | out: | 
| Jason Baron | f797779 | 2007-07-15 23:38:21 -0700 | [diff] [blame] | 435 | if (write) | 
| Nick Piggin | 0a27a14 | 2007-05-06 14:49:53 -0700 | [diff] [blame] | 436 | up_write(¤t->mm->mmap_sem); | 
|  | 437 | else | 
|  | 438 | up_read(¤t->mm->mmap_sem); | 
|  | 439 |  | 
| Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 440 | return error; | 
|  | 441 | } |