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