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