blob: bc6c95376366e394f6a21d98a985561184f2f46b [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);
173 if (flags & MS_SYNC)
174 current->flags |= PF_SYNCWRITE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700175 vma = find_vma(current->mm, start);
Andrew Morton676758b2006-03-24 03:18:14 -0800176 if (!vma) {
177 error = -ENOMEM;
178 goto out_unlock;
179 }
Andrew Morton9c50823e2006-03-24 03:18:12 -0800180 do {
181 unsigned long nr_pages_dirtied = 0;
182 struct file *file;
183
Linus Torvalds1da177e2005-04-16 15:20:36 -0700184 /* Here start < vma->vm_end. */
185 if (start < vma->vm_start) {
186 unmapped_error = -ENOMEM;
187 start = vma->vm_start;
188 }
189 /* Here vma->vm_start <= start < vma->vm_end. */
190 if (end <= vma->vm_end) {
191 if (start < end) {
Andrew Morton9c50823e2006-03-24 03:18:12 -0800192 error = msync_interval(vma, start, end, flags,
193 &nr_pages_dirtied);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700194 if (error)
Andrew Morton9c50823e2006-03-24 03:18:12 -0800195 goto out_unlock;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700196 }
197 error = unmapped_error;
Andrew Morton9c50823e2006-03-24 03:18:12 -0800198 done = 1;
199 } else {
200 /* Here vma->vm_start <= start < vma->vm_end < end. */
201 error = msync_interval(vma, start, vma->vm_end, flags,
202 &nr_pages_dirtied);
203 if (error)
204 goto out_unlock;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700205 }
Andrew Morton9c50823e2006-03-24 03:18:12 -0800206 file = vma->vm_file;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700207 start = vma->vm_end;
Andrew Morton9c50823e2006-03-24 03:18:12 -0800208 if ((flags & MS_ASYNC) && file && nr_pages_dirtied) {
209 get_file(file);
210 up_read(&current->mm->mmap_sem);
211 balance_dirty_pages_ratelimited_nr(file->f_mapping,
212 nr_pages_dirtied);
213 fput(file);
214 down_read(&current->mm->mmap_sem);
215 vma = find_vma(current->mm, start);
Andrew Morton707c21c2006-03-24 03:18:13 -0800216 } else if ((flags & MS_SYNC) && file &&
217 (vma->vm_flags & VM_SHARED)) {
Andrew Morton707c21c2006-03-24 03:18:13 -0800218 get_file(file);
219 up_read(&current->mm->mmap_sem);
Andrew Morton8f2e9f12006-03-24 03:18:15 -0800220 error = do_fsync(file, 0);
Andrew Morton707c21c2006-03-24 03:18:13 -0800221 fput(file);
222 down_read(&current->mm->mmap_sem);
223 if (error)
224 goto out_unlock;
225 vma = find_vma(current->mm, start);
Andrew Morton9c50823e2006-03-24 03:18:12 -0800226 } else {
227 vma = vma->vm_next;
228 }
Andrew Morton676758b2006-03-24 03:18:14 -0800229 } while (vma && !done);
Andrew Morton9c50823e2006-03-24 03:18:12 -0800230out_unlock:
Linus Torvalds1da177e2005-04-16 15:20:36 -0700231 current->flags &= ~PF_SYNCWRITE;
Andrew Morton9c50823e2006-03-24 03:18:12 -0800232 up_read(&current->mm->mmap_sem);
233out:
Linus Torvalds1da177e2005-04-16 15:20:36 -0700234 return error;
235}