Thomas Gleixner | 8092f73 | 2019-06-03 07:45:04 +0200 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0-only |
Michel Lespinasse | 6b2dbba | 2012-10-08 16:31:25 -0700 | [diff] [blame] | 2 | /* |
| 3 | * mm/interval_tree.c - interval tree for mapping->i_mmap |
| 4 | * |
| 5 | * Copyright (C) 2012, Michel Lespinasse <walken@google.com> |
Michel Lespinasse | 6b2dbba | 2012-10-08 16:31:25 -0700 | [diff] [blame] | 6 | */ |
| 7 | |
| 8 | #include <linux/mm.h> |
| 9 | #include <linux/fs.h> |
Michel Lespinasse | bf181b9 | 2012-10-08 16:31:39 -0700 | [diff] [blame] | 10 | #include <linux/rmap.h> |
Michel Lespinasse | 9826a51 | 2012-10-08 16:31:35 -0700 | [diff] [blame] | 11 | #include <linux/interval_tree_generic.h> |
Michel Lespinasse | 6b2dbba | 2012-10-08 16:31:25 -0700 | [diff] [blame] | 12 | |
Michel Lespinasse | 9826a51 | 2012-10-08 16:31:35 -0700 | [diff] [blame] | 13 | static inline unsigned long vma_start_pgoff(struct vm_area_struct *v) |
| 14 | { |
| 15 | return v->vm_pgoff; |
| 16 | } |
Michel Lespinasse | 6b2dbba | 2012-10-08 16:31:25 -0700 | [diff] [blame] | 17 | |
Michel Lespinasse | 9826a51 | 2012-10-08 16:31:35 -0700 | [diff] [blame] | 18 | static inline unsigned long vma_last_pgoff(struct vm_area_struct *v) |
| 19 | { |
Vasyl Gomonovych | e025f05 | 2018-01-31 16:17:03 -0800 | [diff] [blame] | 20 | return v->vm_pgoff + vma_pages(v) - 1; |
Michel Lespinasse | 9826a51 | 2012-10-08 16:31:35 -0700 | [diff] [blame] | 21 | } |
Michel Lespinasse | 6b2dbba | 2012-10-08 16:31:25 -0700 | [diff] [blame] | 22 | |
Kirill A. Shutemov | ac51b93 | 2015-02-10 14:10:02 -0800 | [diff] [blame] | 23 | INTERVAL_TREE_DEFINE(struct vm_area_struct, shared.rb, |
| 24 | unsigned long, shared.rb_subtree_last, |
Michel Lespinasse | 9826a51 | 2012-10-08 16:31:35 -0700 | [diff] [blame] | 25 | vma_start_pgoff, vma_last_pgoff,, vma_interval_tree) |
| 26 | |
| 27 | /* Insert node immediately after prev in the interval tree */ |
| 28 | void vma_interval_tree_insert_after(struct vm_area_struct *node, |
| 29 | struct vm_area_struct *prev, |
Davidlohr Bueso | f808c13 | 2017-09-08 16:15:08 -0700 | [diff] [blame] | 30 | struct rb_root_cached *root) |
Michel Lespinasse | 6b2dbba | 2012-10-08 16:31:25 -0700 | [diff] [blame] | 31 | { |
| 32 | struct rb_node **link; |
| 33 | struct vm_area_struct *parent; |
Michel Lespinasse | 9826a51 | 2012-10-08 16:31:35 -0700 | [diff] [blame] | 34 | unsigned long last = vma_last_pgoff(node); |
Michel Lespinasse | 6b2dbba | 2012-10-08 16:31:25 -0700 | [diff] [blame] | 35 | |
Sasha Levin | 81d1b09 | 2014-10-09 15:28:10 -0700 | [diff] [blame] | 36 | VM_BUG_ON_VMA(vma_start_pgoff(node) != vma_start_pgoff(prev), node); |
Michel Lespinasse | 6b2dbba | 2012-10-08 16:31:25 -0700 | [diff] [blame] | 37 | |
Kirill A. Shutemov | ac51b93 | 2015-02-10 14:10:02 -0800 | [diff] [blame] | 38 | if (!prev->shared.rb.rb_right) { |
Michel Lespinasse | 9826a51 | 2012-10-08 16:31:35 -0700 | [diff] [blame] | 39 | parent = prev; |
Kirill A. Shutemov | ac51b93 | 2015-02-10 14:10:02 -0800 | [diff] [blame] | 40 | link = &prev->shared.rb.rb_right; |
Michel Lespinasse | 6b2dbba | 2012-10-08 16:31:25 -0700 | [diff] [blame] | 41 | } else { |
Kirill A. Shutemov | ac51b93 | 2015-02-10 14:10:02 -0800 | [diff] [blame] | 42 | parent = rb_entry(prev->shared.rb.rb_right, |
| 43 | struct vm_area_struct, shared.rb); |
| 44 | if (parent->shared.rb_subtree_last < last) |
| 45 | parent->shared.rb_subtree_last = last; |
| 46 | while (parent->shared.rb.rb_left) { |
| 47 | parent = rb_entry(parent->shared.rb.rb_left, |
| 48 | struct vm_area_struct, shared.rb); |
| 49 | if (parent->shared.rb_subtree_last < last) |
| 50 | parent->shared.rb_subtree_last = last; |
Michel Lespinasse | 6b2dbba | 2012-10-08 16:31:25 -0700 | [diff] [blame] | 51 | } |
Kirill A. Shutemov | ac51b93 | 2015-02-10 14:10:02 -0800 | [diff] [blame] | 52 | link = &parent->shared.rb.rb_left; |
Michel Lespinasse | 6b2dbba | 2012-10-08 16:31:25 -0700 | [diff] [blame] | 53 | } |
| 54 | |
Kirill A. Shutemov | ac51b93 | 2015-02-10 14:10:02 -0800 | [diff] [blame] | 55 | node->shared.rb_subtree_last = last; |
| 56 | rb_link_node(&node->shared.rb, &parent->shared.rb, link); |
Davidlohr Bueso | f808c13 | 2017-09-08 16:15:08 -0700 | [diff] [blame] | 57 | rb_insert_augmented(&node->shared.rb, &root->rb_root, |
Michel Lespinasse | 9826a51 | 2012-10-08 16:31:35 -0700 | [diff] [blame] | 58 | &vma_interval_tree_augment); |
Michel Lespinasse | 6b2dbba | 2012-10-08 16:31:25 -0700 | [diff] [blame] | 59 | } |
Michel Lespinasse | bf181b9 | 2012-10-08 16:31:39 -0700 | [diff] [blame] | 60 | |
| 61 | static inline unsigned long avc_start_pgoff(struct anon_vma_chain *avc) |
| 62 | { |
| 63 | return vma_start_pgoff(avc->vma); |
| 64 | } |
| 65 | |
| 66 | static inline unsigned long avc_last_pgoff(struct anon_vma_chain *avc) |
| 67 | { |
| 68 | return vma_last_pgoff(avc->vma); |
| 69 | } |
| 70 | |
| 71 | INTERVAL_TREE_DEFINE(struct anon_vma_chain, rb, unsigned long, rb_subtree_last, |
Michel Lespinasse | ed8ea81 | 2012-10-08 16:31:45 -0700 | [diff] [blame] | 72 | avc_start_pgoff, avc_last_pgoff, |
| 73 | static inline, __anon_vma_interval_tree) |
| 74 | |
| 75 | void anon_vma_interval_tree_insert(struct anon_vma_chain *node, |
Davidlohr Bueso | f808c13 | 2017-09-08 16:15:08 -0700 | [diff] [blame] | 76 | struct rb_root_cached *root) |
Michel Lespinasse | ed8ea81 | 2012-10-08 16:31:45 -0700 | [diff] [blame] | 77 | { |
| 78 | #ifdef CONFIG_DEBUG_VM_RB |
| 79 | node->cached_vma_start = avc_start_pgoff(node); |
| 80 | node->cached_vma_last = avc_last_pgoff(node); |
| 81 | #endif |
| 82 | __anon_vma_interval_tree_insert(node, root); |
| 83 | } |
| 84 | |
| 85 | void anon_vma_interval_tree_remove(struct anon_vma_chain *node, |
Davidlohr Bueso | f808c13 | 2017-09-08 16:15:08 -0700 | [diff] [blame] | 86 | struct rb_root_cached *root) |
Michel Lespinasse | ed8ea81 | 2012-10-08 16:31:45 -0700 | [diff] [blame] | 87 | { |
| 88 | __anon_vma_interval_tree_remove(node, root); |
| 89 | } |
| 90 | |
| 91 | struct anon_vma_chain * |
Davidlohr Bueso | f808c13 | 2017-09-08 16:15:08 -0700 | [diff] [blame] | 92 | anon_vma_interval_tree_iter_first(struct rb_root_cached *root, |
Michel Lespinasse | ed8ea81 | 2012-10-08 16:31:45 -0700 | [diff] [blame] | 93 | unsigned long first, unsigned long last) |
| 94 | { |
| 95 | return __anon_vma_interval_tree_iter_first(root, first, last); |
| 96 | } |
| 97 | |
| 98 | struct anon_vma_chain * |
| 99 | anon_vma_interval_tree_iter_next(struct anon_vma_chain *node, |
| 100 | unsigned long first, unsigned long last) |
| 101 | { |
| 102 | return __anon_vma_interval_tree_iter_next(node, first, last); |
| 103 | } |
| 104 | |
| 105 | #ifdef CONFIG_DEBUG_VM_RB |
| 106 | void anon_vma_interval_tree_verify(struct anon_vma_chain *node) |
| 107 | { |
| 108 | WARN_ON_ONCE(node->cached_vma_start != avc_start_pgoff(node)); |
| 109 | WARN_ON_ONCE(node->cached_vma_last != avc_last_pgoff(node)); |
| 110 | } |
| 111 | #endif |