[PATCH 4/8] lib min_heap: add eqaware variant of min_heap_pop()

From: Kuan-Wei Chiu
Date: Tue Jun 10 2025 - 17:56:51 EST


Introduce min_heap_pop_eqaware() as a variant of min_heap_pop() that
uses the equality-aware version of sift_down, which is implemented in a
top-down manner.

This top-down sift_down reduces the number of comparisons from
O(log2(n)) to O(1) in cases where many elements have equal priority. It
enables more efficient heap construction when the heap contains a large
number of equal elements.

Cc: stable@xxxxxxxxxxxxxxx # 6.11+
Signed-off-by: Kuan-Wei Chiu <visitorckw@xxxxxxxxx>
---
include/linux/min_heap.h | 19 ++++++++++++++-----
lib/min_heap.c | 4 ++--
2 files changed, 16 insertions(+), 7 deletions(-)

diff --git a/include/linux/min_heap.h b/include/linux/min_heap.h
index c2f6e1450505..6c45d617b027 100644
--- a/include/linux/min_heap.h
+++ b/include/linux/min_heap.h
@@ -392,9 +392,11 @@ void __min_heapify_all_inline(min_heap_char *heap, size_t elem_size,
/* Remove minimum element from the heap, O(log2(nr)). */
static __always_inline
bool __min_heap_pop_inline(min_heap_char *heap, size_t elem_size,
- const struct min_heap_callbacks *func, void *args)
+ const struct min_heap_callbacks *func, void *args, bool eqaware)
{
void *data = heap->data;
+ siftdown_fn_t sift_down = eqaware ? __min_heap_sift_down_eqaware_inline :
+ __min_heap_sift_down_inline;

if (WARN_ONCE(heap->nr <= 0, "Popping an empty heap"))
return false;
@@ -402,14 +404,18 @@ bool __min_heap_pop_inline(min_heap_char *heap, size_t elem_size,
/* Place last element at the root (position 0) and then sift down. */
heap->nr--;
memcpy(data, data + (heap->nr * elem_size), elem_size);
- __min_heap_sift_down_inline(heap, 0, elem_size, func, args);
+ sift_down(heap, 0, elem_size, func, args);

return true;
}

#define min_heap_pop_inline(_heap, _func, _args) \
__min_heap_pop_inline(container_of(&(_heap)->nr, min_heap_char, nr), \
- __minheap_obj_size(_heap), _func, _args)
+ __minheap_obj_size(_heap), _func, _args, false)
+
+#define min_heap_pop_eqaware_inline(_heap, _func, _args) \
+ __min_heap_pop_inline(container_of(&(_heap)->nr, min_heap_char, nr), \
+ __minheap_obj_size(_heap), _func, _args, true)

/*
* Remove the minimum element and then push the given element. The
@@ -495,7 +501,7 @@ void __min_heap_sift_up(min_heap_char *heap, size_t elem_size, size_t idx,
void __min_heapify_all(min_heap_char *heap, size_t elem_size,
const struct min_heap_callbacks *func, void *args, bool eqaware);
bool __min_heap_pop(min_heap_char *heap, size_t elem_size,
- const struct min_heap_callbacks *func, void *args);
+ const struct min_heap_callbacks *func, void *args, bool eqaware);
void __min_heap_pop_push(min_heap_char *heap, const void *element, size_t elem_size,
const struct min_heap_callbacks *func, void *args);
bool __min_heap_push(min_heap_char *heap, const void *element, size_t elem_size,
@@ -526,7 +532,10 @@ bool __min_heap_del(min_heap_char *heap, size_t elem_size, size_t idx,
__minheap_obj_size(_heap), _func, _args, true)
#define min_heap_pop(_heap, _func, _args) \
__min_heap_pop(container_of(&(_heap)->nr, min_heap_char, nr), \
- __minheap_obj_size(_heap), _func, _args)
+ __minheap_obj_size(_heap), _func, _args, false)
+#define min_heap_pop_eqaware(_heap, _func, _args) \
+ __min_heap_pop(container_of(&(_heap)->nr, min_heap_char, nr), \
+ __minheap_obj_size(_heap), _func, _args, true)
#define min_heap_pop_push(_heap, _element, _func, _args) \
__min_heap_pop_push(container_of(&(_heap)->nr, min_heap_char, nr), _element, \
__minheap_obj_size(_heap), _func, _args)
diff --git a/lib/min_heap.c b/lib/min_heap.c
index a422cfaff196..dae3ed39421a 100644
--- a/lib/min_heap.c
+++ b/lib/min_heap.c
@@ -49,9 +49,9 @@ void __min_heapify_all(min_heap_char *heap, size_t elem_size,
EXPORT_SYMBOL(__min_heapify_all);

bool __min_heap_pop(min_heap_char *heap, size_t elem_size,
- const struct min_heap_callbacks *func, void *args)
+ const struct min_heap_callbacks *func, void *args, bool eqaware)
{
- return __min_heap_pop_inline(heap, elem_size, func, args);
+ return __min_heap_pop_inline(heap, elem_size, func, args, eqaware);
}
EXPORT_SYMBOL(__min_heap_pop);

--
2.34.1