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