6 * Address space accounting code <alan@redhat.com>
9 #include <linux/slab.h>
11 #include <linux/shm.h>
12 #include <linux/mman.h>
13 #include <linux/pagemap.h>
14 #include <linux/swap.h>
15 #include <linux/syscalls.h>
16 #include <linux/capability.h>
17 #include <linux/init.h>
18 #include <linux/file.h>
20 #include <linux/personality.h>
21 #include <linux/security.h>
22 #include <linux/hugetlb.h>
23 #include <linux/profile.h>
24 #include <linux/module.h>
25 #include <linux/mount.h>
26 #include <linux/mempolicy.h>
27 #include <linux/rmap.h>
29 #include <asm/uaccess.h>
30 #include <asm/cacheflush.h>
32 #include <asm/mmu_context.h>
34 #ifndef arch_mmap_check
35 #define arch_mmap_check(addr, len, flags) (0)
38 static void unmap_region(struct mm_struct
*mm
,
39 struct vm_area_struct
*vma
, struct vm_area_struct
*prev
,
40 unsigned long start
, unsigned long end
);
43 * WARNING: the debugging will use recursive algorithms so never enable this
44 * unless you know what you are doing.
48 /* description of effects of mapping type and prot in current implementation.
49 * this is due to the limited x86 page protection hardware. The expected
50 * behavior is in parens:
53 * PROT_NONE PROT_READ PROT_WRITE PROT_EXEC
54 * MAP_SHARED r: (no) no r: (yes) yes r: (no) yes r: (no) yes
55 * w: (no) no w: (no) no w: (yes) yes w: (no) no
56 * x: (no) no x: (no) yes x: (no) yes x: (yes) yes
58 * MAP_PRIVATE r: (no) no r: (yes) yes r: (no) yes r: (no) yes
59 * w: (no) no w: (no) no w: (copy) copy w: (no) no
60 * x: (no) no x: (no) yes x: (no) yes x: (yes) yes
63 pgprot_t protection_map
[16] = {
64 __P000
, __P001
, __P010
, __P011
, __P100
, __P101
, __P110
, __P111
,
65 __S000
, __S001
, __S010
, __S011
, __S100
, __S101
, __S110
, __S111
68 pgprot_t
vm_get_page_prot(unsigned long vm_flags
)
70 return protection_map
[vm_flags
&
71 (VM_READ
|VM_WRITE
|VM_EXEC
|VM_SHARED
)];
73 EXPORT_SYMBOL(vm_get_page_prot
);
75 int sysctl_overcommit_memory
= OVERCOMMIT_GUESS
; /* heuristic overcommit */
76 int sysctl_overcommit_ratio
= 50; /* default is 50% */
77 int sysctl_max_map_count __read_mostly
= DEFAULT_MAX_MAP_COUNT
;
78 atomic_t vm_committed_space
= ATOMIC_INIT(0);
81 * Check that a process has enough memory to allocate a new virtual
82 * mapping. 0 means there is enough memory for the allocation to
83 * succeed and -ENOMEM implies there is not.
85 * We currently support three overcommit policies, which are set via the
86 * vm.overcommit_memory sysctl. See Documentation/vm/overcommit-accounting
88 * Strict overcommit modes added 2002 Feb 26 by Alan Cox.
89 * Additional code 2002 Jul 20 by Robert Love.
91 * cap_sys_admin is 1 if the process has admin privileges, 0 otherwise.
93 * Note this is a helper function intended to be used by LSMs which
94 * wish to use this logic.
96 int __vm_enough_memory(long pages
, int cap_sys_admin
)
98 unsigned long free
, allowed
;
100 vm_acct_memory(pages
);
103 * Sometimes we want to use more memory than we have
105 if (sysctl_overcommit_memory
== OVERCOMMIT_ALWAYS
)
108 if (sysctl_overcommit_memory
== OVERCOMMIT_GUESS
) {
111 free
= global_page_state(NR_FILE_PAGES
);
112 free
+= nr_swap_pages
;
115 * Any slabs which are created with the
116 * SLAB_RECLAIM_ACCOUNT flag claim to have contents
117 * which are reclaimable, under pressure. The dentry
118 * cache and most inode caches should fall into this
120 free
+= global_page_state(NR_SLAB_RECLAIMABLE
);
123 * Leave the last 3% for root
132 * nr_free_pages() is very expensive on large systems,
133 * only call if we're about to fail.
138 * Leave reserved pages. The pages are not for anonymous pages.
140 if (n
<= totalreserve_pages
)
143 n
-= totalreserve_pages
;
146 * Leave the last 3% for root
158 allowed
= (totalram_pages
- hugetlb_total_pages())
159 * sysctl_overcommit_ratio
/ 100;
161 * Leave the last 3% for root
164 allowed
-= allowed
/ 32;
165 allowed
+= total_swap_pages
;
167 /* Don't let a single process grow too big:
168 leave 3% of the size of this process for other processes */
169 allowed
-= current
->mm
->total_vm
/ 32;
172 * cast `allowed' as a signed long because vm_committed_space
173 * sometimes has a negative value
175 if (atomic_read(&vm_committed_space
) < (long)allowed
)
178 vm_unacct_memory(pages
);
183 EXPORT_SYMBOL(__vm_enough_memory
);
186 * Requires inode->i_mapping->i_mmap_lock
188 static void __remove_shared_vm_struct(struct vm_area_struct
*vma
,
189 struct file
*file
, struct address_space
*mapping
)
191 if (vma
->vm_flags
& VM_DENYWRITE
)
192 atomic_inc(&file
->f_path
.dentry
->d_inode
->i_writecount
);
193 if (vma
->vm_flags
& VM_SHARED
)
194 mapping
->i_mmap_writable
--;
196 flush_dcache_mmap_lock(mapping
);
197 if (unlikely(vma
->vm_flags
& VM_NONLINEAR
))
198 list_del_init(&vma
->shared
.vm_set
.list
);
200 vma_prio_tree_remove(vma
, &mapping
->i_mmap
);
201 flush_dcache_mmap_unlock(mapping
);
205 * Unlink a file-based vm structure from its prio_tree, to hide
206 * vma from rmap and vmtruncate before freeing its page tables.
208 void unlink_file_vma(struct vm_area_struct
*vma
)
210 struct file
*file
= vma
->vm_file
;
213 struct address_space
*mapping
= file
->f_mapping
;
214 spin_lock(&mapping
->i_mmap_lock
);
215 __remove_shared_vm_struct(vma
, file
, mapping
);
216 spin_unlock(&mapping
->i_mmap_lock
);
221 * Close a vm structure and free it, returning the next.
223 static struct vm_area_struct
*remove_vma(struct vm_area_struct
*vma
)
225 struct vm_area_struct
*next
= vma
->vm_next
;
228 if (vma
->vm_ops
&& vma
->vm_ops
->close
)
229 vma
->vm_ops
->close(vma
);
232 mpol_free(vma_policy(vma
));
233 kmem_cache_free(vm_area_cachep
, vma
);
237 asmlinkage
unsigned long sys_brk(unsigned long brk
)
239 unsigned long rlim
, retval
;
240 unsigned long newbrk
, oldbrk
;
241 struct mm_struct
*mm
= current
->mm
;
243 down_write(&mm
->mmap_sem
);
245 if (brk
< mm
->end_code
)
249 * Check against rlimit here. If this check is done later after the test
250 * of oldbrk with newbrk then it can escape the test and let the data
251 * segment grow beyond its set limit the in case where the limit is
252 * not page aligned -Ram Gupta
254 rlim
= current
->signal
->rlim
[RLIMIT_DATA
].rlim_cur
;
255 if (rlim
< RLIM_INFINITY
&& brk
- mm
->start_data
> rlim
)
258 newbrk
= PAGE_ALIGN(brk
);
259 oldbrk
= PAGE_ALIGN(mm
->brk
);
260 if (oldbrk
== newbrk
)
263 /* Always allow shrinking brk. */
264 if (brk
<= mm
->brk
) {
265 if (!do_munmap(mm
, newbrk
, oldbrk
-newbrk
))
270 /* Check against existing mmap mappings. */
271 if (find_vma_intersection(mm
, oldbrk
, newbrk
+PAGE_SIZE
))
274 /* Ok, looks good - let it rip. */
275 if (do_brk(oldbrk
, newbrk
-oldbrk
) != oldbrk
)
281 up_write(&mm
->mmap_sem
);
286 static int browse_rb(struct rb_root
*root
)
289 struct rb_node
*nd
, *pn
= NULL
;
290 unsigned long prev
= 0, pend
= 0;
292 for (nd
= rb_first(root
); nd
; nd
= rb_next(nd
)) {
293 struct vm_area_struct
*vma
;
294 vma
= rb_entry(nd
, struct vm_area_struct
, vm_rb
);
295 if (vma
->vm_start
< prev
)
296 printk("vm_start %lx prev %lx\n", vma
->vm_start
, prev
), i
= -1;
297 if (vma
->vm_start
< pend
)
298 printk("vm_start %lx pend %lx\n", vma
->vm_start
, pend
);
299 if (vma
->vm_start
> vma
->vm_end
)
300 printk("vm_end %lx < vm_start %lx\n", vma
->vm_end
, vma
->vm_start
);
303 prev
= vma
->vm_start
;
307 for (nd
= pn
; nd
; nd
= rb_prev(nd
)) {
311 printk("backwards %d, forwards %d\n", j
, i
), i
= 0;
315 void validate_mm(struct mm_struct
*mm
)
319 struct vm_area_struct
*tmp
= mm
->mmap
;
324 if (i
!= mm
->map_count
)
325 printk("map_count %d vm_next %d\n", mm
->map_count
, i
), bug
= 1;
326 i
= browse_rb(&mm
->mm_rb
);
327 if (i
!= mm
->map_count
)
328 printk("map_count %d rb %d\n", mm
->map_count
, i
), bug
= 1;
332 #define validate_mm(mm) do { } while (0)
335 static struct vm_area_struct
*
336 find_vma_prepare(struct mm_struct
*mm
, unsigned long addr
,
337 struct vm_area_struct
**pprev
, struct rb_node
***rb_link
,
338 struct rb_node
** rb_parent
)
340 struct vm_area_struct
* vma
;
341 struct rb_node
** __rb_link
, * __rb_parent
, * rb_prev
;
343 __rb_link
= &mm
->mm_rb
.rb_node
;
344 rb_prev
= __rb_parent
= NULL
;
348 struct vm_area_struct
*vma_tmp
;
350 __rb_parent
= *__rb_link
;
351 vma_tmp
= rb_entry(__rb_parent
, struct vm_area_struct
, vm_rb
);
353 if (vma_tmp
->vm_end
> addr
) {
355 if (vma_tmp
->vm_start
<= addr
)
357 __rb_link
= &__rb_parent
->rb_left
;
359 rb_prev
= __rb_parent
;
360 __rb_link
= &__rb_parent
->rb_right
;
366 *pprev
= rb_entry(rb_prev
, struct vm_area_struct
, vm_rb
);
367 *rb_link
= __rb_link
;
368 *rb_parent
= __rb_parent
;
373 __vma_link_list(struct mm_struct
*mm
, struct vm_area_struct
*vma
,
374 struct vm_area_struct
*prev
, struct rb_node
*rb_parent
)
377 vma
->vm_next
= prev
->vm_next
;
382 vma
->vm_next
= rb_entry(rb_parent
,
383 struct vm_area_struct
, vm_rb
);
389 void __vma_link_rb(struct mm_struct
*mm
, struct vm_area_struct
*vma
,
390 struct rb_node
**rb_link
, struct rb_node
*rb_parent
)
392 rb_link_node(&vma
->vm_rb
, rb_parent
, rb_link
);
393 rb_insert_color(&vma
->vm_rb
, &mm
->mm_rb
);
396 static inline void __vma_link_file(struct vm_area_struct
*vma
)
402 struct address_space
*mapping
= file
->f_mapping
;
404 if (vma
->vm_flags
& VM_DENYWRITE
)
405 atomic_dec(&file
->f_path
.dentry
->d_inode
->i_writecount
);
406 if (vma
->vm_flags
& VM_SHARED
)
407 mapping
->i_mmap_writable
++;
409 flush_dcache_mmap_lock(mapping
);
410 if (unlikely(vma
->vm_flags
& VM_NONLINEAR
))
411 vma_nonlinear_insert(vma
, &mapping
->i_mmap_nonlinear
);
413 vma_prio_tree_insert(vma
, &mapping
->i_mmap
);
414 flush_dcache_mmap_unlock(mapping
);
419 __vma_link(struct mm_struct
*mm
, struct vm_area_struct
*vma
,
420 struct vm_area_struct
*prev
, struct rb_node
**rb_link
,
421 struct rb_node
*rb_parent
)
423 __vma_link_list(mm
, vma
, prev
, rb_parent
);
424 __vma_link_rb(mm
, vma
, rb_link
, rb_parent
);
425 __anon_vma_link(vma
);
428 static void vma_link(struct mm_struct
*mm
, struct vm_area_struct
*vma
,
429 struct vm_area_struct
*prev
, struct rb_node
**rb_link
,
430 struct rb_node
*rb_parent
)
432 struct address_space
*mapping
= NULL
;
435 mapping
= vma
->vm_file
->f_mapping
;
438 spin_lock(&mapping
->i_mmap_lock
);
439 vma
->vm_truncate_count
= mapping
->truncate_count
;
443 __vma_link(mm
, vma
, prev
, rb_link
, rb_parent
);
444 __vma_link_file(vma
);
446 anon_vma_unlock(vma
);
448 spin_unlock(&mapping
->i_mmap_lock
);
455 * Helper for vma_adjust in the split_vma insert case:
456 * insert vm structure into list and rbtree and anon_vma,
457 * but it has already been inserted into prio_tree earlier.
460 __insert_vm_struct(struct mm_struct
* mm
, struct vm_area_struct
* vma
)
462 struct vm_area_struct
* __vma
, * prev
;
463 struct rb_node
** rb_link
, * rb_parent
;
465 __vma
= find_vma_prepare(mm
, vma
->vm_start
,&prev
, &rb_link
, &rb_parent
);
466 BUG_ON(__vma
&& __vma
->vm_start
< vma
->vm_end
);
467 __vma_link(mm
, vma
, prev
, rb_link
, rb_parent
);
472 __vma_unlink(struct mm_struct
*mm
, struct vm_area_struct
*vma
,
473 struct vm_area_struct
*prev
)
475 prev
->vm_next
= vma
->vm_next
;
476 rb_erase(&vma
->vm_rb
, &mm
->mm_rb
);
477 if (mm
->mmap_cache
== vma
)
478 mm
->mmap_cache
= prev
;
482 * We cannot adjust vm_start, vm_end, vm_pgoff fields of a vma that
483 * is already present in an i_mmap tree without adjusting the tree.
484 * The following helper function should be used when such adjustments
485 * are necessary. The "insert" vma (if any) is to be inserted
486 * before we drop the necessary locks.
488 void vma_adjust(struct vm_area_struct
*vma
, unsigned long start
,
489 unsigned long end
, pgoff_t pgoff
, struct vm_area_struct
*insert
)
491 struct mm_struct
*mm
= vma
->vm_mm
;
492 struct vm_area_struct
*next
= vma
->vm_next
;
493 struct vm_area_struct
*importer
= NULL
;
494 struct address_space
*mapping
= NULL
;
495 struct prio_tree_root
*root
= NULL
;
496 struct file
*file
= vma
->vm_file
;
497 struct anon_vma
*anon_vma
= NULL
;
498 long adjust_next
= 0;
501 if (next
&& !insert
) {
502 if (end
>= next
->vm_end
) {
504 * vma expands, overlapping all the next, and
505 * perhaps the one after too (mprotect case 6).
507 again
: remove_next
= 1 + (end
> next
->vm_end
);
509 anon_vma
= next
->anon_vma
;
511 } else if (end
> next
->vm_start
) {
513 * vma expands, overlapping part of the next:
514 * mprotect case 5 shifting the boundary up.
516 adjust_next
= (end
- next
->vm_start
) >> PAGE_SHIFT
;
517 anon_vma
= next
->anon_vma
;
519 } else if (end
< vma
->vm_end
) {
521 * vma shrinks, and !insert tells it's not
522 * split_vma inserting another: so it must be
523 * mprotect case 4 shifting the boundary down.
525 adjust_next
= - ((vma
->vm_end
- end
) >> PAGE_SHIFT
);
526 anon_vma
= next
->anon_vma
;
532 mapping
= file
->f_mapping
;
533 if (!(vma
->vm_flags
& VM_NONLINEAR
))
534 root
= &mapping
->i_mmap
;
535 spin_lock(&mapping
->i_mmap_lock
);
537 vma
->vm_truncate_count
!= next
->vm_truncate_count
) {
539 * unmap_mapping_range might be in progress:
540 * ensure that the expanding vma is rescanned.
542 importer
->vm_truncate_count
= 0;
545 insert
->vm_truncate_count
= vma
->vm_truncate_count
;
547 * Put into prio_tree now, so instantiated pages
548 * are visible to arm/parisc __flush_dcache_page
549 * throughout; but we cannot insert into address
550 * space until vma start or end is updated.
552 __vma_link_file(insert
);
557 * When changing only vma->vm_end, we don't really need
558 * anon_vma lock: but is that case worth optimizing out?
561 anon_vma
= vma
->anon_vma
;
563 spin_lock(&anon_vma
->lock
);
565 * Easily overlooked: when mprotect shifts the boundary,
566 * make sure the expanding vma has anon_vma set if the
567 * shrinking vma had, to cover any anon pages imported.
569 if (importer
&& !importer
->anon_vma
) {
570 importer
->anon_vma
= anon_vma
;
571 __anon_vma_link(importer
);
576 flush_dcache_mmap_lock(mapping
);
577 vma_prio_tree_remove(vma
, root
);
579 vma_prio_tree_remove(next
, root
);
582 vma
->vm_start
= start
;
584 vma
->vm_pgoff
= pgoff
;
586 next
->vm_start
+= adjust_next
<< PAGE_SHIFT
;
587 next
->vm_pgoff
+= adjust_next
;
592 vma_prio_tree_insert(next
, root
);
593 vma_prio_tree_insert(vma
, root
);
594 flush_dcache_mmap_unlock(mapping
);
599 * vma_merge has merged next into vma, and needs
600 * us to remove next before dropping the locks.
602 __vma_unlink(mm
, next
, vma
);
604 __remove_shared_vm_struct(next
, file
, mapping
);
606 __anon_vma_merge(vma
, next
);
609 * split_vma has split insert from vma, and needs
610 * us to insert it before dropping the locks
611 * (it may either follow vma or precede it).
613 __insert_vm_struct(mm
, insert
);
617 spin_unlock(&anon_vma
->lock
);
619 spin_unlock(&mapping
->i_mmap_lock
);
625 mpol_free(vma_policy(next
));
626 kmem_cache_free(vm_area_cachep
, next
);
628 * In mprotect's case 6 (see comments on vma_merge),
629 * we must remove another next too. It would clutter
630 * up the code too much to do both in one go.
632 if (remove_next
== 2) {
642 * If the vma has a ->close operation then the driver probably needs to release
643 * per-vma resources, so we don't attempt to merge those.
645 #define VM_SPECIAL (VM_IO | VM_DONTEXPAND | VM_RESERVED | VM_PFNMAP)
647 static inline int is_mergeable_vma(struct vm_area_struct
*vma
,
648 struct file
*file
, unsigned long vm_flags
)
650 if (vma
->vm_flags
!= vm_flags
)
652 if (vma
->vm_file
!= file
)
654 if (vma
->vm_ops
&& vma
->vm_ops
->close
)
659 static inline int is_mergeable_anon_vma(struct anon_vma
*anon_vma1
,
660 struct anon_vma
*anon_vma2
)
662 return !anon_vma1
|| !anon_vma2
|| (anon_vma1
== anon_vma2
);
666 * Return true if we can merge this (vm_flags,anon_vma,file,vm_pgoff)
667 * in front of (at a lower virtual address and file offset than) the vma.
669 * We cannot merge two vmas if they have differently assigned (non-NULL)
670 * anon_vmas, nor if same anon_vma is assigned but offsets incompatible.
672 * We don't check here for the merged mmap wrapping around the end of pagecache
673 * indices (16TB on ia32) because do_mmap_pgoff() does not permit mmap's which
674 * wrap, nor mmaps which cover the final page at index -1UL.
677 can_vma_merge_before(struct vm_area_struct
*vma
, unsigned long vm_flags
,
678 struct anon_vma
*anon_vma
, struct file
*file
, pgoff_t vm_pgoff
)
680 if (is_mergeable_vma(vma
, file
, vm_flags
) &&
681 is_mergeable_anon_vma(anon_vma
, vma
->anon_vma
)) {
682 if (vma
->vm_pgoff
== vm_pgoff
)
689 * Return true if we can merge this (vm_flags,anon_vma,file,vm_pgoff)
690 * beyond (at a higher virtual address and file offset than) the vma.
692 * We cannot merge two vmas if they have differently assigned (non-NULL)
693 * anon_vmas, nor if same anon_vma is assigned but offsets incompatible.
696 can_vma_merge_after(struct vm_area_struct
*vma
, unsigned long vm_flags
,
697 struct anon_vma
*anon_vma
, struct file
*file
, pgoff_t vm_pgoff
)
699 if (is_mergeable_vma(vma
, file
, vm_flags
) &&
700 is_mergeable_anon_vma(anon_vma
, vma
->anon_vma
)) {
702 vm_pglen
= (vma
->vm_end
- vma
->vm_start
) >> PAGE_SHIFT
;
703 if (vma
->vm_pgoff
+ vm_pglen
== vm_pgoff
)
710 * Given a mapping request (addr,end,vm_flags,file,pgoff), figure out
711 * whether that can be merged with its predecessor or its successor.
712 * Or both (it neatly fills a hole).
714 * In most cases - when called for mmap, brk or mremap - [addr,end) is
715 * certain not to be mapped by the time vma_merge is called; but when
716 * called for mprotect, it is certain to be already mapped (either at
717 * an offset within prev, or at the start of next), and the flags of
718 * this area are about to be changed to vm_flags - and the no-change
719 * case has already been eliminated.
721 * The following mprotect cases have to be considered, where AAAA is
722 * the area passed down from mprotect_fixup, never extending beyond one
723 * vma, PPPPPP is the prev vma specified, and NNNNNN the next vma after:
725 * AAAA AAAA AAAA AAAA
726 * PPPPPPNNNNNN PPPPPPNNNNNN PPPPPPNNNNNN PPPPNNNNXXXX
727 * cannot merge might become might become might become
728 * PPNNNNNNNNNN PPPPPPPPPPNN PPPPPPPPPPPP 6 or
729 * mmap, brk or case 4 below case 5 below PPPPPPPPXXXX 7 or
730 * mremap move: PPPPNNNNNNNN 8
732 * PPPP NNNN PPPPPPPPPPPP PPPPPPPPNNNN PPPPNNNNNNNN
733 * might become case 1 below case 2 below case 3 below
735 * Odd one out? Case 8, because it extends NNNN but needs flags of XXXX:
736 * mprotect_fixup updates vm_flags & vm_page_prot on successful return.
738 struct vm_area_struct
*vma_merge(struct mm_struct
*mm
,
739 struct vm_area_struct
*prev
, unsigned long addr
,
740 unsigned long end
, unsigned long vm_flags
,
741 struct anon_vma
*anon_vma
, struct file
*file
,
742 pgoff_t pgoff
, struct mempolicy
*policy
)
744 pgoff_t pglen
= (end
- addr
) >> PAGE_SHIFT
;
745 struct vm_area_struct
*area
, *next
;
748 * We later require that vma->vm_flags == vm_flags,
749 * so this tests vma->vm_flags & VM_SPECIAL, too.
751 if (vm_flags
& VM_SPECIAL
)
755 next
= prev
->vm_next
;
759 if (next
&& next
->vm_end
== end
) /* cases 6, 7, 8 */
760 next
= next
->vm_next
;
763 * Can it merge with the predecessor?
765 if (prev
&& prev
->vm_end
== addr
&&
766 mpol_equal(vma_policy(prev
), policy
) &&
767 can_vma_merge_after(prev
, vm_flags
,
768 anon_vma
, file
, pgoff
)) {
770 * OK, it can. Can we now merge in the successor as well?
772 if (next
&& end
== next
->vm_start
&&
773 mpol_equal(policy
, vma_policy(next
)) &&
774 can_vma_merge_before(next
, vm_flags
,
775 anon_vma
, file
, pgoff
+pglen
) &&
776 is_mergeable_anon_vma(prev
->anon_vma
,
779 vma_adjust(prev
, prev
->vm_start
,
780 next
->vm_end
, prev
->vm_pgoff
, NULL
);
781 } else /* cases 2, 5, 7 */
782 vma_adjust(prev
, prev
->vm_start
,
783 end
, prev
->vm_pgoff
, NULL
);
788 * Can this new request be merged in front of next?
790 if (next
&& end
== next
->vm_start
&&
791 mpol_equal(policy
, vma_policy(next
)) &&
792 can_vma_merge_before(next
, vm_flags
,
793 anon_vma
, file
, pgoff
+pglen
)) {
794 if (prev
&& addr
< prev
->vm_end
) /* case 4 */
795 vma_adjust(prev
, prev
->vm_start
,
796 addr
, prev
->vm_pgoff
, NULL
);
797 else /* cases 3, 8 */
798 vma_adjust(area
, addr
, next
->vm_end
,
799 next
->vm_pgoff
- pglen
, NULL
);
807 * find_mergeable_anon_vma is used by anon_vma_prepare, to check
808 * neighbouring vmas for a suitable anon_vma, before it goes off
809 * to allocate a new anon_vma. It checks because a repetitive
810 * sequence of mprotects and faults may otherwise lead to distinct
811 * anon_vmas being allocated, preventing vma merge in subsequent
814 struct anon_vma
*find_mergeable_anon_vma(struct vm_area_struct
*vma
)
816 struct vm_area_struct
*near
;
817 unsigned long vm_flags
;
824 * Since only mprotect tries to remerge vmas, match flags
825 * which might be mprotected into each other later on.
826 * Neither mlock nor madvise tries to remerge at present,
827 * so leave their flags as obstructing a merge.
829 vm_flags
= vma
->vm_flags
& ~(VM_READ
|VM_WRITE
|VM_EXEC
);
830 vm_flags
|= near
->vm_flags
& (VM_READ
|VM_WRITE
|VM_EXEC
);
832 if (near
->anon_vma
&& vma
->vm_end
== near
->vm_start
&&
833 mpol_equal(vma_policy(vma
), vma_policy(near
)) &&
834 can_vma_merge_before(near
, vm_flags
,
835 NULL
, vma
->vm_file
, vma
->vm_pgoff
+
836 ((vma
->vm_end
- vma
->vm_start
) >> PAGE_SHIFT
)))
837 return near
->anon_vma
;
840 * It is potentially slow to have to call find_vma_prev here.
841 * But it's only on the first write fault on the vma, not
842 * every time, and we could devise a way to avoid it later
843 * (e.g. stash info in next's anon_vma_node when assigning
844 * an anon_vma, or when trying vma_merge). Another time.
846 BUG_ON(find_vma_prev(vma
->vm_mm
, vma
->vm_start
, &near
) != vma
);
850 vm_flags
= vma
->vm_flags
& ~(VM_READ
|VM_WRITE
|VM_EXEC
);
851 vm_flags
|= near
->vm_flags
& (VM_READ
|VM_WRITE
|VM_EXEC
);
853 if (near
->anon_vma
&& near
->vm_end
== vma
->vm_start
&&
854 mpol_equal(vma_policy(near
), vma_policy(vma
)) &&
855 can_vma_merge_after(near
, vm_flags
,
856 NULL
, vma
->vm_file
, vma
->vm_pgoff
))
857 return near
->anon_vma
;
860 * There's no absolute need to look only at touching neighbours:
861 * we could search further afield for "compatible" anon_vmas.
862 * But it would probably just be a waste of time searching,
863 * or lead to too many vmas hanging off the same anon_vma.
864 * We're trying to allow mprotect remerging later on,
865 * not trying to minimize memory used for anon_vmas.
870 #ifdef CONFIG_PROC_FS
871 void vm_stat_account(struct mm_struct
*mm
, unsigned long flags
,
872 struct file
*file
, long pages
)
874 const unsigned long stack_flags
875 = VM_STACK_FLAGS
& (VM_GROWSUP
|VM_GROWSDOWN
);
878 mm
->shared_vm
+= pages
;
879 if ((flags
& (VM_EXEC
|VM_WRITE
)) == VM_EXEC
)
880 mm
->exec_vm
+= pages
;
881 } else if (flags
& stack_flags
)
882 mm
->stack_vm
+= pages
;
883 if (flags
& (VM_RESERVED
|VM_IO
))
884 mm
->reserved_vm
+= pages
;
886 #endif /* CONFIG_PROC_FS */
889 * The caller must hold down_write(current->mm->mmap_sem).
892 unsigned long do_mmap_pgoff(struct file
* file
, unsigned long addr
,
893 unsigned long len
, unsigned long prot
,
894 unsigned long flags
, unsigned long pgoff
)
896 struct mm_struct
* mm
= current
->mm
;
897 struct vm_area_struct
* vma
, * prev
;
899 unsigned int vm_flags
;
900 int correct_wcount
= 0;
902 struct rb_node
** rb_link
, * rb_parent
;
904 unsigned long charged
= 0, reqprot
= prot
;
907 * Does the application expect PROT_READ to imply PROT_EXEC?
909 * (the exception is when the underlying filesystem is noexec
910 * mounted, in which case we dont add PROT_EXEC.)
912 if ((prot
& PROT_READ
) && (current
->personality
& READ_IMPLIES_EXEC
))
913 if (!(file
&& (file
->f_path
.mnt
->mnt_flags
& MNT_NOEXEC
)))
919 error
= arch_mmap_check(addr
, len
, flags
);
923 /* Careful about overflows.. */
924 len
= PAGE_ALIGN(len
);
925 if (!len
|| len
> TASK_SIZE
)
928 /* offset overflow? */
929 if ((pgoff
+ (len
>> PAGE_SHIFT
)) < pgoff
)
932 /* Too many mappings? */
933 if (mm
->map_count
> sysctl_max_map_count
)
936 /* Obtain the address to map to. we verify (or select) it and ensure
937 * that it represents a valid section of the address space.
939 addr
= get_unmapped_area(file
, addr
, len
, pgoff
, flags
);
940 if (addr
& ~PAGE_MASK
)
943 /* Do simple checking here so the lower-level routines won't have
944 * to. we assume access permissions have been handled by the open
945 * of the memory object, so we don't do any here.
947 vm_flags
= calc_vm_prot_bits(prot
) | calc_vm_flag_bits(flags
) |
948 mm
->def_flags
| VM_MAYREAD
| VM_MAYWRITE
| VM_MAYEXEC
;
950 if (flags
& MAP_LOCKED
) {
953 vm_flags
|= VM_LOCKED
;
955 /* mlock MCL_FUTURE? */
956 if (vm_flags
& VM_LOCKED
) {
957 unsigned long locked
, lock_limit
;
958 locked
= len
>> PAGE_SHIFT
;
959 locked
+= mm
->locked_vm
;
960 lock_limit
= current
->signal
->rlim
[RLIMIT_MEMLOCK
].rlim_cur
;
961 lock_limit
>>= PAGE_SHIFT
;
962 if (locked
> lock_limit
&& !capable(CAP_IPC_LOCK
))
966 inode
= file
? file
->f_path
.dentry
->d_inode
: NULL
;
969 switch (flags
& MAP_TYPE
) {
971 if ((prot
&PROT_WRITE
) && !(file
->f_mode
&FMODE_WRITE
))
975 * Make sure we don't allow writing to an append-only
978 if (IS_APPEND(inode
) && (file
->f_mode
& FMODE_WRITE
))
982 * Make sure there are no mandatory locks on the file.
984 if (locks_verify_locked(inode
))
987 vm_flags
|= VM_SHARED
| VM_MAYSHARE
;
988 if (!(file
->f_mode
& FMODE_WRITE
))
989 vm_flags
&= ~(VM_MAYWRITE
| VM_SHARED
);
993 if (!(file
->f_mode
& FMODE_READ
))
995 if (file
->f_path
.mnt
->mnt_flags
& MNT_NOEXEC
) {
996 if (vm_flags
& VM_EXEC
)
998 vm_flags
&= ~VM_MAYEXEC
;
1000 if (is_file_hugepages(file
))
1003 if (!file
->f_op
|| !file
->f_op
->mmap
)
1011 switch (flags
& MAP_TYPE
) {
1013 vm_flags
|= VM_SHARED
| VM_MAYSHARE
;
1017 * Set pgoff according to addr for anon_vma.
1019 pgoff
= addr
>> PAGE_SHIFT
;
1026 error
= security_file_mmap(file
, reqprot
, prot
, flags
);
1030 /* Clear old maps */
1033 vma
= find_vma_prepare(mm
, addr
, &prev
, &rb_link
, &rb_parent
);
1034 if (vma
&& vma
->vm_start
< addr
+ len
) {
1035 if (do_munmap(mm
, addr
, len
))
1040 /* Check against address space limit. */
1041 if (!may_expand_vm(mm
, len
>> PAGE_SHIFT
))
1044 if (accountable
&& (!(flags
& MAP_NORESERVE
) ||
1045 sysctl_overcommit_memory
== OVERCOMMIT_NEVER
)) {
1046 if (vm_flags
& VM_SHARED
) {
1047 /* Check memory availability in shmem_file_setup? */
1048 vm_flags
|= VM_ACCOUNT
;
1049 } else if (vm_flags
& VM_WRITE
) {
1051 * Private writable mapping: check memory availability
1053 charged
= len
>> PAGE_SHIFT
;
1054 if (security_vm_enough_memory(charged
))
1056 vm_flags
|= VM_ACCOUNT
;
1061 * Can we just expand an old private anonymous mapping?
1062 * The VM_SHARED test is necessary because shmem_zero_setup
1063 * will create the file object for a shared anonymous map below.
1065 if (!file
&& !(vm_flags
& VM_SHARED
) &&
1066 vma_merge(mm
, prev
, addr
, addr
+ len
, vm_flags
,
1067 NULL
, NULL
, pgoff
, NULL
))
1071 * Determine the object being mapped and call the appropriate
1072 * specific mapper. the address has already been validated, but
1073 * not unmapped, but the maps are removed from the list.
1075 vma
= kmem_cache_zalloc(vm_area_cachep
, GFP_KERNEL
);
1082 vma
->vm_start
= addr
;
1083 vma
->vm_end
= addr
+ len
;
1084 vma
->vm_flags
= vm_flags
;
1085 vma
->vm_page_prot
= protection_map
[vm_flags
&
1086 (VM_READ
|VM_WRITE
|VM_EXEC
|VM_SHARED
)];
1087 vma
->vm_pgoff
= pgoff
;
1091 if (vm_flags
& (VM_GROWSDOWN
|VM_GROWSUP
))
1093 if (vm_flags
& VM_DENYWRITE
) {
1094 error
= deny_write_access(file
);
1099 vma
->vm_file
= file
;
1101 error
= file
->f_op
->mmap(file
, vma
);
1103 goto unmap_and_free_vma
;
1104 } else if (vm_flags
& VM_SHARED
) {
1105 error
= shmem_zero_setup(vma
);
1110 /* We set VM_ACCOUNT in a shared mapping's vm_flags, to inform
1111 * shmem_zero_setup (perhaps called through /dev/zero's ->mmap)
1112 * that memory reservation must be checked; but that reservation
1113 * belongs to shared memory object, not to vma: so now clear it.
1115 if ((vm_flags
& (VM_SHARED
|VM_ACCOUNT
)) == (VM_SHARED
|VM_ACCOUNT
))
1116 vma
->vm_flags
&= ~VM_ACCOUNT
;
1118 /* Can addr have changed??
1120 * Answer: Yes, several device drivers can do it in their
1121 * f_op->mmap method. -DaveM
1123 addr
= vma
->vm_start
;
1124 pgoff
= vma
->vm_pgoff
;
1125 vm_flags
= vma
->vm_flags
;
1127 if (vma_wants_writenotify(vma
))
1129 protection_map
[vm_flags
& (VM_READ
|VM_WRITE
|VM_EXEC
)];
1131 if (!file
|| !vma_merge(mm
, prev
, addr
, vma
->vm_end
,
1132 vma
->vm_flags
, NULL
, file
, pgoff
, vma_policy(vma
))) {
1133 file
= vma
->vm_file
;
1134 vma_link(mm
, vma
, prev
, rb_link
, rb_parent
);
1136 atomic_inc(&inode
->i_writecount
);
1140 atomic_inc(&inode
->i_writecount
);
1143 mpol_free(vma_policy(vma
));
1144 kmem_cache_free(vm_area_cachep
, vma
);
1147 mm
->total_vm
+= len
>> PAGE_SHIFT
;
1148 vm_stat_account(mm
, vm_flags
, file
, len
>> PAGE_SHIFT
);
1149 if (vm_flags
& VM_LOCKED
) {
1150 mm
->locked_vm
+= len
>> PAGE_SHIFT
;
1151 make_pages_present(addr
, addr
+ len
);
1153 if (flags
& MAP_POPULATE
) {
1154 up_write(&mm
->mmap_sem
);
1155 sys_remap_file_pages(addr
, len
, 0,
1156 pgoff
, flags
& MAP_NONBLOCK
);
1157 down_write(&mm
->mmap_sem
);
1163 atomic_inc(&inode
->i_writecount
);
1164 vma
->vm_file
= NULL
;
1167 /* Undo any partial mapping done by a device driver. */
1168 unmap_region(mm
, vma
, prev
, vma
->vm_start
, vma
->vm_end
);
1171 kmem_cache_free(vm_area_cachep
, vma
);
1174 vm_unacct_memory(charged
);
1178 EXPORT_SYMBOL(do_mmap_pgoff
);
1180 /* Get an address range which is currently unmapped.
1181 * For shmat() with addr=0.
1183 * Ugly calling convention alert:
1184 * Return value with the low bits set means error value,
1186 * if (ret & ~PAGE_MASK)
1189 * This function "knows" that -ENOMEM has the bits set.
1191 #ifndef HAVE_ARCH_UNMAPPED_AREA
1193 arch_get_unmapped_area(struct file
*filp
, unsigned long addr
,
1194 unsigned long len
, unsigned long pgoff
, unsigned long flags
)
1196 struct mm_struct
*mm
= current
->mm
;
1197 struct vm_area_struct
*vma
;
1198 unsigned long start_addr
;
1200 if (len
> TASK_SIZE
)
1203 if (flags
& MAP_FIXED
)
1207 addr
= PAGE_ALIGN(addr
);
1208 vma
= find_vma(mm
, addr
);
1209 if (TASK_SIZE
- len
>= addr
&&
1210 (!vma
|| addr
+ len
<= vma
->vm_start
))
1213 if (len
> mm
->cached_hole_size
) {
1214 start_addr
= addr
= mm
->free_area_cache
;
1216 start_addr
= addr
= TASK_UNMAPPED_BASE
;
1217 mm
->cached_hole_size
= 0;
1221 for (vma
= find_vma(mm
, addr
); ; vma
= vma
->vm_next
) {
1222 /* At this point: (!vma || addr < vma->vm_end). */
1223 if (TASK_SIZE
- len
< addr
) {
1225 * Start a new search - just in case we missed
1228 if (start_addr
!= TASK_UNMAPPED_BASE
) {
1229 addr
= TASK_UNMAPPED_BASE
;
1231 mm
->cached_hole_size
= 0;
1236 if (!vma
|| addr
+ len
<= vma
->vm_start
) {
1238 * Remember the place where we stopped the search:
1240 mm
->free_area_cache
= addr
+ len
;
1243 if (addr
+ mm
->cached_hole_size
< vma
->vm_start
)
1244 mm
->cached_hole_size
= vma
->vm_start
- addr
;
1250 void arch_unmap_area(struct mm_struct
*mm
, unsigned long addr
)
1253 * Is this a new hole at the lowest possible address?
1255 if (addr
>= TASK_UNMAPPED_BASE
&& addr
< mm
->free_area_cache
) {
1256 mm
->free_area_cache
= addr
;
1257 mm
->cached_hole_size
= ~0UL;
1262 * This mmap-allocator allocates new areas top-down from below the
1263 * stack's low limit (the base):
1265 #ifndef HAVE_ARCH_UNMAPPED_AREA_TOPDOWN
1267 arch_get_unmapped_area_topdown(struct file
*filp
, const unsigned long addr0
,
1268 const unsigned long len
, const unsigned long pgoff
,
1269 const unsigned long flags
)
1271 struct vm_area_struct
*vma
;
1272 struct mm_struct
*mm
= current
->mm
;
1273 unsigned long addr
= addr0
;
1275 /* requested length too big for entire address space */
1276 if (len
> TASK_SIZE
)
1279 if (flags
& MAP_FIXED
)
1282 /* requesting a specific address */
1284 addr
= PAGE_ALIGN(addr
);
1285 vma
= find_vma(mm
, addr
);
1286 if (TASK_SIZE
- len
>= addr
&&
1287 (!vma
|| addr
+ len
<= vma
->vm_start
))
1291 /* check if free_area_cache is useful for us */
1292 if (len
<= mm
->cached_hole_size
) {
1293 mm
->cached_hole_size
= 0;
1294 mm
->free_area_cache
= mm
->mmap_base
;
1297 /* either no address requested or can't fit in requested address hole */
1298 addr
= mm
->free_area_cache
;
1300 /* make sure it can fit in the remaining address space */
1302 vma
= find_vma(mm
, addr
-len
);
1303 if (!vma
|| addr
<= vma
->vm_start
)
1304 /* remember the address as a hint for next time */
1305 return (mm
->free_area_cache
= addr
-len
);
1308 if (mm
->mmap_base
< len
)
1311 addr
= mm
->mmap_base
-len
;
1315 * Lookup failure means no vma is above this address,
1316 * else if new region fits below vma->vm_start,
1317 * return with success:
1319 vma
= find_vma(mm
, addr
);
1320 if (!vma
|| addr
+len
<= vma
->vm_start
)
1321 /* remember the address as a hint for next time */
1322 return (mm
->free_area_cache
= addr
);
1324 /* remember the largest hole we saw so far */
1325 if (addr
+ mm
->cached_hole_size
< vma
->vm_start
)
1326 mm
->cached_hole_size
= vma
->vm_start
- addr
;
1328 /* try just below the current vma->vm_start */
1329 addr
= vma
->vm_start
-len
;
1330 } while (len
< vma
->vm_start
);
1334 * A failed mmap() very likely causes application failure,
1335 * so fall back to the bottom-up function here. This scenario
1336 * can happen with large stack limits and large mmap()
1339 mm
->cached_hole_size
= ~0UL;
1340 mm
->free_area_cache
= TASK_UNMAPPED_BASE
;
1341 addr
= arch_get_unmapped_area(filp
, addr0
, len
, pgoff
, flags
);
1343 * Restore the topdown base:
1345 mm
->free_area_cache
= mm
->mmap_base
;
1346 mm
->cached_hole_size
= ~0UL;
1352 void arch_unmap_area_topdown(struct mm_struct
*mm
, unsigned long addr
)
1355 * Is this a new hole at the highest possible address?
1357 if (addr
> mm
->free_area_cache
)
1358 mm
->free_area_cache
= addr
;
1360 /* dont allow allocations above current base */
1361 if (mm
->free_area_cache
> mm
->mmap_base
)
1362 mm
->free_area_cache
= mm
->mmap_base
;
1366 get_unmapped_area(struct file
*file
, unsigned long addr
, unsigned long len
,
1367 unsigned long pgoff
, unsigned long flags
)
1369 unsigned long (*get_area
)(struct file
*, unsigned long,
1370 unsigned long, unsigned long, unsigned long);
1372 get_area
= current
->mm
->get_unmapped_area
;
1373 if (file
&& file
->f_op
&& file
->f_op
->get_unmapped_area
)
1374 get_area
= file
->f_op
->get_unmapped_area
;
1375 addr
= get_area(file
, addr
, len
, pgoff
, flags
);
1376 if (IS_ERR_VALUE(addr
))
1379 if (addr
> TASK_SIZE
- len
)
1381 if (addr
& ~PAGE_MASK
)
1387 EXPORT_SYMBOL(get_unmapped_area
);
1389 /* Look up the first VMA which satisfies addr < vm_end, NULL if none. */
1390 struct vm_area_struct
* find_vma(struct mm_struct
* mm
, unsigned long addr
)
1392 struct vm_area_struct
*vma
= NULL
;
1395 /* Check the cache first. */
1396 /* (Cache hit rate is typically around 35%.) */
1397 vma
= mm
->mmap_cache
;
1398 if (!(vma
&& vma
->vm_end
> addr
&& vma
->vm_start
<= addr
)) {
1399 struct rb_node
* rb_node
;
1401 rb_node
= mm
->mm_rb
.rb_node
;
1405 struct vm_area_struct
* vma_tmp
;
1407 vma_tmp
= rb_entry(rb_node
,
1408 struct vm_area_struct
, vm_rb
);
1410 if (vma_tmp
->vm_end
> addr
) {
1412 if (vma_tmp
->vm_start
<= addr
)
1414 rb_node
= rb_node
->rb_left
;
1416 rb_node
= rb_node
->rb_right
;
1419 mm
->mmap_cache
= vma
;
1425 EXPORT_SYMBOL(find_vma
);
1427 /* Same as find_vma, but also return a pointer to the previous VMA in *pprev. */
1428 struct vm_area_struct
*
1429 find_vma_prev(struct mm_struct
*mm
, unsigned long addr
,
1430 struct vm_area_struct
**pprev
)
1432 struct vm_area_struct
*vma
= NULL
, *prev
= NULL
;
1433 struct rb_node
* rb_node
;
1437 /* Guard against addr being lower than the first VMA */
1440 /* Go through the RB tree quickly. */
1441 rb_node
= mm
->mm_rb
.rb_node
;
1444 struct vm_area_struct
*vma_tmp
;
1445 vma_tmp
= rb_entry(rb_node
, struct vm_area_struct
, vm_rb
);
1447 if (addr
< vma_tmp
->vm_end
) {
1448 rb_node
= rb_node
->rb_left
;
1451 if (!prev
->vm_next
|| (addr
< prev
->vm_next
->vm_end
))
1453 rb_node
= rb_node
->rb_right
;
1459 return prev
? prev
->vm_next
: vma
;
1463 * Verify that the stack growth is acceptable and
1464 * update accounting. This is shared with both the
1465 * grow-up and grow-down cases.
1467 static int acct_stack_growth(struct vm_area_struct
* vma
, unsigned long size
, unsigned long grow
)
1469 struct mm_struct
*mm
= vma
->vm_mm
;
1470 struct rlimit
*rlim
= current
->signal
->rlim
;
1471 unsigned long new_start
;
1473 /* address space limit tests */
1474 if (!may_expand_vm(mm
, grow
))
1477 /* Stack limit test */
1478 if (size
> rlim
[RLIMIT_STACK
].rlim_cur
)
1481 /* mlock limit tests */
1482 if (vma
->vm_flags
& VM_LOCKED
) {
1483 unsigned long locked
;
1484 unsigned long limit
;
1485 locked
= mm
->locked_vm
+ grow
;
1486 limit
= rlim
[RLIMIT_MEMLOCK
].rlim_cur
>> PAGE_SHIFT
;
1487 if (locked
> limit
&& !capable(CAP_IPC_LOCK
))
1491 /* Check to ensure the stack will not grow into a hugetlb-only region */
1492 new_start
= (vma
->vm_flags
& VM_GROWSUP
) ? vma
->vm_start
:
1494 if (is_hugepage_only_range(vma
->vm_mm
, new_start
, size
))
1498 * Overcommit.. This must be the final test, as it will
1499 * update security statistics.
1501 if (security_vm_enough_memory(grow
))
1504 /* Ok, everything looks good - let it rip */
1505 mm
->total_vm
+= grow
;
1506 if (vma
->vm_flags
& VM_LOCKED
)
1507 mm
->locked_vm
+= grow
;
1508 vm_stat_account(mm
, vma
->vm_flags
, vma
->vm_file
, grow
);
1512 #if defined(CONFIG_STACK_GROWSUP) || defined(CONFIG_IA64)
1514 * PA-RISC uses this for its stack; IA64 for its Register Backing Store.
1515 * vma is the last one with address > vma->vm_end. Have to extend vma.
1520 int expand_upwards(struct vm_area_struct
*vma
, unsigned long address
)
1524 if (!(vma
->vm_flags
& VM_GROWSUP
))
1528 * We must make sure the anon_vma is allocated
1529 * so that the anon_vma locking is not a noop.
1531 if (unlikely(anon_vma_prepare(vma
)))
1536 * vma->vm_start/vm_end cannot change under us because the caller
1537 * is required to hold the mmap_sem in read mode. We need the
1538 * anon_vma lock to serialize against concurrent expand_stacks.
1540 address
+= 4 + PAGE_SIZE
- 1;
1541 address
&= PAGE_MASK
;
1544 /* Somebody else might have raced and expanded it already */
1545 if (address
> vma
->vm_end
) {
1546 unsigned long size
, grow
;
1548 size
= address
- vma
->vm_start
;
1549 grow
= (address
- vma
->vm_end
) >> PAGE_SHIFT
;
1551 error
= acct_stack_growth(vma
, size
, grow
);
1553 vma
->vm_end
= address
;
1555 anon_vma_unlock(vma
);
1558 #endif /* CONFIG_STACK_GROWSUP || CONFIG_IA64 */
1560 #ifdef CONFIG_STACK_GROWSUP
1561 int expand_stack(struct vm_area_struct
*vma
, unsigned long address
)
1563 return expand_upwards(vma
, address
);
1566 struct vm_area_struct
*
1567 find_extend_vma(struct mm_struct
*mm
, unsigned long addr
)
1569 struct vm_area_struct
*vma
, *prev
;
1572 vma
= find_vma_prev(mm
, addr
, &prev
);
1573 if (vma
&& (vma
->vm_start
<= addr
))
1575 if (!prev
|| expand_stack(prev
, addr
))
1577 if (prev
->vm_flags
& VM_LOCKED
) {
1578 make_pages_present(addr
, prev
->vm_end
);
1584 * vma is the first one with address < vma->vm_start. Have to extend vma.
1586 int expand_stack(struct vm_area_struct
*vma
, unsigned long address
)
1591 * We must make sure the anon_vma is allocated
1592 * so that the anon_vma locking is not a noop.
1594 if (unlikely(anon_vma_prepare(vma
)))
1599 * vma->vm_start/vm_end cannot change under us because the caller
1600 * is required to hold the mmap_sem in read mode. We need the
1601 * anon_vma lock to serialize against concurrent expand_stacks.
1603 address
&= PAGE_MASK
;
1606 /* Somebody else might have raced and expanded it already */
1607 if (address
< vma
->vm_start
) {
1608 unsigned long size
, grow
;
1610 size
= vma
->vm_end
- address
;
1611 grow
= (vma
->vm_start
- address
) >> PAGE_SHIFT
;
1613 error
= acct_stack_growth(vma
, size
, grow
);
1615 vma
->vm_start
= address
;
1616 vma
->vm_pgoff
-= grow
;
1619 anon_vma_unlock(vma
);
1623 struct vm_area_struct
*
1624 find_extend_vma(struct mm_struct
* mm
, unsigned long addr
)
1626 struct vm_area_struct
* vma
;
1627 unsigned long start
;
1630 vma
= find_vma(mm
,addr
);
1633 if (vma
->vm_start
<= addr
)
1635 if (!(vma
->vm_flags
& VM_GROWSDOWN
))
1637 start
= vma
->vm_start
;
1638 if (expand_stack(vma
, addr
))
1640 if (vma
->vm_flags
& VM_LOCKED
) {
1641 make_pages_present(addr
, start
);
1648 * Ok - we have the memory areas we should free on the vma list,
1649 * so release them, and do the vma updates.
1651 * Called with the mm semaphore held.
1653 static void remove_vma_list(struct mm_struct
*mm
, struct vm_area_struct
*vma
)
1655 /* Update high watermark before we lower total_vm */
1656 update_hiwater_vm(mm
);
1658 long nrpages
= vma_pages(vma
);
1660 mm
->total_vm
-= nrpages
;
1661 if (vma
->vm_flags
& VM_LOCKED
)
1662 mm
->locked_vm
-= nrpages
;
1663 vm_stat_account(mm
, vma
->vm_flags
, vma
->vm_file
, -nrpages
);
1664 vma
= remove_vma(vma
);
1670 * Get rid of page table information in the indicated region.
1672 * Called with the mm semaphore held.
1674 static void unmap_region(struct mm_struct
*mm
,
1675 struct vm_area_struct
*vma
, struct vm_area_struct
*prev
,
1676 unsigned long start
, unsigned long end
)
1678 struct vm_area_struct
*next
= prev
? prev
->vm_next
: mm
->mmap
;
1679 struct mmu_gather
*tlb
;
1680 unsigned long nr_accounted
= 0;
1683 tlb
= tlb_gather_mmu(mm
, 0);
1684 update_hiwater_rss(mm
);
1685 unmap_vmas(&tlb
, vma
, start
, end
, &nr_accounted
, NULL
);
1686 vm_unacct_memory(nr_accounted
);
1687 free_pgtables(&tlb
, vma
, prev
? prev
->vm_end
: FIRST_USER_ADDRESS
,
1688 next
? next
->vm_start
: 0);
1689 tlb_finish_mmu(tlb
, start
, end
);
1693 * Create a list of vma's touched by the unmap, removing them from the mm's
1694 * vma list as we go..
1697 detach_vmas_to_be_unmapped(struct mm_struct
*mm
, struct vm_area_struct
*vma
,
1698 struct vm_area_struct
*prev
, unsigned long end
)
1700 struct vm_area_struct
**insertion_point
;
1701 struct vm_area_struct
*tail_vma
= NULL
;
1704 insertion_point
= (prev
? &prev
->vm_next
: &mm
->mmap
);
1706 rb_erase(&vma
->vm_rb
, &mm
->mm_rb
);
1710 } while (vma
&& vma
->vm_start
< end
);
1711 *insertion_point
= vma
;
1712 tail_vma
->vm_next
= NULL
;
1713 if (mm
->unmap_area
== arch_unmap_area
)
1714 addr
= prev
? prev
->vm_end
: mm
->mmap_base
;
1716 addr
= vma
? vma
->vm_start
: mm
->mmap_base
;
1717 mm
->unmap_area(mm
, addr
);
1718 mm
->mmap_cache
= NULL
; /* Kill the cache. */
1722 * Split a vma into two pieces at address 'addr', a new vma is allocated
1723 * either for the first part or the tail.
1725 int split_vma(struct mm_struct
* mm
, struct vm_area_struct
* vma
,
1726 unsigned long addr
, int new_below
)
1728 struct mempolicy
*pol
;
1729 struct vm_area_struct
*new;
1731 if (is_vm_hugetlb_page(vma
) && (addr
& ~HPAGE_MASK
))
1734 if (mm
->map_count
>= sysctl_max_map_count
)
1737 new = kmem_cache_alloc(vm_area_cachep
, GFP_KERNEL
);
1741 /* most fields are the same, copy all, and then fixup */
1747 new->vm_start
= addr
;
1748 new->vm_pgoff
+= ((addr
- vma
->vm_start
) >> PAGE_SHIFT
);
1751 pol
= mpol_copy(vma_policy(vma
));
1753 kmem_cache_free(vm_area_cachep
, new);
1754 return PTR_ERR(pol
);
1756 vma_set_policy(new, pol
);
1759 get_file(new->vm_file
);
1761 if (new->vm_ops
&& new->vm_ops
->open
)
1762 new->vm_ops
->open(new);
1765 vma_adjust(vma
, addr
, vma
->vm_end
, vma
->vm_pgoff
+
1766 ((addr
- new->vm_start
) >> PAGE_SHIFT
), new);
1768 vma_adjust(vma
, vma
->vm_start
, addr
, vma
->vm_pgoff
, new);
1773 /* Munmap is split into 2 main parts -- this part which finds
1774 * what needs doing, and the areas themselves, which do the
1775 * work. This now handles partial unmappings.
1776 * Jeremy Fitzhardinge <jeremy@goop.org>
1778 int do_munmap(struct mm_struct
*mm
, unsigned long start
, size_t len
)
1781 struct vm_area_struct
*vma
, *prev
, *last
;
1783 if ((start
& ~PAGE_MASK
) || start
> TASK_SIZE
|| len
> TASK_SIZE
-start
)
1786 if ((len
= PAGE_ALIGN(len
)) == 0)
1789 /* Find the first overlapping VMA */
1790 vma
= find_vma_prev(mm
, start
, &prev
);
1793 /* we have start < vma->vm_end */
1795 /* if it doesn't overlap, we have nothing.. */
1797 if (vma
->vm_start
>= end
)
1801 * If we need to split any vma, do it now to save pain later.
1803 * Note: mremap's move_vma VM_ACCOUNT handling assumes a partially
1804 * unmapped vm_area_struct will remain in use: so lower split_vma
1805 * places tmp vma above, and higher split_vma places tmp vma below.
1807 if (start
> vma
->vm_start
) {
1808 int error
= split_vma(mm
, vma
, start
, 0);
1814 /* Does it split the last one? */
1815 last
= find_vma(mm
, end
);
1816 if (last
&& end
> last
->vm_start
) {
1817 int error
= split_vma(mm
, last
, end
, 1);
1821 vma
= prev
? prev
->vm_next
: mm
->mmap
;
1824 * Remove the vma's, and unmap the actual pages
1826 detach_vmas_to_be_unmapped(mm
, vma
, prev
, end
);
1827 unmap_region(mm
, vma
, prev
, start
, end
);
1829 /* Fix up all other VM information */
1830 remove_vma_list(mm
, vma
);
1835 EXPORT_SYMBOL(do_munmap
);
1837 asmlinkage
long sys_munmap(unsigned long addr
, size_t len
)
1840 struct mm_struct
*mm
= current
->mm
;
1842 profile_munmap(addr
);
1844 down_write(&mm
->mmap_sem
);
1845 ret
= do_munmap(mm
, addr
, len
);
1846 up_write(&mm
->mmap_sem
);
1850 static inline void verify_mm_writelocked(struct mm_struct
*mm
)
1852 #ifdef CONFIG_DEBUG_VM
1853 if (unlikely(down_read_trylock(&mm
->mmap_sem
))) {
1855 up_read(&mm
->mmap_sem
);
1861 * this is really a simplified "do_mmap". it only handles
1862 * anonymous maps. eventually we may be able to do some
1863 * brk-specific accounting here.
1865 unsigned long do_brk(unsigned long addr
, unsigned long len
)
1867 struct mm_struct
* mm
= current
->mm
;
1868 struct vm_area_struct
* vma
, * prev
;
1869 unsigned long flags
;
1870 struct rb_node
** rb_link
, * rb_parent
;
1871 pgoff_t pgoff
= addr
>> PAGE_SHIFT
;
1874 len
= PAGE_ALIGN(len
);
1878 if ((addr
+ len
) > TASK_SIZE
|| (addr
+ len
) < addr
)
1881 if (is_hugepage_only_range(mm
, addr
, len
))
1884 flags
= VM_DATA_DEFAULT_FLAGS
| VM_ACCOUNT
| mm
->def_flags
;
1886 error
= arch_mmap_check(addr
, len
, flags
);
1893 if (mm
->def_flags
& VM_LOCKED
) {
1894 unsigned long locked
, lock_limit
;
1895 locked
= len
>> PAGE_SHIFT
;
1896 locked
+= mm
->locked_vm
;
1897 lock_limit
= current
->signal
->rlim
[RLIMIT_MEMLOCK
].rlim_cur
;
1898 lock_limit
>>= PAGE_SHIFT
;
1899 if (locked
> lock_limit
&& !capable(CAP_IPC_LOCK
))
1904 * mm->mmap_sem is required to protect against another thread
1905 * changing the mappings in case we sleep.
1907 verify_mm_writelocked(mm
);
1910 * Clear old maps. this also does some error checking for us
1913 vma
= find_vma_prepare(mm
, addr
, &prev
, &rb_link
, &rb_parent
);
1914 if (vma
&& vma
->vm_start
< addr
+ len
) {
1915 if (do_munmap(mm
, addr
, len
))
1920 /* Check against address space limits *after* clearing old maps... */
1921 if (!may_expand_vm(mm
, len
>> PAGE_SHIFT
))
1924 if (mm
->map_count
> sysctl_max_map_count
)
1927 if (security_vm_enough_memory(len
>> PAGE_SHIFT
))
1930 /* Can we just expand an old private anonymous mapping? */
1931 if (vma_merge(mm
, prev
, addr
, addr
+ len
, flags
,
1932 NULL
, NULL
, pgoff
, NULL
))
1936 * create a vma struct for an anonymous mapping
1938 vma
= kmem_cache_zalloc(vm_area_cachep
, GFP_KERNEL
);
1940 vm_unacct_memory(len
>> PAGE_SHIFT
);
1945 vma
->vm_start
= addr
;
1946 vma
->vm_end
= addr
+ len
;
1947 vma
->vm_pgoff
= pgoff
;
1948 vma
->vm_flags
= flags
;
1949 vma
->vm_page_prot
= protection_map
[flags
&
1950 (VM_READ
|VM_WRITE
|VM_EXEC
|VM_SHARED
)];
1951 vma_link(mm
, vma
, prev
, rb_link
, rb_parent
);
1953 mm
->total_vm
+= len
>> PAGE_SHIFT
;
1954 if (flags
& VM_LOCKED
) {
1955 mm
->locked_vm
+= len
>> PAGE_SHIFT
;
1956 make_pages_present(addr
, addr
+ len
);
1961 EXPORT_SYMBOL(do_brk
);
1963 /* Release all mmaps. */
1964 void exit_mmap(struct mm_struct
*mm
)
1966 struct mmu_gather
*tlb
;
1967 struct vm_area_struct
*vma
= mm
->mmap
;
1968 unsigned long nr_accounted
= 0;
1971 /* mm's last user has gone, and its about to be pulled down */
1976 tlb
= tlb_gather_mmu(mm
, 1);
1977 /* Don't update_hiwater_rss(mm) here, do_exit already did */
1978 /* Use -1 here to ensure all VMAs in the mm are unmapped */
1979 end
= unmap_vmas(&tlb
, vma
, 0, -1, &nr_accounted
, NULL
);
1980 vm_unacct_memory(nr_accounted
);
1981 free_pgtables(&tlb
, vma
, FIRST_USER_ADDRESS
, 0);
1982 tlb_finish_mmu(tlb
, 0, end
);
1985 * Walk the list again, actually closing and freeing it,
1986 * with preemption enabled, without holding any MM locks.
1989 vma
= remove_vma(vma
);
1991 BUG_ON(mm
->nr_ptes
> (FIRST_USER_ADDRESS
+PMD_SIZE
-1)>>PMD_SHIFT
);
1994 /* Insert vm structure into process list sorted by address
1995 * and into the inode's i_mmap tree. If vm_file is non-NULL
1996 * then i_mmap_lock is taken here.
1998 int insert_vm_struct(struct mm_struct
* mm
, struct vm_area_struct
* vma
)
2000 struct vm_area_struct
* __vma
, * prev
;
2001 struct rb_node
** rb_link
, * rb_parent
;
2004 * The vm_pgoff of a purely anonymous vma should be irrelevant
2005 * until its first write fault, when page's anon_vma and index
2006 * are set. But now set the vm_pgoff it will almost certainly
2007 * end up with (unless mremap moves it elsewhere before that
2008 * first wfault), so /proc/pid/maps tells a consistent story.
2010 * By setting it to reflect the virtual start address of the
2011 * vma, merges and splits can happen in a seamless way, just
2012 * using the existing file pgoff checks and manipulations.
2013 * Similarly in do_mmap_pgoff and in do_brk.
2015 if (!vma
->vm_file
) {
2016 BUG_ON(vma
->anon_vma
);
2017 vma
->vm_pgoff
= vma
->vm_start
>> PAGE_SHIFT
;
2019 __vma
= find_vma_prepare(mm
,vma
->vm_start
,&prev
,&rb_link
,&rb_parent
);
2020 if (__vma
&& __vma
->vm_start
< vma
->vm_end
)
2022 if ((vma
->vm_flags
& VM_ACCOUNT
) &&
2023 security_vm_enough_memory(vma_pages(vma
)))
2025 vma_link(mm
, vma
, prev
, rb_link
, rb_parent
);
2030 * Copy the vma structure to a new location in the same mm,
2031 * prior to moving page table entries, to effect an mremap move.
2033 struct vm_area_struct
*copy_vma(struct vm_area_struct
**vmap
,
2034 unsigned long addr
, unsigned long len
, pgoff_t pgoff
)
2036 struct vm_area_struct
*vma
= *vmap
;
2037 unsigned long vma_start
= vma
->vm_start
;
2038 struct mm_struct
*mm
= vma
->vm_mm
;
2039 struct vm_area_struct
*new_vma
, *prev
;
2040 struct rb_node
**rb_link
, *rb_parent
;
2041 struct mempolicy
*pol
;
2044 * If anonymous vma has not yet been faulted, update new pgoff
2045 * to match new location, to increase its chance of merging.
2047 if (!vma
->vm_file
&& !vma
->anon_vma
)
2048 pgoff
= addr
>> PAGE_SHIFT
;
2050 find_vma_prepare(mm
, addr
, &prev
, &rb_link
, &rb_parent
);
2051 new_vma
= vma_merge(mm
, prev
, addr
, addr
+ len
, vma
->vm_flags
,
2052 vma
->anon_vma
, vma
->vm_file
, pgoff
, vma_policy(vma
));
2055 * Source vma may have been merged into new_vma
2057 if (vma_start
>= new_vma
->vm_start
&&
2058 vma_start
< new_vma
->vm_end
)
2061 new_vma
= kmem_cache_alloc(vm_area_cachep
, GFP_KERNEL
);
2064 pol
= mpol_copy(vma_policy(vma
));
2066 kmem_cache_free(vm_area_cachep
, new_vma
);
2069 vma_set_policy(new_vma
, pol
);
2070 new_vma
->vm_start
= addr
;
2071 new_vma
->vm_end
= addr
+ len
;
2072 new_vma
->vm_pgoff
= pgoff
;
2073 if (new_vma
->vm_file
)
2074 get_file(new_vma
->vm_file
);
2075 if (new_vma
->vm_ops
&& new_vma
->vm_ops
->open
)
2076 new_vma
->vm_ops
->open(new_vma
);
2077 vma_link(mm
, new_vma
, prev
, rb_link
, rb_parent
);
2084 * Return true if the calling process may expand its vm space by the passed
2087 int may_expand_vm(struct mm_struct
*mm
, unsigned long npages
)
2089 unsigned long cur
= mm
->total_vm
; /* pages */
2092 lim
= current
->signal
->rlim
[RLIMIT_AS
].rlim_cur
>> PAGE_SHIFT
;
2094 if (cur
+ npages
> lim
)
2100 static struct page
*special_mapping_nopage(struct vm_area_struct
*vma
,
2101 unsigned long address
, int *type
)
2103 struct page
**pages
;
2105 BUG_ON(address
< vma
->vm_start
|| address
>= vma
->vm_end
);
2107 address
-= vma
->vm_start
;
2108 for (pages
= vma
->vm_private_data
; address
> 0 && *pages
; ++pages
)
2109 address
-= PAGE_SIZE
;
2112 struct page
*page
= *pages
;
2117 return NOPAGE_SIGBUS
;
2121 * Having a close hook prevents vma merging regardless of flags.
2123 static void special_mapping_close(struct vm_area_struct
*vma
)
2127 static struct vm_operations_struct special_mapping_vmops
= {
2128 .close
= special_mapping_close
,
2129 .nopage
= special_mapping_nopage
,
2133 * Called with mm->mmap_sem held for writing.
2134 * Insert a new vma covering the given region, with the given flags.
2135 * Its pages are supplied by the given array of struct page *.
2136 * The array can be shorter than len >> PAGE_SHIFT if it's null-terminated.
2137 * The region past the last page supplied will always produce SIGBUS.
2138 * The array pointer and the pages it points to are assumed to stay alive
2139 * for as long as this mapping might exist.
2141 int install_special_mapping(struct mm_struct
*mm
,
2142 unsigned long addr
, unsigned long len
,
2143 unsigned long vm_flags
, struct page
**pages
)
2145 struct vm_area_struct
*vma
;
2147 vma
= kmem_cache_zalloc(vm_area_cachep
, GFP_KERNEL
);
2148 if (unlikely(vma
== NULL
))
2152 vma
->vm_start
= addr
;
2153 vma
->vm_end
= addr
+ len
;
2155 vma
->vm_flags
= vm_flags
| mm
->def_flags
;
2156 vma
->vm_page_prot
= protection_map
[vma
->vm_flags
& 7];
2158 vma
->vm_ops
= &special_mapping_vmops
;
2159 vma
->vm_private_data
= pages
;
2161 if (unlikely(insert_vm_struct(mm
, vma
))) {
2162 kmem_cache_free(vm_area_cachep
, vma
);
2166 mm
->total_vm
+= len
>> PAGE_SHIFT
;