mm/mmap.c: rb_parent is not necessary in __vma_link_list

Now we use rb_parent to get next, while this is not necessary.

When prev is NULL, this means vma should be the first element in the list. Then next should be current first one (mm->mmap), no matter whether we have parent or not.

After removing it, the code shows the beauty of symmetry.

Quoted 7 lines · Wei Yang

Now we use rb_parent to get next, while this is not necessary.

When prev is NULL, this means vma should be the first element in the list. Then next should be current first one (mm->mmap), no matter whether we have parent or not.

After removing it, the code shows the beauty of symmetry.

Uhh ... did you test this?

mm/util.c void __vma_link_list(struct mm_struct *mm, struct vm_area_struct *vma, · line 278

Quoted 12 lines

mm/util.c +1 -5

@@ -273,12 +273,8 @@ void __vma_link_list(struct mm_struct *mm, struct vm_area_struct *vma,
 		next = prev->vm_next;
 		prev->vm_next = vma;
 	} else {
+		next = mm->mmap;
 		mm->mmap = vma;
-		if (rb_parent)
-			next = rb_entry(rb_parent,
-					struct vm_area_struct, vm_rb);
-		else
-			next = NULL;
 	}

The full context is:

       if (prev) {
               next = prev->vm_next;
               prev->vm_next = vma;
       } else {
               mm->mmap = vma;
               if (rb_parent)
                       next = rb_entry(rb_parent,
                                       struct vm_area_struct, vm_rb);
               else
                       next = NULL;
       }

Let's imagine we have a small tree with three ranges in it.

A: 5-7
B: 8-10
C: 11-13

I would imagine an rbtree for this case has B at the top with A to its left and B to its right.

Now we're going to add range D at 3-4. 'next' should clearly be range A. It will have NULL prev. Your code is going to make 'B' next, not A. Right?

Quoted 7 lines · Wei Yang

Now we use rb_parent to get next, while this is not necessary.

When prev is NULL, this means vma should be the first element in the list. Then next should be current first one (mm->mmap), no matter whether we have parent or not.

After removing it, the code shows the beauty of symmetry.

Uhh ... did you test this?

Now we use rb_parent to get next, while this is not necessary.

When prev is NULL, this means vma should be the first element in the list. Then next should be current first one (mm->mmap), no matter whether we have parent or not.

After removing it, the code shows the beauty of symmetry.

Signed-off-by Wei Yang <[email protected]>

---

mm/internal.h | 2 +-
mm/mmap.c     | 2 +-
mm/nommu.c    | 2 +-
mm/util.c     | 8 ++------
4 files changed, 5 insertions(+), 9 deletions(-)

mm/internal.h +1 -1

index e32390802fd3..41a49574acc3 100644
@@ -290,7 +290,7 @@ static inline bool is_data_mapping(vm_flags_t flags)
 
 /* mm/util.c */
 void __vma_link_list(struct mm_struct *mm, struct vm_area_struct *vma,
-		struct vm_area_struct *prev, struct rb_node *rb_parent);
+		struct vm_area_struct *prev);
 
 #ifdef CONFIG_MMU
 extern long populate_vma_page_range(struct vm_area_struct *vma,

mm/mmap.c +1 -1

index f7ed0afb994c..b8072630766f 100644
@@ -632,7 +632,7 @@ __vma_link(struct mm_struct *mm, struct vm_area_struct *vma,
 	struct vm_area_struct *prev, struct rb_node **rb_link,
 	struct rb_node *rb_parent)
 {
-	__vma_link_list(mm, vma, prev, rb_parent);
+	__vma_link_list(mm, vma, prev);
 	__vma_link_rb(mm, vma, rb_link, rb_parent);
 }
 

mm/nommu.c +1 -1

index fed1b6e9c89b..12a66fbeb988 100644
@@ -637,7 +637,7 @@ static void add_vma_to_mm(struct mm_struct *mm, struct vm_area_struct *vma)
 	if (rb_prev)
 		prev = rb_entry(rb_prev, struct vm_area_struct, vm_rb);
 
-	__vma_link_list(mm, vma, prev, parent);
+	__vma_link_list(mm, vma, prev);
 }
 
 /*

mm/util.c +2 -6

index e6351a80f248..80632db29247 100644
@@ -264,7 +264,7 @@ void *memdup_user_nul(const void __user *src, size_t len)
 EXPORT_SYMBOL(memdup_user_nul);
 
 void __vma_link_list(struct mm_struct *mm, struct vm_area_struct *vma,
-		struct vm_area_struct *prev, struct rb_node *rb_parent)
+		struct vm_area_struct *prev)
 {
 	struct vm_area_struct *next;
 

@@ -273,12 +273,8 @@ void __vma_link_list(struct mm_struct *mm, struct vm_area_struct *vma,
 		next = prev->vm_next;
 		prev->vm_next = vma;
 	} else {
+		next = mm->mmap;
 		mm->mmap = vma;
-		if (rb_parent)
-			next = rb_entry(rb_parent,
-					struct vm_area_struct, vm_rb);
-		else
-			next = NULL;
 	}
 	vma->vm_next = next;
 	if (next)

Signature · 1 line

2.17.1