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