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