blob: 1ccbba5b667414e717db987b85da9e0f1691268f [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
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 Meda05b74382005-06-21 17:14:37 -070011#include <linux/mempolicy.h>
Andi Kleenafcf9382009-12-16 12:20:00 +010012#include <linux/page-isolation.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070013#include <linux/hugetlb.h>
Alexey Dobriyane8edc6e2007-05-21 01:22:52 +040014#include <linux/sched.h>
Hugh Dickinsf8af4da2009-09-21 17:01:57 -070015#include <linux/ksm.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070016
17/*
Nick Piggin0a27a142007-05-06 14:49:53 -070018 * 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 */
22static 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 Torvalds1da177e2005-04-16 15:20:36 -070036 * We can potentially split a vm area into separate
37 * areas, each area with its own behavior.
38 */
Prasanna Meda05b74382005-06-21 17:14:37 -070039static long madvise_behavior(struct vm_area_struct * vma,
40 struct vm_area_struct **prev,
41 unsigned long start, unsigned long end, int behavior)
Linus Torvalds1da177e2005-04-16 15:20:36 -070042{
43 struct mm_struct * mm = vma->vm_mm;
44 int error = 0;
Prasanna Meda05b74382005-06-21 17:14:37 -070045 pgoff_t pgoff;
Hugh Dickins3866ea92009-09-21 17:01:52 -070046 unsigned long new_flags = vma->vm_flags;
Prasanna Medae798c6e2005-06-21 17:14:36 -070047
48 switch (behavior) {
Michael S. Tsirkinf8225662006-02-14 13:53:08 -080049 case MADV_NORMAL:
50 new_flags = new_flags & ~VM_RAND_READ & ~VM_SEQ_READ;
51 break;
Prasanna Medae798c6e2005-06-21 17:14:36 -070052 case MADV_SEQUENTIAL:
Michael S. Tsirkinf8225662006-02-14 13:53:08 -080053 new_flags = (new_flags & ~VM_RAND_READ) | VM_SEQ_READ;
Prasanna Medae798c6e2005-06-21 17:14:36 -070054 break;
55 case MADV_RANDOM:
Michael S. Tsirkinf8225662006-02-14 13:53:08 -080056 new_flags = (new_flags & ~VM_SEQ_READ) | VM_RAND_READ;
Prasanna Medae798c6e2005-06-21 17:14:36 -070057 break;
Michael S. Tsirkinf8225662006-02-14 13:53:08 -080058 case MADV_DONTFORK:
59 new_flags |= VM_DONTCOPY;
60 break;
61 case MADV_DOFORK:
Hugh Dickins3866ea92009-09-21 17:01:52 -070062 if (vma->vm_flags & VM_IO) {
63 error = -EINVAL;
64 goto out;
65 }
Michael S. Tsirkinf8225662006-02-14 13:53:08 -080066 new_flags &= ~VM_DONTCOPY;
Prasanna Medae798c6e2005-06-21 17:14:36 -070067 break;
Jason Baronaccb61f2012-03-23 15:02:51 -070068 case MADV_DONTDUMP:
69 new_flags |= VM_NODUMP;
70 break;
71 case MADV_DODUMP:
72 new_flags &= ~VM_NODUMP;
73 break;
Hugh Dickinsf8af4da2009-09-21 17:01:57 -070074 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 Arcangeli0af4e982011-01-13 15:46:55 -080080 case MADV_HUGEPAGE:
Andrea Arcangelia664b2d2011-01-13 15:47:17 -080081 case MADV_NOHUGEPAGE:
Andrea Arcangeli60ab3242011-01-13 15:47:18 -080082 error = hugepage_madvise(vma, &new_flags, behavior);
Andrea Arcangeli0af4e982011-01-13 15:46:55 -080083 if (error)
84 goto out;
85 break;
Prasanna Medae798c6e2005-06-21 17:14:36 -070086 }
87
Prasanna Meda05b74382005-06-21 17:14:37 -070088 if (new_flags == vma->vm_flags) {
89 *prev = vma;
Hugh Dickins836d5ff2005-09-03 15:54:53 -070090 goto out;
Prasanna Meda05b74382005-06-21 17:14:37 -070091 }
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 Torvalds1da177e2005-04-16 15:20:36 -0700102
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 Dickins836d5ff2005-09-03 15:54:53 -0700115success:
Linus Torvalds1da177e2005-04-16 15:20:36 -0700116 /*
117 * vm_flags is protected by the mmap_sem held in write mode.
118 */
Prasanna Medae798c6e2005-06-21 17:14:36 -0700119 vma->vm_flags = new_flags;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700120
121out:
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 */
130static long madvise_willneed(struct vm_area_struct * vma,
Prasanna Meda05b74382005-06-21 17:14:37 -0700131 struct vm_area_struct ** prev,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700132 unsigned long start, unsigned long end)
133{
134 struct file *file = vma->vm_file;
135
Suzuki1bef4002005-10-11 08:29:06 -0700136 if (!file)
137 return -EBADF;
138
Nick Piggin70688e42008-04-28 02:13:02 -0700139 if (file->f_mapping->a_ops->get_xip_mem) {
Carsten Ottefe77ba62005-06-23 22:05:29 -0700140 /* no bad return value, but ignore advice */
141 return 0;
142 }
143
Prasanna Meda05b74382005-06-21 17:14:37 -0700144 *prev = vma;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700145 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 Fengguangf7e839d2009-06-16 15:31:20 -0700150 force_page_cache_readahead(file->f_mapping, file, start, end - start);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700151 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 Cao7e6cbea2008-07-29 22:33:39 -0700158 * zap_page_range call sets things up for shrink_active_list to actually free
Linus Torvalds1da177e2005-04-16 15:20:36 -0700159 * 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 Cao7e6cbea2008-07-29 22:33:39 -0700161 * shrink_active_list to pick up before reclaiming other pages.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700162 *
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 */
173static long madvise_dontneed(struct vm_area_struct * vma,
Prasanna Meda05b74382005-06-21 17:14:37 -0700174 struct vm_area_struct ** prev,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700175 unsigned long start, unsigned long end)
176{
Prasanna Meda05b74382005-06-21 17:14:37 -0700177 *prev = vma;
Linus Torvalds6aab3412005-11-28 14:34:23 -0800178 if (vma->vm_flags & (VM_LOCKED|VM_HUGETLB|VM_PFNMAP))
Linus Torvalds1da177e2005-04-16 15:20:36 -0700179 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 Pulavartyf6b3ec22006-01-06 00:10:38 -0800192/*
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 */
199static long madvise_remove(struct vm_area_struct *vma,
Nick Piggin00e9fa22007-03-16 13:38:10 -0800200 struct vm_area_struct **prev,
Badari Pulavartyf6b3ec22006-01-06 00:10:38 -0800201 unsigned long start, unsigned long end)
202{
203 struct address_space *mapping;
Hugh Dickins90ed52e2007-03-29 01:20:38 -0700204 loff_t offset, endoff;
205 int error;
Badari Pulavartyf6b3ec22006-01-06 00:10:38 -0800206
Hugh Dickins90ed52e2007-03-29 01:20:38 -0700207 *prev = NULL; /* tell sys_madvise we drop mmap_sem */
Nick Piggin00e9fa22007-03-16 13:38:10 -0800208
Badari Pulavartyf6b3ec22006-01-06 00:10:38 -0800209 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 Dickins69cf0fa2006-04-17 22:46:32 +0100217 if ((vma->vm_flags & (VM_SHARED|VM_WRITE)) != (VM_SHARED|VM_WRITE))
218 return -EACCES;
219
Badari Pulavartyf6b3ec22006-01-06 00:10:38 -0800220 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 Dickins90ed52e2007-03-29 01:20:38 -0700226
Christoph Hellwigbd5fe6c2011-06-24 14:29:43 -0400227 /* vmtruncate_range needs to take i_mutex */
Nick Piggin0a27a142007-05-06 14:49:53 -0700228 up_read(&current->mm->mmap_sem);
Hugh Dickins90ed52e2007-03-29 01:20:38 -0700229 error = vmtruncate_range(mapping->host, offset, endoff);
Nick Piggin0a27a142007-05-06 14:49:53 -0700230 down_read(&current->mm->mmap_sem);
Hugh Dickins90ed52e2007-03-29 01:20:38 -0700231 return error;
Badari Pulavartyf6b3ec22006-01-06 00:10:38 -0800232}
233
Andi Kleen9893e492009-09-16 11:50:17 +0200234#ifdef CONFIG_MEMORY_FAILURE
235/*
236 * Error injection support for memory error handling.
237 */
Andi Kleenafcf9382009-12-16 12:20:00 +0100238static int madvise_hwpoison(int bhv, unsigned long start, unsigned long end)
Andi Kleen9893e492009-09-16 11:50:17 +0200239{
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 Kleend15f1072009-12-16 12:20:00 +0100246 int ret = get_user_pages_fast(start, 1, 0, &p);
Andi Kleen9893e492009-09-16 11:50:17 +0200247 if (ret != 1)
248 return ret;
Andi Kleenafcf9382009-12-16 12:20:00 +0100249 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 Kleen9893e492009-09-16 11:50:17 +0200257 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 Luckcd42f4a2011-12-15 10:48:12 -0800260 memory_failure(page_to_pfn(p), 0, MF_COUNT_INCREASED);
Andi Kleen9893e492009-09-16 11:50:17 +0200261 }
262 return ret;
263}
264#endif
265
suzuki165cd402005-07-27 11:43:59 -0700266static long
267madvise_vma(struct vm_area_struct *vma, struct vm_area_struct **prev,
268 unsigned long start, unsigned long end, int behavior)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700269{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700270 switch (behavior) {
Badari Pulavartyf6b3ec22006-01-06 00:10:38 -0800271 case MADV_REMOVE:
Hugh Dickins3866ea92009-09-21 17:01:52 -0700272 return madvise_remove(vma, prev, start, end);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700273 case MADV_WILLNEED:
Hugh Dickins3866ea92009-09-21 17:01:52 -0700274 return madvise_willneed(vma, prev, start, end);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700275 case MADV_DONTNEED:
Hugh Dickins3866ea92009-09-21 17:01:52 -0700276 return madvise_dontneed(vma, prev, start, end);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700277 default:
Hugh Dickins3866ea92009-09-21 17:01:52 -0700278 return madvise_behavior(vma, prev, start, end, behavior);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700279 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700280}
281
Nick Piggin75927af2009-06-16 15:32:38 -0700282static int
283madvise_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 Dickinsf8af4da2009-09-21 17:01:57 -0700294#ifdef CONFIG_KSM
295 case MADV_MERGEABLE:
296 case MADV_UNMERGEABLE:
297#endif
Andrea Arcangeli0af4e982011-01-13 15:46:55 -0800298#ifdef CONFIG_TRANSPARENT_HUGEPAGE
299 case MADV_HUGEPAGE:
Andrea Arcangelia664b2d2011-01-13 15:47:17 -0800300 case MADV_NOHUGEPAGE:
Andrea Arcangeli0af4e982011-01-13 15:46:55 -0800301#endif
Jason Baronaccb61f2012-03-23 15:02:51 -0700302 case MADV_DONTDUMP:
303 case MADV_DODUMP:
Nick Piggin75927af2009-06-16 15:32:38 -0700304 return 1;
305
306 default:
307 return 0;
308 }
309}
Hugh Dickins3866ea92009-09-21 17:01:52 -0700310
Linus Torvalds1da177e2005-04-16 15:20:36 -0700311/*
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 Pulavartyf6b3ec22006-01-06 00:10:38 -0800333 * MADV_REMOVE - the application wants to free up the given range of
334 * pages and associated backing store.
Hugh Dickins3866ea92009-09-21 17:01:52 -0700335 * 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 Dickinsf8af4da2009-09-21 17:01:57 -0700338 * 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 Torvalds1da177e2005-04-16 15:20:36 -0700341 *
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 Carstens3480b252009-01-14 14:14:16 +0100353SYSCALL_DEFINE3(madvise, unsigned long, start, size_t, len_in, int, behavior)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700354{
Prasanna Meda05b74382005-06-21 17:14:37 -0700355 unsigned long end, tmp;
356 struct vm_area_struct * vma, *prev;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700357 int unmapped_error = 0;
358 int error = -EINVAL;
Jason Baronf7977792007-07-15 23:38:21 -0700359 int write;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700360 size_t len;
361
Andi Kleen9893e492009-09-16 11:50:17 +0200362#ifdef CONFIG_MEMORY_FAILURE
Andi Kleenafcf9382009-12-16 12:20:00 +0100363 if (behavior == MADV_HWPOISON || behavior == MADV_SOFT_OFFLINE)
364 return madvise_hwpoison(behavior, start, start+len_in);
Andi Kleen9893e492009-09-16 11:50:17 +0200365#endif
Nick Piggin75927af2009-06-16 15:32:38 -0700366 if (!madvise_behavior_valid(behavior))
367 return error;
368
Jason Baronf7977792007-07-15 23:38:21 -0700369 write = madvise_need_mmap_write(behavior);
370 if (write)
Nick Piggin0a27a142007-05-06 14:49:53 -0700371 down_write(&current->mm->mmap_sem);
372 else
373 down_read(&current->mm->mmap_sem);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700374
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 Meda05b74382005-06-21 17:14:37 -0700394 * - different from the way of handling in mlock etc.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700395 */
Prasanna Meda05b74382005-06-21 17:14:37 -0700396 vma = find_vma_prev(current->mm, start, &prev);
Hugh Dickins836d5ff2005-09-03 15:54:53 -0700397 if (vma && start > vma->vm_start)
398 prev = vma;
399
Linus Torvalds1da177e2005-04-16 15:20:36 -0700400 for (;;) {
401 /* Still start < end. */
402 error = -ENOMEM;
403 if (!vma)
404 goto out;
405
Prasanna Meda05b74382005-06-21 17:14:37 -0700406 /* Here start < (end|vma->vm_end). */
Linus Torvalds1da177e2005-04-16 15:20:36 -0700407 if (start < vma->vm_start) {
408 unmapped_error = -ENOMEM;
409 start = vma->vm_start;
Prasanna Meda05b74382005-06-21 17:14:37 -0700410 if (start >= end)
411 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700412 }
413
Prasanna Meda05b74382005-06-21 17:14:37 -0700414 /* Here vma->vm_start <= start < (end|vma->vm_end) */
415 tmp = vma->vm_end;
416 if (end < tmp)
417 tmp = end;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700418
Prasanna Meda05b74382005-06-21 17:14:37 -0700419 /* Here vma->vm_start <= start < tmp <= (end|vma->vm_end). */
420 error = madvise_vma(vma, &prev, start, tmp, behavior);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700421 if (error)
422 goto out;
Prasanna Meda05b74382005-06-21 17:14:37 -0700423 start = tmp;
Hugh Dickins90ed52e2007-03-29 01:20:38 -0700424 if (prev && start < prev->vm_end)
Prasanna Meda05b74382005-06-21 17:14:37 -0700425 start = prev->vm_end;
426 error = unmapped_error;
427 if (start >= end)
428 goto out;
Hugh Dickins90ed52e2007-03-29 01:20:38 -0700429 if (prev)
430 vma = prev->vm_next;
431 else /* madvise_remove dropped mmap_sem */
432 vma = find_vma(current->mm, start);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700433 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700434out:
Jason Baronf7977792007-07-15 23:38:21 -0700435 if (write)
Nick Piggin0a27a142007-05-06 14:49:53 -0700436 up_write(&current->mm->mmap_sem);
437 else
438 up_read(&current->mm->mmap_sem);
439
Linus Torvalds1da177e2005-04-16 15:20:36 -0700440 return error;
441}