blob: d083544df21bdf7a7f2229d5846a02ba22e1218f [file] [log] [blame]
Linus Torvalds1da177e2005-04-16 15:20:36 -07001/*
2 * linux/mm/msync.c
3 *
4 * Copyright (C) 1994-1999 Linus Torvalds
5 */
6
7/*
8 * The msync() system call.
9 */
10#include <linux/slab.h>
11#include <linux/pagemap.h>
Andrew Morton8f2e9f12006-03-24 03:18:15 -080012#include <linux/fs.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070013#include <linux/mm.h>
14#include <linux/mman.h>
15#include <linux/hugetlb.h>
Andrew Morton9c50823e2006-03-24 03:18:12 -080016#include <linux/writeback.h>
17#include <linux/file.h>
Linus Torvalds1da177e2005-04-16 15:20:36 -070018#include <linux/syscalls.h>
19
20#include <asm/pgtable.h>
21#include <asm/tlbflush.h>
22
Andrew Morton9c50823e2006-03-24 03:18:12 -080023static unsigned long msync_pte_range(struct vm_area_struct *vma, pmd_t *pmd,
Linus Torvalds1da177e2005-04-16 15:20:36 -070024 unsigned long addr, unsigned long end)
25{
26 pte_t *pte;
Hugh Dickins705e87c2005-10-29 18:16:27 -070027 spinlock_t *ptl;
Hugh Dickins0c942a42005-10-29 18:15:53 -070028 int progress = 0;
Andrew Morton9c50823e2006-03-24 03:18:12 -080029 unsigned long ret = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -070030
Hugh Dickins0c942a42005-10-29 18:15:53 -070031again:
Hugh Dickins705e87c2005-10-29 18:16:27 -070032 pte = pte_offset_map_lock(vma->vm_mm, pmd, addr, &ptl);
Linus Torvalds1da177e2005-04-16 15:20:36 -070033 do {
Linus Torvalds1da177e2005-04-16 15:20:36 -070034 struct page *page;
35
Hugh Dickins0c942a42005-10-29 18:15:53 -070036 if (progress >= 64) {
37 progress = 0;
Hugh Dickins705e87c2005-10-29 18:16:27 -070038 if (need_resched() || need_lockbreak(ptl))
Hugh Dickins0c942a42005-10-29 18:15:53 -070039 break;
40 }
41 progress++;
Linus Torvalds1da177e2005-04-16 15:20:36 -070042 if (!pte_present(*pte))
43 continue;
Abhijit Karmarkarb4955ce2005-06-21 17:15:13 -070044 if (!pte_maybe_dirty(*pte))
45 continue;
Linus Torvalds6aab3412005-11-28 14:34:23 -080046 page = vm_normal_page(vma, addr, *pte);
47 if (!page)
Linus Torvalds1da177e2005-04-16 15:20:36 -070048 continue;
Linus Torvalds1da177e2005-04-16 15:20:36 -070049 if (ptep_clear_flush_dirty(vma, addr, pte) ||
Andrew Morton9c50823e2006-03-24 03:18:12 -080050 page_test_and_clear_dirty(page))
51 ret += set_page_dirty(page);
Hugh Dickins0c942a42005-10-29 18:15:53 -070052 progress += 3;
Linus Torvalds1da177e2005-04-16 15:20:36 -070053 } while (pte++, addr += PAGE_SIZE, addr != end);
Hugh Dickins705e87c2005-10-29 18:16:27 -070054 pte_unmap_unlock(pte - 1, ptl);
55 cond_resched();
Hugh Dickins0c942a42005-10-29 18:15:53 -070056 if (addr != end)
57 goto again;
Andrew Morton9c50823e2006-03-24 03:18:12 -080058 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -070059}
60
Andrew Morton9c50823e2006-03-24 03:18:12 -080061static inline unsigned long msync_pmd_range(struct vm_area_struct *vma,
62 pud_t *pud, unsigned long addr, unsigned long end)
Linus Torvalds1da177e2005-04-16 15:20:36 -070063{
64 pmd_t *pmd;
65 unsigned long next;
Andrew Morton9c50823e2006-03-24 03:18:12 -080066 unsigned long ret = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -070067
68 pmd = pmd_offset(pud, addr);
69 do {
70 next = pmd_addr_end(addr, end);
71 if (pmd_none_or_clear_bad(pmd))
72 continue;
Andrew Morton9c50823e2006-03-24 03:18:12 -080073 ret += msync_pte_range(vma, pmd, addr, next);
Linus Torvalds1da177e2005-04-16 15:20:36 -070074 } while (pmd++, addr = next, addr != end);
Andrew Morton9c50823e2006-03-24 03:18:12 -080075 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -070076}
77
Andrew Morton9c50823e2006-03-24 03:18:12 -080078static inline unsigned long msync_pud_range(struct vm_area_struct *vma,
79 pgd_t *pgd, unsigned long addr, unsigned long end)
Linus Torvalds1da177e2005-04-16 15:20:36 -070080{
81 pud_t *pud;
82 unsigned long next;
Andrew Morton9c50823e2006-03-24 03:18:12 -080083 unsigned long ret = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -070084
85 pud = pud_offset(pgd, addr);
86 do {
87 next = pud_addr_end(addr, end);
88 if (pud_none_or_clear_bad(pud))
89 continue;
Andrew Morton9c50823e2006-03-24 03:18:12 -080090 ret += msync_pmd_range(vma, pud, addr, next);
Linus Torvalds1da177e2005-04-16 15:20:36 -070091 } while (pud++, addr = next, addr != end);
Andrew Morton9c50823e2006-03-24 03:18:12 -080092 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -070093}
94
Andrew Morton9c50823e2006-03-24 03:18:12 -080095static unsigned long msync_page_range(struct vm_area_struct *vma,
Linus Torvalds1da177e2005-04-16 15:20:36 -070096 unsigned long addr, unsigned long end)
97{
Linus Torvalds1da177e2005-04-16 15:20:36 -070098 pgd_t *pgd;
99 unsigned long next;
Andrew Morton9c50823e2006-03-24 03:18:12 -0800100 unsigned long ret = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700101
102 /* For hugepages we can't go walking the page table normally,
103 * but that's ok, hugetlbfs is memory based, so we don't need
Nick Pigginb5810032005-10-29 18:16:12 -0700104 * to do anything more on an msync().
Nick Pigginb5810032005-10-29 18:16:12 -0700105 */
Linus Torvalds6aab3412005-11-28 14:34:23 -0800106 if (vma->vm_flags & VM_HUGETLB)
Andrew Morton9c50823e2006-03-24 03:18:12 -0800107 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700108
109 BUG_ON(addr >= end);
Hugh Dickins705e87c2005-10-29 18:16:27 -0700110 pgd = pgd_offset(vma->vm_mm, addr);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700111 flush_cache_range(vma, addr, end);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700112 do {
113 next = pgd_addr_end(addr, end);
114 if (pgd_none_or_clear_bad(pgd))
115 continue;
Andrew Morton9c50823e2006-03-24 03:18:12 -0800116 ret += msync_pud_range(vma, pgd, addr, next);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700117 } while (pgd++, addr = next, addr != end);
Andrew Morton9c50823e2006-03-24 03:18:12 -0800118 return ret;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700119}
120
Linus Torvalds1da177e2005-04-16 15:20:36 -0700121/*
122 * MS_SYNC syncs the entire file - including mappings.
123 *
124 * MS_ASYNC does not start I/O (it used to, up to 2.5.67). Instead, it just
125 * marks the relevant pages dirty. The application may now run fsync() to
126 * write out the dirty pages and wait on the writeout and check the result.
127 * Or the application may run fadvise(FADV_DONTNEED) against the fd to start
128 * async writeout immediately.
Amos Waterland16538c42006-03-24 18:30:53 +0100129 * So by _not_ starting I/O in MS_ASYNC we provide complete flexibility to
Linus Torvalds1da177e2005-04-16 15:20:36 -0700130 * applications.
131 */
Andrew Morton9c50823e2006-03-24 03:18:12 -0800132static int msync_interval(struct vm_area_struct *vma, unsigned long addr,
133 unsigned long end, int flags,
134 unsigned long *nr_pages_dirtied)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700135{
Linus Torvalds1da177e2005-04-16 15:20:36 -0700136 struct file *file = vma->vm_file;
137
138 if ((flags & MS_INVALIDATE) && (vma->vm_flags & VM_LOCKED))
139 return -EBUSY;
140
Andrew Morton707c21c2006-03-24 03:18:13 -0800141 if (file && (vma->vm_flags & VM_SHARED))
Andrew Morton9c50823e2006-03-24 03:18:12 -0800142 *nr_pages_dirtied = msync_page_range(vma, addr, end);
Andrew Morton707c21c2006-03-24 03:18:13 -0800143 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700144}
145
146asmlinkage long sys_msync(unsigned long start, size_t len, int flags)
147{
148 unsigned long end;
149 struct vm_area_struct *vma;
Andrew Morton676758b2006-03-24 03:18:14 -0800150 int unmapped_error = 0;
151 int error = -EINVAL;
Andrew Morton9c50823e2006-03-24 03:18:12 -0800152 int done = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700153
Linus Torvalds1da177e2005-04-16 15:20:36 -0700154 if (flags & ~(MS_ASYNC | MS_INVALIDATE | MS_SYNC))
155 goto out;
156 if (start & ~PAGE_MASK)
157 goto out;
158 if ((flags & MS_ASYNC) && (flags & MS_SYNC))
159 goto out;
160 error = -ENOMEM;
161 len = (len + ~PAGE_MASK) & PAGE_MASK;
162 end = start + len;
163 if (end < start)
164 goto out;
165 error = 0;
166 if (end == start)
167 goto out;
168 /*
169 * If the interval [start,end) covers some unmapped address ranges,
170 * just ignore them, but return -ENOMEM at the end.
171 */
Andrew Morton9c50823e2006-03-24 03:18:12 -0800172 down_read(&current->mm->mmap_sem);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700173 vma = find_vma(current->mm, start);
Andrew Morton676758b2006-03-24 03:18:14 -0800174 if (!vma) {
175 error = -ENOMEM;
176 goto out_unlock;
177 }
Andrew Morton9c50823e2006-03-24 03:18:12 -0800178 do {
179 unsigned long nr_pages_dirtied = 0;
180 struct file *file;
181
Linus Torvalds1da177e2005-04-16 15:20:36 -0700182 /* Here start < vma->vm_end. */
183 if (start < vma->vm_start) {
184 unmapped_error = -ENOMEM;
185 start = vma->vm_start;
186 }
187 /* Here vma->vm_start <= start < vma->vm_end. */
188 if (end <= vma->vm_end) {
189 if (start < end) {
Andrew Morton9c50823e2006-03-24 03:18:12 -0800190 error = msync_interval(vma, start, end, flags,
191 &nr_pages_dirtied);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700192 if (error)
Andrew Morton9c50823e2006-03-24 03:18:12 -0800193 goto out_unlock;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700194 }
195 error = unmapped_error;
Andrew Morton9c50823e2006-03-24 03:18:12 -0800196 done = 1;
197 } else {
198 /* Here vma->vm_start <= start < vma->vm_end < end. */
199 error = msync_interval(vma, start, vma->vm_end, flags,
200 &nr_pages_dirtied);
201 if (error)
202 goto out_unlock;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700203 }
Andrew Morton9c50823e2006-03-24 03:18:12 -0800204 file = vma->vm_file;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700205 start = vma->vm_end;
Andrew Morton9c50823e2006-03-24 03:18:12 -0800206 if ((flags & MS_ASYNC) && file && nr_pages_dirtied) {
207 get_file(file);
208 up_read(&current->mm->mmap_sem);
209 balance_dirty_pages_ratelimited_nr(file->f_mapping,
210 nr_pages_dirtied);
211 fput(file);
212 down_read(&current->mm->mmap_sem);
213 vma = find_vma(current->mm, start);
Andrew Morton707c21c2006-03-24 03:18:13 -0800214 } else if ((flags & MS_SYNC) && file &&
215 (vma->vm_flags & VM_SHARED)) {
Andrew Morton707c21c2006-03-24 03:18:13 -0800216 get_file(file);
217 up_read(&current->mm->mmap_sem);
Andrew Morton8f2e9f12006-03-24 03:18:15 -0800218 error = do_fsync(file, 0);
Andrew Morton707c21c2006-03-24 03:18:13 -0800219 fput(file);
220 down_read(&current->mm->mmap_sem);
221 if (error)
222 goto out_unlock;
223 vma = find_vma(current->mm, start);
Andrew Morton9c50823e2006-03-24 03:18:12 -0800224 } else {
225 vma = vma->vm_next;
226 }
Andrew Morton676758b2006-03-24 03:18:14 -0800227 } while (vma && !done);
Andrew Morton9c50823e2006-03-24 03:18:12 -0800228out_unlock:
Andrew Morton9c50823e2006-03-24 03:18:12 -0800229 up_read(&current->mm->mmap_sem);
230out:
Linus Torvalds1da177e2005-04-16 15:20:36 -0700231 return error;
232}