All of lore.kernel.org
 help / color / mirror / Atom feed
* [PATCH] mm/vmalloc: a slight change of compare target in __insert_vmap_area()
@ 2017-05-24 10:03 ` Wei Yang
  0 siblings, 0 replies; 16+ messages in thread
From: Wei Yang @ 2017-05-24 10:03 UTC (permalink / raw)
  To: akpm, mhocko; +Cc: linux-mm, linux-kernel, Wei Yang

The vmap RB tree store the elements in order and no overlap between any of
them. The comparison in __insert_vmap_area() is to decide which direction
the search should follow and make sure the new vmap_area is not overlap
with any other.

Current implementation fails to do the overlap check.

When first "if" is not true, it means

    va->va_start >= tmp_va->va_end

And with the truth

    xxx->va_end > xxx->va_start

The deduction is

    va->va_end > tmp_va->va_start

which is the condition in second "if".

This patch changes a little of the comparison in __insert_vmap_area() to
make sure it forbids the overlapped vmap_area.

Signed-off-by: Wei Yang <richard.weiyang@gmail.com>
---
 mm/vmalloc.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/mm/vmalloc.c b/mm/vmalloc.c
index 0b057628a7ba..8087451cb332 100644
--- a/mm/vmalloc.c
+++ b/mm/vmalloc.c
@@ -360,9 +360,9 @@ static void __insert_vmap_area(struct vmap_area *va)
 
 		parent = *p;
 		tmp_va = rb_entry(parent, struct vmap_area, rb_node);
-		if (va->va_start < tmp_va->va_end)
+		if (va->va_end <= tmp_va->va_start)
 			p = &(*p)->rb_left;
-		else if (va->va_end > tmp_va->va_start)
+		else if (va->va_start >= tmp_va->va_end)
 			p = &(*p)->rb_right;
 		else
 			BUG();
-- 
2.11.0

^ permalink raw reply related	[flat|nested] 16+ messages in thread

end of thread, other threads:[~2017-06-03  2:29 UTC | newest]

Thread overview: 16+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-05-24 10:03 [PATCH] mm/vmalloc: a slight change of compare target in __insert_vmap_area() Wei Yang
2017-05-24 10:03 ` Wei Yang
2017-05-24 12:11 ` Michal Hocko
2017-05-24 12:11   ` Michal Hocko
2017-05-24 15:07   ` Wei Yang
2017-05-25  5:39     ` Michal Hocko
2017-05-25  5:39       ` Michal Hocko
2017-05-25  3:04 ` zhong jiang
2017-05-25  3:04   ` zhong jiang
2017-05-26  1:36   ` Wei Yang
2017-05-26  1:55     ` zhong jiang
2017-05-26  1:55       ` zhong jiang
2017-06-02  1:45       ` Wei Yang
2017-06-02  2:26         ` zhong jiang
2017-06-02  2:26           ` zhong jiang
2017-06-03  2:28           ` Wei Yang

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.