Commit dd98afd4 authored by Yu Zhao's avatar Yu Zhao Committed by Linus Torvalds

mm/slub.c: clean up validate_slab()

The function doesn't need to return any value, and the check can be done
in one pass.

There is a behavior change: before the patch, we stop at the first invalid
free object; after the patch, we stop at the first invalid object, free or
in use.  This shouldn't matter because the original behavior isn't
intended anyway.

Link: http://lkml.kernel.org/r/20191108193958.205102-1-yuzhao@google.comSigned-off-by: default avatarYu Zhao <yuzhao@google.com>
Acked-by: default avatarKirill A. Shutemov <kirill.shutemov@linux.intel.com>
Cc: Christoph Lameter <cl@linux.com>
Cc: Pekka Enberg <penberg@kernel.org>
Cc: David Rientjes <rientjes@google.com>
Cc: Joonsoo Kim <iamjoonsoo.kim@lge.com>
Cc: Tetsuo Handa <penguin-kernel@i-love.sakura.ne.jp>
Cc: Yu Zhao <yuzhao@google.com>
Signed-off-by: default avatarAndrew Morton <akpm@linux-foundation.org>
Signed-off-by: default avatarLinus Torvalds <torvalds@linux-foundation.org>
parent aed68148
...@@ -4384,31 +4384,26 @@ static int count_total(struct page *page) ...@@ -4384,31 +4384,26 @@ static int count_total(struct page *page)
#endif #endif
#ifdef CONFIG_SLUB_DEBUG #ifdef CONFIG_SLUB_DEBUG
static int validate_slab(struct kmem_cache *s, struct page *page, static void validate_slab(struct kmem_cache *s, struct page *page,
unsigned long *map) unsigned long *map)
{ {
void *p; void *p;
void *addr = page_address(page); void *addr = page_address(page);
if (!check_slab(s, page) || if (!check_slab(s, page) || !on_freelist(s, page, NULL))
!on_freelist(s, page, NULL)) return;
return 0;
/* Now we know that a valid freelist exists */ /* Now we know that a valid freelist exists */
bitmap_zero(map, page->objects); bitmap_zero(map, page->objects);
get_map(s, page, map); get_map(s, page, map);
for_each_object(p, s, addr, page->objects) { for_each_object(p, s, addr, page->objects) {
if (test_bit(slab_index(p, s, addr), map)) u8 val = test_bit(slab_index(p, s, addr), map) ?
if (!check_object(s, page, p, SLUB_RED_INACTIVE)) SLUB_RED_INACTIVE : SLUB_RED_ACTIVE;
return 0;
}
for_each_object(p, s, addr, page->objects) if (!check_object(s, page, p, val))
if (!test_bit(slab_index(p, s, addr), map)) break;
if (!check_object(s, page, p, SLUB_RED_ACTIVE)) }
return 0;
return 1;
} }
static void validate_slab_slab(struct kmem_cache *s, struct page *page, static void validate_slab_slab(struct kmem_cache *s, struct page *page,
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment