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