149b1b8d6SLorenzo Stoakes // SPDX-License-Identifier: GPL-2.0-or-later 249b1b8d6SLorenzo Stoakes 349b1b8d6SLorenzo Stoakes /* 449b1b8d6SLorenzo Stoakes * VMA-specific functions. 549b1b8d6SLorenzo Stoakes */ 649b1b8d6SLorenzo Stoakes 749b1b8d6SLorenzo Stoakes #include "vma_internal.h" 849b1b8d6SLorenzo Stoakes #include "vma.h" 949b1b8d6SLorenzo Stoakes 1049b1b8d6SLorenzo Stoakes /* 1149b1b8d6SLorenzo Stoakes * If the vma has a ->close operation then the driver probably needs to release 1249b1b8d6SLorenzo Stoakes * per-vma resources, so we don't attempt to merge those if the caller indicates 1349b1b8d6SLorenzo Stoakes * the current vma may be removed as part of the merge. 1449b1b8d6SLorenzo Stoakes */ 1549b1b8d6SLorenzo Stoakes static inline bool is_mergeable_vma(struct vm_area_struct *vma, 1649b1b8d6SLorenzo Stoakes struct file *file, unsigned long vm_flags, 1749b1b8d6SLorenzo Stoakes struct vm_userfaultfd_ctx vm_userfaultfd_ctx, 1849b1b8d6SLorenzo Stoakes struct anon_vma_name *anon_name, bool may_remove_vma) 1949b1b8d6SLorenzo Stoakes { 2049b1b8d6SLorenzo Stoakes /* 2149b1b8d6SLorenzo Stoakes * VM_SOFTDIRTY should not prevent from VMA merging, if we 2249b1b8d6SLorenzo Stoakes * match the flags but dirty bit -- the caller should mark 2349b1b8d6SLorenzo Stoakes * merged VMA as dirty. If dirty bit won't be excluded from 2449b1b8d6SLorenzo Stoakes * comparison, we increase pressure on the memory system forcing 2549b1b8d6SLorenzo Stoakes * the kernel to generate new VMAs when old one could be 2649b1b8d6SLorenzo Stoakes * extended instead. 2749b1b8d6SLorenzo Stoakes */ 2849b1b8d6SLorenzo Stoakes if ((vma->vm_flags ^ vm_flags) & ~VM_SOFTDIRTY) 2949b1b8d6SLorenzo Stoakes return false; 3049b1b8d6SLorenzo Stoakes if (vma->vm_file != file) 3149b1b8d6SLorenzo Stoakes return false; 3249b1b8d6SLorenzo Stoakes if (may_remove_vma && vma->vm_ops && vma->vm_ops->close) 3349b1b8d6SLorenzo Stoakes return false; 3449b1b8d6SLorenzo Stoakes if (!is_mergeable_vm_userfaultfd_ctx(vma, vm_userfaultfd_ctx)) 3549b1b8d6SLorenzo Stoakes return false; 3649b1b8d6SLorenzo Stoakes if (!anon_vma_name_eq(anon_vma_name(vma), anon_name)) 3749b1b8d6SLorenzo Stoakes return false; 3849b1b8d6SLorenzo Stoakes return true; 3949b1b8d6SLorenzo Stoakes } 4049b1b8d6SLorenzo Stoakes 4149b1b8d6SLorenzo Stoakes static inline bool is_mergeable_anon_vma(struct anon_vma *anon_vma1, 4249b1b8d6SLorenzo Stoakes struct anon_vma *anon_vma2, struct vm_area_struct *vma) 4349b1b8d6SLorenzo Stoakes { 4449b1b8d6SLorenzo Stoakes /* 4549b1b8d6SLorenzo Stoakes * The list_is_singular() test is to avoid merging VMA cloned from 4649b1b8d6SLorenzo Stoakes * parents. This can improve scalability caused by anon_vma lock. 4749b1b8d6SLorenzo Stoakes */ 4849b1b8d6SLorenzo Stoakes if ((!anon_vma1 || !anon_vma2) && (!vma || 4949b1b8d6SLorenzo Stoakes list_is_singular(&vma->anon_vma_chain))) 5049b1b8d6SLorenzo Stoakes return true; 5149b1b8d6SLorenzo Stoakes return anon_vma1 == anon_vma2; 5249b1b8d6SLorenzo Stoakes } 5349b1b8d6SLorenzo Stoakes 5449b1b8d6SLorenzo Stoakes /* 5549b1b8d6SLorenzo Stoakes * init_multi_vma_prep() - Initializer for struct vma_prepare 5649b1b8d6SLorenzo Stoakes * @vp: The vma_prepare struct 5749b1b8d6SLorenzo Stoakes * @vma: The vma that will be altered once locked 5849b1b8d6SLorenzo Stoakes * @next: The next vma if it is to be adjusted 5949b1b8d6SLorenzo Stoakes * @remove: The first vma to be removed 6049b1b8d6SLorenzo Stoakes * @remove2: The second vma to be removed 6149b1b8d6SLorenzo Stoakes */ 6249b1b8d6SLorenzo Stoakes static void init_multi_vma_prep(struct vma_prepare *vp, 6349b1b8d6SLorenzo Stoakes struct vm_area_struct *vma, 6449b1b8d6SLorenzo Stoakes struct vm_area_struct *next, 6549b1b8d6SLorenzo Stoakes struct vm_area_struct *remove, 6649b1b8d6SLorenzo Stoakes struct vm_area_struct *remove2) 6749b1b8d6SLorenzo Stoakes { 6849b1b8d6SLorenzo Stoakes memset(vp, 0, sizeof(struct vma_prepare)); 6949b1b8d6SLorenzo Stoakes vp->vma = vma; 7049b1b8d6SLorenzo Stoakes vp->anon_vma = vma->anon_vma; 7149b1b8d6SLorenzo Stoakes vp->remove = remove; 7249b1b8d6SLorenzo Stoakes vp->remove2 = remove2; 7349b1b8d6SLorenzo Stoakes vp->adj_next = next; 7449b1b8d6SLorenzo Stoakes if (!vp->anon_vma && next) 7549b1b8d6SLorenzo Stoakes vp->anon_vma = next->anon_vma; 7649b1b8d6SLorenzo Stoakes 7749b1b8d6SLorenzo Stoakes vp->file = vma->vm_file; 7849b1b8d6SLorenzo Stoakes if (vp->file) 7949b1b8d6SLorenzo Stoakes vp->mapping = vma->vm_file->f_mapping; 8049b1b8d6SLorenzo Stoakes 8149b1b8d6SLorenzo Stoakes } 8249b1b8d6SLorenzo Stoakes 8349b1b8d6SLorenzo Stoakes /* 84dba14840SLiam R. Howlett * init_vma_munmap() - Initializer wrapper for vma_munmap_struct 85dba14840SLiam R. Howlett * @vms: The vma munmap struct 86dba14840SLiam R. Howlett * @vmi: The vma iterator 87dba14840SLiam R. Howlett * @vma: The first vm_area_struct to munmap 88dba14840SLiam R. Howlett * @start: The aligned start address to munmap 89dba14840SLiam R. Howlett * @end: The aligned end address to munmap 90dba14840SLiam R. Howlett * @uf: The userfaultfd list_head 91dba14840SLiam R. Howlett * @unlock: Unlock after the operation. Only unlocked on success 92dba14840SLiam R. Howlett */ 93dba14840SLiam R. Howlett static inline void init_vma_munmap(struct vma_munmap_struct *vms, 94dba14840SLiam R. Howlett struct vma_iterator *vmi, struct vm_area_struct *vma, 95dba14840SLiam R. Howlett unsigned long start, unsigned long end, struct list_head *uf, 96dba14840SLiam R. Howlett bool unlock) 97dba14840SLiam R. Howlett { 98dba14840SLiam R. Howlett vms->vmi = vmi; 99dba14840SLiam R. Howlett vms->vma = vma; 100dba14840SLiam R. Howlett vms->mm = vma->vm_mm; 101dba14840SLiam R. Howlett vms->start = start; 102dba14840SLiam R. Howlett vms->end = end; 103dba14840SLiam R. Howlett vms->unlock = unlock; 104dba14840SLiam R. Howlett vms->uf = uf; 105dba14840SLiam R. Howlett vms->vma_count = 0; 106*17f1ae9bSLiam R. Howlett vms->nr_pages = vms->locked_vm = vms->nr_accounted = 0; 107*17f1ae9bSLiam R. Howlett vms->exec_vm = vms->stack_vm = vms->data_vm = 0; 108dba14840SLiam R. Howlett } 109dba14840SLiam R. Howlett 110dba14840SLiam R. Howlett /* 11149b1b8d6SLorenzo Stoakes * Return true if we can merge this (vm_flags,anon_vma,file,vm_pgoff) 11249b1b8d6SLorenzo Stoakes * in front of (at a lower virtual address and file offset than) the vma. 11349b1b8d6SLorenzo Stoakes * 11449b1b8d6SLorenzo Stoakes * We cannot merge two vmas if they have differently assigned (non-NULL) 11549b1b8d6SLorenzo Stoakes * anon_vmas, nor if same anon_vma is assigned but offsets incompatible. 11649b1b8d6SLorenzo Stoakes * 11749b1b8d6SLorenzo Stoakes * We don't check here for the merged mmap wrapping around the end of pagecache 11849b1b8d6SLorenzo Stoakes * indices (16TB on ia32) because do_mmap() does not permit mmap's which 11949b1b8d6SLorenzo Stoakes * wrap, nor mmaps which cover the final page at index -1UL. 12049b1b8d6SLorenzo Stoakes * 12149b1b8d6SLorenzo Stoakes * We assume the vma may be removed as part of the merge. 12249b1b8d6SLorenzo Stoakes */ 12349b1b8d6SLorenzo Stoakes bool 12449b1b8d6SLorenzo Stoakes can_vma_merge_before(struct vm_area_struct *vma, unsigned long vm_flags, 12549b1b8d6SLorenzo Stoakes struct anon_vma *anon_vma, struct file *file, 12649b1b8d6SLorenzo Stoakes pgoff_t vm_pgoff, struct vm_userfaultfd_ctx vm_userfaultfd_ctx, 12749b1b8d6SLorenzo Stoakes struct anon_vma_name *anon_name) 12849b1b8d6SLorenzo Stoakes { 12949b1b8d6SLorenzo Stoakes if (is_mergeable_vma(vma, file, vm_flags, vm_userfaultfd_ctx, anon_name, true) && 13049b1b8d6SLorenzo Stoakes is_mergeable_anon_vma(anon_vma, vma->anon_vma, vma)) { 13149b1b8d6SLorenzo Stoakes if (vma->vm_pgoff == vm_pgoff) 13249b1b8d6SLorenzo Stoakes return true; 13349b1b8d6SLorenzo Stoakes } 13449b1b8d6SLorenzo Stoakes return false; 13549b1b8d6SLorenzo Stoakes } 13649b1b8d6SLorenzo Stoakes 13749b1b8d6SLorenzo Stoakes /* 13849b1b8d6SLorenzo Stoakes * Return true if we can merge this (vm_flags,anon_vma,file,vm_pgoff) 13949b1b8d6SLorenzo Stoakes * beyond (at a higher virtual address and file offset than) the vma. 14049b1b8d6SLorenzo Stoakes * 14149b1b8d6SLorenzo Stoakes * We cannot merge two vmas if they have differently assigned (non-NULL) 14249b1b8d6SLorenzo Stoakes * anon_vmas, nor if same anon_vma is assigned but offsets incompatible. 14349b1b8d6SLorenzo Stoakes * 14449b1b8d6SLorenzo Stoakes * We assume that vma is not removed as part of the merge. 14549b1b8d6SLorenzo Stoakes */ 14649b1b8d6SLorenzo Stoakes bool 14749b1b8d6SLorenzo Stoakes can_vma_merge_after(struct vm_area_struct *vma, unsigned long vm_flags, 14849b1b8d6SLorenzo Stoakes struct anon_vma *anon_vma, struct file *file, 14949b1b8d6SLorenzo Stoakes pgoff_t vm_pgoff, struct vm_userfaultfd_ctx vm_userfaultfd_ctx, 15049b1b8d6SLorenzo Stoakes struct anon_vma_name *anon_name) 15149b1b8d6SLorenzo Stoakes { 15249b1b8d6SLorenzo Stoakes if (is_mergeable_vma(vma, file, vm_flags, vm_userfaultfd_ctx, anon_name, false) && 15349b1b8d6SLorenzo Stoakes is_mergeable_anon_vma(anon_vma, vma->anon_vma, vma)) { 15449b1b8d6SLorenzo Stoakes pgoff_t vm_pglen; 15549b1b8d6SLorenzo Stoakes 15649b1b8d6SLorenzo Stoakes vm_pglen = vma_pages(vma); 15749b1b8d6SLorenzo Stoakes if (vma->vm_pgoff + vm_pglen == vm_pgoff) 15849b1b8d6SLorenzo Stoakes return true; 15949b1b8d6SLorenzo Stoakes } 16049b1b8d6SLorenzo Stoakes return false; 16149b1b8d6SLorenzo Stoakes } 16249b1b8d6SLorenzo Stoakes 16349b1b8d6SLorenzo Stoakes /* 16449b1b8d6SLorenzo Stoakes * Close a vm structure and free it. 16549b1b8d6SLorenzo Stoakes */ 16649b1b8d6SLorenzo Stoakes void remove_vma(struct vm_area_struct *vma, bool unreachable) 16749b1b8d6SLorenzo Stoakes { 16849b1b8d6SLorenzo Stoakes might_sleep(); 16949b1b8d6SLorenzo Stoakes if (vma->vm_ops && vma->vm_ops->close) 17049b1b8d6SLorenzo Stoakes vma->vm_ops->close(vma); 17149b1b8d6SLorenzo Stoakes if (vma->vm_file) 17249b1b8d6SLorenzo Stoakes fput(vma->vm_file); 17349b1b8d6SLorenzo Stoakes mpol_put(vma_policy(vma)); 17449b1b8d6SLorenzo Stoakes if (unreachable) 17549b1b8d6SLorenzo Stoakes __vm_area_free(vma); 17649b1b8d6SLorenzo Stoakes else 17749b1b8d6SLorenzo Stoakes vm_area_free(vma); 17849b1b8d6SLorenzo Stoakes } 17949b1b8d6SLorenzo Stoakes 18049b1b8d6SLorenzo Stoakes /* 18149b1b8d6SLorenzo Stoakes * Get rid of page table information in the indicated region. 18249b1b8d6SLorenzo Stoakes * 18349b1b8d6SLorenzo Stoakes * Called with the mm semaphore held. 18449b1b8d6SLorenzo Stoakes */ 18549b1b8d6SLorenzo Stoakes void unmap_region(struct mm_struct *mm, struct ma_state *mas, 18649b1b8d6SLorenzo Stoakes struct vm_area_struct *vma, struct vm_area_struct *prev, 18749b1b8d6SLorenzo Stoakes struct vm_area_struct *next, unsigned long start, 18849b1b8d6SLorenzo Stoakes unsigned long end, unsigned long tree_end, bool mm_wr_locked) 18949b1b8d6SLorenzo Stoakes { 19049b1b8d6SLorenzo Stoakes struct mmu_gather tlb; 19149b1b8d6SLorenzo Stoakes unsigned long mt_start = mas->index; 19249b1b8d6SLorenzo Stoakes 19349b1b8d6SLorenzo Stoakes lru_add_drain(); 19449b1b8d6SLorenzo Stoakes tlb_gather_mmu(&tlb, mm); 19549b1b8d6SLorenzo Stoakes update_hiwater_rss(mm); 19649b1b8d6SLorenzo Stoakes unmap_vmas(&tlb, mas, vma, start, end, tree_end, mm_wr_locked); 19749b1b8d6SLorenzo Stoakes mas_set(mas, mt_start); 19849b1b8d6SLorenzo Stoakes free_pgtables(&tlb, mas, vma, prev ? prev->vm_end : FIRST_USER_ADDRESS, 19949b1b8d6SLorenzo Stoakes next ? next->vm_start : USER_PGTABLES_CEILING, 20049b1b8d6SLorenzo Stoakes mm_wr_locked); 20149b1b8d6SLorenzo Stoakes tlb_finish_mmu(&tlb); 20249b1b8d6SLorenzo Stoakes } 20349b1b8d6SLorenzo Stoakes 20449b1b8d6SLorenzo Stoakes /* 20549b1b8d6SLorenzo Stoakes * __split_vma() bypasses sysctl_max_map_count checking. We use this where it 20649b1b8d6SLorenzo Stoakes * has already been checked or doesn't make sense to fail. 207b7012d51SLiam R. Howlett * VMA Iterator will point to the original VMA. 20849b1b8d6SLorenzo Stoakes */ 20949b1b8d6SLorenzo Stoakes static int __split_vma(struct vma_iterator *vmi, struct vm_area_struct *vma, 21049b1b8d6SLorenzo Stoakes unsigned long addr, int new_below) 21149b1b8d6SLorenzo Stoakes { 21249b1b8d6SLorenzo Stoakes struct vma_prepare vp; 21349b1b8d6SLorenzo Stoakes struct vm_area_struct *new; 21449b1b8d6SLorenzo Stoakes int err; 21549b1b8d6SLorenzo Stoakes 21649b1b8d6SLorenzo Stoakes WARN_ON(vma->vm_start >= addr); 21749b1b8d6SLorenzo Stoakes WARN_ON(vma->vm_end <= addr); 21849b1b8d6SLorenzo Stoakes 21949b1b8d6SLorenzo Stoakes if (vma->vm_ops && vma->vm_ops->may_split) { 22049b1b8d6SLorenzo Stoakes err = vma->vm_ops->may_split(vma, addr); 22149b1b8d6SLorenzo Stoakes if (err) 22249b1b8d6SLorenzo Stoakes return err; 22349b1b8d6SLorenzo Stoakes } 22449b1b8d6SLorenzo Stoakes 22549b1b8d6SLorenzo Stoakes new = vm_area_dup(vma); 22649b1b8d6SLorenzo Stoakes if (!new) 22749b1b8d6SLorenzo Stoakes return -ENOMEM; 22849b1b8d6SLorenzo Stoakes 22949b1b8d6SLorenzo Stoakes if (new_below) { 23049b1b8d6SLorenzo Stoakes new->vm_end = addr; 23149b1b8d6SLorenzo Stoakes } else { 23249b1b8d6SLorenzo Stoakes new->vm_start = addr; 23349b1b8d6SLorenzo Stoakes new->vm_pgoff += ((addr - vma->vm_start) >> PAGE_SHIFT); 23449b1b8d6SLorenzo Stoakes } 23549b1b8d6SLorenzo Stoakes 23649b1b8d6SLorenzo Stoakes err = -ENOMEM; 23749b1b8d6SLorenzo Stoakes vma_iter_config(vmi, new->vm_start, new->vm_end); 23849b1b8d6SLorenzo Stoakes if (vma_iter_prealloc(vmi, new)) 23949b1b8d6SLorenzo Stoakes goto out_free_vma; 24049b1b8d6SLorenzo Stoakes 24149b1b8d6SLorenzo Stoakes err = vma_dup_policy(vma, new); 24249b1b8d6SLorenzo Stoakes if (err) 24349b1b8d6SLorenzo Stoakes goto out_free_vmi; 24449b1b8d6SLorenzo Stoakes 24549b1b8d6SLorenzo Stoakes err = anon_vma_clone(new, vma); 24649b1b8d6SLorenzo Stoakes if (err) 24749b1b8d6SLorenzo Stoakes goto out_free_mpol; 24849b1b8d6SLorenzo Stoakes 24949b1b8d6SLorenzo Stoakes if (new->vm_file) 25049b1b8d6SLorenzo Stoakes get_file(new->vm_file); 25149b1b8d6SLorenzo Stoakes 25249b1b8d6SLorenzo Stoakes if (new->vm_ops && new->vm_ops->open) 25349b1b8d6SLorenzo Stoakes new->vm_ops->open(new); 25449b1b8d6SLorenzo Stoakes 25549b1b8d6SLorenzo Stoakes vma_start_write(vma); 25649b1b8d6SLorenzo Stoakes vma_start_write(new); 25749b1b8d6SLorenzo Stoakes 25849b1b8d6SLorenzo Stoakes init_vma_prep(&vp, vma); 25949b1b8d6SLorenzo Stoakes vp.insert = new; 26049b1b8d6SLorenzo Stoakes vma_prepare(&vp); 26149b1b8d6SLorenzo Stoakes vma_adjust_trans_huge(vma, vma->vm_start, addr, 0); 26249b1b8d6SLorenzo Stoakes 26349b1b8d6SLorenzo Stoakes if (new_below) { 26449b1b8d6SLorenzo Stoakes vma->vm_start = addr; 26549b1b8d6SLorenzo Stoakes vma->vm_pgoff += (addr - new->vm_start) >> PAGE_SHIFT; 26649b1b8d6SLorenzo Stoakes } else { 26749b1b8d6SLorenzo Stoakes vma->vm_end = addr; 26849b1b8d6SLorenzo Stoakes } 26949b1b8d6SLorenzo Stoakes 27049b1b8d6SLorenzo Stoakes /* vma_complete stores the new vma */ 27149b1b8d6SLorenzo Stoakes vma_complete(&vp, vmi, vma->vm_mm); 27249b1b8d6SLorenzo Stoakes 27349b1b8d6SLorenzo Stoakes /* Success. */ 27449b1b8d6SLorenzo Stoakes if (new_below) 27549b1b8d6SLorenzo Stoakes vma_next(vmi); 276b7012d51SLiam R. Howlett else 277b7012d51SLiam R. Howlett vma_prev(vmi); 278b7012d51SLiam R. Howlett 27949b1b8d6SLorenzo Stoakes return 0; 28049b1b8d6SLorenzo Stoakes 28149b1b8d6SLorenzo Stoakes out_free_mpol: 28249b1b8d6SLorenzo Stoakes mpol_put(vma_policy(new)); 28349b1b8d6SLorenzo Stoakes out_free_vmi: 28449b1b8d6SLorenzo Stoakes vma_iter_free(vmi); 28549b1b8d6SLorenzo Stoakes out_free_vma: 28649b1b8d6SLorenzo Stoakes vm_area_free(new); 28749b1b8d6SLorenzo Stoakes return err; 28849b1b8d6SLorenzo Stoakes } 28949b1b8d6SLorenzo Stoakes 29049b1b8d6SLorenzo Stoakes /* 29149b1b8d6SLorenzo Stoakes * Split a vma into two pieces at address 'addr', a new vma is allocated 29249b1b8d6SLorenzo Stoakes * either for the first part or the tail. 29349b1b8d6SLorenzo Stoakes */ 29449b1b8d6SLorenzo Stoakes static int split_vma(struct vma_iterator *vmi, struct vm_area_struct *vma, 29549b1b8d6SLorenzo Stoakes unsigned long addr, int new_below) 29649b1b8d6SLorenzo Stoakes { 29749b1b8d6SLorenzo Stoakes if (vma->vm_mm->map_count >= sysctl_max_map_count) 29849b1b8d6SLorenzo Stoakes return -ENOMEM; 29949b1b8d6SLorenzo Stoakes 30049b1b8d6SLorenzo Stoakes return __split_vma(vmi, vma, addr, new_below); 30149b1b8d6SLorenzo Stoakes } 30249b1b8d6SLorenzo Stoakes 30349b1b8d6SLorenzo Stoakes /* 30449b1b8d6SLorenzo Stoakes * init_vma_prep() - Initializer wrapper for vma_prepare struct 30549b1b8d6SLorenzo Stoakes * @vp: The vma_prepare struct 30649b1b8d6SLorenzo Stoakes * @vma: The vma that will be altered once locked 30749b1b8d6SLorenzo Stoakes */ 30849b1b8d6SLorenzo Stoakes void init_vma_prep(struct vma_prepare *vp, 30949b1b8d6SLorenzo Stoakes struct vm_area_struct *vma) 31049b1b8d6SLorenzo Stoakes { 31149b1b8d6SLorenzo Stoakes init_multi_vma_prep(vp, vma, NULL, NULL, NULL); 31249b1b8d6SLorenzo Stoakes } 31349b1b8d6SLorenzo Stoakes 31449b1b8d6SLorenzo Stoakes /* 31549b1b8d6SLorenzo Stoakes * Requires inode->i_mapping->i_mmap_rwsem 31649b1b8d6SLorenzo Stoakes */ 31749b1b8d6SLorenzo Stoakes static void __remove_shared_vm_struct(struct vm_area_struct *vma, 31849b1b8d6SLorenzo Stoakes struct address_space *mapping) 31949b1b8d6SLorenzo Stoakes { 32049b1b8d6SLorenzo Stoakes if (vma_is_shared_maywrite(vma)) 32149b1b8d6SLorenzo Stoakes mapping_unmap_writable(mapping); 32249b1b8d6SLorenzo Stoakes 32349b1b8d6SLorenzo Stoakes flush_dcache_mmap_lock(mapping); 32449b1b8d6SLorenzo Stoakes vma_interval_tree_remove(vma, &mapping->i_mmap); 32549b1b8d6SLorenzo Stoakes flush_dcache_mmap_unlock(mapping); 32649b1b8d6SLorenzo Stoakes } 32749b1b8d6SLorenzo Stoakes 32849b1b8d6SLorenzo Stoakes /* 32949b1b8d6SLorenzo Stoakes * vma has some anon_vma assigned, and is already inserted on that 33049b1b8d6SLorenzo Stoakes * anon_vma's interval trees. 33149b1b8d6SLorenzo Stoakes * 33249b1b8d6SLorenzo Stoakes * Before updating the vma's vm_start / vm_end / vm_pgoff fields, the 33349b1b8d6SLorenzo Stoakes * vma must be removed from the anon_vma's interval trees using 33449b1b8d6SLorenzo Stoakes * anon_vma_interval_tree_pre_update_vma(). 33549b1b8d6SLorenzo Stoakes * 33649b1b8d6SLorenzo Stoakes * After the update, the vma will be reinserted using 33749b1b8d6SLorenzo Stoakes * anon_vma_interval_tree_post_update_vma(). 33849b1b8d6SLorenzo Stoakes * 33949b1b8d6SLorenzo Stoakes * The entire update must be protected by exclusive mmap_lock and by 34049b1b8d6SLorenzo Stoakes * the root anon_vma's mutex. 34149b1b8d6SLorenzo Stoakes */ 34249b1b8d6SLorenzo Stoakes void 34349b1b8d6SLorenzo Stoakes anon_vma_interval_tree_pre_update_vma(struct vm_area_struct *vma) 34449b1b8d6SLorenzo Stoakes { 34549b1b8d6SLorenzo Stoakes struct anon_vma_chain *avc; 34649b1b8d6SLorenzo Stoakes 34749b1b8d6SLorenzo Stoakes list_for_each_entry(avc, &vma->anon_vma_chain, same_vma) 34849b1b8d6SLorenzo Stoakes anon_vma_interval_tree_remove(avc, &avc->anon_vma->rb_root); 34949b1b8d6SLorenzo Stoakes } 35049b1b8d6SLorenzo Stoakes 35149b1b8d6SLorenzo Stoakes void 35249b1b8d6SLorenzo Stoakes anon_vma_interval_tree_post_update_vma(struct vm_area_struct *vma) 35349b1b8d6SLorenzo Stoakes { 35449b1b8d6SLorenzo Stoakes struct anon_vma_chain *avc; 35549b1b8d6SLorenzo Stoakes 35649b1b8d6SLorenzo Stoakes list_for_each_entry(avc, &vma->anon_vma_chain, same_vma) 35749b1b8d6SLorenzo Stoakes anon_vma_interval_tree_insert(avc, &avc->anon_vma->rb_root); 35849b1b8d6SLorenzo Stoakes } 35949b1b8d6SLorenzo Stoakes 36049b1b8d6SLorenzo Stoakes static void __vma_link_file(struct vm_area_struct *vma, 36149b1b8d6SLorenzo Stoakes struct address_space *mapping) 36249b1b8d6SLorenzo Stoakes { 36349b1b8d6SLorenzo Stoakes if (vma_is_shared_maywrite(vma)) 36449b1b8d6SLorenzo Stoakes mapping_allow_writable(mapping); 36549b1b8d6SLorenzo Stoakes 36649b1b8d6SLorenzo Stoakes flush_dcache_mmap_lock(mapping); 36749b1b8d6SLorenzo Stoakes vma_interval_tree_insert(vma, &mapping->i_mmap); 36849b1b8d6SLorenzo Stoakes flush_dcache_mmap_unlock(mapping); 36949b1b8d6SLorenzo Stoakes } 37049b1b8d6SLorenzo Stoakes 37149b1b8d6SLorenzo Stoakes /* 37249b1b8d6SLorenzo Stoakes * vma_prepare() - Helper function for handling locking VMAs prior to altering 37349b1b8d6SLorenzo Stoakes * @vp: The initialized vma_prepare struct 37449b1b8d6SLorenzo Stoakes */ 37549b1b8d6SLorenzo Stoakes void vma_prepare(struct vma_prepare *vp) 37649b1b8d6SLorenzo Stoakes { 37749b1b8d6SLorenzo Stoakes if (vp->file) { 37849b1b8d6SLorenzo Stoakes uprobe_munmap(vp->vma, vp->vma->vm_start, vp->vma->vm_end); 37949b1b8d6SLorenzo Stoakes 38049b1b8d6SLorenzo Stoakes if (vp->adj_next) 38149b1b8d6SLorenzo Stoakes uprobe_munmap(vp->adj_next, vp->adj_next->vm_start, 38249b1b8d6SLorenzo Stoakes vp->adj_next->vm_end); 38349b1b8d6SLorenzo Stoakes 38449b1b8d6SLorenzo Stoakes i_mmap_lock_write(vp->mapping); 38549b1b8d6SLorenzo Stoakes if (vp->insert && vp->insert->vm_file) { 38649b1b8d6SLorenzo Stoakes /* 38749b1b8d6SLorenzo Stoakes * Put into interval tree now, so instantiated pages 38849b1b8d6SLorenzo Stoakes * are visible to arm/parisc __flush_dcache_page 38949b1b8d6SLorenzo Stoakes * throughout; but we cannot insert into address 39049b1b8d6SLorenzo Stoakes * space until vma start or end is updated. 39149b1b8d6SLorenzo Stoakes */ 39249b1b8d6SLorenzo Stoakes __vma_link_file(vp->insert, 39349b1b8d6SLorenzo Stoakes vp->insert->vm_file->f_mapping); 39449b1b8d6SLorenzo Stoakes } 39549b1b8d6SLorenzo Stoakes } 39649b1b8d6SLorenzo Stoakes 39749b1b8d6SLorenzo Stoakes if (vp->anon_vma) { 39849b1b8d6SLorenzo Stoakes anon_vma_lock_write(vp->anon_vma); 39949b1b8d6SLorenzo Stoakes anon_vma_interval_tree_pre_update_vma(vp->vma); 40049b1b8d6SLorenzo Stoakes if (vp->adj_next) 40149b1b8d6SLorenzo Stoakes anon_vma_interval_tree_pre_update_vma(vp->adj_next); 40249b1b8d6SLorenzo Stoakes } 40349b1b8d6SLorenzo Stoakes 40449b1b8d6SLorenzo Stoakes if (vp->file) { 40549b1b8d6SLorenzo Stoakes flush_dcache_mmap_lock(vp->mapping); 40649b1b8d6SLorenzo Stoakes vma_interval_tree_remove(vp->vma, &vp->mapping->i_mmap); 40749b1b8d6SLorenzo Stoakes if (vp->adj_next) 40849b1b8d6SLorenzo Stoakes vma_interval_tree_remove(vp->adj_next, 40949b1b8d6SLorenzo Stoakes &vp->mapping->i_mmap); 41049b1b8d6SLorenzo Stoakes } 41149b1b8d6SLorenzo Stoakes 41249b1b8d6SLorenzo Stoakes } 41349b1b8d6SLorenzo Stoakes 41449b1b8d6SLorenzo Stoakes /* 41549b1b8d6SLorenzo Stoakes * dup_anon_vma() - Helper function to duplicate anon_vma 41649b1b8d6SLorenzo Stoakes * @dst: The destination VMA 41749b1b8d6SLorenzo Stoakes * @src: The source VMA 41849b1b8d6SLorenzo Stoakes * @dup: Pointer to the destination VMA when successful. 41949b1b8d6SLorenzo Stoakes * 42049b1b8d6SLorenzo Stoakes * Returns: 0 on success. 42149b1b8d6SLorenzo Stoakes */ 42249b1b8d6SLorenzo Stoakes static int dup_anon_vma(struct vm_area_struct *dst, 42349b1b8d6SLorenzo Stoakes struct vm_area_struct *src, struct vm_area_struct **dup) 42449b1b8d6SLorenzo Stoakes { 42549b1b8d6SLorenzo Stoakes /* 42649b1b8d6SLorenzo Stoakes * Easily overlooked: when mprotect shifts the boundary, make sure the 42749b1b8d6SLorenzo Stoakes * expanding vma has anon_vma set if the shrinking vma had, to cover any 42849b1b8d6SLorenzo Stoakes * anon pages imported. 42949b1b8d6SLorenzo Stoakes */ 43049b1b8d6SLorenzo Stoakes if (src->anon_vma && !dst->anon_vma) { 43149b1b8d6SLorenzo Stoakes int ret; 43249b1b8d6SLorenzo Stoakes 43349b1b8d6SLorenzo Stoakes vma_assert_write_locked(dst); 43449b1b8d6SLorenzo Stoakes dst->anon_vma = src->anon_vma; 43549b1b8d6SLorenzo Stoakes ret = anon_vma_clone(dst, src); 43649b1b8d6SLorenzo Stoakes if (ret) 43749b1b8d6SLorenzo Stoakes return ret; 43849b1b8d6SLorenzo Stoakes 43949b1b8d6SLorenzo Stoakes *dup = dst; 44049b1b8d6SLorenzo Stoakes } 44149b1b8d6SLorenzo Stoakes 44249b1b8d6SLorenzo Stoakes return 0; 44349b1b8d6SLorenzo Stoakes } 44449b1b8d6SLorenzo Stoakes 44549b1b8d6SLorenzo Stoakes #ifdef CONFIG_DEBUG_VM_MAPLE_TREE 44649b1b8d6SLorenzo Stoakes void validate_mm(struct mm_struct *mm) 44749b1b8d6SLorenzo Stoakes { 44849b1b8d6SLorenzo Stoakes int bug = 0; 44949b1b8d6SLorenzo Stoakes int i = 0; 45049b1b8d6SLorenzo Stoakes struct vm_area_struct *vma; 45149b1b8d6SLorenzo Stoakes VMA_ITERATOR(vmi, mm, 0); 45249b1b8d6SLorenzo Stoakes 45349b1b8d6SLorenzo Stoakes mt_validate(&mm->mm_mt); 45449b1b8d6SLorenzo Stoakes for_each_vma(vmi, vma) { 45549b1b8d6SLorenzo Stoakes #ifdef CONFIG_DEBUG_VM_RB 45649b1b8d6SLorenzo Stoakes struct anon_vma *anon_vma = vma->anon_vma; 45749b1b8d6SLorenzo Stoakes struct anon_vma_chain *avc; 45849b1b8d6SLorenzo Stoakes #endif 45949b1b8d6SLorenzo Stoakes unsigned long vmi_start, vmi_end; 46049b1b8d6SLorenzo Stoakes bool warn = 0; 46149b1b8d6SLorenzo Stoakes 46249b1b8d6SLorenzo Stoakes vmi_start = vma_iter_addr(&vmi); 46349b1b8d6SLorenzo Stoakes vmi_end = vma_iter_end(&vmi); 46449b1b8d6SLorenzo Stoakes if (VM_WARN_ON_ONCE_MM(vma->vm_end != vmi_end, mm)) 46549b1b8d6SLorenzo Stoakes warn = 1; 46649b1b8d6SLorenzo Stoakes 46749b1b8d6SLorenzo Stoakes if (VM_WARN_ON_ONCE_MM(vma->vm_start != vmi_start, mm)) 46849b1b8d6SLorenzo Stoakes warn = 1; 46949b1b8d6SLorenzo Stoakes 47049b1b8d6SLorenzo Stoakes if (warn) { 47149b1b8d6SLorenzo Stoakes pr_emerg("issue in %s\n", current->comm); 47249b1b8d6SLorenzo Stoakes dump_stack(); 47349b1b8d6SLorenzo Stoakes dump_vma(vma); 47449b1b8d6SLorenzo Stoakes pr_emerg("tree range: %px start %lx end %lx\n", vma, 47549b1b8d6SLorenzo Stoakes vmi_start, vmi_end - 1); 47649b1b8d6SLorenzo Stoakes vma_iter_dump_tree(&vmi); 47749b1b8d6SLorenzo Stoakes } 47849b1b8d6SLorenzo Stoakes 47949b1b8d6SLorenzo Stoakes #ifdef CONFIG_DEBUG_VM_RB 48049b1b8d6SLorenzo Stoakes if (anon_vma) { 48149b1b8d6SLorenzo Stoakes anon_vma_lock_read(anon_vma); 48249b1b8d6SLorenzo Stoakes list_for_each_entry(avc, &vma->anon_vma_chain, same_vma) 48349b1b8d6SLorenzo Stoakes anon_vma_interval_tree_verify(avc); 48449b1b8d6SLorenzo Stoakes anon_vma_unlock_read(anon_vma); 48549b1b8d6SLorenzo Stoakes } 48649b1b8d6SLorenzo Stoakes #endif 48749b1b8d6SLorenzo Stoakes i++; 48849b1b8d6SLorenzo Stoakes } 48949b1b8d6SLorenzo Stoakes if (i != mm->map_count) { 49049b1b8d6SLorenzo Stoakes pr_emerg("map_count %d vma iterator %d\n", mm->map_count, i); 49149b1b8d6SLorenzo Stoakes bug = 1; 49249b1b8d6SLorenzo Stoakes } 49349b1b8d6SLorenzo Stoakes VM_BUG_ON_MM(bug, mm); 49449b1b8d6SLorenzo Stoakes } 49549b1b8d6SLorenzo Stoakes #endif /* CONFIG_DEBUG_VM_MAPLE_TREE */ 49649b1b8d6SLorenzo Stoakes 49749b1b8d6SLorenzo Stoakes /* 49849b1b8d6SLorenzo Stoakes * vma_expand - Expand an existing VMA 49949b1b8d6SLorenzo Stoakes * 50049b1b8d6SLorenzo Stoakes * @vmi: The vma iterator 50149b1b8d6SLorenzo Stoakes * @vma: The vma to expand 50249b1b8d6SLorenzo Stoakes * @start: The start of the vma 50349b1b8d6SLorenzo Stoakes * @end: The exclusive end of the vma 50449b1b8d6SLorenzo Stoakes * @pgoff: The page offset of vma 50549b1b8d6SLorenzo Stoakes * @next: The current of next vma. 50649b1b8d6SLorenzo Stoakes * 50749b1b8d6SLorenzo Stoakes * Expand @vma to @start and @end. Can expand off the start and end. Will 50849b1b8d6SLorenzo Stoakes * expand over @next if it's different from @vma and @end == @next->vm_end. 50949b1b8d6SLorenzo Stoakes * Checking if the @vma can expand and merge with @next needs to be handled by 51049b1b8d6SLorenzo Stoakes * the caller. 51149b1b8d6SLorenzo Stoakes * 51249b1b8d6SLorenzo Stoakes * Returns: 0 on success 51349b1b8d6SLorenzo Stoakes */ 51449b1b8d6SLorenzo Stoakes int vma_expand(struct vma_iterator *vmi, struct vm_area_struct *vma, 51549b1b8d6SLorenzo Stoakes unsigned long start, unsigned long end, pgoff_t pgoff, 51649b1b8d6SLorenzo Stoakes struct vm_area_struct *next) 51749b1b8d6SLorenzo Stoakes { 51849b1b8d6SLorenzo Stoakes struct vm_area_struct *anon_dup = NULL; 51949b1b8d6SLorenzo Stoakes bool remove_next = false; 52049b1b8d6SLorenzo Stoakes struct vma_prepare vp; 52149b1b8d6SLorenzo Stoakes 52249b1b8d6SLorenzo Stoakes vma_start_write(vma); 52349b1b8d6SLorenzo Stoakes if (next && (vma != next) && (end == next->vm_end)) { 52449b1b8d6SLorenzo Stoakes int ret; 52549b1b8d6SLorenzo Stoakes 52649b1b8d6SLorenzo Stoakes remove_next = true; 52749b1b8d6SLorenzo Stoakes vma_start_write(next); 52849b1b8d6SLorenzo Stoakes ret = dup_anon_vma(vma, next, &anon_dup); 52949b1b8d6SLorenzo Stoakes if (ret) 53049b1b8d6SLorenzo Stoakes return ret; 53149b1b8d6SLorenzo Stoakes } 53249b1b8d6SLorenzo Stoakes 53349b1b8d6SLorenzo Stoakes init_multi_vma_prep(&vp, vma, NULL, remove_next ? next : NULL, NULL); 53449b1b8d6SLorenzo Stoakes /* Not merging but overwriting any part of next is not handled. */ 53549b1b8d6SLorenzo Stoakes VM_WARN_ON(next && !vp.remove && 53649b1b8d6SLorenzo Stoakes next != vma && end > next->vm_start); 53749b1b8d6SLorenzo Stoakes /* Only handles expanding */ 53849b1b8d6SLorenzo Stoakes VM_WARN_ON(vma->vm_start < start || vma->vm_end > end); 53949b1b8d6SLorenzo Stoakes 54049b1b8d6SLorenzo Stoakes /* Note: vma iterator must be pointing to 'start' */ 54149b1b8d6SLorenzo Stoakes vma_iter_config(vmi, start, end); 54249b1b8d6SLorenzo Stoakes if (vma_iter_prealloc(vmi, vma)) 54349b1b8d6SLorenzo Stoakes goto nomem; 54449b1b8d6SLorenzo Stoakes 54549b1b8d6SLorenzo Stoakes vma_prepare(&vp); 54649b1b8d6SLorenzo Stoakes vma_adjust_trans_huge(vma, start, end, 0); 54749b1b8d6SLorenzo Stoakes vma_set_range(vma, start, end, pgoff); 54849b1b8d6SLorenzo Stoakes vma_iter_store(vmi, vma); 54949b1b8d6SLorenzo Stoakes 55049b1b8d6SLorenzo Stoakes vma_complete(&vp, vmi, vma->vm_mm); 55149b1b8d6SLorenzo Stoakes return 0; 55249b1b8d6SLorenzo Stoakes 55349b1b8d6SLorenzo Stoakes nomem: 55449b1b8d6SLorenzo Stoakes if (anon_dup) 55549b1b8d6SLorenzo Stoakes unlink_anon_vmas(anon_dup); 55649b1b8d6SLorenzo Stoakes return -ENOMEM; 55749b1b8d6SLorenzo Stoakes } 55849b1b8d6SLorenzo Stoakes 55949b1b8d6SLorenzo Stoakes /* 56049b1b8d6SLorenzo Stoakes * vma_shrink() - Reduce an existing VMAs memory area 56149b1b8d6SLorenzo Stoakes * @vmi: The vma iterator 56249b1b8d6SLorenzo Stoakes * @vma: The VMA to modify 56349b1b8d6SLorenzo Stoakes * @start: The new start 56449b1b8d6SLorenzo Stoakes * @end: The new end 56549b1b8d6SLorenzo Stoakes * 56649b1b8d6SLorenzo Stoakes * Returns: 0 on success, -ENOMEM otherwise 56749b1b8d6SLorenzo Stoakes */ 56849b1b8d6SLorenzo Stoakes int vma_shrink(struct vma_iterator *vmi, struct vm_area_struct *vma, 56949b1b8d6SLorenzo Stoakes unsigned long start, unsigned long end, pgoff_t pgoff) 57049b1b8d6SLorenzo Stoakes { 57149b1b8d6SLorenzo Stoakes struct vma_prepare vp; 57249b1b8d6SLorenzo Stoakes 57349b1b8d6SLorenzo Stoakes WARN_ON((vma->vm_start != start) && (vma->vm_end != end)); 57449b1b8d6SLorenzo Stoakes 57549b1b8d6SLorenzo Stoakes if (vma->vm_start < start) 57649b1b8d6SLorenzo Stoakes vma_iter_config(vmi, vma->vm_start, start); 57749b1b8d6SLorenzo Stoakes else 57849b1b8d6SLorenzo Stoakes vma_iter_config(vmi, end, vma->vm_end); 57949b1b8d6SLorenzo Stoakes 58049b1b8d6SLorenzo Stoakes if (vma_iter_prealloc(vmi, NULL)) 58149b1b8d6SLorenzo Stoakes return -ENOMEM; 58249b1b8d6SLorenzo Stoakes 58349b1b8d6SLorenzo Stoakes vma_start_write(vma); 58449b1b8d6SLorenzo Stoakes 58549b1b8d6SLorenzo Stoakes init_vma_prep(&vp, vma); 58649b1b8d6SLorenzo Stoakes vma_prepare(&vp); 58749b1b8d6SLorenzo Stoakes vma_adjust_trans_huge(vma, start, end, 0); 58849b1b8d6SLorenzo Stoakes 58949b1b8d6SLorenzo Stoakes vma_iter_clear(vmi); 59049b1b8d6SLorenzo Stoakes vma_set_range(vma, start, end, pgoff); 59149b1b8d6SLorenzo Stoakes vma_complete(&vp, vmi, vma->vm_mm); 59249b1b8d6SLorenzo Stoakes return 0; 59349b1b8d6SLorenzo Stoakes } 59449b1b8d6SLorenzo Stoakes 59549b1b8d6SLorenzo Stoakes /* 59649b1b8d6SLorenzo Stoakes * vma_complete- Helper function for handling the unlocking after altering VMAs, 59749b1b8d6SLorenzo Stoakes * or for inserting a VMA. 59849b1b8d6SLorenzo Stoakes * 59949b1b8d6SLorenzo Stoakes * @vp: The vma_prepare struct 60049b1b8d6SLorenzo Stoakes * @vmi: The vma iterator 60149b1b8d6SLorenzo Stoakes * @mm: The mm_struct 60249b1b8d6SLorenzo Stoakes */ 60349b1b8d6SLorenzo Stoakes void vma_complete(struct vma_prepare *vp, 60449b1b8d6SLorenzo Stoakes struct vma_iterator *vmi, struct mm_struct *mm) 60549b1b8d6SLorenzo Stoakes { 60649b1b8d6SLorenzo Stoakes if (vp->file) { 60749b1b8d6SLorenzo Stoakes if (vp->adj_next) 60849b1b8d6SLorenzo Stoakes vma_interval_tree_insert(vp->adj_next, 60949b1b8d6SLorenzo Stoakes &vp->mapping->i_mmap); 61049b1b8d6SLorenzo Stoakes vma_interval_tree_insert(vp->vma, &vp->mapping->i_mmap); 61149b1b8d6SLorenzo Stoakes flush_dcache_mmap_unlock(vp->mapping); 61249b1b8d6SLorenzo Stoakes } 61349b1b8d6SLorenzo Stoakes 61449b1b8d6SLorenzo Stoakes if (vp->remove && vp->file) { 61549b1b8d6SLorenzo Stoakes __remove_shared_vm_struct(vp->remove, vp->mapping); 61649b1b8d6SLorenzo Stoakes if (vp->remove2) 61749b1b8d6SLorenzo Stoakes __remove_shared_vm_struct(vp->remove2, vp->mapping); 61849b1b8d6SLorenzo Stoakes } else if (vp->insert) { 61949b1b8d6SLorenzo Stoakes /* 62049b1b8d6SLorenzo Stoakes * split_vma has split insert from vma, and needs 62149b1b8d6SLorenzo Stoakes * us to insert it before dropping the locks 62249b1b8d6SLorenzo Stoakes * (it may either follow vma or precede it). 62349b1b8d6SLorenzo Stoakes */ 62449b1b8d6SLorenzo Stoakes vma_iter_store(vmi, vp->insert); 62549b1b8d6SLorenzo Stoakes mm->map_count++; 62649b1b8d6SLorenzo Stoakes } 62749b1b8d6SLorenzo Stoakes 62849b1b8d6SLorenzo Stoakes if (vp->anon_vma) { 62949b1b8d6SLorenzo Stoakes anon_vma_interval_tree_post_update_vma(vp->vma); 63049b1b8d6SLorenzo Stoakes if (vp->adj_next) 63149b1b8d6SLorenzo Stoakes anon_vma_interval_tree_post_update_vma(vp->adj_next); 63249b1b8d6SLorenzo Stoakes anon_vma_unlock_write(vp->anon_vma); 63349b1b8d6SLorenzo Stoakes } 63449b1b8d6SLorenzo Stoakes 63549b1b8d6SLorenzo Stoakes if (vp->file) { 63649b1b8d6SLorenzo Stoakes i_mmap_unlock_write(vp->mapping); 63749b1b8d6SLorenzo Stoakes uprobe_mmap(vp->vma); 63849b1b8d6SLorenzo Stoakes 63949b1b8d6SLorenzo Stoakes if (vp->adj_next) 64049b1b8d6SLorenzo Stoakes uprobe_mmap(vp->adj_next); 64149b1b8d6SLorenzo Stoakes } 64249b1b8d6SLorenzo Stoakes 64349b1b8d6SLorenzo Stoakes if (vp->remove) { 64449b1b8d6SLorenzo Stoakes again: 64549b1b8d6SLorenzo Stoakes vma_mark_detached(vp->remove, true); 64649b1b8d6SLorenzo Stoakes if (vp->file) { 64749b1b8d6SLorenzo Stoakes uprobe_munmap(vp->remove, vp->remove->vm_start, 64849b1b8d6SLorenzo Stoakes vp->remove->vm_end); 64949b1b8d6SLorenzo Stoakes fput(vp->file); 65049b1b8d6SLorenzo Stoakes } 65149b1b8d6SLorenzo Stoakes if (vp->remove->anon_vma) 65249b1b8d6SLorenzo Stoakes anon_vma_merge(vp->vma, vp->remove); 65349b1b8d6SLorenzo Stoakes mm->map_count--; 65449b1b8d6SLorenzo Stoakes mpol_put(vma_policy(vp->remove)); 65549b1b8d6SLorenzo Stoakes if (!vp->remove2) 65649b1b8d6SLorenzo Stoakes WARN_ON_ONCE(vp->vma->vm_end < vp->remove->vm_end); 65749b1b8d6SLorenzo Stoakes vm_area_free(vp->remove); 65849b1b8d6SLorenzo Stoakes 65949b1b8d6SLorenzo Stoakes /* 66049b1b8d6SLorenzo Stoakes * In mprotect's case 6 (see comments on vma_merge), 66149b1b8d6SLorenzo Stoakes * we are removing both mid and next vmas 66249b1b8d6SLorenzo Stoakes */ 66349b1b8d6SLorenzo Stoakes if (vp->remove2) { 66449b1b8d6SLorenzo Stoakes vp->remove = vp->remove2; 66549b1b8d6SLorenzo Stoakes vp->remove2 = NULL; 66649b1b8d6SLorenzo Stoakes goto again; 66749b1b8d6SLorenzo Stoakes } 66849b1b8d6SLorenzo Stoakes } 66949b1b8d6SLorenzo Stoakes if (vp->insert && vp->file) 67049b1b8d6SLorenzo Stoakes uprobe_mmap(vp->insert); 67149b1b8d6SLorenzo Stoakes validate_mm(mm); 67249b1b8d6SLorenzo Stoakes } 67349b1b8d6SLorenzo Stoakes 67449b1b8d6SLorenzo Stoakes /* 6757e7b2370SLiam R. Howlett * abort_munmap_vmas - Undo any munmap work and free resources 6767e7b2370SLiam R. Howlett * 6777e7b2370SLiam R. Howlett * Reattach any detached vmas and free up the maple tree used to track the vmas. 6787e7b2370SLiam R. Howlett */ 6797e7b2370SLiam R. Howlett static inline void abort_munmap_vmas(struct ma_state *mas_detach) 6807e7b2370SLiam R. Howlett { 6817e7b2370SLiam R. Howlett struct vm_area_struct *vma; 6827e7b2370SLiam R. Howlett 6837e7b2370SLiam R. Howlett mas_set(mas_detach, 0); 6847e7b2370SLiam R. Howlett mas_for_each(mas_detach, vma, ULONG_MAX) 6857e7b2370SLiam R. Howlett vma_mark_detached(vma, false); 6867e7b2370SLiam R. Howlett 6877e7b2370SLiam R. Howlett __mt_destroy(mas_detach->tree); 6887e7b2370SLiam R. Howlett } 6897e7b2370SLiam R. Howlett 6907e7b2370SLiam R. Howlett /* 691dba14840SLiam R. Howlett * vms_complete_munmap_vmas() - Finish the munmap() operation 692dba14840SLiam R. Howlett * @vms: The vma munmap struct 693dba14840SLiam R. Howlett * @mas_detach: The maple state of the detached vmas 69401cf21e9SLiam R. Howlett * 695dba14840SLiam R. Howlett * This updates the mm_struct, unmaps the region, frees the resources 69601cf21e9SLiam R. Howlett * used for the munmap() and may downgrade the lock - if requested. Everything 69701cf21e9SLiam R. Howlett * needed to be done once the vma maple tree is updated. 69801cf21e9SLiam R. Howlett */ 699dba14840SLiam R. Howlett static void vms_complete_munmap_vmas(struct vma_munmap_struct *vms, 700dba14840SLiam R. Howlett struct ma_state *mas_detach) 70101cf21e9SLiam R. Howlett { 702*17f1ae9bSLiam R. Howlett struct vm_area_struct *vma; 703dba14840SLiam R. Howlett struct mm_struct *mm; 70401cf21e9SLiam R. Howlett 705dba14840SLiam R. Howlett mm = vms->mm; 706dba14840SLiam R. Howlett mm->map_count -= vms->vma_count; 707dba14840SLiam R. Howlett mm->locked_vm -= vms->locked_vm; 708dba14840SLiam R. Howlett if (vms->unlock) 70901cf21e9SLiam R. Howlett mmap_write_downgrade(mm); 71001cf21e9SLiam R. Howlett 71101cf21e9SLiam R. Howlett /* 71201cf21e9SLiam R. Howlett * We can free page tables without write-locking mmap_lock because VMAs 71301cf21e9SLiam R. Howlett * were isolated before we downgraded mmap_lock. 71401cf21e9SLiam R. Howlett */ 71501cf21e9SLiam R. Howlett mas_set(mas_detach, 1); 716*17f1ae9bSLiam R. Howlett unmap_region(mm, mas_detach, vms->vma, vms->prev, vms->next, 717*17f1ae9bSLiam R. Howlett vms->start, vms->end, vms->vma_count, !vms->unlock); 718*17f1ae9bSLiam R. Howlett /* Update high watermark before we lower total_vm */ 719*17f1ae9bSLiam R. Howlett update_hiwater_vm(mm); 720*17f1ae9bSLiam R. Howlett /* Stat accounting */ 721*17f1ae9bSLiam R. Howlett WRITE_ONCE(mm->total_vm, READ_ONCE(mm->total_vm) - vms->nr_pages); 722*17f1ae9bSLiam R. Howlett /* Paranoid bookkeeping */ 723*17f1ae9bSLiam R. Howlett VM_WARN_ON(vms->exec_vm > mm->exec_vm); 724*17f1ae9bSLiam R. Howlett VM_WARN_ON(vms->stack_vm > mm->stack_vm); 725*17f1ae9bSLiam R. Howlett VM_WARN_ON(vms->data_vm > mm->data_vm); 726*17f1ae9bSLiam R. Howlett mm->exec_vm -= vms->exec_vm; 727*17f1ae9bSLiam R. Howlett mm->stack_vm -= vms->stack_vm; 728*17f1ae9bSLiam R. Howlett mm->data_vm -= vms->data_vm; 729*17f1ae9bSLiam R. Howlett 730*17f1ae9bSLiam R. Howlett /* Remove and clean up vmas */ 73101cf21e9SLiam R. Howlett mas_set(mas_detach, 0); 732*17f1ae9bSLiam R. Howlett mas_for_each(mas_detach, vma, ULONG_MAX) 733*17f1ae9bSLiam R. Howlett remove_vma(vma, false); 734*17f1ae9bSLiam R. Howlett 735*17f1ae9bSLiam R. Howlett vm_unacct_memory(vms->nr_accounted); 73601cf21e9SLiam R. Howlett validate_mm(mm); 737dba14840SLiam R. Howlett if (vms->unlock) 73801cf21e9SLiam R. Howlett mmap_read_unlock(mm); 73901cf21e9SLiam R. Howlett 74001cf21e9SLiam R. Howlett __mt_destroy(mas_detach->tree); 74101cf21e9SLiam R. Howlett } 74201cf21e9SLiam R. Howlett 74301cf21e9SLiam R. Howlett /* 744dba14840SLiam R. Howlett * vms_gather_munmap_vmas() - Put all VMAs within a range into a maple tree 7456898c903SLiam R. Howlett * for removal at a later date. Handles splitting first and last if necessary 7466898c903SLiam R. Howlett * and marking the vmas as isolated. 7476898c903SLiam R. Howlett * 748dba14840SLiam R. Howlett * @vms: The vma munmap struct 7496898c903SLiam R. Howlett * @mas_detach: The maple state tracking the detached tree 75049b1b8d6SLorenzo Stoakes * 7516898c903SLiam R. Howlett * Return: 0 on success, -EPERM on mseal vmas, -ENOMEM otherwise 75249b1b8d6SLorenzo Stoakes */ 753dba14840SLiam R. Howlett static int vms_gather_munmap_vmas(struct vma_munmap_struct *vms, 754dba14840SLiam R. Howlett struct ma_state *mas_detach) 75549b1b8d6SLorenzo Stoakes { 75601cf21e9SLiam R. Howlett struct vm_area_struct *next = NULL; 75749b1b8d6SLorenzo Stoakes int error = -ENOMEM; 75849b1b8d6SLorenzo Stoakes 75949b1b8d6SLorenzo Stoakes /* 76049b1b8d6SLorenzo Stoakes * If we need to split any vma, do it now to save pain later. 76149b1b8d6SLorenzo Stoakes * 76249b1b8d6SLorenzo Stoakes * Note: mremap's move_vma VM_ACCOUNT handling assumes a partially 76349b1b8d6SLorenzo Stoakes * unmapped vm_area_struct will remain in use: so lower split_vma 76449b1b8d6SLorenzo Stoakes * places tmp vma above, and higher split_vma places tmp vma below. 76549b1b8d6SLorenzo Stoakes */ 76649b1b8d6SLorenzo Stoakes 76749b1b8d6SLorenzo Stoakes /* Does it split the first one? */ 768dba14840SLiam R. Howlett if (vms->start > vms->vma->vm_start) { 76949b1b8d6SLorenzo Stoakes 77049b1b8d6SLorenzo Stoakes /* 77149b1b8d6SLorenzo Stoakes * Make sure that map_count on return from munmap() will 77249b1b8d6SLorenzo Stoakes * not exceed its limit; but let map_count go just above 77349b1b8d6SLorenzo Stoakes * its limit temporarily, to help free resources as expected. 77449b1b8d6SLorenzo Stoakes */ 775dba14840SLiam R. Howlett if (vms->end < vms->vma->vm_end && 776dba14840SLiam R. Howlett vms->mm->map_count >= sysctl_max_map_count) 77749b1b8d6SLorenzo Stoakes goto map_count_exceeded; 77849b1b8d6SLorenzo Stoakes 779df2a7df9SPedro Falcato /* Don't bother splitting the VMA if we can't unmap it anyway */ 780dba14840SLiam R. Howlett if (!can_modify_vma(vms->vma)) { 781df2a7df9SPedro Falcato error = -EPERM; 782df2a7df9SPedro Falcato goto start_split_failed; 783df2a7df9SPedro Falcato } 784df2a7df9SPedro Falcato 785dba14840SLiam R. Howlett if (__split_vma(vms->vmi, vms->vma, vms->start, 1)) 78649b1b8d6SLorenzo Stoakes goto start_split_failed; 78749b1b8d6SLorenzo Stoakes } 788*17f1ae9bSLiam R. Howlett vms->prev = vma_prev(vms->vmi); 78949b1b8d6SLorenzo Stoakes 79049b1b8d6SLorenzo Stoakes /* 79149b1b8d6SLorenzo Stoakes * Detach a range of VMAs from the mm. Using next as a temp variable as 79249b1b8d6SLorenzo Stoakes * it is always overwritten. 79349b1b8d6SLorenzo Stoakes */ 794*17f1ae9bSLiam R. Howlett for_each_vma_range(*(vms->vmi), next, vms->end) { 795*17f1ae9bSLiam R. Howlett long nrpages; 796*17f1ae9bSLiam R. Howlett 797df2a7df9SPedro Falcato if (!can_modify_vma(next)) { 798df2a7df9SPedro Falcato error = -EPERM; 799df2a7df9SPedro Falcato goto modify_vma_failed; 800df2a7df9SPedro Falcato } 80149b1b8d6SLorenzo Stoakes /* Does it split the end? */ 802dba14840SLiam R. Howlett if (next->vm_end > vms->end) { 803dba14840SLiam R. Howlett if (__split_vma(vms->vmi, next, vms->end, 0)) 80449b1b8d6SLorenzo Stoakes goto end_split_failed; 80549b1b8d6SLorenzo Stoakes } 80649b1b8d6SLorenzo Stoakes vma_start_write(next); 807dba14840SLiam R. Howlett mas_set(mas_detach, vms->vma_count++); 8086898c903SLiam R. Howlett if (mas_store_gfp(mas_detach, next, GFP_KERNEL)) 80949b1b8d6SLorenzo Stoakes goto munmap_gather_failed; 8106898c903SLiam R. Howlett 81149b1b8d6SLorenzo Stoakes vma_mark_detached(next, true); 812*17f1ae9bSLiam R. Howlett nrpages = vma_pages(next); 813*17f1ae9bSLiam R. Howlett 814*17f1ae9bSLiam R. Howlett vms->nr_pages += nrpages; 81549b1b8d6SLorenzo Stoakes if (next->vm_flags & VM_LOCKED) 816*17f1ae9bSLiam R. Howlett vms->locked_vm += nrpages; 817*17f1ae9bSLiam R. Howlett 818*17f1ae9bSLiam R. Howlett if (next->vm_flags & VM_ACCOUNT) 819*17f1ae9bSLiam R. Howlett vms->nr_accounted += nrpages; 820*17f1ae9bSLiam R. Howlett 821*17f1ae9bSLiam R. Howlett if (is_exec_mapping(next->vm_flags)) 822*17f1ae9bSLiam R. Howlett vms->exec_vm += nrpages; 823*17f1ae9bSLiam R. Howlett else if (is_stack_mapping(next->vm_flags)) 824*17f1ae9bSLiam R. Howlett vms->stack_vm += nrpages; 825*17f1ae9bSLiam R. Howlett else if (is_data_mapping(next->vm_flags)) 826*17f1ae9bSLiam R. Howlett vms->data_vm += nrpages; 82749b1b8d6SLorenzo Stoakes 828dba14840SLiam R. Howlett if (unlikely(vms->uf)) { 82949b1b8d6SLorenzo Stoakes /* 83049b1b8d6SLorenzo Stoakes * If userfaultfd_unmap_prep returns an error the vmas 83149b1b8d6SLorenzo Stoakes * will remain split, but userland will get a 83249b1b8d6SLorenzo Stoakes * highly unexpected error anyway. This is no 83349b1b8d6SLorenzo Stoakes * different than the case where the first of the two 83449b1b8d6SLorenzo Stoakes * __split_vma fails, but we don't undo the first 83549b1b8d6SLorenzo Stoakes * split, despite we could. This is unlikely enough 83649b1b8d6SLorenzo Stoakes * failure that it's not worth optimizing it for. 83749b1b8d6SLorenzo Stoakes */ 838dba14840SLiam R. Howlett if (userfaultfd_unmap_prep(next, vms->start, vms->end, 839dba14840SLiam R. Howlett vms->uf)) 84049b1b8d6SLorenzo Stoakes goto userfaultfd_error; 84149b1b8d6SLorenzo Stoakes } 84249b1b8d6SLorenzo Stoakes #ifdef CONFIG_DEBUG_VM_MAPLE_TREE 843dba14840SLiam R. Howlett BUG_ON(next->vm_start < vms->start); 844dba14840SLiam R. Howlett BUG_ON(next->vm_start > vms->end); 84549b1b8d6SLorenzo Stoakes #endif 846*17f1ae9bSLiam R. Howlett } 847*17f1ae9bSLiam R. Howlett 848*17f1ae9bSLiam R. Howlett vms->next = vma_next(vms->vmi); 84949b1b8d6SLorenzo Stoakes 85049b1b8d6SLorenzo Stoakes #if defined(CONFIG_DEBUG_VM_MAPLE_TREE) 85149b1b8d6SLorenzo Stoakes /* Make sure no VMAs are about to be lost. */ 85249b1b8d6SLorenzo Stoakes { 8536898c903SLiam R. Howlett MA_STATE(test, mas_detach->tree, 0, 0); 85449b1b8d6SLorenzo Stoakes struct vm_area_struct *vma_mas, *vma_test; 85549b1b8d6SLorenzo Stoakes int test_count = 0; 85649b1b8d6SLorenzo Stoakes 857dba14840SLiam R. Howlett vma_iter_set(vms->vmi, vms->start); 85849b1b8d6SLorenzo Stoakes rcu_read_lock(); 859dba14840SLiam R. Howlett vma_test = mas_find(&test, vms->vma_count - 1); 860dba14840SLiam R. Howlett for_each_vma_range(*(vms->vmi), vma_mas, vms->end) { 86149b1b8d6SLorenzo Stoakes BUG_ON(vma_mas != vma_test); 86249b1b8d6SLorenzo Stoakes test_count++; 863dba14840SLiam R. Howlett vma_test = mas_next(&test, vms->vma_count - 1); 86449b1b8d6SLorenzo Stoakes } 86549b1b8d6SLorenzo Stoakes rcu_read_unlock(); 866dba14840SLiam R. Howlett BUG_ON(vms->vma_count != test_count); 86749b1b8d6SLorenzo Stoakes } 86849b1b8d6SLorenzo Stoakes #endif 86949b1b8d6SLorenzo Stoakes 870dba14840SLiam R. Howlett while (vma_iter_addr(vms->vmi) > vms->start) 871dba14840SLiam R. Howlett vma_iter_prev_range(vms->vmi); 87249b1b8d6SLorenzo Stoakes 8736898c903SLiam R. Howlett return 0; 8746898c903SLiam R. Howlett 8756898c903SLiam R. Howlett userfaultfd_error: 8766898c903SLiam R. Howlett munmap_gather_failed: 8776898c903SLiam R. Howlett end_split_failed: 8786898c903SLiam R. Howlett modify_vma_failed: 8796898c903SLiam R. Howlett abort_munmap_vmas(mas_detach); 8806898c903SLiam R. Howlett start_split_failed: 8816898c903SLiam R. Howlett map_count_exceeded: 8826898c903SLiam R. Howlett return error; 8836898c903SLiam R. Howlett } 8846898c903SLiam R. Howlett 8856898c903SLiam R. Howlett /* 8866898c903SLiam R. Howlett * do_vmi_align_munmap() - munmap the aligned region from @start to @end. 8876898c903SLiam R. Howlett * @vmi: The vma iterator 8886898c903SLiam R. Howlett * @vma: The starting vm_area_struct 8896898c903SLiam R. Howlett * @mm: The mm_struct 8906898c903SLiam R. Howlett * @start: The aligned start address to munmap. 8916898c903SLiam R. Howlett * @end: The aligned end address to munmap. 8926898c903SLiam R. Howlett * @uf: The userfaultfd list_head 8936898c903SLiam R. Howlett * @unlock: Set to true to drop the mmap_lock. unlocking only happens on 8946898c903SLiam R. Howlett * success. 8956898c903SLiam R. Howlett * 8966898c903SLiam R. Howlett * Return: 0 on success and drops the lock if so directed, error and leaves the 8976898c903SLiam R. Howlett * lock held otherwise. 8986898c903SLiam R. Howlett */ 8996898c903SLiam R. Howlett int do_vmi_align_munmap(struct vma_iterator *vmi, struct vm_area_struct *vma, 9006898c903SLiam R. Howlett struct mm_struct *mm, unsigned long start, unsigned long end, 9016898c903SLiam R. Howlett struct list_head *uf, bool unlock) 9026898c903SLiam R. Howlett { 9036898c903SLiam R. Howlett struct maple_tree mt_detach; 9046898c903SLiam R. Howlett MA_STATE(mas_detach, &mt_detach, 0, 0); 9056898c903SLiam R. Howlett mt_init_flags(&mt_detach, vmi->mas.tree->ma_flags & MT_FLAGS_LOCK_MASK); 9066898c903SLiam R. Howlett mt_on_stack(mt_detach); 907dba14840SLiam R. Howlett struct vma_munmap_struct vms; 9086898c903SLiam R. Howlett int error; 9096898c903SLiam R. Howlett 910dba14840SLiam R. Howlett init_vma_munmap(&vms, vmi, vma, start, end, uf, unlock); 911dba14840SLiam R. Howlett error = vms_gather_munmap_vmas(&vms, &mas_detach); 9126898c903SLiam R. Howlett if (error) 9136898c903SLiam R. Howlett goto gather_failed; 9146898c903SLiam R. Howlett 91549b1b8d6SLorenzo Stoakes error = vma_iter_clear_gfp(vmi, start, end, GFP_KERNEL); 91649b1b8d6SLorenzo Stoakes if (error) 91749b1b8d6SLorenzo Stoakes goto clear_tree_failed; 91849b1b8d6SLorenzo Stoakes 91949b1b8d6SLorenzo Stoakes /* Point of no return */ 920dba14840SLiam R. Howlett vms_complete_munmap_vmas(&vms, &mas_detach); 92149b1b8d6SLorenzo Stoakes return 0; 92249b1b8d6SLorenzo Stoakes 92349b1b8d6SLorenzo Stoakes clear_tree_failed: 9247e7b2370SLiam R. Howlett abort_munmap_vmas(&mas_detach); 9256898c903SLiam R. Howlett gather_failed: 92649b1b8d6SLorenzo Stoakes validate_mm(mm); 92749b1b8d6SLorenzo Stoakes return error; 92849b1b8d6SLorenzo Stoakes } 92949b1b8d6SLorenzo Stoakes 93049b1b8d6SLorenzo Stoakes /* 93149b1b8d6SLorenzo Stoakes * do_vmi_munmap() - munmap a given range. 93249b1b8d6SLorenzo Stoakes * @vmi: The vma iterator 93349b1b8d6SLorenzo Stoakes * @mm: The mm_struct 93449b1b8d6SLorenzo Stoakes * @start: The start address to munmap 93549b1b8d6SLorenzo Stoakes * @len: The length of the range to munmap 93649b1b8d6SLorenzo Stoakes * @uf: The userfaultfd list_head 93749b1b8d6SLorenzo Stoakes * @unlock: set to true if the user wants to drop the mmap_lock on success 93849b1b8d6SLorenzo Stoakes * 93949b1b8d6SLorenzo Stoakes * This function takes a @mas that is either pointing to the previous VMA or set 94049b1b8d6SLorenzo Stoakes * to MA_START and sets it up to remove the mapping(s). The @len will be 94140b88644SMichael Ellerman * aligned. 94249b1b8d6SLorenzo Stoakes * 94349b1b8d6SLorenzo Stoakes * Return: 0 on success and drops the lock if so directed, error and leaves the 94449b1b8d6SLorenzo Stoakes * lock held otherwise. 94549b1b8d6SLorenzo Stoakes */ 94649b1b8d6SLorenzo Stoakes int do_vmi_munmap(struct vma_iterator *vmi, struct mm_struct *mm, 94749b1b8d6SLorenzo Stoakes unsigned long start, size_t len, struct list_head *uf, 94849b1b8d6SLorenzo Stoakes bool unlock) 94949b1b8d6SLorenzo Stoakes { 95049b1b8d6SLorenzo Stoakes unsigned long end; 95149b1b8d6SLorenzo Stoakes struct vm_area_struct *vma; 95249b1b8d6SLorenzo Stoakes 95349b1b8d6SLorenzo Stoakes if ((offset_in_page(start)) || start > TASK_SIZE || len > TASK_SIZE-start) 95449b1b8d6SLorenzo Stoakes return -EINVAL; 95549b1b8d6SLorenzo Stoakes 95649b1b8d6SLorenzo Stoakes end = start + PAGE_ALIGN(len); 95749b1b8d6SLorenzo Stoakes if (end == start) 95849b1b8d6SLorenzo Stoakes return -EINVAL; 95949b1b8d6SLorenzo Stoakes 96049b1b8d6SLorenzo Stoakes /* Find the first overlapping VMA */ 96149b1b8d6SLorenzo Stoakes vma = vma_find(vmi, end); 96249b1b8d6SLorenzo Stoakes if (!vma) { 96349b1b8d6SLorenzo Stoakes if (unlock) 96449b1b8d6SLorenzo Stoakes mmap_write_unlock(mm); 96549b1b8d6SLorenzo Stoakes return 0; 96649b1b8d6SLorenzo Stoakes } 96749b1b8d6SLorenzo Stoakes 96849b1b8d6SLorenzo Stoakes return do_vmi_align_munmap(vmi, vma, mm, start, end, uf, unlock); 96949b1b8d6SLorenzo Stoakes } 97049b1b8d6SLorenzo Stoakes 97149b1b8d6SLorenzo Stoakes /* 97249b1b8d6SLorenzo Stoakes * Given a mapping request (addr,end,vm_flags,file,pgoff,anon_name), 97349b1b8d6SLorenzo Stoakes * figure out whether that can be merged with its predecessor or its 97449b1b8d6SLorenzo Stoakes * successor. Or both (it neatly fills a hole). 97549b1b8d6SLorenzo Stoakes * 97649b1b8d6SLorenzo Stoakes * In most cases - when called for mmap, brk or mremap - [addr,end) is 97749b1b8d6SLorenzo Stoakes * certain not to be mapped by the time vma_merge is called; but when 97849b1b8d6SLorenzo Stoakes * called for mprotect, it is certain to be already mapped (either at 97949b1b8d6SLorenzo Stoakes * an offset within prev, or at the start of next), and the flags of 98049b1b8d6SLorenzo Stoakes * this area are about to be changed to vm_flags - and the no-change 98149b1b8d6SLorenzo Stoakes * case has already been eliminated. 98249b1b8d6SLorenzo Stoakes * 98349b1b8d6SLorenzo Stoakes * The following mprotect cases have to be considered, where **** is 98449b1b8d6SLorenzo Stoakes * the area passed down from mprotect_fixup, never extending beyond one 98549b1b8d6SLorenzo Stoakes * vma, PPPP is the previous vma, CCCC is a concurrent vma that starts 98649b1b8d6SLorenzo Stoakes * at the same address as **** and is of the same or larger span, and 98749b1b8d6SLorenzo Stoakes * NNNN the next vma after ****: 98849b1b8d6SLorenzo Stoakes * 98949b1b8d6SLorenzo Stoakes * **** **** **** 99049b1b8d6SLorenzo Stoakes * PPPPPPNNNNNN PPPPPPNNNNNN PPPPPPCCCCCC 99149b1b8d6SLorenzo Stoakes * cannot merge might become might become 99249b1b8d6SLorenzo Stoakes * PPNNNNNNNNNN PPPPPPPPPPCC 99349b1b8d6SLorenzo Stoakes * mmap, brk or case 4 below case 5 below 99449b1b8d6SLorenzo Stoakes * mremap move: 99549b1b8d6SLorenzo Stoakes * **** **** 99649b1b8d6SLorenzo Stoakes * PPPP NNNN PPPPCCCCNNNN 99749b1b8d6SLorenzo Stoakes * might become might become 99849b1b8d6SLorenzo Stoakes * PPPPPPPPPPPP 1 or PPPPPPPPPPPP 6 or 99949b1b8d6SLorenzo Stoakes * PPPPPPPPNNNN 2 or PPPPPPPPNNNN 7 or 100049b1b8d6SLorenzo Stoakes * PPPPNNNNNNNN 3 PPPPNNNNNNNN 8 100149b1b8d6SLorenzo Stoakes * 100249b1b8d6SLorenzo Stoakes * It is important for case 8 that the vma CCCC overlapping the 100349b1b8d6SLorenzo Stoakes * region **** is never going to extended over NNNN. Instead NNNN must 100449b1b8d6SLorenzo Stoakes * be extended in region **** and CCCC must be removed. This way in 100549b1b8d6SLorenzo Stoakes * all cases where vma_merge succeeds, the moment vma_merge drops the 100649b1b8d6SLorenzo Stoakes * rmap_locks, the properties of the merged vma will be already 100749b1b8d6SLorenzo Stoakes * correct for the whole merged range. Some of those properties like 100849b1b8d6SLorenzo Stoakes * vm_page_prot/vm_flags may be accessed by rmap_walks and they must 100949b1b8d6SLorenzo Stoakes * be correct for the whole merged range immediately after the 101049b1b8d6SLorenzo Stoakes * rmap_locks are released. Otherwise if NNNN would be removed and 101149b1b8d6SLorenzo Stoakes * CCCC would be extended over the NNNN range, remove_migration_ptes 101249b1b8d6SLorenzo Stoakes * or other rmap walkers (if working on addresses beyond the "end" 101349b1b8d6SLorenzo Stoakes * parameter) may establish ptes with the wrong permissions of CCCC 101449b1b8d6SLorenzo Stoakes * instead of the right permissions of NNNN. 101549b1b8d6SLorenzo Stoakes * 101649b1b8d6SLorenzo Stoakes * In the code below: 101749b1b8d6SLorenzo Stoakes * PPPP is represented by *prev 101849b1b8d6SLorenzo Stoakes * CCCC is represented by *curr or not represented at all (NULL) 101949b1b8d6SLorenzo Stoakes * NNNN is represented by *next or not represented at all (NULL) 102049b1b8d6SLorenzo Stoakes * **** is not represented - it will be merged and the vma containing the 102149b1b8d6SLorenzo Stoakes * area is returned, or the function will return NULL 102249b1b8d6SLorenzo Stoakes */ 102349b1b8d6SLorenzo Stoakes static struct vm_area_struct 102449b1b8d6SLorenzo Stoakes *vma_merge(struct vma_iterator *vmi, struct vm_area_struct *prev, 102549b1b8d6SLorenzo Stoakes struct vm_area_struct *src, unsigned long addr, unsigned long end, 102649b1b8d6SLorenzo Stoakes unsigned long vm_flags, pgoff_t pgoff, struct mempolicy *policy, 102749b1b8d6SLorenzo Stoakes struct vm_userfaultfd_ctx vm_userfaultfd_ctx, 102849b1b8d6SLorenzo Stoakes struct anon_vma_name *anon_name) 102949b1b8d6SLorenzo Stoakes { 103049b1b8d6SLorenzo Stoakes struct mm_struct *mm = src->vm_mm; 103149b1b8d6SLorenzo Stoakes struct anon_vma *anon_vma = src->anon_vma; 103249b1b8d6SLorenzo Stoakes struct file *file = src->vm_file; 103349b1b8d6SLorenzo Stoakes struct vm_area_struct *curr, *next, *res; 103449b1b8d6SLorenzo Stoakes struct vm_area_struct *vma, *adjust, *remove, *remove2; 103549b1b8d6SLorenzo Stoakes struct vm_area_struct *anon_dup = NULL; 103649b1b8d6SLorenzo Stoakes struct vma_prepare vp; 103749b1b8d6SLorenzo Stoakes pgoff_t vma_pgoff; 103849b1b8d6SLorenzo Stoakes int err = 0; 103949b1b8d6SLorenzo Stoakes bool merge_prev = false; 104049b1b8d6SLorenzo Stoakes bool merge_next = false; 104149b1b8d6SLorenzo Stoakes bool vma_expanded = false; 104249b1b8d6SLorenzo Stoakes unsigned long vma_start = addr; 104349b1b8d6SLorenzo Stoakes unsigned long vma_end = end; 104449b1b8d6SLorenzo Stoakes pgoff_t pglen = (end - addr) >> PAGE_SHIFT; 104549b1b8d6SLorenzo Stoakes long adj_start = 0; 104649b1b8d6SLorenzo Stoakes 104749b1b8d6SLorenzo Stoakes /* 104849b1b8d6SLorenzo Stoakes * We later require that vma->vm_flags == vm_flags, 104949b1b8d6SLorenzo Stoakes * so this tests vma->vm_flags & VM_SPECIAL, too. 105049b1b8d6SLorenzo Stoakes */ 105149b1b8d6SLorenzo Stoakes if (vm_flags & VM_SPECIAL) 105249b1b8d6SLorenzo Stoakes return NULL; 105349b1b8d6SLorenzo Stoakes 105449b1b8d6SLorenzo Stoakes /* Does the input range span an existing VMA? (cases 5 - 8) */ 105549b1b8d6SLorenzo Stoakes curr = find_vma_intersection(mm, prev ? prev->vm_end : 0, end); 105649b1b8d6SLorenzo Stoakes 105749b1b8d6SLorenzo Stoakes if (!curr || /* cases 1 - 4 */ 105849b1b8d6SLorenzo Stoakes end == curr->vm_end) /* cases 6 - 8, adjacent VMA */ 105949b1b8d6SLorenzo Stoakes next = vma_lookup(mm, end); 106049b1b8d6SLorenzo Stoakes else 106149b1b8d6SLorenzo Stoakes next = NULL; /* case 5 */ 106249b1b8d6SLorenzo Stoakes 106349b1b8d6SLorenzo Stoakes if (prev) { 106449b1b8d6SLorenzo Stoakes vma_start = prev->vm_start; 106549b1b8d6SLorenzo Stoakes vma_pgoff = prev->vm_pgoff; 106649b1b8d6SLorenzo Stoakes 106749b1b8d6SLorenzo Stoakes /* Can we merge the predecessor? */ 106849b1b8d6SLorenzo Stoakes if (addr == prev->vm_end && mpol_equal(vma_policy(prev), policy) 106949b1b8d6SLorenzo Stoakes && can_vma_merge_after(prev, vm_flags, anon_vma, file, 107049b1b8d6SLorenzo Stoakes pgoff, vm_userfaultfd_ctx, anon_name)) { 107149b1b8d6SLorenzo Stoakes merge_prev = true; 107249b1b8d6SLorenzo Stoakes vma_prev(vmi); 107349b1b8d6SLorenzo Stoakes } 107449b1b8d6SLorenzo Stoakes } 107549b1b8d6SLorenzo Stoakes 107649b1b8d6SLorenzo Stoakes /* Can we merge the successor? */ 107749b1b8d6SLorenzo Stoakes if (next && mpol_equal(policy, vma_policy(next)) && 107849b1b8d6SLorenzo Stoakes can_vma_merge_before(next, vm_flags, anon_vma, file, pgoff+pglen, 107949b1b8d6SLorenzo Stoakes vm_userfaultfd_ctx, anon_name)) { 108049b1b8d6SLorenzo Stoakes merge_next = true; 108149b1b8d6SLorenzo Stoakes } 108249b1b8d6SLorenzo Stoakes 108349b1b8d6SLorenzo Stoakes /* Verify some invariant that must be enforced by the caller. */ 108449b1b8d6SLorenzo Stoakes VM_WARN_ON(prev && addr <= prev->vm_start); 108549b1b8d6SLorenzo Stoakes VM_WARN_ON(curr && (addr != curr->vm_start || end > curr->vm_end)); 108649b1b8d6SLorenzo Stoakes VM_WARN_ON(addr >= end); 108749b1b8d6SLorenzo Stoakes 108849b1b8d6SLorenzo Stoakes if (!merge_prev && !merge_next) 108949b1b8d6SLorenzo Stoakes return NULL; /* Not mergeable. */ 109049b1b8d6SLorenzo Stoakes 109149b1b8d6SLorenzo Stoakes if (merge_prev) 109249b1b8d6SLorenzo Stoakes vma_start_write(prev); 109349b1b8d6SLorenzo Stoakes 109449b1b8d6SLorenzo Stoakes res = vma = prev; 109549b1b8d6SLorenzo Stoakes remove = remove2 = adjust = NULL; 109649b1b8d6SLorenzo Stoakes 109749b1b8d6SLorenzo Stoakes /* Can we merge both the predecessor and the successor? */ 109849b1b8d6SLorenzo Stoakes if (merge_prev && merge_next && 109949b1b8d6SLorenzo Stoakes is_mergeable_anon_vma(prev->anon_vma, next->anon_vma, NULL)) { 110049b1b8d6SLorenzo Stoakes vma_start_write(next); 110149b1b8d6SLorenzo Stoakes remove = next; /* case 1 */ 110249b1b8d6SLorenzo Stoakes vma_end = next->vm_end; 110349b1b8d6SLorenzo Stoakes err = dup_anon_vma(prev, next, &anon_dup); 110449b1b8d6SLorenzo Stoakes if (curr) { /* case 6 */ 110549b1b8d6SLorenzo Stoakes vma_start_write(curr); 110649b1b8d6SLorenzo Stoakes remove = curr; 110749b1b8d6SLorenzo Stoakes remove2 = next; 110849b1b8d6SLorenzo Stoakes /* 110949b1b8d6SLorenzo Stoakes * Note that the dup_anon_vma below cannot overwrite err 111049b1b8d6SLorenzo Stoakes * since the first caller would do nothing unless next 111149b1b8d6SLorenzo Stoakes * has an anon_vma. 111249b1b8d6SLorenzo Stoakes */ 111349b1b8d6SLorenzo Stoakes if (!next->anon_vma) 111449b1b8d6SLorenzo Stoakes err = dup_anon_vma(prev, curr, &anon_dup); 111549b1b8d6SLorenzo Stoakes } 111649b1b8d6SLorenzo Stoakes } else if (merge_prev) { /* case 2 */ 111749b1b8d6SLorenzo Stoakes if (curr) { 111849b1b8d6SLorenzo Stoakes vma_start_write(curr); 111949b1b8d6SLorenzo Stoakes if (end == curr->vm_end) { /* case 7 */ 112049b1b8d6SLorenzo Stoakes /* 112149b1b8d6SLorenzo Stoakes * can_vma_merge_after() assumed we would not be 112249b1b8d6SLorenzo Stoakes * removing prev vma, so it skipped the check 112349b1b8d6SLorenzo Stoakes * for vm_ops->close, but we are removing curr 112449b1b8d6SLorenzo Stoakes */ 112549b1b8d6SLorenzo Stoakes if (curr->vm_ops && curr->vm_ops->close) 112649b1b8d6SLorenzo Stoakes err = -EINVAL; 112749b1b8d6SLorenzo Stoakes remove = curr; 112849b1b8d6SLorenzo Stoakes } else { /* case 5 */ 112949b1b8d6SLorenzo Stoakes adjust = curr; 113049b1b8d6SLorenzo Stoakes adj_start = (end - curr->vm_start); 113149b1b8d6SLorenzo Stoakes } 113249b1b8d6SLorenzo Stoakes if (!err) 113349b1b8d6SLorenzo Stoakes err = dup_anon_vma(prev, curr, &anon_dup); 113449b1b8d6SLorenzo Stoakes } 113549b1b8d6SLorenzo Stoakes } else { /* merge_next */ 113649b1b8d6SLorenzo Stoakes vma_start_write(next); 113749b1b8d6SLorenzo Stoakes res = next; 113849b1b8d6SLorenzo Stoakes if (prev && addr < prev->vm_end) { /* case 4 */ 113949b1b8d6SLorenzo Stoakes vma_start_write(prev); 114049b1b8d6SLorenzo Stoakes vma_end = addr; 114149b1b8d6SLorenzo Stoakes adjust = next; 114249b1b8d6SLorenzo Stoakes adj_start = -(prev->vm_end - addr); 114349b1b8d6SLorenzo Stoakes err = dup_anon_vma(next, prev, &anon_dup); 114449b1b8d6SLorenzo Stoakes } else { 114549b1b8d6SLorenzo Stoakes /* 114649b1b8d6SLorenzo Stoakes * Note that cases 3 and 8 are the ONLY ones where prev 114749b1b8d6SLorenzo Stoakes * is permitted to be (but is not necessarily) NULL. 114849b1b8d6SLorenzo Stoakes */ 114949b1b8d6SLorenzo Stoakes vma = next; /* case 3 */ 115049b1b8d6SLorenzo Stoakes vma_start = addr; 115149b1b8d6SLorenzo Stoakes vma_end = next->vm_end; 115249b1b8d6SLorenzo Stoakes vma_pgoff = next->vm_pgoff - pglen; 115349b1b8d6SLorenzo Stoakes if (curr) { /* case 8 */ 115449b1b8d6SLorenzo Stoakes vma_pgoff = curr->vm_pgoff; 115549b1b8d6SLorenzo Stoakes vma_start_write(curr); 115649b1b8d6SLorenzo Stoakes remove = curr; 115749b1b8d6SLorenzo Stoakes err = dup_anon_vma(next, curr, &anon_dup); 115849b1b8d6SLorenzo Stoakes } 115949b1b8d6SLorenzo Stoakes } 116049b1b8d6SLorenzo Stoakes } 116149b1b8d6SLorenzo Stoakes 116249b1b8d6SLorenzo Stoakes /* Error in anon_vma clone. */ 116349b1b8d6SLorenzo Stoakes if (err) 116449b1b8d6SLorenzo Stoakes goto anon_vma_fail; 116549b1b8d6SLorenzo Stoakes 116649b1b8d6SLorenzo Stoakes if (vma_start < vma->vm_start || vma_end > vma->vm_end) 116749b1b8d6SLorenzo Stoakes vma_expanded = true; 116849b1b8d6SLorenzo Stoakes 116949b1b8d6SLorenzo Stoakes if (vma_expanded) { 117049b1b8d6SLorenzo Stoakes vma_iter_config(vmi, vma_start, vma_end); 117149b1b8d6SLorenzo Stoakes } else { 117249b1b8d6SLorenzo Stoakes vma_iter_config(vmi, adjust->vm_start + adj_start, 117349b1b8d6SLorenzo Stoakes adjust->vm_end); 117449b1b8d6SLorenzo Stoakes } 117549b1b8d6SLorenzo Stoakes 117649b1b8d6SLorenzo Stoakes if (vma_iter_prealloc(vmi, vma)) 117749b1b8d6SLorenzo Stoakes goto prealloc_fail; 117849b1b8d6SLorenzo Stoakes 117949b1b8d6SLorenzo Stoakes init_multi_vma_prep(&vp, vma, adjust, remove, remove2); 118049b1b8d6SLorenzo Stoakes VM_WARN_ON(vp.anon_vma && adjust && adjust->anon_vma && 118149b1b8d6SLorenzo Stoakes vp.anon_vma != adjust->anon_vma); 118249b1b8d6SLorenzo Stoakes 118349b1b8d6SLorenzo Stoakes vma_prepare(&vp); 118449b1b8d6SLorenzo Stoakes vma_adjust_trans_huge(vma, vma_start, vma_end, adj_start); 118549b1b8d6SLorenzo Stoakes vma_set_range(vma, vma_start, vma_end, vma_pgoff); 118649b1b8d6SLorenzo Stoakes 118749b1b8d6SLorenzo Stoakes if (vma_expanded) 118849b1b8d6SLorenzo Stoakes vma_iter_store(vmi, vma); 118949b1b8d6SLorenzo Stoakes 119049b1b8d6SLorenzo Stoakes if (adj_start) { 119149b1b8d6SLorenzo Stoakes adjust->vm_start += adj_start; 119249b1b8d6SLorenzo Stoakes adjust->vm_pgoff += adj_start >> PAGE_SHIFT; 119349b1b8d6SLorenzo Stoakes if (adj_start < 0) { 119449b1b8d6SLorenzo Stoakes WARN_ON(vma_expanded); 119549b1b8d6SLorenzo Stoakes vma_iter_store(vmi, next); 119649b1b8d6SLorenzo Stoakes } 119749b1b8d6SLorenzo Stoakes } 119849b1b8d6SLorenzo Stoakes 119949b1b8d6SLorenzo Stoakes vma_complete(&vp, vmi, mm); 120049b1b8d6SLorenzo Stoakes khugepaged_enter_vma(res, vm_flags); 120149b1b8d6SLorenzo Stoakes return res; 120249b1b8d6SLorenzo Stoakes 120349b1b8d6SLorenzo Stoakes prealloc_fail: 120449b1b8d6SLorenzo Stoakes if (anon_dup) 120549b1b8d6SLorenzo Stoakes unlink_anon_vmas(anon_dup); 120649b1b8d6SLorenzo Stoakes 120749b1b8d6SLorenzo Stoakes anon_vma_fail: 120849b1b8d6SLorenzo Stoakes vma_iter_set(vmi, addr); 120949b1b8d6SLorenzo Stoakes vma_iter_load(vmi); 121049b1b8d6SLorenzo Stoakes return NULL; 121149b1b8d6SLorenzo Stoakes } 121249b1b8d6SLorenzo Stoakes 121349b1b8d6SLorenzo Stoakes /* 121449b1b8d6SLorenzo Stoakes * We are about to modify one or multiple of a VMA's flags, policy, userfaultfd 121549b1b8d6SLorenzo Stoakes * context and anonymous VMA name within the range [start, end). 121649b1b8d6SLorenzo Stoakes * 121749b1b8d6SLorenzo Stoakes * As a result, we might be able to merge the newly modified VMA range with an 121849b1b8d6SLorenzo Stoakes * adjacent VMA with identical properties. 121949b1b8d6SLorenzo Stoakes * 122049b1b8d6SLorenzo Stoakes * If no merge is possible and the range does not span the entirety of the VMA, 122149b1b8d6SLorenzo Stoakes * we then need to split the VMA to accommodate the change. 122249b1b8d6SLorenzo Stoakes * 122349b1b8d6SLorenzo Stoakes * The function returns either the merged VMA, the original VMA if a split was 122449b1b8d6SLorenzo Stoakes * required instead, or an error if the split failed. 122549b1b8d6SLorenzo Stoakes */ 122649b1b8d6SLorenzo Stoakes struct vm_area_struct *vma_modify(struct vma_iterator *vmi, 122749b1b8d6SLorenzo Stoakes struct vm_area_struct *prev, 122849b1b8d6SLorenzo Stoakes struct vm_area_struct *vma, 122949b1b8d6SLorenzo Stoakes unsigned long start, unsigned long end, 123049b1b8d6SLorenzo Stoakes unsigned long vm_flags, 123149b1b8d6SLorenzo Stoakes struct mempolicy *policy, 123249b1b8d6SLorenzo Stoakes struct vm_userfaultfd_ctx uffd_ctx, 123349b1b8d6SLorenzo Stoakes struct anon_vma_name *anon_name) 123449b1b8d6SLorenzo Stoakes { 123549b1b8d6SLorenzo Stoakes pgoff_t pgoff = vma->vm_pgoff + ((start - vma->vm_start) >> PAGE_SHIFT); 123649b1b8d6SLorenzo Stoakes struct vm_area_struct *merged; 123749b1b8d6SLorenzo Stoakes 123849b1b8d6SLorenzo Stoakes merged = vma_merge(vmi, prev, vma, start, end, vm_flags, 123949b1b8d6SLorenzo Stoakes pgoff, policy, uffd_ctx, anon_name); 124049b1b8d6SLorenzo Stoakes if (merged) 124149b1b8d6SLorenzo Stoakes return merged; 124249b1b8d6SLorenzo Stoakes 124349b1b8d6SLorenzo Stoakes if (vma->vm_start < start) { 124449b1b8d6SLorenzo Stoakes int err = split_vma(vmi, vma, start, 1); 124549b1b8d6SLorenzo Stoakes 124649b1b8d6SLorenzo Stoakes if (err) 124749b1b8d6SLorenzo Stoakes return ERR_PTR(err); 124849b1b8d6SLorenzo Stoakes } 124949b1b8d6SLorenzo Stoakes 125049b1b8d6SLorenzo Stoakes if (vma->vm_end > end) { 125149b1b8d6SLorenzo Stoakes int err = split_vma(vmi, vma, end, 0); 125249b1b8d6SLorenzo Stoakes 125349b1b8d6SLorenzo Stoakes if (err) 125449b1b8d6SLorenzo Stoakes return ERR_PTR(err); 125549b1b8d6SLorenzo Stoakes } 125649b1b8d6SLorenzo Stoakes 125749b1b8d6SLorenzo Stoakes return vma; 125849b1b8d6SLorenzo Stoakes } 125949b1b8d6SLorenzo Stoakes 126049b1b8d6SLorenzo Stoakes /* 126149b1b8d6SLorenzo Stoakes * Attempt to merge a newly mapped VMA with those adjacent to it. The caller 126249b1b8d6SLorenzo Stoakes * must ensure that [start, end) does not overlap any existing VMA. 126349b1b8d6SLorenzo Stoakes */ 126449b1b8d6SLorenzo Stoakes struct vm_area_struct 126549b1b8d6SLorenzo Stoakes *vma_merge_new_vma(struct vma_iterator *vmi, struct vm_area_struct *prev, 126649b1b8d6SLorenzo Stoakes struct vm_area_struct *vma, unsigned long start, 126749b1b8d6SLorenzo Stoakes unsigned long end, pgoff_t pgoff) 126849b1b8d6SLorenzo Stoakes { 126949b1b8d6SLorenzo Stoakes return vma_merge(vmi, prev, vma, start, end, vma->vm_flags, pgoff, 127049b1b8d6SLorenzo Stoakes vma_policy(vma), vma->vm_userfaultfd_ctx, anon_vma_name(vma)); 127149b1b8d6SLorenzo Stoakes } 127249b1b8d6SLorenzo Stoakes 127349b1b8d6SLorenzo Stoakes /* 127449b1b8d6SLorenzo Stoakes * Expand vma by delta bytes, potentially merging with an immediately adjacent 127549b1b8d6SLorenzo Stoakes * VMA with identical properties. 127649b1b8d6SLorenzo Stoakes */ 127749b1b8d6SLorenzo Stoakes struct vm_area_struct *vma_merge_extend(struct vma_iterator *vmi, 127849b1b8d6SLorenzo Stoakes struct vm_area_struct *vma, 127949b1b8d6SLorenzo Stoakes unsigned long delta) 128049b1b8d6SLorenzo Stoakes { 128149b1b8d6SLorenzo Stoakes pgoff_t pgoff = vma->vm_pgoff + vma_pages(vma); 128249b1b8d6SLorenzo Stoakes 128349b1b8d6SLorenzo Stoakes /* vma is specified as prev, so case 1 or 2 will apply. */ 128449b1b8d6SLorenzo Stoakes return vma_merge(vmi, vma, vma, vma->vm_end, vma->vm_end + delta, 128549b1b8d6SLorenzo Stoakes vma->vm_flags, pgoff, vma_policy(vma), 128649b1b8d6SLorenzo Stoakes vma->vm_userfaultfd_ctx, anon_vma_name(vma)); 128749b1b8d6SLorenzo Stoakes } 128849b1b8d6SLorenzo Stoakes 128949b1b8d6SLorenzo Stoakes void unlink_file_vma_batch_init(struct unlink_vma_file_batch *vb) 129049b1b8d6SLorenzo Stoakes { 129149b1b8d6SLorenzo Stoakes vb->count = 0; 129249b1b8d6SLorenzo Stoakes } 129349b1b8d6SLorenzo Stoakes 129449b1b8d6SLorenzo Stoakes static void unlink_file_vma_batch_process(struct unlink_vma_file_batch *vb) 129549b1b8d6SLorenzo Stoakes { 129649b1b8d6SLorenzo Stoakes struct address_space *mapping; 129749b1b8d6SLorenzo Stoakes int i; 129849b1b8d6SLorenzo Stoakes 129949b1b8d6SLorenzo Stoakes mapping = vb->vmas[0]->vm_file->f_mapping; 130049b1b8d6SLorenzo Stoakes i_mmap_lock_write(mapping); 130149b1b8d6SLorenzo Stoakes for (i = 0; i < vb->count; i++) { 130249b1b8d6SLorenzo Stoakes VM_WARN_ON_ONCE(vb->vmas[i]->vm_file->f_mapping != mapping); 130349b1b8d6SLorenzo Stoakes __remove_shared_vm_struct(vb->vmas[i], mapping); 130449b1b8d6SLorenzo Stoakes } 130549b1b8d6SLorenzo Stoakes i_mmap_unlock_write(mapping); 130649b1b8d6SLorenzo Stoakes 130749b1b8d6SLorenzo Stoakes unlink_file_vma_batch_init(vb); 130849b1b8d6SLorenzo Stoakes } 130949b1b8d6SLorenzo Stoakes 131049b1b8d6SLorenzo Stoakes void unlink_file_vma_batch_add(struct unlink_vma_file_batch *vb, 131149b1b8d6SLorenzo Stoakes struct vm_area_struct *vma) 131249b1b8d6SLorenzo Stoakes { 131349b1b8d6SLorenzo Stoakes if (vma->vm_file == NULL) 131449b1b8d6SLorenzo Stoakes return; 131549b1b8d6SLorenzo Stoakes 131649b1b8d6SLorenzo Stoakes if ((vb->count > 0 && vb->vmas[0]->vm_file != vma->vm_file) || 131749b1b8d6SLorenzo Stoakes vb->count == ARRAY_SIZE(vb->vmas)) 131849b1b8d6SLorenzo Stoakes unlink_file_vma_batch_process(vb); 131949b1b8d6SLorenzo Stoakes 132049b1b8d6SLorenzo Stoakes vb->vmas[vb->count] = vma; 132149b1b8d6SLorenzo Stoakes vb->count++; 132249b1b8d6SLorenzo Stoakes } 132349b1b8d6SLorenzo Stoakes 132449b1b8d6SLorenzo Stoakes void unlink_file_vma_batch_final(struct unlink_vma_file_batch *vb) 132549b1b8d6SLorenzo Stoakes { 132649b1b8d6SLorenzo Stoakes if (vb->count > 0) 132749b1b8d6SLorenzo Stoakes unlink_file_vma_batch_process(vb); 132849b1b8d6SLorenzo Stoakes } 132949b1b8d6SLorenzo Stoakes 133049b1b8d6SLorenzo Stoakes /* 133149b1b8d6SLorenzo Stoakes * Unlink a file-based vm structure from its interval tree, to hide 133249b1b8d6SLorenzo Stoakes * vma from rmap and vmtruncate before freeing its page tables. 133349b1b8d6SLorenzo Stoakes */ 133449b1b8d6SLorenzo Stoakes void unlink_file_vma(struct vm_area_struct *vma) 133549b1b8d6SLorenzo Stoakes { 133649b1b8d6SLorenzo Stoakes struct file *file = vma->vm_file; 133749b1b8d6SLorenzo Stoakes 133849b1b8d6SLorenzo Stoakes if (file) { 133949b1b8d6SLorenzo Stoakes struct address_space *mapping = file->f_mapping; 134049b1b8d6SLorenzo Stoakes 134149b1b8d6SLorenzo Stoakes i_mmap_lock_write(mapping); 134249b1b8d6SLorenzo Stoakes __remove_shared_vm_struct(vma, mapping); 134349b1b8d6SLorenzo Stoakes i_mmap_unlock_write(mapping); 134449b1b8d6SLorenzo Stoakes } 134549b1b8d6SLorenzo Stoakes } 134649b1b8d6SLorenzo Stoakes 134749b1b8d6SLorenzo Stoakes void vma_link_file(struct vm_area_struct *vma) 134849b1b8d6SLorenzo Stoakes { 134949b1b8d6SLorenzo Stoakes struct file *file = vma->vm_file; 135049b1b8d6SLorenzo Stoakes struct address_space *mapping; 135149b1b8d6SLorenzo Stoakes 135249b1b8d6SLorenzo Stoakes if (file) { 135349b1b8d6SLorenzo Stoakes mapping = file->f_mapping; 135449b1b8d6SLorenzo Stoakes i_mmap_lock_write(mapping); 135549b1b8d6SLorenzo Stoakes __vma_link_file(vma, mapping); 135649b1b8d6SLorenzo Stoakes i_mmap_unlock_write(mapping); 135749b1b8d6SLorenzo Stoakes } 135849b1b8d6SLorenzo Stoakes } 135949b1b8d6SLorenzo Stoakes 136049b1b8d6SLorenzo Stoakes int vma_link(struct mm_struct *mm, struct vm_area_struct *vma) 136149b1b8d6SLorenzo Stoakes { 136249b1b8d6SLorenzo Stoakes VMA_ITERATOR(vmi, mm, 0); 136349b1b8d6SLorenzo Stoakes 136449b1b8d6SLorenzo Stoakes vma_iter_config(&vmi, vma->vm_start, vma->vm_end); 136549b1b8d6SLorenzo Stoakes if (vma_iter_prealloc(&vmi, vma)) 136649b1b8d6SLorenzo Stoakes return -ENOMEM; 136749b1b8d6SLorenzo Stoakes 136849b1b8d6SLorenzo Stoakes vma_start_write(vma); 136949b1b8d6SLorenzo Stoakes vma_iter_store(&vmi, vma); 137049b1b8d6SLorenzo Stoakes vma_link_file(vma); 137149b1b8d6SLorenzo Stoakes mm->map_count++; 137249b1b8d6SLorenzo Stoakes validate_mm(mm); 137349b1b8d6SLorenzo Stoakes return 0; 137449b1b8d6SLorenzo Stoakes } 137549b1b8d6SLorenzo Stoakes 137649b1b8d6SLorenzo Stoakes /* 137749b1b8d6SLorenzo Stoakes * Copy the vma structure to a new location in the same mm, 137849b1b8d6SLorenzo Stoakes * prior to moving page table entries, to effect an mremap move. 137949b1b8d6SLorenzo Stoakes */ 138049b1b8d6SLorenzo Stoakes struct vm_area_struct *copy_vma(struct vm_area_struct **vmap, 138149b1b8d6SLorenzo Stoakes unsigned long addr, unsigned long len, pgoff_t pgoff, 138249b1b8d6SLorenzo Stoakes bool *need_rmap_locks) 138349b1b8d6SLorenzo Stoakes { 138449b1b8d6SLorenzo Stoakes struct vm_area_struct *vma = *vmap; 138549b1b8d6SLorenzo Stoakes unsigned long vma_start = vma->vm_start; 138649b1b8d6SLorenzo Stoakes struct mm_struct *mm = vma->vm_mm; 138749b1b8d6SLorenzo Stoakes struct vm_area_struct *new_vma, *prev; 138849b1b8d6SLorenzo Stoakes bool faulted_in_anon_vma = true; 138949b1b8d6SLorenzo Stoakes VMA_ITERATOR(vmi, mm, addr); 139049b1b8d6SLorenzo Stoakes 139149b1b8d6SLorenzo Stoakes /* 139249b1b8d6SLorenzo Stoakes * If anonymous vma has not yet been faulted, update new pgoff 139349b1b8d6SLorenzo Stoakes * to match new location, to increase its chance of merging. 139449b1b8d6SLorenzo Stoakes */ 139549b1b8d6SLorenzo Stoakes if (unlikely(vma_is_anonymous(vma) && !vma->anon_vma)) { 139649b1b8d6SLorenzo Stoakes pgoff = addr >> PAGE_SHIFT; 139749b1b8d6SLorenzo Stoakes faulted_in_anon_vma = false; 139849b1b8d6SLorenzo Stoakes } 139949b1b8d6SLorenzo Stoakes 140049b1b8d6SLorenzo Stoakes new_vma = find_vma_prev(mm, addr, &prev); 140149b1b8d6SLorenzo Stoakes if (new_vma && new_vma->vm_start < addr + len) 140249b1b8d6SLorenzo Stoakes return NULL; /* should never get here */ 140349b1b8d6SLorenzo Stoakes 140449b1b8d6SLorenzo Stoakes new_vma = vma_merge_new_vma(&vmi, prev, vma, addr, addr + len, pgoff); 140549b1b8d6SLorenzo Stoakes if (new_vma) { 140649b1b8d6SLorenzo Stoakes /* 140749b1b8d6SLorenzo Stoakes * Source vma may have been merged into new_vma 140849b1b8d6SLorenzo Stoakes */ 140949b1b8d6SLorenzo Stoakes if (unlikely(vma_start >= new_vma->vm_start && 141049b1b8d6SLorenzo Stoakes vma_start < new_vma->vm_end)) { 141149b1b8d6SLorenzo Stoakes /* 141249b1b8d6SLorenzo Stoakes * The only way we can get a vma_merge with 141349b1b8d6SLorenzo Stoakes * self during an mremap is if the vma hasn't 141449b1b8d6SLorenzo Stoakes * been faulted in yet and we were allowed to 141549b1b8d6SLorenzo Stoakes * reset the dst vma->vm_pgoff to the 141649b1b8d6SLorenzo Stoakes * destination address of the mremap to allow 141749b1b8d6SLorenzo Stoakes * the merge to happen. mremap must change the 141849b1b8d6SLorenzo Stoakes * vm_pgoff linearity between src and dst vmas 141949b1b8d6SLorenzo Stoakes * (in turn preventing a vma_merge) to be 142049b1b8d6SLorenzo Stoakes * safe. It is only safe to keep the vm_pgoff 142149b1b8d6SLorenzo Stoakes * linear if there are no pages mapped yet. 142249b1b8d6SLorenzo Stoakes */ 142349b1b8d6SLorenzo Stoakes VM_BUG_ON_VMA(faulted_in_anon_vma, new_vma); 142449b1b8d6SLorenzo Stoakes *vmap = vma = new_vma; 142549b1b8d6SLorenzo Stoakes } 142649b1b8d6SLorenzo Stoakes *need_rmap_locks = (new_vma->vm_pgoff <= vma->vm_pgoff); 142749b1b8d6SLorenzo Stoakes } else { 142849b1b8d6SLorenzo Stoakes new_vma = vm_area_dup(vma); 142949b1b8d6SLorenzo Stoakes if (!new_vma) 143049b1b8d6SLorenzo Stoakes goto out; 143149b1b8d6SLorenzo Stoakes vma_set_range(new_vma, addr, addr + len, pgoff); 143249b1b8d6SLorenzo Stoakes if (vma_dup_policy(vma, new_vma)) 143349b1b8d6SLorenzo Stoakes goto out_free_vma; 143449b1b8d6SLorenzo Stoakes if (anon_vma_clone(new_vma, vma)) 143549b1b8d6SLorenzo Stoakes goto out_free_mempol; 143649b1b8d6SLorenzo Stoakes if (new_vma->vm_file) 143749b1b8d6SLorenzo Stoakes get_file(new_vma->vm_file); 143849b1b8d6SLorenzo Stoakes if (new_vma->vm_ops && new_vma->vm_ops->open) 143949b1b8d6SLorenzo Stoakes new_vma->vm_ops->open(new_vma); 144049b1b8d6SLorenzo Stoakes if (vma_link(mm, new_vma)) 144149b1b8d6SLorenzo Stoakes goto out_vma_link; 144249b1b8d6SLorenzo Stoakes *need_rmap_locks = false; 144349b1b8d6SLorenzo Stoakes } 144449b1b8d6SLorenzo Stoakes return new_vma; 144549b1b8d6SLorenzo Stoakes 144649b1b8d6SLorenzo Stoakes out_vma_link: 144749b1b8d6SLorenzo Stoakes if (new_vma->vm_ops && new_vma->vm_ops->close) 144849b1b8d6SLorenzo Stoakes new_vma->vm_ops->close(new_vma); 144949b1b8d6SLorenzo Stoakes 145049b1b8d6SLorenzo Stoakes if (new_vma->vm_file) 145149b1b8d6SLorenzo Stoakes fput(new_vma->vm_file); 145249b1b8d6SLorenzo Stoakes 145349b1b8d6SLorenzo Stoakes unlink_anon_vmas(new_vma); 145449b1b8d6SLorenzo Stoakes out_free_mempol: 145549b1b8d6SLorenzo Stoakes mpol_put(vma_policy(new_vma)); 145649b1b8d6SLorenzo Stoakes out_free_vma: 145749b1b8d6SLorenzo Stoakes vm_area_free(new_vma); 145849b1b8d6SLorenzo Stoakes out: 145949b1b8d6SLorenzo Stoakes return NULL; 146049b1b8d6SLorenzo Stoakes } 146149b1b8d6SLorenzo Stoakes 146249b1b8d6SLorenzo Stoakes /* 146349b1b8d6SLorenzo Stoakes * Rough compatibility check to quickly see if it's even worth looking 146449b1b8d6SLorenzo Stoakes * at sharing an anon_vma. 146549b1b8d6SLorenzo Stoakes * 146649b1b8d6SLorenzo Stoakes * They need to have the same vm_file, and the flags can only differ 146749b1b8d6SLorenzo Stoakes * in things that mprotect may change. 146849b1b8d6SLorenzo Stoakes * 146949b1b8d6SLorenzo Stoakes * NOTE! The fact that we share an anon_vma doesn't _have_ to mean that 147049b1b8d6SLorenzo Stoakes * we can merge the two vma's. For example, we refuse to merge a vma if 147149b1b8d6SLorenzo Stoakes * there is a vm_ops->close() function, because that indicates that the 147249b1b8d6SLorenzo Stoakes * driver is doing some kind of reference counting. But that doesn't 147349b1b8d6SLorenzo Stoakes * really matter for the anon_vma sharing case. 147449b1b8d6SLorenzo Stoakes */ 147549b1b8d6SLorenzo Stoakes static int anon_vma_compatible(struct vm_area_struct *a, struct vm_area_struct *b) 147649b1b8d6SLorenzo Stoakes { 147749b1b8d6SLorenzo Stoakes return a->vm_end == b->vm_start && 147849b1b8d6SLorenzo Stoakes mpol_equal(vma_policy(a), vma_policy(b)) && 147949b1b8d6SLorenzo Stoakes a->vm_file == b->vm_file && 148049b1b8d6SLorenzo Stoakes !((a->vm_flags ^ b->vm_flags) & ~(VM_ACCESS_FLAGS | VM_SOFTDIRTY)) && 148149b1b8d6SLorenzo Stoakes b->vm_pgoff == a->vm_pgoff + ((b->vm_start - a->vm_start) >> PAGE_SHIFT); 148249b1b8d6SLorenzo Stoakes } 148349b1b8d6SLorenzo Stoakes 148449b1b8d6SLorenzo Stoakes /* 148549b1b8d6SLorenzo Stoakes * Do some basic sanity checking to see if we can re-use the anon_vma 148649b1b8d6SLorenzo Stoakes * from 'old'. The 'a'/'b' vma's are in VM order - one of them will be 148749b1b8d6SLorenzo Stoakes * the same as 'old', the other will be the new one that is trying 148849b1b8d6SLorenzo Stoakes * to share the anon_vma. 148949b1b8d6SLorenzo Stoakes * 149049b1b8d6SLorenzo Stoakes * NOTE! This runs with mmap_lock held for reading, so it is possible that 149149b1b8d6SLorenzo Stoakes * the anon_vma of 'old' is concurrently in the process of being set up 149249b1b8d6SLorenzo Stoakes * by another page fault trying to merge _that_. But that's ok: if it 149349b1b8d6SLorenzo Stoakes * is being set up, that automatically means that it will be a singleton 149449b1b8d6SLorenzo Stoakes * acceptable for merging, so we can do all of this optimistically. But 149549b1b8d6SLorenzo Stoakes * we do that READ_ONCE() to make sure that we never re-load the pointer. 149649b1b8d6SLorenzo Stoakes * 149749b1b8d6SLorenzo Stoakes * IOW: that the "list_is_singular()" test on the anon_vma_chain only 149849b1b8d6SLorenzo Stoakes * matters for the 'stable anon_vma' case (ie the thing we want to avoid 149949b1b8d6SLorenzo Stoakes * is to return an anon_vma that is "complex" due to having gone through 150049b1b8d6SLorenzo Stoakes * a fork). 150149b1b8d6SLorenzo Stoakes * 150249b1b8d6SLorenzo Stoakes * We also make sure that the two vma's are compatible (adjacent, 150349b1b8d6SLorenzo Stoakes * and with the same memory policies). That's all stable, even with just 150449b1b8d6SLorenzo Stoakes * a read lock on the mmap_lock. 150549b1b8d6SLorenzo Stoakes */ 150649b1b8d6SLorenzo Stoakes static struct anon_vma *reusable_anon_vma(struct vm_area_struct *old, 150749b1b8d6SLorenzo Stoakes struct vm_area_struct *a, 150849b1b8d6SLorenzo Stoakes struct vm_area_struct *b) 150949b1b8d6SLorenzo Stoakes { 151049b1b8d6SLorenzo Stoakes if (anon_vma_compatible(a, b)) { 151149b1b8d6SLorenzo Stoakes struct anon_vma *anon_vma = READ_ONCE(old->anon_vma); 151249b1b8d6SLorenzo Stoakes 151349b1b8d6SLorenzo Stoakes if (anon_vma && list_is_singular(&old->anon_vma_chain)) 151449b1b8d6SLorenzo Stoakes return anon_vma; 151549b1b8d6SLorenzo Stoakes } 151649b1b8d6SLorenzo Stoakes return NULL; 151749b1b8d6SLorenzo Stoakes } 151849b1b8d6SLorenzo Stoakes 151949b1b8d6SLorenzo Stoakes /* 152049b1b8d6SLorenzo Stoakes * find_mergeable_anon_vma is used by anon_vma_prepare, to check 152149b1b8d6SLorenzo Stoakes * neighbouring vmas for a suitable anon_vma, before it goes off 152249b1b8d6SLorenzo Stoakes * to allocate a new anon_vma. It checks because a repetitive 152349b1b8d6SLorenzo Stoakes * sequence of mprotects and faults may otherwise lead to distinct 152449b1b8d6SLorenzo Stoakes * anon_vmas being allocated, preventing vma merge in subsequent 152549b1b8d6SLorenzo Stoakes * mprotect. 152649b1b8d6SLorenzo Stoakes */ 152749b1b8d6SLorenzo Stoakes struct anon_vma *find_mergeable_anon_vma(struct vm_area_struct *vma) 152849b1b8d6SLorenzo Stoakes { 152949b1b8d6SLorenzo Stoakes struct anon_vma *anon_vma = NULL; 153049b1b8d6SLorenzo Stoakes struct vm_area_struct *prev, *next; 153149b1b8d6SLorenzo Stoakes VMA_ITERATOR(vmi, vma->vm_mm, vma->vm_end); 153249b1b8d6SLorenzo Stoakes 153349b1b8d6SLorenzo Stoakes /* Try next first. */ 153449b1b8d6SLorenzo Stoakes next = vma_iter_load(&vmi); 153549b1b8d6SLorenzo Stoakes if (next) { 153649b1b8d6SLorenzo Stoakes anon_vma = reusable_anon_vma(next, vma, next); 153749b1b8d6SLorenzo Stoakes if (anon_vma) 153849b1b8d6SLorenzo Stoakes return anon_vma; 153949b1b8d6SLorenzo Stoakes } 154049b1b8d6SLorenzo Stoakes 154149b1b8d6SLorenzo Stoakes prev = vma_prev(&vmi); 154249b1b8d6SLorenzo Stoakes VM_BUG_ON_VMA(prev != vma, vma); 154349b1b8d6SLorenzo Stoakes prev = vma_prev(&vmi); 154449b1b8d6SLorenzo Stoakes /* Try prev next. */ 154549b1b8d6SLorenzo Stoakes if (prev) 154649b1b8d6SLorenzo Stoakes anon_vma = reusable_anon_vma(prev, prev, vma); 154749b1b8d6SLorenzo Stoakes 154849b1b8d6SLorenzo Stoakes /* 154949b1b8d6SLorenzo Stoakes * We might reach here with anon_vma == NULL if we can't find 155049b1b8d6SLorenzo Stoakes * any reusable anon_vma. 155149b1b8d6SLorenzo Stoakes * There's no absolute need to look only at touching neighbours: 155249b1b8d6SLorenzo Stoakes * we could search further afield for "compatible" anon_vmas. 155349b1b8d6SLorenzo Stoakes * But it would probably just be a waste of time searching, 155449b1b8d6SLorenzo Stoakes * or lead to too many vmas hanging off the same anon_vma. 155549b1b8d6SLorenzo Stoakes * We're trying to allow mprotect remerging later on, 155649b1b8d6SLorenzo Stoakes * not trying to minimize memory used for anon_vmas. 155749b1b8d6SLorenzo Stoakes */ 155849b1b8d6SLorenzo Stoakes return anon_vma; 155949b1b8d6SLorenzo Stoakes } 156049b1b8d6SLorenzo Stoakes 156149b1b8d6SLorenzo Stoakes static bool vm_ops_needs_writenotify(const struct vm_operations_struct *vm_ops) 156249b1b8d6SLorenzo Stoakes { 156349b1b8d6SLorenzo Stoakes return vm_ops && (vm_ops->page_mkwrite || vm_ops->pfn_mkwrite); 156449b1b8d6SLorenzo Stoakes } 156549b1b8d6SLorenzo Stoakes 156649b1b8d6SLorenzo Stoakes static bool vma_is_shared_writable(struct vm_area_struct *vma) 156749b1b8d6SLorenzo Stoakes { 156849b1b8d6SLorenzo Stoakes return (vma->vm_flags & (VM_WRITE | VM_SHARED)) == 156949b1b8d6SLorenzo Stoakes (VM_WRITE | VM_SHARED); 157049b1b8d6SLorenzo Stoakes } 157149b1b8d6SLorenzo Stoakes 157249b1b8d6SLorenzo Stoakes static bool vma_fs_can_writeback(struct vm_area_struct *vma) 157349b1b8d6SLorenzo Stoakes { 157449b1b8d6SLorenzo Stoakes /* No managed pages to writeback. */ 157549b1b8d6SLorenzo Stoakes if (vma->vm_flags & VM_PFNMAP) 157649b1b8d6SLorenzo Stoakes return false; 157749b1b8d6SLorenzo Stoakes 157849b1b8d6SLorenzo Stoakes return vma->vm_file && vma->vm_file->f_mapping && 157949b1b8d6SLorenzo Stoakes mapping_can_writeback(vma->vm_file->f_mapping); 158049b1b8d6SLorenzo Stoakes } 158149b1b8d6SLorenzo Stoakes 158249b1b8d6SLorenzo Stoakes /* 158349b1b8d6SLorenzo Stoakes * Does this VMA require the underlying folios to have their dirty state 158449b1b8d6SLorenzo Stoakes * tracked? 158549b1b8d6SLorenzo Stoakes */ 158649b1b8d6SLorenzo Stoakes bool vma_needs_dirty_tracking(struct vm_area_struct *vma) 158749b1b8d6SLorenzo Stoakes { 158849b1b8d6SLorenzo Stoakes /* Only shared, writable VMAs require dirty tracking. */ 158949b1b8d6SLorenzo Stoakes if (!vma_is_shared_writable(vma)) 159049b1b8d6SLorenzo Stoakes return false; 159149b1b8d6SLorenzo Stoakes 159249b1b8d6SLorenzo Stoakes /* Does the filesystem need to be notified? */ 159349b1b8d6SLorenzo Stoakes if (vm_ops_needs_writenotify(vma->vm_ops)) 159449b1b8d6SLorenzo Stoakes return true; 159549b1b8d6SLorenzo Stoakes 159649b1b8d6SLorenzo Stoakes /* 159749b1b8d6SLorenzo Stoakes * Even if the filesystem doesn't indicate a need for writenotify, if it 159849b1b8d6SLorenzo Stoakes * can writeback, dirty tracking is still required. 159949b1b8d6SLorenzo Stoakes */ 160049b1b8d6SLorenzo Stoakes return vma_fs_can_writeback(vma); 160149b1b8d6SLorenzo Stoakes } 160249b1b8d6SLorenzo Stoakes 160349b1b8d6SLorenzo Stoakes /* 160449b1b8d6SLorenzo Stoakes * Some shared mappings will want the pages marked read-only 160549b1b8d6SLorenzo Stoakes * to track write events. If so, we'll downgrade vm_page_prot 160649b1b8d6SLorenzo Stoakes * to the private version (using protection_map[] without the 160749b1b8d6SLorenzo Stoakes * VM_SHARED bit). 160849b1b8d6SLorenzo Stoakes */ 160949b1b8d6SLorenzo Stoakes bool vma_wants_writenotify(struct vm_area_struct *vma, pgprot_t vm_page_prot) 161049b1b8d6SLorenzo Stoakes { 161149b1b8d6SLorenzo Stoakes /* If it was private or non-writable, the write bit is already clear */ 161249b1b8d6SLorenzo Stoakes if (!vma_is_shared_writable(vma)) 161349b1b8d6SLorenzo Stoakes return false; 161449b1b8d6SLorenzo Stoakes 161549b1b8d6SLorenzo Stoakes /* The backer wishes to know when pages are first written to? */ 161649b1b8d6SLorenzo Stoakes if (vm_ops_needs_writenotify(vma->vm_ops)) 161749b1b8d6SLorenzo Stoakes return true; 161849b1b8d6SLorenzo Stoakes 161949b1b8d6SLorenzo Stoakes /* The open routine did something to the protections that pgprot_modify 162049b1b8d6SLorenzo Stoakes * won't preserve? */ 162149b1b8d6SLorenzo Stoakes if (pgprot_val(vm_page_prot) != 162249b1b8d6SLorenzo Stoakes pgprot_val(vm_pgprot_modify(vm_page_prot, vma->vm_flags))) 162349b1b8d6SLorenzo Stoakes return false; 162449b1b8d6SLorenzo Stoakes 162549b1b8d6SLorenzo Stoakes /* 162649b1b8d6SLorenzo Stoakes * Do we need to track softdirty? hugetlb does not support softdirty 162749b1b8d6SLorenzo Stoakes * tracking yet. 162849b1b8d6SLorenzo Stoakes */ 162949b1b8d6SLorenzo Stoakes if (vma_soft_dirty_enabled(vma) && !is_vm_hugetlb_page(vma)) 163049b1b8d6SLorenzo Stoakes return true; 163149b1b8d6SLorenzo Stoakes 163249b1b8d6SLorenzo Stoakes /* Do we need write faults for uffd-wp tracking? */ 163349b1b8d6SLorenzo Stoakes if (userfaultfd_wp(vma)) 163449b1b8d6SLorenzo Stoakes return true; 163549b1b8d6SLorenzo Stoakes 163649b1b8d6SLorenzo Stoakes /* Can the mapping track the dirty pages? */ 163749b1b8d6SLorenzo Stoakes return vma_fs_can_writeback(vma); 163849b1b8d6SLorenzo Stoakes } 163949b1b8d6SLorenzo Stoakes 164049b1b8d6SLorenzo Stoakes unsigned long count_vma_pages_range(struct mm_struct *mm, 164149b1b8d6SLorenzo Stoakes unsigned long addr, unsigned long end) 164249b1b8d6SLorenzo Stoakes { 164349b1b8d6SLorenzo Stoakes VMA_ITERATOR(vmi, mm, addr); 164449b1b8d6SLorenzo Stoakes struct vm_area_struct *vma; 164549b1b8d6SLorenzo Stoakes unsigned long nr_pages = 0; 164649b1b8d6SLorenzo Stoakes 164749b1b8d6SLorenzo Stoakes for_each_vma_range(vmi, vma, end) { 164849b1b8d6SLorenzo Stoakes unsigned long vm_start = max(addr, vma->vm_start); 164949b1b8d6SLorenzo Stoakes unsigned long vm_end = min(end, vma->vm_end); 165049b1b8d6SLorenzo Stoakes 165149b1b8d6SLorenzo Stoakes nr_pages += PHYS_PFN(vm_end - vm_start); 165249b1b8d6SLorenzo Stoakes } 165349b1b8d6SLorenzo Stoakes 165449b1b8d6SLorenzo Stoakes return nr_pages; 165549b1b8d6SLorenzo Stoakes } 165649b1b8d6SLorenzo Stoakes 165749b1b8d6SLorenzo Stoakes static DEFINE_MUTEX(mm_all_locks_mutex); 165849b1b8d6SLorenzo Stoakes 165949b1b8d6SLorenzo Stoakes static void vm_lock_anon_vma(struct mm_struct *mm, struct anon_vma *anon_vma) 166049b1b8d6SLorenzo Stoakes { 166149b1b8d6SLorenzo Stoakes if (!test_bit(0, (unsigned long *) &anon_vma->root->rb_root.rb_root.rb_node)) { 166249b1b8d6SLorenzo Stoakes /* 166349b1b8d6SLorenzo Stoakes * The LSB of head.next can't change from under us 166449b1b8d6SLorenzo Stoakes * because we hold the mm_all_locks_mutex. 166549b1b8d6SLorenzo Stoakes */ 166649b1b8d6SLorenzo Stoakes down_write_nest_lock(&anon_vma->root->rwsem, &mm->mmap_lock); 166749b1b8d6SLorenzo Stoakes /* 166849b1b8d6SLorenzo Stoakes * We can safely modify head.next after taking the 166949b1b8d6SLorenzo Stoakes * anon_vma->root->rwsem. If some other vma in this mm shares 167049b1b8d6SLorenzo Stoakes * the same anon_vma we won't take it again. 167149b1b8d6SLorenzo Stoakes * 167249b1b8d6SLorenzo Stoakes * No need of atomic instructions here, head.next 167349b1b8d6SLorenzo Stoakes * can't change from under us thanks to the 167449b1b8d6SLorenzo Stoakes * anon_vma->root->rwsem. 167549b1b8d6SLorenzo Stoakes */ 167649b1b8d6SLorenzo Stoakes if (__test_and_set_bit(0, (unsigned long *) 167749b1b8d6SLorenzo Stoakes &anon_vma->root->rb_root.rb_root.rb_node)) 167849b1b8d6SLorenzo Stoakes BUG(); 167949b1b8d6SLorenzo Stoakes } 168049b1b8d6SLorenzo Stoakes } 168149b1b8d6SLorenzo Stoakes 168249b1b8d6SLorenzo Stoakes static void vm_lock_mapping(struct mm_struct *mm, struct address_space *mapping) 168349b1b8d6SLorenzo Stoakes { 168449b1b8d6SLorenzo Stoakes if (!test_bit(AS_MM_ALL_LOCKS, &mapping->flags)) { 168549b1b8d6SLorenzo Stoakes /* 168649b1b8d6SLorenzo Stoakes * AS_MM_ALL_LOCKS can't change from under us because 168749b1b8d6SLorenzo Stoakes * we hold the mm_all_locks_mutex. 168849b1b8d6SLorenzo Stoakes * 168949b1b8d6SLorenzo Stoakes * Operations on ->flags have to be atomic because 169049b1b8d6SLorenzo Stoakes * even if AS_MM_ALL_LOCKS is stable thanks to the 169149b1b8d6SLorenzo Stoakes * mm_all_locks_mutex, there may be other cpus 169249b1b8d6SLorenzo Stoakes * changing other bitflags in parallel to us. 169349b1b8d6SLorenzo Stoakes */ 169449b1b8d6SLorenzo Stoakes if (test_and_set_bit(AS_MM_ALL_LOCKS, &mapping->flags)) 169549b1b8d6SLorenzo Stoakes BUG(); 169649b1b8d6SLorenzo Stoakes down_write_nest_lock(&mapping->i_mmap_rwsem, &mm->mmap_lock); 169749b1b8d6SLorenzo Stoakes } 169849b1b8d6SLorenzo Stoakes } 169949b1b8d6SLorenzo Stoakes 170049b1b8d6SLorenzo Stoakes /* 170149b1b8d6SLorenzo Stoakes * This operation locks against the VM for all pte/vma/mm related 170249b1b8d6SLorenzo Stoakes * operations that could ever happen on a certain mm. This includes 170349b1b8d6SLorenzo Stoakes * vmtruncate, try_to_unmap, and all page faults. 170449b1b8d6SLorenzo Stoakes * 170549b1b8d6SLorenzo Stoakes * The caller must take the mmap_lock in write mode before calling 170649b1b8d6SLorenzo Stoakes * mm_take_all_locks(). The caller isn't allowed to release the 170749b1b8d6SLorenzo Stoakes * mmap_lock until mm_drop_all_locks() returns. 170849b1b8d6SLorenzo Stoakes * 170949b1b8d6SLorenzo Stoakes * mmap_lock in write mode is required in order to block all operations 171049b1b8d6SLorenzo Stoakes * that could modify pagetables and free pages without need of 171149b1b8d6SLorenzo Stoakes * altering the vma layout. It's also needed in write mode to avoid new 171249b1b8d6SLorenzo Stoakes * anon_vmas to be associated with existing vmas. 171349b1b8d6SLorenzo Stoakes * 171449b1b8d6SLorenzo Stoakes * A single task can't take more than one mm_take_all_locks() in a row 171549b1b8d6SLorenzo Stoakes * or it would deadlock. 171649b1b8d6SLorenzo Stoakes * 171749b1b8d6SLorenzo Stoakes * The LSB in anon_vma->rb_root.rb_node and the AS_MM_ALL_LOCKS bitflag in 171849b1b8d6SLorenzo Stoakes * mapping->flags avoid to take the same lock twice, if more than one 171949b1b8d6SLorenzo Stoakes * vma in this mm is backed by the same anon_vma or address_space. 172049b1b8d6SLorenzo Stoakes * 172149b1b8d6SLorenzo Stoakes * We take locks in following order, accordingly to comment at beginning 172249b1b8d6SLorenzo Stoakes * of mm/rmap.c: 172349b1b8d6SLorenzo Stoakes * - all hugetlbfs_i_mmap_rwsem_key locks (aka mapping->i_mmap_rwsem for 172449b1b8d6SLorenzo Stoakes * hugetlb mapping); 172549b1b8d6SLorenzo Stoakes * - all vmas marked locked 172649b1b8d6SLorenzo Stoakes * - all i_mmap_rwsem locks; 172749b1b8d6SLorenzo Stoakes * - all anon_vma->rwseml 172849b1b8d6SLorenzo Stoakes * 172949b1b8d6SLorenzo Stoakes * We can take all locks within these types randomly because the VM code 173049b1b8d6SLorenzo Stoakes * doesn't nest them and we protected from parallel mm_take_all_locks() by 173149b1b8d6SLorenzo Stoakes * mm_all_locks_mutex. 173249b1b8d6SLorenzo Stoakes * 173349b1b8d6SLorenzo Stoakes * mm_take_all_locks() and mm_drop_all_locks are expensive operations 173449b1b8d6SLorenzo Stoakes * that may have to take thousand of locks. 173549b1b8d6SLorenzo Stoakes * 173649b1b8d6SLorenzo Stoakes * mm_take_all_locks() can fail if it's interrupted by signals. 173749b1b8d6SLorenzo Stoakes */ 173849b1b8d6SLorenzo Stoakes int mm_take_all_locks(struct mm_struct *mm) 173949b1b8d6SLorenzo Stoakes { 174049b1b8d6SLorenzo Stoakes struct vm_area_struct *vma; 174149b1b8d6SLorenzo Stoakes struct anon_vma_chain *avc; 174249b1b8d6SLorenzo Stoakes VMA_ITERATOR(vmi, mm, 0); 174349b1b8d6SLorenzo Stoakes 174449b1b8d6SLorenzo Stoakes mmap_assert_write_locked(mm); 174549b1b8d6SLorenzo Stoakes 174649b1b8d6SLorenzo Stoakes mutex_lock(&mm_all_locks_mutex); 174749b1b8d6SLorenzo Stoakes 174849b1b8d6SLorenzo Stoakes /* 174949b1b8d6SLorenzo Stoakes * vma_start_write() does not have a complement in mm_drop_all_locks() 175049b1b8d6SLorenzo Stoakes * because vma_start_write() is always asymmetrical; it marks a VMA as 175149b1b8d6SLorenzo Stoakes * being written to until mmap_write_unlock() or mmap_write_downgrade() 175249b1b8d6SLorenzo Stoakes * is reached. 175349b1b8d6SLorenzo Stoakes */ 175449b1b8d6SLorenzo Stoakes for_each_vma(vmi, vma) { 175549b1b8d6SLorenzo Stoakes if (signal_pending(current)) 175649b1b8d6SLorenzo Stoakes goto out_unlock; 175749b1b8d6SLorenzo Stoakes vma_start_write(vma); 175849b1b8d6SLorenzo Stoakes } 175949b1b8d6SLorenzo Stoakes 176049b1b8d6SLorenzo Stoakes vma_iter_init(&vmi, mm, 0); 176149b1b8d6SLorenzo Stoakes for_each_vma(vmi, vma) { 176249b1b8d6SLorenzo Stoakes if (signal_pending(current)) 176349b1b8d6SLorenzo Stoakes goto out_unlock; 176449b1b8d6SLorenzo Stoakes if (vma->vm_file && vma->vm_file->f_mapping && 176549b1b8d6SLorenzo Stoakes is_vm_hugetlb_page(vma)) 176649b1b8d6SLorenzo Stoakes vm_lock_mapping(mm, vma->vm_file->f_mapping); 176749b1b8d6SLorenzo Stoakes } 176849b1b8d6SLorenzo Stoakes 176949b1b8d6SLorenzo Stoakes vma_iter_init(&vmi, mm, 0); 177049b1b8d6SLorenzo Stoakes for_each_vma(vmi, vma) { 177149b1b8d6SLorenzo Stoakes if (signal_pending(current)) 177249b1b8d6SLorenzo Stoakes goto out_unlock; 177349b1b8d6SLorenzo Stoakes if (vma->vm_file && vma->vm_file->f_mapping && 177449b1b8d6SLorenzo Stoakes !is_vm_hugetlb_page(vma)) 177549b1b8d6SLorenzo Stoakes vm_lock_mapping(mm, vma->vm_file->f_mapping); 177649b1b8d6SLorenzo Stoakes } 177749b1b8d6SLorenzo Stoakes 177849b1b8d6SLorenzo Stoakes vma_iter_init(&vmi, mm, 0); 177949b1b8d6SLorenzo Stoakes for_each_vma(vmi, vma) { 178049b1b8d6SLorenzo Stoakes if (signal_pending(current)) 178149b1b8d6SLorenzo Stoakes goto out_unlock; 178249b1b8d6SLorenzo Stoakes if (vma->anon_vma) 178349b1b8d6SLorenzo Stoakes list_for_each_entry(avc, &vma->anon_vma_chain, same_vma) 178449b1b8d6SLorenzo Stoakes vm_lock_anon_vma(mm, avc->anon_vma); 178549b1b8d6SLorenzo Stoakes } 178649b1b8d6SLorenzo Stoakes 178749b1b8d6SLorenzo Stoakes return 0; 178849b1b8d6SLorenzo Stoakes 178949b1b8d6SLorenzo Stoakes out_unlock: 179049b1b8d6SLorenzo Stoakes mm_drop_all_locks(mm); 179149b1b8d6SLorenzo Stoakes return -EINTR; 179249b1b8d6SLorenzo Stoakes } 179349b1b8d6SLorenzo Stoakes 179449b1b8d6SLorenzo Stoakes static void vm_unlock_anon_vma(struct anon_vma *anon_vma) 179549b1b8d6SLorenzo Stoakes { 179649b1b8d6SLorenzo Stoakes if (test_bit(0, (unsigned long *) &anon_vma->root->rb_root.rb_root.rb_node)) { 179749b1b8d6SLorenzo Stoakes /* 179849b1b8d6SLorenzo Stoakes * The LSB of head.next can't change to 0 from under 179949b1b8d6SLorenzo Stoakes * us because we hold the mm_all_locks_mutex. 180049b1b8d6SLorenzo Stoakes * 180149b1b8d6SLorenzo Stoakes * We must however clear the bitflag before unlocking 180249b1b8d6SLorenzo Stoakes * the vma so the users using the anon_vma->rb_root will 180349b1b8d6SLorenzo Stoakes * never see our bitflag. 180449b1b8d6SLorenzo Stoakes * 180549b1b8d6SLorenzo Stoakes * No need of atomic instructions here, head.next 180649b1b8d6SLorenzo Stoakes * can't change from under us until we release the 180749b1b8d6SLorenzo Stoakes * anon_vma->root->rwsem. 180849b1b8d6SLorenzo Stoakes */ 180949b1b8d6SLorenzo Stoakes if (!__test_and_clear_bit(0, (unsigned long *) 181049b1b8d6SLorenzo Stoakes &anon_vma->root->rb_root.rb_root.rb_node)) 181149b1b8d6SLorenzo Stoakes BUG(); 181249b1b8d6SLorenzo Stoakes anon_vma_unlock_write(anon_vma); 181349b1b8d6SLorenzo Stoakes } 181449b1b8d6SLorenzo Stoakes } 181549b1b8d6SLorenzo Stoakes 181649b1b8d6SLorenzo Stoakes static void vm_unlock_mapping(struct address_space *mapping) 181749b1b8d6SLorenzo Stoakes { 181849b1b8d6SLorenzo Stoakes if (test_bit(AS_MM_ALL_LOCKS, &mapping->flags)) { 181949b1b8d6SLorenzo Stoakes /* 182049b1b8d6SLorenzo Stoakes * AS_MM_ALL_LOCKS can't change to 0 from under us 182149b1b8d6SLorenzo Stoakes * because we hold the mm_all_locks_mutex. 182249b1b8d6SLorenzo Stoakes */ 182349b1b8d6SLorenzo Stoakes i_mmap_unlock_write(mapping); 182449b1b8d6SLorenzo Stoakes if (!test_and_clear_bit(AS_MM_ALL_LOCKS, 182549b1b8d6SLorenzo Stoakes &mapping->flags)) 182649b1b8d6SLorenzo Stoakes BUG(); 182749b1b8d6SLorenzo Stoakes } 182849b1b8d6SLorenzo Stoakes } 182949b1b8d6SLorenzo Stoakes 183049b1b8d6SLorenzo Stoakes /* 183149b1b8d6SLorenzo Stoakes * The mmap_lock cannot be released by the caller until 183249b1b8d6SLorenzo Stoakes * mm_drop_all_locks() returns. 183349b1b8d6SLorenzo Stoakes */ 183449b1b8d6SLorenzo Stoakes void mm_drop_all_locks(struct mm_struct *mm) 183549b1b8d6SLorenzo Stoakes { 183649b1b8d6SLorenzo Stoakes struct vm_area_struct *vma; 183749b1b8d6SLorenzo Stoakes struct anon_vma_chain *avc; 183849b1b8d6SLorenzo Stoakes VMA_ITERATOR(vmi, mm, 0); 183949b1b8d6SLorenzo Stoakes 184049b1b8d6SLorenzo Stoakes mmap_assert_write_locked(mm); 184149b1b8d6SLorenzo Stoakes BUG_ON(!mutex_is_locked(&mm_all_locks_mutex)); 184249b1b8d6SLorenzo Stoakes 184349b1b8d6SLorenzo Stoakes for_each_vma(vmi, vma) { 184449b1b8d6SLorenzo Stoakes if (vma->anon_vma) 184549b1b8d6SLorenzo Stoakes list_for_each_entry(avc, &vma->anon_vma_chain, same_vma) 184649b1b8d6SLorenzo Stoakes vm_unlock_anon_vma(avc->anon_vma); 184749b1b8d6SLorenzo Stoakes if (vma->vm_file && vma->vm_file->f_mapping) 184849b1b8d6SLorenzo Stoakes vm_unlock_mapping(vma->vm_file->f_mapping); 184949b1b8d6SLorenzo Stoakes } 185049b1b8d6SLorenzo Stoakes 185149b1b8d6SLorenzo Stoakes mutex_unlock(&mm_all_locks_mutex); 185249b1b8d6SLorenzo Stoakes } 1853