| /* SPDX-License-Identifier: GPL-2.0 */ |
| #ifndef _LINUX_MIN_HEAP_H |
| #define _LINUX_MIN_HEAP_H |
| |
| #include <linux/bug.h> |
| #include <linux/string.h> |
| #include <linux/types.h> |
| |
| /** |
| * struct min_heap - Data structure to hold a min-heap. |
| * @data: Start of array holding the heap elements. |
| * @nr: Number of elements currently in the heap. |
| * @size: Maximum number of elements that can be held in current storage. |
| */ |
| struct min_heap { |
| void *data; |
| int nr; |
| int size; |
| }; |
| |
| /** |
| * struct min_heap_callbacks - Data/functions to customise the min_heap. |
| * @elem_size: The nr of each element in bytes. |
| * @less: Partial order function for this heap. |
| * @swp: Swap elements function. |
| */ |
| struct min_heap_callbacks { |
| int elem_size; |
| bool (*less)(const void *lhs, const void *rhs); |
| void (*swp)(void *lhs, void *rhs); |
| }; |
| |
| /* Sift the element at pos down the heap. */ |
| static __always_inline |
| void min_heapify(struct min_heap *heap, int pos, |
| const struct min_heap_callbacks *func) |
| { |
| void *left, *right; |
| void *data = heap->data; |
| void *root = data + pos * func->elem_size; |
| int i = pos, j; |
| |
| /* Find the sift-down path all the way to the leaves. */ |
| for (;;) { |
| if (i * 2 + 2 >= heap->nr) |
| break; |
| left = data + (i * 2 + 1) * func->elem_size; |
| right = data + (i * 2 + 2) * func->elem_size; |
| i = func->less(left, right) ? i * 2 + 1 : i * 2 + 2; |
| } |
| |
| /* Special case for the last leaf with no sibling. */ |
| if (i * 2 + 2 == heap->nr) |
| i = i * 2 + 1; |
| |
| /* Backtrack to the correct location. */ |
| while (i != pos && func->less(root, data + i * func->elem_size)) |
| i = (i - 1) / 2; |
| |
| /* Shift the element into its correct place. */ |
| j = i; |
| while (i != pos) { |
| i = (i - 1) / 2; |
| func->swp(data + i * func->elem_size, data + j * func->elem_size); |
| } |
| } |
| |
| /* Floyd's approach to heapification that is O(nr). */ |
| static __always_inline |
| void min_heapify_all(struct min_heap *heap, |
| const struct min_heap_callbacks *func) |
| { |
| int i; |
| |
| for (i = heap->nr / 2 - 1; i >= 0; i--) |
| min_heapify(heap, i, func); |
| } |
| |
| /* Remove minimum element from the heap, O(log2(nr)). */ |
| static __always_inline |
| void min_heap_pop(struct min_heap *heap, |
| const struct min_heap_callbacks *func) |
| { |
| void *data = heap->data; |
| |
| if (WARN_ONCE(heap->nr <= 0, "Popping an empty heap")) |
| return; |
| |
| /* Place last element at the root (position 0) and then sift down. */ |
| heap->nr--; |
| memcpy(data, data + (heap->nr * func->elem_size), func->elem_size); |
| min_heapify(heap, 0, func); |
| } |
| |
| /* |
| * Remove the minimum element and then push the given element. The |
| * implementation performs 1 sift (O(log2(nr))) and is therefore more |
| * efficient than a pop followed by a push that does 2. |
| */ |
| static __always_inline |
| void min_heap_pop_push(struct min_heap *heap, |
| const void *element, |
| const struct min_heap_callbacks *func) |
| { |
| memcpy(heap->data, element, func->elem_size); |
| min_heapify(heap, 0, func); |
| } |
| |
| /* Push an element on to the heap, O(log2(nr)). */ |
| static __always_inline |
| void min_heap_push(struct min_heap *heap, const void *element, |
| const struct min_heap_callbacks *func) |
| { |
| void *data = heap->data; |
| void *child, *parent; |
| int pos; |
| |
| if (WARN_ONCE(heap->nr >= heap->size, "Pushing on a full heap")) |
| return; |
| |
| /* Place at the end of data. */ |
| pos = heap->nr; |
| memcpy(data + (pos * func->elem_size), element, func->elem_size); |
| heap->nr++; |
| |
| /* Sift child at pos up. */ |
| for (; pos > 0; pos = (pos - 1) / 2) { |
| child = data + (pos * func->elem_size); |
| parent = data + ((pos - 1) / 2) * func->elem_size; |
| if (func->less(parent, child)) |
| break; |
| func->swp(parent, child); |
| } |
| } |
| |
| #endif /* _LINUX_MIN_HEAP_H */ |