xref: /xnu-8792.41.9/libkern/c++/priority_queue.cpp (revision 5c2921b07a2480ab43ec66f5b9e41cb872bc554f)
1*5c2921b0SApple OSS Distributions /*
2*5c2921b0SApple OSS Distributions  * Copyright (c) 2018 Apple Inc. All rights reserved.
3*5c2921b0SApple OSS Distributions  *
4*5c2921b0SApple OSS Distributions  * @APPLE_OSREFERENCE_LICENSE_HEADER_START@
5*5c2921b0SApple OSS Distributions  *
6*5c2921b0SApple OSS Distributions  * This file contains Original Code and/or Modifications of Original Code
7*5c2921b0SApple OSS Distributions  * as defined in and that are subject to the Apple Public Source License
8*5c2921b0SApple OSS Distributions  * Version 2.0 (the 'License'). You may not use this file except in
9*5c2921b0SApple OSS Distributions  * compliance with the License. The rights granted to you under the License
10*5c2921b0SApple OSS Distributions  * may not be used to create, or enable the creation or redistribution of,
11*5c2921b0SApple OSS Distributions  * unlawful or unlicensed copies of an Apple operating system, or to
12*5c2921b0SApple OSS Distributions  * circumvent, violate, or enable the circumvention or violation of, any
13*5c2921b0SApple OSS Distributions  * terms of an Apple operating system software license agreement.
14*5c2921b0SApple OSS Distributions  *
15*5c2921b0SApple OSS Distributions  * Please obtain a copy of the License at
16*5c2921b0SApple OSS Distributions  * http://www.opensource.apple.com/apsl/ and read it before using this file.
17*5c2921b0SApple OSS Distributions  *
18*5c2921b0SApple OSS Distributions  * The Original Code and all software distributed under the License are
19*5c2921b0SApple OSS Distributions  * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
20*5c2921b0SApple OSS Distributions  * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
21*5c2921b0SApple OSS Distributions  * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
22*5c2921b0SApple OSS Distributions  * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
23*5c2921b0SApple OSS Distributions  * Please see the License for the specific language governing rights and
24*5c2921b0SApple OSS Distributions  * limitations under the License.
25*5c2921b0SApple OSS Distributions  *
26*5c2921b0SApple OSS Distributions  * @APPLE_OSREFERENCE_LICENSE_HEADER_END@
27*5c2921b0SApple OSS Distributions  */
28*5c2921b0SApple OSS Distributions 
29*5c2921b0SApple OSS Distributions #if KERNEL
30*5c2921b0SApple OSS Distributions #include <kern/priority_queue.h>
31*5c2921b0SApple OSS Distributions #include <mach/vm_param.h>
32*5c2921b0SApple OSS Distributions #if CONFIG_KERNEL_TBI && KASAN_TBI
33*5c2921b0SApple OSS Distributions #include <san/kasan.h>
34*5c2921b0SApple OSS Distributions #endif /* CONFIG_KERNEL_TBI && KASAN_TBI */
35*5c2921b0SApple OSS Distributions 
36*5c2921b0SApple OSS Distributions #ifdef __LP64__
37*5c2921b0SApple OSS Distributions static_assert(PRIORITY_QUEUE_ENTRY_CHILD_BITS >= VM_KERNEL_POINTER_SIGNIFICANT_BITS,
38*5c2921b0SApple OSS Distributions     "Priority Queue child pointer packing failed");
39*5c2921b0SApple OSS Distributions #endif
40*5c2921b0SApple OSS Distributions #endif // KERNEL
41*5c2921b0SApple OSS Distributions 
42*5c2921b0SApple OSS Distributions #pragma mark priority queue helpers
43*5c2921b0SApple OSS Distributions 
44*5c2921b0SApple OSS Distributions /*
45*5c2921b0SApple OSS Distributions  * These traits allow to parametrize `struct pqueue` below.
46*5c2921b0SApple OSS Distributions  */
47*5c2921b0SApple OSS Distributions 
48*5c2921b0SApple OSS Distributions template <typename queue_t, typename entry_t>
49*5c2921b0SApple OSS Distributions struct pqueue_entry_traits {
50*5c2921b0SApple OSS Distributions 	/*
51*5c2921b0SApple OSS Distributions 	 * Explain how to compare two elements in the natural order.
52*5c2921b0SApple OSS Distributions 	 */
53*5c2921b0SApple OSS Distributions 	static inline int
54*5c2921b0SApple OSS Distributions 	compare(queue_t que, entry_t a, entry_t b);
55*5c2921b0SApple OSS Distributions };
56*5c2921b0SApple OSS Distributions 
57*5c2921b0SApple OSS Distributions template <typename queue_t>
58*5c2921b0SApple OSS Distributions struct pqueue_entry_traits<queue_t, priority_queue_entry_t> {
59*5c2921b0SApple OSS Distributions 	static inline int
comparepqueue_entry_traits60*5c2921b0SApple OSS Distributions 	compare(queue_t que, priority_queue_entry_t e1, priority_queue_entry_t e2)
61*5c2921b0SApple OSS Distributions 	{
62*5c2921b0SApple OSS Distributions 		return que->pq_cmp_fn(e1, e2);
63*5c2921b0SApple OSS Distributions 	}
64*5c2921b0SApple OSS Distributions };
65*5c2921b0SApple OSS Distributions 
66*5c2921b0SApple OSS Distributions template <typename queue_t>
67*5c2921b0SApple OSS Distributions struct pqueue_entry_traits<queue_t, priority_queue_entry_deadline_t> {
68*5c2921b0SApple OSS Distributions 	static inline int
comparepqueue_entry_traits69*5c2921b0SApple OSS Distributions 	compare(queue_t que __unused,
70*5c2921b0SApple OSS Distributions 	    priority_queue_entry_deadline_t e1, priority_queue_entry_deadline_t e2)
71*5c2921b0SApple OSS Distributions 	{
72*5c2921b0SApple OSS Distributions 		return priority_heap_compare_ints(e1->deadline, e2->deadline);
73*5c2921b0SApple OSS Distributions 	}
74*5c2921b0SApple OSS Distributions };
75*5c2921b0SApple OSS Distributions 
76*5c2921b0SApple OSS Distributions template <typename queue_t>
77*5c2921b0SApple OSS Distributions struct pqueue_entry_traits<queue_t, priority_queue_entry_sched_t> {
78*5c2921b0SApple OSS Distributions 	static inline int
comparepqueue_entry_traits79*5c2921b0SApple OSS Distributions 	compare(queue_t que __unused,
80*5c2921b0SApple OSS Distributions 	    priority_queue_entry_sched_t e1, priority_queue_entry_sched_t e2)
81*5c2921b0SApple OSS Distributions 	{
82*5c2921b0SApple OSS Distributions 		return (int)e2->key - (int)e1->key;
83*5c2921b0SApple OSS Distributions 	}
84*5c2921b0SApple OSS Distributions };
85*5c2921b0SApple OSS Distributions 
86*5c2921b0SApple OSS Distributions template <typename queue_t>
87*5c2921b0SApple OSS Distributions struct pqueue_entry_traits<queue_t, priority_queue_entry_stable_t> {
88*5c2921b0SApple OSS Distributions 	static inline int
comparepqueue_entry_traits89*5c2921b0SApple OSS Distributions 	compare(queue_t que __unused,
90*5c2921b0SApple OSS Distributions 	    priority_queue_entry_stable_t e1, priority_queue_entry_stable_t e2)
91*5c2921b0SApple OSS Distributions 	{
92*5c2921b0SApple OSS Distributions 		/*
93*5c2921b0SApple OSS Distributions 		 * the key is (2 * pri + preempted) so preempted entries
94*5c2921b0SApple OSS Distributions 		 * sort "higher" than non preempted entries at the same priority.
95*5c2921b0SApple OSS Distributions 		 */
96*5c2921b0SApple OSS Distributions 		if (e1->key != e2->key) {
97*5c2921b0SApple OSS Distributions 			return (int)e2->key - (int)e1->key;
98*5c2921b0SApple OSS Distributions 		}
99*5c2921b0SApple OSS Distributions 		if (e1->stamp != e2->stamp) {
100*5c2921b0SApple OSS Distributions 			/*
101*5c2921b0SApple OSS Distributions 			 * preempted entries:     younger (bigger timestamp)  is "higher"
102*5c2921b0SApple OSS Distributions 			 * non preempted entries: older   (smaller timestamp) is "higher"
103*5c2921b0SApple OSS Distributions 			 */
104*5c2921b0SApple OSS Distributions 			if (e1->key & PRIORITY_QUEUE_ENTRY_PREEMPTED) {
105*5c2921b0SApple OSS Distributions 				return e1->stamp < e2->stamp ? 1 : -1;
106*5c2921b0SApple OSS Distributions 			} else {
107*5c2921b0SApple OSS Distributions 				return e1->stamp > e2->stamp ? 1 : -1;
108*5c2921b0SApple OSS Distributions 			}
109*5c2921b0SApple OSS Distributions 		}
110*5c2921b0SApple OSS Distributions 		return 0;
111*5c2921b0SApple OSS Distributions 	}
112*5c2921b0SApple OSS Distributions };
113*5c2921b0SApple OSS Distributions 
114*5c2921b0SApple OSS Distributions #pragma mark main template
115*5c2921b0SApple OSS Distributions 
116*5c2921b0SApple OSS Distributions /*
117*5c2921b0SApple OSS Distributions  * Template for our priority queue.
118*5c2921b0SApple OSS Distributions  *
119*5c2921b0SApple OSS Distributions  * It is parametrized with:
120*5c2921b0SApple OSS Distributions  * - `queue_t`: the queue type
121*5c2921b0SApple OSS Distributions  * - `entry_t`: the element type
122*5c2921b0SApple OSS Distributions  *
123*5c2921b0SApple OSS Distributions  * It will use:
124*5c2921b0SApple OSS Distributions  * - priority_queue_is_min_heap() to determine if it is a min/max heap
125*5c2921b0SApple OSS Distributions  * - pqueue_entry_traits<queue_t, entry_t>::compare for the ordering
126*5c2921b0SApple OSS Distributions  */
127*5c2921b0SApple OSS Distributions template <typename queue_t, typename entry_t>
128*5c2921b0SApple OSS Distributions struct pqueue {
129*5c2921b0SApple OSS Distributions 	using entry_traits = pqueue_entry_traits<queue_t, entry_t>;
130*5c2921b0SApple OSS Distributions 
131*5c2921b0SApple OSS Distributions 	static inline void
pack_childpqueue132*5c2921b0SApple OSS Distributions 	pack_child(entry_t e, const entry_t child)
133*5c2921b0SApple OSS Distributions 	{
134*5c2921b0SApple OSS Distributions #if CONFIG_KERNEL_TBI && KASAN_TBI
135*5c2921b0SApple OSS Distributions 		e->tag = kasan_tbi_get_tag((long)child);
136*5c2921b0SApple OSS Distributions #endif /* CONFIG_KERNEL_TBI && KASAN_TBI */
137*5c2921b0SApple OSS Distributions 		e->child = (long)child;
138*5c2921b0SApple OSS Distributions 	}
139*5c2921b0SApple OSS Distributions 
140*5c2921b0SApple OSS Distributions 	static inline entry_t
unpack_childpqueue141*5c2921b0SApple OSS Distributions 	unpack_child(entry_t e)
142*5c2921b0SApple OSS Distributions 	{
143*5c2921b0SApple OSS Distributions #if CONFIG_KERNEL_TBI && KASAN_TBI
144*5c2921b0SApple OSS Distributions 		return (entry_t)(kasan_tbi_tag_ptr(e->child, e->tag));
145*5c2921b0SApple OSS Distributions #endif /* CONFIG_KERNEL_TBI && KASAN_TBI */
146*5c2921b0SApple OSS Distributions 		return (entry_t)e->child;
147*5c2921b0SApple OSS Distributions 	}
148*5c2921b0SApple OSS Distributions 
149*5c2921b0SApple OSS Distributions private:
150*5c2921b0SApple OSS Distributions 	static inline bool
merge_parent_is_subtree_bpqueue151*5c2921b0SApple OSS Distributions 	merge_parent_is_subtree_b(queue_t que, entry_t subtree_a, entry_t subtree_b)
152*5c2921b0SApple OSS Distributions 	{
153*5c2921b0SApple OSS Distributions 		if (priority_queue_is_max_heap((queue_t)nullptr)) {
154*5c2921b0SApple OSS Distributions 			return entry_traits::compare(que, subtree_a, subtree_b) > 0;
155*5c2921b0SApple OSS Distributions 		}
156*5c2921b0SApple OSS Distributions 		return entry_traits::compare(que, subtree_a, subtree_b) < 0;
157*5c2921b0SApple OSS Distributions 	}
158*5c2921b0SApple OSS Distributions 
159*5c2921b0SApple OSS Distributions 	static inline entry_t
merge_pair_inlinepqueue160*5c2921b0SApple OSS Distributions 	merge_pair_inline(queue_t que, entry_t subtree_a, entry_t subtree_b)
161*5c2921b0SApple OSS Distributions 	{
162*5c2921b0SApple OSS Distributions 		entry_t merge_result = NULL;
163*5c2921b0SApple OSS Distributions 		if (subtree_a == NULL) {
164*5c2921b0SApple OSS Distributions 			merge_result = subtree_b;
165*5c2921b0SApple OSS Distributions 		} else if (subtree_b == NULL || (subtree_a == subtree_b)) {
166*5c2921b0SApple OSS Distributions 			merge_result = subtree_a;
167*5c2921b0SApple OSS Distributions 		} else {
168*5c2921b0SApple OSS Distributions 			entry_t parent = subtree_a;
169*5c2921b0SApple OSS Distributions 			entry_t child = subtree_b;
170*5c2921b0SApple OSS Distributions 			if (merge_parent_is_subtree_b(que, subtree_a, subtree_b)) {
171*5c2921b0SApple OSS Distributions 				parent = subtree_b;
172*5c2921b0SApple OSS Distributions 				child = subtree_a;
173*5c2921b0SApple OSS Distributions 			}
174*5c2921b0SApple OSS Distributions 			/* Insert the child as the first element in the parent's child list */
175*5c2921b0SApple OSS Distributions 			child->next = unpack_child(parent);
176*5c2921b0SApple OSS Distributions 			child->prev = parent;
177*5c2921b0SApple OSS Distributions 			if (unpack_child(parent) != NULL) {
178*5c2921b0SApple OSS Distributions 				unpack_child(parent)->prev = child;
179*5c2921b0SApple OSS Distributions 			}
180*5c2921b0SApple OSS Distributions 			/* Create the parent child relationship */
181*5c2921b0SApple OSS Distributions 			pack_child(parent, child);
182*5c2921b0SApple OSS Distributions 			parent->next = NULL;
183*5c2921b0SApple OSS Distributions 			parent->prev = NULL;
184*5c2921b0SApple OSS Distributions 			merge_result = parent;
185*5c2921b0SApple OSS Distributions 		}
186*5c2921b0SApple OSS Distributions 		return merge_result;
187*5c2921b0SApple OSS Distributions 	}
188*5c2921b0SApple OSS Distributions 
189*5c2921b0SApple OSS Distributions 	OS_NOINLINE
190*5c2921b0SApple OSS Distributions 	static entry_t
merge_pairpqueue191*5c2921b0SApple OSS Distributions 	merge_pair(queue_t que, entry_t subtree_a, entry_t subtree_b)
192*5c2921b0SApple OSS Distributions 	{
193*5c2921b0SApple OSS Distributions 		return merge_pair_inline(que, subtree_a, subtree_b);
194*5c2921b0SApple OSS Distributions 	}
195*5c2921b0SApple OSS Distributions 
196*5c2921b0SApple OSS Distributions 	OS_NOINLINE
197*5c2921b0SApple OSS Distributions 	static entry_t
meld_pairpqueue198*5c2921b0SApple OSS Distributions 	meld_pair(queue_t que, entry_t elt)
199*5c2921b0SApple OSS Distributions 	{
200*5c2921b0SApple OSS Distributions 		entry_t pq_meld_result = NULL;
201*5c2921b0SApple OSS Distributions 		entry_t pair_list = NULL;
202*5c2921b0SApple OSS Distributions 
203*5c2921b0SApple OSS Distributions 		assert(elt); // caller needs to check this.
204*5c2921b0SApple OSS Distributions 
205*5c2921b0SApple OSS Distributions 		/* Phase 1: */
206*5c2921b0SApple OSS Distributions 		/* Split the list into a set of pairs going front to back. */
207*5c2921b0SApple OSS Distributions 		/* Hook these pairs onto an intermediary list in reverse order of traversal.*/
208*5c2921b0SApple OSS Distributions 
209*5c2921b0SApple OSS Distributions 		do {
210*5c2921b0SApple OSS Distributions 			/* Consider two elements at a time for pairing */
211*5c2921b0SApple OSS Distributions 			entry_t pair_item_a = elt;
212*5c2921b0SApple OSS Distributions 			entry_t pair_item_b = elt->next;
213*5c2921b0SApple OSS Distributions 			if (pair_item_b == NULL) {
214*5c2921b0SApple OSS Distributions 				/* Odd number of elements in the list; link the odd element */
215*5c2921b0SApple OSS Distributions 				/* as it is on the intermediate list. */
216*5c2921b0SApple OSS Distributions 				pair_item_a->prev = pair_list;
217*5c2921b0SApple OSS Distributions 				pair_list = pair_item_a;
218*5c2921b0SApple OSS Distributions 				break;
219*5c2921b0SApple OSS Distributions 			}
220*5c2921b0SApple OSS Distributions 			/* Found two elements to pair up */
221*5c2921b0SApple OSS Distributions 			elt = pair_item_b->next;
222*5c2921b0SApple OSS Distributions 			entry_t pair = merge_pair_inline(que, pair_item_a, pair_item_b);
223*5c2921b0SApple OSS Distributions 			/* Link the pair onto the intermediary list */
224*5c2921b0SApple OSS Distributions 			pair->prev = pair_list;
225*5c2921b0SApple OSS Distributions 			pair_list = pair;
226*5c2921b0SApple OSS Distributions 		} while (elt != NULL);
227*5c2921b0SApple OSS Distributions 
228*5c2921b0SApple OSS Distributions 		/* Phase 2: Merge all the pairs in the pair_list */
229*5c2921b0SApple OSS Distributions 		do {
230*5c2921b0SApple OSS Distributions 			elt = pair_list->prev;
231*5c2921b0SApple OSS Distributions 			pq_meld_result = merge_pair_inline(que, pq_meld_result, pair_list);
232*5c2921b0SApple OSS Distributions 			pair_list = elt;
233*5c2921b0SApple OSS Distributions 		} while (pair_list != NULL);
234*5c2921b0SApple OSS Distributions 
235*5c2921b0SApple OSS Distributions 		return pq_meld_result;
236*5c2921b0SApple OSS Distributions 	}
237*5c2921b0SApple OSS Distributions 
238*5c2921b0SApple OSS Distributions 	static inline void
list_clearpqueue239*5c2921b0SApple OSS Distributions 	list_clear(entry_t e)
240*5c2921b0SApple OSS Distributions 	{
241*5c2921b0SApple OSS Distributions 		e->next = e->prev = NULL;
242*5c2921b0SApple OSS Distributions 	}
243*5c2921b0SApple OSS Distributions 
244*5c2921b0SApple OSS Distributions 	static inline void
list_removepqueue245*5c2921b0SApple OSS Distributions 	list_remove(entry_t elt)
246*5c2921b0SApple OSS Distributions 	{
247*5c2921b0SApple OSS Distributions 		assert(elt->prev != NULL);
248*5c2921b0SApple OSS Distributions 		/* Check if elt is head of list at its level;        */
249*5c2921b0SApple OSS Distributions 		/* If yes, make the next node the head at that level */
250*5c2921b0SApple OSS Distributions 		/* Else, remove elt from the list at that level      */
251*5c2921b0SApple OSS Distributions 		if (unpack_child(elt->prev) == elt) {
252*5c2921b0SApple OSS Distributions 			pack_child(elt->prev, elt->next);
253*5c2921b0SApple OSS Distributions 		} else {
254*5c2921b0SApple OSS Distributions 			elt->prev->next = elt->next;
255*5c2921b0SApple OSS Distributions 		}
256*5c2921b0SApple OSS Distributions 		/* Update prev for next element in list */
257*5c2921b0SApple OSS Distributions 		if (elt->next != NULL) {
258*5c2921b0SApple OSS Distributions 			elt->next->prev = elt->prev;
259*5c2921b0SApple OSS Distributions 		}
260*5c2921b0SApple OSS Distributions 		list_clear(elt);
261*5c2921b0SApple OSS Distributions 	}
262*5c2921b0SApple OSS Distributions 
263*5c2921b0SApple OSS Distributions 	static inline bool
sift_downpqueue264*5c2921b0SApple OSS Distributions 	sift_down(queue_t que, entry_t elt)
265*5c2921b0SApple OSS Distributions 	{
266*5c2921b0SApple OSS Distributions 		bool was_root = (que->pq_root == elt);
267*5c2921b0SApple OSS Distributions 
268*5c2921b0SApple OSS Distributions 		if (!was_root) {
269*5c2921b0SApple OSS Distributions 			remove_non_root(que, elt);
270*5c2921b0SApple OSS Distributions 			insert(que, elt, false);
271*5c2921b0SApple OSS Distributions 		} else if (unpack_child(elt)) {
272*5c2921b0SApple OSS Distributions 			remove_root(que, elt);
273*5c2921b0SApple OSS Distributions 			insert(que, elt, false);
274*5c2921b0SApple OSS Distributions 		} else {
275*5c2921b0SApple OSS Distributions 			/*
276*5c2921b0SApple OSS Distributions 			 * If the queue is reduced to a single element,
277*5c2921b0SApple OSS Distributions 			 * we have nothing to do.
278*5c2921b0SApple OSS Distributions 			 *
279*5c2921b0SApple OSS Distributions 			 * It is important not to, so that pq_root remains
280*5c2921b0SApple OSS Distributions 			 * non null at all times during priority changes,
281*5c2921b0SApple OSS Distributions 			 * so that unsynchronized peeking at the "emptiness"
282*5c2921b0SApple OSS Distributions 			 * of the priority queue works as expected.
283*5c2921b0SApple OSS Distributions 			 */
284*5c2921b0SApple OSS Distributions 		}
285*5c2921b0SApple OSS Distributions 		return was_root;
286*5c2921b0SApple OSS Distributions 	}
287*5c2921b0SApple OSS Distributions 
288*5c2921b0SApple OSS Distributions 	static inline bool
sift_uppqueue289*5c2921b0SApple OSS Distributions 	sift_up(queue_t que, entry_t elt)
290*5c2921b0SApple OSS Distributions 	{
291*5c2921b0SApple OSS Distributions 		if (elt == que->pq_root) {
292*5c2921b0SApple OSS Distributions 			return true;
293*5c2921b0SApple OSS Distributions 		}
294*5c2921b0SApple OSS Distributions 
295*5c2921b0SApple OSS Distributions 		/* Remove the element from its current level list */
296*5c2921b0SApple OSS Distributions 		list_remove(elt);
297*5c2921b0SApple OSS Distributions 		/* Re-insert the element into the heap with a merge */
298*5c2921b0SApple OSS Distributions 		return insert(que, elt, false);
299*5c2921b0SApple OSS Distributions 	}
300*5c2921b0SApple OSS Distributions 
301*5c2921b0SApple OSS Distributions 	static inline entry_t
remove_non_rootpqueue302*5c2921b0SApple OSS Distributions 	remove_non_root(queue_t que, entry_t elt)
303*5c2921b0SApple OSS Distributions 	{
304*5c2921b0SApple OSS Distributions 		entry_t child, new_root;
305*5c2921b0SApple OSS Distributions 
306*5c2921b0SApple OSS Distributions 		/* To remove a non-root element with children levels, */
307*5c2921b0SApple OSS Distributions 		/* - Remove element from its current level list */
308*5c2921b0SApple OSS Distributions 		/* - Pairwise split all the elements in the child level list */
309*5c2921b0SApple OSS Distributions 		/* - Meld all these splits (right-to-left) to form new subtree */
310*5c2921b0SApple OSS Distributions 		/* - Merge the root subtree with the newly formed subtree */
311*5c2921b0SApple OSS Distributions 		list_remove(elt);
312*5c2921b0SApple OSS Distributions 
313*5c2921b0SApple OSS Distributions 		child = unpack_child(elt);
314*5c2921b0SApple OSS Distributions 		if (child) {
315*5c2921b0SApple OSS Distributions 			child = meld_pair(que, child);
316*5c2921b0SApple OSS Distributions 			new_root = merge_pair(que, que->pq_root, child);
317*5c2921b0SApple OSS Distributions 			que->pq_root = new_root;
318*5c2921b0SApple OSS Distributions 			pack_child(elt, nullptr);
319*5c2921b0SApple OSS Distributions 		}
320*5c2921b0SApple OSS Distributions 
321*5c2921b0SApple OSS Distributions 		return elt;
322*5c2921b0SApple OSS Distributions 	}
323*5c2921b0SApple OSS Distributions 
324*5c2921b0SApple OSS Distributions public:
325*5c2921b0SApple OSS Distributions 
326*5c2921b0SApple OSS Distributions 	/*
327*5c2921b0SApple OSS Distributions 	 * exposed interfaces
328*5c2921b0SApple OSS Distributions 	 */
329*5c2921b0SApple OSS Distributions 
330*5c2921b0SApple OSS Distributions 	OS_NOINLINE
331*5c2921b0SApple OSS Distributions 	static void
332*5c2921b0SApple OSS Distributions 	destroy(queue_t que, uintptr_t offset, void (^callback)(void *e))
333*5c2921b0SApple OSS Distributions 	{
334*5c2921b0SApple OSS Distributions 		assert(callback != NULL);
335*5c2921b0SApple OSS Distributions 		entry_t head = que->pq_root;
336*5c2921b0SApple OSS Distributions 		entry_t tail = head;
337*5c2921b0SApple OSS Distributions 
338*5c2921b0SApple OSS Distributions 		while (head != NULL) {
339*5c2921b0SApple OSS Distributions 			entry_t child_list = unpack_child(head);
340*5c2921b0SApple OSS Distributions 			if (child_list) {
341*5c2921b0SApple OSS Distributions 				tail->next = child_list;
342*5c2921b0SApple OSS Distributions 				while (tail->next) {
343*5c2921b0SApple OSS Distributions 					tail = tail->next;
344*5c2921b0SApple OSS Distributions 				}
345*5c2921b0SApple OSS Distributions 			}
346*5c2921b0SApple OSS Distributions 
347*5c2921b0SApple OSS Distributions 			entry_t elt = head;
348*5c2921b0SApple OSS Distributions 			head = head->next;
349*5c2921b0SApple OSS Distributions 			callback((void *)((char *)elt - offset));
350*5c2921b0SApple OSS Distributions 		}
351*5c2921b0SApple OSS Distributions 
352*5c2921b0SApple OSS Distributions 		/* poison the queue now that it's destroyed */
353*5c2921b0SApple OSS Distributions 		que->pq_root = (entry_t)(~0ul);
354*5c2921b0SApple OSS Distributions 	}
355*5c2921b0SApple OSS Distributions 
356*5c2921b0SApple OSS Distributions 	static inline bool
insertpqueue357*5c2921b0SApple OSS Distributions 	insert(queue_t que, entry_t elt, bool clear = true)
358*5c2921b0SApple OSS Distributions 	{
359*5c2921b0SApple OSS Distributions 		if (clear) {
360*5c2921b0SApple OSS Distributions 			list_clear(elt);
361*5c2921b0SApple OSS Distributions 			pack_child(elt, nullptr);
362*5c2921b0SApple OSS Distributions 		}
363*5c2921b0SApple OSS Distributions 		return (que->pq_root = merge_pair(que, que->pq_root, elt)) == elt;
364*5c2921b0SApple OSS Distributions 	}
365*5c2921b0SApple OSS Distributions 
366*5c2921b0SApple OSS Distributions 	static inline entry_t
remove_rootpqueue367*5c2921b0SApple OSS Distributions 	remove_root(queue_t que, entry_t old_root)
368*5c2921b0SApple OSS Distributions 	{
369*5c2921b0SApple OSS Distributions 		entry_t new_root = unpack_child(old_root);
370*5c2921b0SApple OSS Distributions 
371*5c2921b0SApple OSS Distributions 		if (new_root) {
372*5c2921b0SApple OSS Distributions 			que->pq_root = meld_pair(que, new_root);
373*5c2921b0SApple OSS Distributions 			pack_child(old_root, nullptr);
374*5c2921b0SApple OSS Distributions 		} else {
375*5c2921b0SApple OSS Distributions 			que->pq_root = NULL;
376*5c2921b0SApple OSS Distributions 		}
377*5c2921b0SApple OSS Distributions 		return old_root;
378*5c2921b0SApple OSS Distributions 	}
379*5c2921b0SApple OSS Distributions 
380*5c2921b0SApple OSS Distributions 	static inline bool
removepqueue381*5c2921b0SApple OSS Distributions 	remove(queue_t que, entry_t elt)
382*5c2921b0SApple OSS Distributions 	{
383*5c2921b0SApple OSS Distributions 		if (elt == que->pq_root) {
384*5c2921b0SApple OSS Distributions 			remove_root(que, elt);
385*5c2921b0SApple OSS Distributions 			return true;
386*5c2921b0SApple OSS Distributions 		} else {
387*5c2921b0SApple OSS Distributions 			remove_non_root(que, elt);
388*5c2921b0SApple OSS Distributions 			return false;
389*5c2921b0SApple OSS Distributions 		}
390*5c2921b0SApple OSS Distributions 	}
391*5c2921b0SApple OSS Distributions 
392*5c2921b0SApple OSS Distributions 	static inline bool
entry_increasedpqueue393*5c2921b0SApple OSS Distributions 	entry_increased(queue_t que, entry_t elt)
394*5c2921b0SApple OSS Distributions 	{
395*5c2921b0SApple OSS Distributions 		if (priority_queue_is_max_heap(que)) {
396*5c2921b0SApple OSS Distributions 			return sift_up(que, elt);
397*5c2921b0SApple OSS Distributions 		} else {
398*5c2921b0SApple OSS Distributions 			return sift_down(que, elt);
399*5c2921b0SApple OSS Distributions 		}
400*5c2921b0SApple OSS Distributions 	}
401*5c2921b0SApple OSS Distributions 
402*5c2921b0SApple OSS Distributions 	static inline bool
entry_decreasedpqueue403*5c2921b0SApple OSS Distributions 	entry_decreased(queue_t que, entry_t elt)
404*5c2921b0SApple OSS Distributions 	{
405*5c2921b0SApple OSS Distributions 		if (priority_queue_is_min_heap(que)) {
406*5c2921b0SApple OSS Distributions 			return sift_up(que, elt);
407*5c2921b0SApple OSS Distributions 		} else {
408*5c2921b0SApple OSS Distributions 			return sift_down(que, elt);
409*5c2921b0SApple OSS Distributions 		}
410*5c2921b0SApple OSS Distributions 	}
411*5c2921b0SApple OSS Distributions };
412*5c2921b0SApple OSS Distributions 
413*5c2921b0SApple OSS Distributions #pragma mark instantiation
414*5c2921b0SApple OSS Distributions 
415*5c2921b0SApple OSS Distributions #define PRIORITY_QUEUE_MAKE_IMPL(pqueue_t, queue_t, entry_t)                    \
416*5c2921b0SApple OSS Distributions                                                                                 \
417*5c2921b0SApple OSS Distributions using pqueue_t = pqueue<queue_t, entry_t>;                                      \
418*5c2921b0SApple OSS Distributions                                                                                 \
419*5c2921b0SApple OSS Distributions extern "C" {                                                                    \
420*5c2921b0SApple OSS Distributions                                                                                 \
421*5c2921b0SApple OSS Distributions __pqueue_overloadable void                                                      \
422*5c2921b0SApple OSS Distributions _priority_queue_destroy(queue_t que, uintptr_t offset, void (^cb)(void *e))     \
423*5c2921b0SApple OSS Distributions {                                                                               \
424*5c2921b0SApple OSS Distributions 	pqueue_t::destroy(que, offset, cb);                                     \
425*5c2921b0SApple OSS Distributions }                                                                               \
426*5c2921b0SApple OSS Distributions                                                                                 \
427*5c2921b0SApple OSS Distributions __pqueue_overloadable extern bool                                               \
428*5c2921b0SApple OSS Distributions priority_queue_insert(queue_t que, entry_t elt)                                 \
429*5c2921b0SApple OSS Distributions {                                                                               \
430*5c2921b0SApple OSS Distributions 	return pqueue_t::insert(que, elt);                                      \
431*5c2921b0SApple OSS Distributions }                                                                               \
432*5c2921b0SApple OSS Distributions                                                                                 \
433*5c2921b0SApple OSS Distributions __pqueue_overloadable extern entry_t                                            \
434*5c2921b0SApple OSS Distributions _priority_queue_remove_root(queue_t que)                                        \
435*5c2921b0SApple OSS Distributions {                                                                               \
436*5c2921b0SApple OSS Distributions 	return pqueue_t::remove_root(que, que->pq_root);                        \
437*5c2921b0SApple OSS Distributions }                                                                               \
438*5c2921b0SApple OSS Distributions                                                                                 \
439*5c2921b0SApple OSS Distributions __pqueue_overloadable extern bool                                               \
440*5c2921b0SApple OSS Distributions priority_queue_remove(queue_t que, entry_t elt)                                 \
441*5c2921b0SApple OSS Distributions {                                                                               \
442*5c2921b0SApple OSS Distributions 	return pqueue_t::remove(que, elt);                                      \
443*5c2921b0SApple OSS Distributions }                                                                               \
444*5c2921b0SApple OSS Distributions                                                                                 \
445*5c2921b0SApple OSS Distributions __pqueue_overloadable extern bool                                               \
446*5c2921b0SApple OSS Distributions priority_queue_entry_decreased(queue_t que, entry_t elt)                        \
447*5c2921b0SApple OSS Distributions {                                                                               \
448*5c2921b0SApple OSS Distributions 	return pqueue_t::entry_decreased(que, elt);                             \
449*5c2921b0SApple OSS Distributions }                                                                               \
450*5c2921b0SApple OSS Distributions                                                                                 \
451*5c2921b0SApple OSS Distributions __pqueue_overloadable extern bool                                               \
452*5c2921b0SApple OSS Distributions priority_queue_entry_increased(queue_t que, entry_t elt)                        \
453*5c2921b0SApple OSS Distributions {                                                                               \
454*5c2921b0SApple OSS Distributions 	return pqueue_t::entry_increased(que, elt);                             \
455*5c2921b0SApple OSS Distributions }                                                                               \
456*5c2921b0SApple OSS Distributions                                                                                 \
457*5c2921b0SApple OSS Distributions }
458*5c2921b0SApple OSS Distributions 
459*5c2921b0SApple OSS Distributions PRIORITY_QUEUE_MAKE_IMPL(pqueue_min_t,
460*5c2921b0SApple OSS Distributions     struct priority_queue_min *, priority_queue_entry_t);
461*5c2921b0SApple OSS Distributions PRIORITY_QUEUE_MAKE_IMPL(pqueue_max_t,
462*5c2921b0SApple OSS Distributions     struct priority_queue_max *, priority_queue_entry_t);
463*5c2921b0SApple OSS Distributions 
464*5c2921b0SApple OSS Distributions PRIORITY_QUEUE_MAKE_IMPL(pqueue_sched_min_t,
465*5c2921b0SApple OSS Distributions     struct priority_queue_sched_min *, priority_queue_entry_sched_t);
466*5c2921b0SApple OSS Distributions PRIORITY_QUEUE_MAKE_IMPL(pqueue_sched_max_t,
467*5c2921b0SApple OSS Distributions     struct priority_queue_sched_max *, priority_queue_entry_sched_t);
468*5c2921b0SApple OSS Distributions 
469*5c2921b0SApple OSS Distributions PRIORITY_QUEUE_MAKE_IMPL(pqueue_deadline_min_t,
470*5c2921b0SApple OSS Distributions     struct priority_queue_deadline_min *, priority_queue_entry_deadline_t);
471*5c2921b0SApple OSS Distributions PRIORITY_QUEUE_MAKE_IMPL(pqueue_deadline_max_t,
472*5c2921b0SApple OSS Distributions     struct priority_queue_deadline_max *, priority_queue_entry_deadline_t);
473*5c2921b0SApple OSS Distributions 
474*5c2921b0SApple OSS Distributions PRIORITY_QUEUE_MAKE_IMPL(pqueue_sched_stable_min_t,
475*5c2921b0SApple OSS Distributions     struct priority_queue_sched_stable_min *, priority_queue_entry_stable_t);
476*5c2921b0SApple OSS Distributions PRIORITY_QUEUE_MAKE_IMPL(pqueue_sched_stable_max_t,
477*5c2921b0SApple OSS Distributions     struct priority_queue_sched_stable_max *, priority_queue_entry_stable_t);
478