18c2ecf20Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0-or-later 28c2ecf20Sopenharmony_ci/* 38c2ecf20Sopenharmony_ci * lib/plist.c 48c2ecf20Sopenharmony_ci * 58c2ecf20Sopenharmony_ci * Descending-priority-sorted double-linked list 68c2ecf20Sopenharmony_ci * 78c2ecf20Sopenharmony_ci * (C) 2002-2003 Intel Corp 88c2ecf20Sopenharmony_ci * Inaky Perez-Gonzalez <inaky.perez-gonzalez@intel.com>. 98c2ecf20Sopenharmony_ci * 108c2ecf20Sopenharmony_ci * 2001-2005 (c) MontaVista Software, Inc. 118c2ecf20Sopenharmony_ci * Daniel Walker <dwalker@mvista.com> 128c2ecf20Sopenharmony_ci * 138c2ecf20Sopenharmony_ci * (C) 2005 Thomas Gleixner <tglx@linutronix.de> 148c2ecf20Sopenharmony_ci * 158c2ecf20Sopenharmony_ci * Simplifications of the original code by 168c2ecf20Sopenharmony_ci * Oleg Nesterov <oleg@tv-sign.ru> 178c2ecf20Sopenharmony_ci * 188c2ecf20Sopenharmony_ci * Based on simple lists (include/linux/list.h). 198c2ecf20Sopenharmony_ci * 208c2ecf20Sopenharmony_ci * This file contains the add / del functions which are considered to 218c2ecf20Sopenharmony_ci * be too large to inline. See include/linux/plist.h for further 228c2ecf20Sopenharmony_ci * information. 238c2ecf20Sopenharmony_ci */ 248c2ecf20Sopenharmony_ci 258c2ecf20Sopenharmony_ci#include <linux/bug.h> 268c2ecf20Sopenharmony_ci#include <linux/plist.h> 278c2ecf20Sopenharmony_ci 288c2ecf20Sopenharmony_ci#ifdef CONFIG_DEBUG_PLIST 298c2ecf20Sopenharmony_ci 308c2ecf20Sopenharmony_cistatic struct plist_head test_head; 318c2ecf20Sopenharmony_ci 328c2ecf20Sopenharmony_cistatic void plist_check_prev_next(struct list_head *t, struct list_head *p, 338c2ecf20Sopenharmony_ci struct list_head *n) 348c2ecf20Sopenharmony_ci{ 358c2ecf20Sopenharmony_ci WARN(n->prev != p || p->next != n, 368c2ecf20Sopenharmony_ci "top: %p, n: %p, p: %p\n" 378c2ecf20Sopenharmony_ci "prev: %p, n: %p, p: %p\n" 388c2ecf20Sopenharmony_ci "next: %p, n: %p, p: %p\n", 398c2ecf20Sopenharmony_ci t, t->next, t->prev, 408c2ecf20Sopenharmony_ci p, p->next, p->prev, 418c2ecf20Sopenharmony_ci n, n->next, n->prev); 428c2ecf20Sopenharmony_ci} 438c2ecf20Sopenharmony_ci 448c2ecf20Sopenharmony_cistatic void plist_check_list(struct list_head *top) 458c2ecf20Sopenharmony_ci{ 468c2ecf20Sopenharmony_ci struct list_head *prev = top, *next = top->next; 478c2ecf20Sopenharmony_ci 488c2ecf20Sopenharmony_ci plist_check_prev_next(top, prev, next); 498c2ecf20Sopenharmony_ci while (next != top) { 508c2ecf20Sopenharmony_ci prev = next; 518c2ecf20Sopenharmony_ci next = prev->next; 528c2ecf20Sopenharmony_ci plist_check_prev_next(top, prev, next); 538c2ecf20Sopenharmony_ci } 548c2ecf20Sopenharmony_ci} 558c2ecf20Sopenharmony_ci 568c2ecf20Sopenharmony_cistatic void plist_check_head(struct plist_head *head) 578c2ecf20Sopenharmony_ci{ 588c2ecf20Sopenharmony_ci if (!plist_head_empty(head)) 598c2ecf20Sopenharmony_ci plist_check_list(&plist_first(head)->prio_list); 608c2ecf20Sopenharmony_ci plist_check_list(&head->node_list); 618c2ecf20Sopenharmony_ci} 628c2ecf20Sopenharmony_ci 638c2ecf20Sopenharmony_ci#else 648c2ecf20Sopenharmony_ci# define plist_check_head(h) do { } while (0) 658c2ecf20Sopenharmony_ci#endif 668c2ecf20Sopenharmony_ci 678c2ecf20Sopenharmony_ci/** 688c2ecf20Sopenharmony_ci * plist_add - add @node to @head 698c2ecf20Sopenharmony_ci * 708c2ecf20Sopenharmony_ci * @node: &struct plist_node pointer 718c2ecf20Sopenharmony_ci * @head: &struct plist_head pointer 728c2ecf20Sopenharmony_ci */ 738c2ecf20Sopenharmony_civoid plist_add(struct plist_node *node, struct plist_head *head) 748c2ecf20Sopenharmony_ci{ 758c2ecf20Sopenharmony_ci struct plist_node *first, *iter, *prev = NULL; 768c2ecf20Sopenharmony_ci struct list_head *node_next = &head->node_list; 778c2ecf20Sopenharmony_ci 788c2ecf20Sopenharmony_ci plist_check_head(head); 798c2ecf20Sopenharmony_ci WARN_ON(!plist_node_empty(node)); 808c2ecf20Sopenharmony_ci WARN_ON(!list_empty(&node->prio_list)); 818c2ecf20Sopenharmony_ci 828c2ecf20Sopenharmony_ci if (plist_head_empty(head)) 838c2ecf20Sopenharmony_ci goto ins_node; 848c2ecf20Sopenharmony_ci 858c2ecf20Sopenharmony_ci first = iter = plist_first(head); 868c2ecf20Sopenharmony_ci 878c2ecf20Sopenharmony_ci do { 888c2ecf20Sopenharmony_ci if (node->prio < iter->prio) { 898c2ecf20Sopenharmony_ci node_next = &iter->node_list; 908c2ecf20Sopenharmony_ci break; 918c2ecf20Sopenharmony_ci } 928c2ecf20Sopenharmony_ci 938c2ecf20Sopenharmony_ci prev = iter; 948c2ecf20Sopenharmony_ci iter = list_entry(iter->prio_list.next, 958c2ecf20Sopenharmony_ci struct plist_node, prio_list); 968c2ecf20Sopenharmony_ci } while (iter != first); 978c2ecf20Sopenharmony_ci 988c2ecf20Sopenharmony_ci if (!prev || prev->prio != node->prio) 998c2ecf20Sopenharmony_ci list_add_tail(&node->prio_list, &iter->prio_list); 1008c2ecf20Sopenharmony_ciins_node: 1018c2ecf20Sopenharmony_ci list_add_tail(&node->node_list, node_next); 1028c2ecf20Sopenharmony_ci 1038c2ecf20Sopenharmony_ci plist_check_head(head); 1048c2ecf20Sopenharmony_ci} 1058c2ecf20Sopenharmony_ci 1068c2ecf20Sopenharmony_ci/** 1078c2ecf20Sopenharmony_ci * plist_del - Remove a @node from plist. 1088c2ecf20Sopenharmony_ci * 1098c2ecf20Sopenharmony_ci * @node: &struct plist_node pointer - entry to be removed 1108c2ecf20Sopenharmony_ci * @head: &struct plist_head pointer - list head 1118c2ecf20Sopenharmony_ci */ 1128c2ecf20Sopenharmony_civoid plist_del(struct plist_node *node, struct plist_head *head) 1138c2ecf20Sopenharmony_ci{ 1148c2ecf20Sopenharmony_ci plist_check_head(head); 1158c2ecf20Sopenharmony_ci 1168c2ecf20Sopenharmony_ci if (!list_empty(&node->prio_list)) { 1178c2ecf20Sopenharmony_ci if (node->node_list.next != &head->node_list) { 1188c2ecf20Sopenharmony_ci struct plist_node *next; 1198c2ecf20Sopenharmony_ci 1208c2ecf20Sopenharmony_ci next = list_entry(node->node_list.next, 1218c2ecf20Sopenharmony_ci struct plist_node, node_list); 1228c2ecf20Sopenharmony_ci 1238c2ecf20Sopenharmony_ci /* add the next plist_node into prio_list */ 1248c2ecf20Sopenharmony_ci if (list_empty(&next->prio_list)) 1258c2ecf20Sopenharmony_ci list_add(&next->prio_list, &node->prio_list); 1268c2ecf20Sopenharmony_ci } 1278c2ecf20Sopenharmony_ci list_del_init(&node->prio_list); 1288c2ecf20Sopenharmony_ci } 1298c2ecf20Sopenharmony_ci 1308c2ecf20Sopenharmony_ci list_del_init(&node->node_list); 1318c2ecf20Sopenharmony_ci 1328c2ecf20Sopenharmony_ci plist_check_head(head); 1338c2ecf20Sopenharmony_ci} 1348c2ecf20Sopenharmony_ci 1358c2ecf20Sopenharmony_ci/** 1368c2ecf20Sopenharmony_ci * plist_requeue - Requeue @node at end of same-prio entries. 1378c2ecf20Sopenharmony_ci * 1388c2ecf20Sopenharmony_ci * This is essentially an optimized plist_del() followed by 1398c2ecf20Sopenharmony_ci * plist_add(). It moves an entry already in the plist to 1408c2ecf20Sopenharmony_ci * after any other same-priority entries. 1418c2ecf20Sopenharmony_ci * 1428c2ecf20Sopenharmony_ci * @node: &struct plist_node pointer - entry to be moved 1438c2ecf20Sopenharmony_ci * @head: &struct plist_head pointer - list head 1448c2ecf20Sopenharmony_ci */ 1458c2ecf20Sopenharmony_civoid plist_requeue(struct plist_node *node, struct plist_head *head) 1468c2ecf20Sopenharmony_ci{ 1478c2ecf20Sopenharmony_ci struct plist_node *iter; 1488c2ecf20Sopenharmony_ci struct list_head *node_next = &head->node_list; 1498c2ecf20Sopenharmony_ci 1508c2ecf20Sopenharmony_ci plist_check_head(head); 1518c2ecf20Sopenharmony_ci BUG_ON(plist_head_empty(head)); 1528c2ecf20Sopenharmony_ci BUG_ON(plist_node_empty(node)); 1538c2ecf20Sopenharmony_ci 1548c2ecf20Sopenharmony_ci if (node == plist_last(head)) 1558c2ecf20Sopenharmony_ci return; 1568c2ecf20Sopenharmony_ci 1578c2ecf20Sopenharmony_ci iter = plist_next(node); 1588c2ecf20Sopenharmony_ci 1598c2ecf20Sopenharmony_ci if (node->prio != iter->prio) 1608c2ecf20Sopenharmony_ci return; 1618c2ecf20Sopenharmony_ci 1628c2ecf20Sopenharmony_ci plist_del(node, head); 1638c2ecf20Sopenharmony_ci 1648c2ecf20Sopenharmony_ci plist_for_each_continue(iter, head) { 1658c2ecf20Sopenharmony_ci if (node->prio != iter->prio) { 1668c2ecf20Sopenharmony_ci node_next = &iter->node_list; 1678c2ecf20Sopenharmony_ci break; 1688c2ecf20Sopenharmony_ci } 1698c2ecf20Sopenharmony_ci } 1708c2ecf20Sopenharmony_ci list_add_tail(&node->node_list, node_next); 1718c2ecf20Sopenharmony_ci 1728c2ecf20Sopenharmony_ci plist_check_head(head); 1738c2ecf20Sopenharmony_ci} 1748c2ecf20Sopenharmony_ci 1758c2ecf20Sopenharmony_ci#ifdef CONFIG_DEBUG_PLIST 1768c2ecf20Sopenharmony_ci#include <linux/sched.h> 1778c2ecf20Sopenharmony_ci#include <linux/sched/clock.h> 1788c2ecf20Sopenharmony_ci#include <linux/module.h> 1798c2ecf20Sopenharmony_ci#include <linux/init.h> 1808c2ecf20Sopenharmony_ci 1818c2ecf20Sopenharmony_cistatic struct plist_node __initdata test_node[241]; 1828c2ecf20Sopenharmony_ci 1838c2ecf20Sopenharmony_cistatic void __init plist_test_check(int nr_expect) 1848c2ecf20Sopenharmony_ci{ 1858c2ecf20Sopenharmony_ci struct plist_node *first, *prio_pos, *node_pos; 1868c2ecf20Sopenharmony_ci 1878c2ecf20Sopenharmony_ci if (plist_head_empty(&test_head)) { 1888c2ecf20Sopenharmony_ci BUG_ON(nr_expect != 0); 1898c2ecf20Sopenharmony_ci return; 1908c2ecf20Sopenharmony_ci } 1918c2ecf20Sopenharmony_ci 1928c2ecf20Sopenharmony_ci prio_pos = first = plist_first(&test_head); 1938c2ecf20Sopenharmony_ci plist_for_each(node_pos, &test_head) { 1948c2ecf20Sopenharmony_ci if (nr_expect-- < 0) 1958c2ecf20Sopenharmony_ci break; 1968c2ecf20Sopenharmony_ci if (node_pos == first) 1978c2ecf20Sopenharmony_ci continue; 1988c2ecf20Sopenharmony_ci if (node_pos->prio == prio_pos->prio) { 1998c2ecf20Sopenharmony_ci BUG_ON(!list_empty(&node_pos->prio_list)); 2008c2ecf20Sopenharmony_ci continue; 2018c2ecf20Sopenharmony_ci } 2028c2ecf20Sopenharmony_ci 2038c2ecf20Sopenharmony_ci BUG_ON(prio_pos->prio > node_pos->prio); 2048c2ecf20Sopenharmony_ci BUG_ON(prio_pos->prio_list.next != &node_pos->prio_list); 2058c2ecf20Sopenharmony_ci prio_pos = node_pos; 2068c2ecf20Sopenharmony_ci } 2078c2ecf20Sopenharmony_ci 2088c2ecf20Sopenharmony_ci BUG_ON(nr_expect != 0); 2098c2ecf20Sopenharmony_ci BUG_ON(prio_pos->prio_list.next != &first->prio_list); 2108c2ecf20Sopenharmony_ci} 2118c2ecf20Sopenharmony_ci 2128c2ecf20Sopenharmony_cistatic void __init plist_test_requeue(struct plist_node *node) 2138c2ecf20Sopenharmony_ci{ 2148c2ecf20Sopenharmony_ci plist_requeue(node, &test_head); 2158c2ecf20Sopenharmony_ci 2168c2ecf20Sopenharmony_ci if (node != plist_last(&test_head)) 2178c2ecf20Sopenharmony_ci BUG_ON(node->prio == plist_next(node)->prio); 2188c2ecf20Sopenharmony_ci} 2198c2ecf20Sopenharmony_ci 2208c2ecf20Sopenharmony_cistatic int __init plist_test(void) 2218c2ecf20Sopenharmony_ci{ 2228c2ecf20Sopenharmony_ci int nr_expect = 0, i, loop; 2238c2ecf20Sopenharmony_ci unsigned int r = local_clock(); 2248c2ecf20Sopenharmony_ci 2258c2ecf20Sopenharmony_ci printk(KERN_DEBUG "start plist test\n"); 2268c2ecf20Sopenharmony_ci plist_head_init(&test_head); 2278c2ecf20Sopenharmony_ci for (i = 0; i < ARRAY_SIZE(test_node); i++) 2288c2ecf20Sopenharmony_ci plist_node_init(test_node + i, 0); 2298c2ecf20Sopenharmony_ci 2308c2ecf20Sopenharmony_ci for (loop = 0; loop < 1000; loop++) { 2318c2ecf20Sopenharmony_ci r = r * 193939 % 47629; 2328c2ecf20Sopenharmony_ci i = r % ARRAY_SIZE(test_node); 2338c2ecf20Sopenharmony_ci if (plist_node_empty(test_node + i)) { 2348c2ecf20Sopenharmony_ci r = r * 193939 % 47629; 2358c2ecf20Sopenharmony_ci test_node[i].prio = r % 99; 2368c2ecf20Sopenharmony_ci plist_add(test_node + i, &test_head); 2378c2ecf20Sopenharmony_ci nr_expect++; 2388c2ecf20Sopenharmony_ci } else { 2398c2ecf20Sopenharmony_ci plist_del(test_node + i, &test_head); 2408c2ecf20Sopenharmony_ci nr_expect--; 2418c2ecf20Sopenharmony_ci } 2428c2ecf20Sopenharmony_ci plist_test_check(nr_expect); 2438c2ecf20Sopenharmony_ci if (!plist_node_empty(test_node + i)) { 2448c2ecf20Sopenharmony_ci plist_test_requeue(test_node + i); 2458c2ecf20Sopenharmony_ci plist_test_check(nr_expect); 2468c2ecf20Sopenharmony_ci } 2478c2ecf20Sopenharmony_ci } 2488c2ecf20Sopenharmony_ci 2498c2ecf20Sopenharmony_ci for (i = 0; i < ARRAY_SIZE(test_node); i++) { 2508c2ecf20Sopenharmony_ci if (plist_node_empty(test_node + i)) 2518c2ecf20Sopenharmony_ci continue; 2528c2ecf20Sopenharmony_ci plist_del(test_node + i, &test_head); 2538c2ecf20Sopenharmony_ci nr_expect--; 2548c2ecf20Sopenharmony_ci plist_test_check(nr_expect); 2558c2ecf20Sopenharmony_ci } 2568c2ecf20Sopenharmony_ci 2578c2ecf20Sopenharmony_ci printk(KERN_DEBUG "end plist test\n"); 2588c2ecf20Sopenharmony_ci return 0; 2598c2ecf20Sopenharmony_ci} 2608c2ecf20Sopenharmony_ci 2618c2ecf20Sopenharmony_cimodule_init(plist_test); 2628c2ecf20Sopenharmony_ci 2638c2ecf20Sopenharmony_ci#endif 264