1*4882a593Smuzhiyun // SPDX-License-Identifier: GPL-2.0-or-later
2*4882a593Smuzhiyun /*
3*4882a593Smuzhiyun * lib/plist.c
4*4882a593Smuzhiyun *
5*4882a593Smuzhiyun * Descending-priority-sorted double-linked list
6*4882a593Smuzhiyun *
7*4882a593Smuzhiyun * (C) 2002-2003 Intel Corp
8*4882a593Smuzhiyun * Inaky Perez-Gonzalez <inaky.perez-gonzalez@intel.com>.
9*4882a593Smuzhiyun *
10*4882a593Smuzhiyun * 2001-2005 (c) MontaVista Software, Inc.
11*4882a593Smuzhiyun * Daniel Walker <dwalker@mvista.com>
12*4882a593Smuzhiyun *
13*4882a593Smuzhiyun * (C) 2005 Thomas Gleixner <tglx@linutronix.de>
14*4882a593Smuzhiyun *
15*4882a593Smuzhiyun * Simplifications of the original code by
16*4882a593Smuzhiyun * Oleg Nesterov <oleg@tv-sign.ru>
17*4882a593Smuzhiyun *
18*4882a593Smuzhiyun * Based on simple lists (include/linux/list.h).
19*4882a593Smuzhiyun *
20*4882a593Smuzhiyun * This file contains the add / del functions which are considered to
21*4882a593Smuzhiyun * be too large to inline. See include/linux/plist.h for further
22*4882a593Smuzhiyun * information.
23*4882a593Smuzhiyun */
24*4882a593Smuzhiyun
25*4882a593Smuzhiyun #include <linux/bug.h>
26*4882a593Smuzhiyun #include <linux/plist.h>
27*4882a593Smuzhiyun
28*4882a593Smuzhiyun #ifdef CONFIG_DEBUG_PLIST
29*4882a593Smuzhiyun
30*4882a593Smuzhiyun static struct plist_head test_head;
31*4882a593Smuzhiyun
plist_check_prev_next(struct list_head * t,struct list_head * p,struct list_head * n)32*4882a593Smuzhiyun static void plist_check_prev_next(struct list_head *t, struct list_head *p,
33*4882a593Smuzhiyun struct list_head *n)
34*4882a593Smuzhiyun {
35*4882a593Smuzhiyun WARN(n->prev != p || p->next != n,
36*4882a593Smuzhiyun "top: %p, n: %p, p: %p\n"
37*4882a593Smuzhiyun "prev: %p, n: %p, p: %p\n"
38*4882a593Smuzhiyun "next: %p, n: %p, p: %p\n",
39*4882a593Smuzhiyun t, t->next, t->prev,
40*4882a593Smuzhiyun p, p->next, p->prev,
41*4882a593Smuzhiyun n, n->next, n->prev);
42*4882a593Smuzhiyun }
43*4882a593Smuzhiyun
plist_check_list(struct list_head * top)44*4882a593Smuzhiyun static void plist_check_list(struct list_head *top)
45*4882a593Smuzhiyun {
46*4882a593Smuzhiyun struct list_head *prev = top, *next = top->next;
47*4882a593Smuzhiyun
48*4882a593Smuzhiyun plist_check_prev_next(top, prev, next);
49*4882a593Smuzhiyun while (next != top) {
50*4882a593Smuzhiyun prev = next;
51*4882a593Smuzhiyun next = prev->next;
52*4882a593Smuzhiyun plist_check_prev_next(top, prev, next);
53*4882a593Smuzhiyun }
54*4882a593Smuzhiyun }
55*4882a593Smuzhiyun
plist_check_head(struct plist_head * head)56*4882a593Smuzhiyun static void plist_check_head(struct plist_head *head)
57*4882a593Smuzhiyun {
58*4882a593Smuzhiyun if (!plist_head_empty(head))
59*4882a593Smuzhiyun plist_check_list(&plist_first(head)->prio_list);
60*4882a593Smuzhiyun plist_check_list(&head->node_list);
61*4882a593Smuzhiyun }
62*4882a593Smuzhiyun
63*4882a593Smuzhiyun #else
64*4882a593Smuzhiyun # define plist_check_head(h) do { } while (0)
65*4882a593Smuzhiyun #endif
66*4882a593Smuzhiyun
67*4882a593Smuzhiyun /**
68*4882a593Smuzhiyun * plist_add - add @node to @head
69*4882a593Smuzhiyun *
70*4882a593Smuzhiyun * @node: &struct plist_node pointer
71*4882a593Smuzhiyun * @head: &struct plist_head pointer
72*4882a593Smuzhiyun */
plist_add(struct plist_node * node,struct plist_head * head)73*4882a593Smuzhiyun void plist_add(struct plist_node *node, struct plist_head *head)
74*4882a593Smuzhiyun {
75*4882a593Smuzhiyun struct plist_node *first, *iter, *prev = NULL;
76*4882a593Smuzhiyun struct list_head *node_next = &head->node_list;
77*4882a593Smuzhiyun
78*4882a593Smuzhiyun plist_check_head(head);
79*4882a593Smuzhiyun WARN_ON(!plist_node_empty(node));
80*4882a593Smuzhiyun WARN_ON(!list_empty(&node->prio_list));
81*4882a593Smuzhiyun
82*4882a593Smuzhiyun if (plist_head_empty(head))
83*4882a593Smuzhiyun goto ins_node;
84*4882a593Smuzhiyun
85*4882a593Smuzhiyun first = iter = plist_first(head);
86*4882a593Smuzhiyun
87*4882a593Smuzhiyun do {
88*4882a593Smuzhiyun if (node->prio < iter->prio) {
89*4882a593Smuzhiyun node_next = &iter->node_list;
90*4882a593Smuzhiyun break;
91*4882a593Smuzhiyun }
92*4882a593Smuzhiyun
93*4882a593Smuzhiyun prev = iter;
94*4882a593Smuzhiyun iter = list_entry(iter->prio_list.next,
95*4882a593Smuzhiyun struct plist_node, prio_list);
96*4882a593Smuzhiyun } while (iter != first);
97*4882a593Smuzhiyun
98*4882a593Smuzhiyun if (!prev || prev->prio != node->prio)
99*4882a593Smuzhiyun list_add_tail(&node->prio_list, &iter->prio_list);
100*4882a593Smuzhiyun ins_node:
101*4882a593Smuzhiyun list_add_tail(&node->node_list, node_next);
102*4882a593Smuzhiyun
103*4882a593Smuzhiyun plist_check_head(head);
104*4882a593Smuzhiyun }
105*4882a593Smuzhiyun EXPORT_SYMBOL_GPL(plist_add);
106*4882a593Smuzhiyun
107*4882a593Smuzhiyun /**
108*4882a593Smuzhiyun * plist_del - Remove a @node from plist.
109*4882a593Smuzhiyun *
110*4882a593Smuzhiyun * @node: &struct plist_node pointer - entry to be removed
111*4882a593Smuzhiyun * @head: &struct plist_head pointer - list head
112*4882a593Smuzhiyun */
plist_del(struct plist_node * node,struct plist_head * head)113*4882a593Smuzhiyun void plist_del(struct plist_node *node, struct plist_head *head)
114*4882a593Smuzhiyun {
115*4882a593Smuzhiyun plist_check_head(head);
116*4882a593Smuzhiyun
117*4882a593Smuzhiyun if (!list_empty(&node->prio_list)) {
118*4882a593Smuzhiyun if (node->node_list.next != &head->node_list) {
119*4882a593Smuzhiyun struct plist_node *next;
120*4882a593Smuzhiyun
121*4882a593Smuzhiyun next = list_entry(node->node_list.next,
122*4882a593Smuzhiyun struct plist_node, node_list);
123*4882a593Smuzhiyun
124*4882a593Smuzhiyun /* add the next plist_node into prio_list */
125*4882a593Smuzhiyun if (list_empty(&next->prio_list))
126*4882a593Smuzhiyun list_add(&next->prio_list, &node->prio_list);
127*4882a593Smuzhiyun }
128*4882a593Smuzhiyun list_del_init(&node->prio_list);
129*4882a593Smuzhiyun }
130*4882a593Smuzhiyun
131*4882a593Smuzhiyun list_del_init(&node->node_list);
132*4882a593Smuzhiyun
133*4882a593Smuzhiyun plist_check_head(head);
134*4882a593Smuzhiyun }
135*4882a593Smuzhiyun EXPORT_SYMBOL_GPL(plist_del);
136*4882a593Smuzhiyun
137*4882a593Smuzhiyun /**
138*4882a593Smuzhiyun * plist_requeue - Requeue @node at end of same-prio entries.
139*4882a593Smuzhiyun *
140*4882a593Smuzhiyun * This is essentially an optimized plist_del() followed by
141*4882a593Smuzhiyun * plist_add(). It moves an entry already in the plist to
142*4882a593Smuzhiyun * after any other same-priority entries.
143*4882a593Smuzhiyun *
144*4882a593Smuzhiyun * @node: &struct plist_node pointer - entry to be moved
145*4882a593Smuzhiyun * @head: &struct plist_head pointer - list head
146*4882a593Smuzhiyun */
plist_requeue(struct plist_node * node,struct plist_head * head)147*4882a593Smuzhiyun void plist_requeue(struct plist_node *node, struct plist_head *head)
148*4882a593Smuzhiyun {
149*4882a593Smuzhiyun struct plist_node *iter;
150*4882a593Smuzhiyun struct list_head *node_next = &head->node_list;
151*4882a593Smuzhiyun
152*4882a593Smuzhiyun plist_check_head(head);
153*4882a593Smuzhiyun BUG_ON(plist_head_empty(head));
154*4882a593Smuzhiyun BUG_ON(plist_node_empty(node));
155*4882a593Smuzhiyun
156*4882a593Smuzhiyun if (node == plist_last(head))
157*4882a593Smuzhiyun return;
158*4882a593Smuzhiyun
159*4882a593Smuzhiyun iter = plist_next(node);
160*4882a593Smuzhiyun
161*4882a593Smuzhiyun if (node->prio != iter->prio)
162*4882a593Smuzhiyun return;
163*4882a593Smuzhiyun
164*4882a593Smuzhiyun plist_del(node, head);
165*4882a593Smuzhiyun
166*4882a593Smuzhiyun plist_for_each_continue(iter, head) {
167*4882a593Smuzhiyun if (node->prio != iter->prio) {
168*4882a593Smuzhiyun node_next = &iter->node_list;
169*4882a593Smuzhiyun break;
170*4882a593Smuzhiyun }
171*4882a593Smuzhiyun }
172*4882a593Smuzhiyun list_add_tail(&node->node_list, node_next);
173*4882a593Smuzhiyun
174*4882a593Smuzhiyun plist_check_head(head);
175*4882a593Smuzhiyun }
176*4882a593Smuzhiyun EXPORT_SYMBOL_GPL(plist_requeue);
177*4882a593Smuzhiyun
178*4882a593Smuzhiyun #ifdef CONFIG_DEBUG_PLIST
179*4882a593Smuzhiyun #include <linux/sched.h>
180*4882a593Smuzhiyun #include <linux/sched/clock.h>
181*4882a593Smuzhiyun #include <linux/module.h>
182*4882a593Smuzhiyun #include <linux/init.h>
183*4882a593Smuzhiyun
184*4882a593Smuzhiyun static struct plist_node __initdata test_node[241];
185*4882a593Smuzhiyun
plist_test_check(int nr_expect)186*4882a593Smuzhiyun static void __init plist_test_check(int nr_expect)
187*4882a593Smuzhiyun {
188*4882a593Smuzhiyun struct plist_node *first, *prio_pos, *node_pos;
189*4882a593Smuzhiyun
190*4882a593Smuzhiyun if (plist_head_empty(&test_head)) {
191*4882a593Smuzhiyun BUG_ON(nr_expect != 0);
192*4882a593Smuzhiyun return;
193*4882a593Smuzhiyun }
194*4882a593Smuzhiyun
195*4882a593Smuzhiyun prio_pos = first = plist_first(&test_head);
196*4882a593Smuzhiyun plist_for_each(node_pos, &test_head) {
197*4882a593Smuzhiyun if (nr_expect-- < 0)
198*4882a593Smuzhiyun break;
199*4882a593Smuzhiyun if (node_pos == first)
200*4882a593Smuzhiyun continue;
201*4882a593Smuzhiyun if (node_pos->prio == prio_pos->prio) {
202*4882a593Smuzhiyun BUG_ON(!list_empty(&node_pos->prio_list));
203*4882a593Smuzhiyun continue;
204*4882a593Smuzhiyun }
205*4882a593Smuzhiyun
206*4882a593Smuzhiyun BUG_ON(prio_pos->prio > node_pos->prio);
207*4882a593Smuzhiyun BUG_ON(prio_pos->prio_list.next != &node_pos->prio_list);
208*4882a593Smuzhiyun prio_pos = node_pos;
209*4882a593Smuzhiyun }
210*4882a593Smuzhiyun
211*4882a593Smuzhiyun BUG_ON(nr_expect != 0);
212*4882a593Smuzhiyun BUG_ON(prio_pos->prio_list.next != &first->prio_list);
213*4882a593Smuzhiyun }
214*4882a593Smuzhiyun
plist_test_requeue(struct plist_node * node)215*4882a593Smuzhiyun static void __init plist_test_requeue(struct plist_node *node)
216*4882a593Smuzhiyun {
217*4882a593Smuzhiyun plist_requeue(node, &test_head);
218*4882a593Smuzhiyun
219*4882a593Smuzhiyun if (node != plist_last(&test_head))
220*4882a593Smuzhiyun BUG_ON(node->prio == plist_next(node)->prio);
221*4882a593Smuzhiyun }
222*4882a593Smuzhiyun
plist_test(void)223*4882a593Smuzhiyun static int __init plist_test(void)
224*4882a593Smuzhiyun {
225*4882a593Smuzhiyun int nr_expect = 0, i, loop;
226*4882a593Smuzhiyun unsigned int r = local_clock();
227*4882a593Smuzhiyun
228*4882a593Smuzhiyun printk(KERN_DEBUG "start plist test\n");
229*4882a593Smuzhiyun plist_head_init(&test_head);
230*4882a593Smuzhiyun for (i = 0; i < ARRAY_SIZE(test_node); i++)
231*4882a593Smuzhiyun plist_node_init(test_node + i, 0);
232*4882a593Smuzhiyun
233*4882a593Smuzhiyun for (loop = 0; loop < 1000; loop++) {
234*4882a593Smuzhiyun r = r * 193939 % 47629;
235*4882a593Smuzhiyun i = r % ARRAY_SIZE(test_node);
236*4882a593Smuzhiyun if (plist_node_empty(test_node + i)) {
237*4882a593Smuzhiyun r = r * 193939 % 47629;
238*4882a593Smuzhiyun test_node[i].prio = r % 99;
239*4882a593Smuzhiyun plist_add(test_node + i, &test_head);
240*4882a593Smuzhiyun nr_expect++;
241*4882a593Smuzhiyun } else {
242*4882a593Smuzhiyun plist_del(test_node + i, &test_head);
243*4882a593Smuzhiyun nr_expect--;
244*4882a593Smuzhiyun }
245*4882a593Smuzhiyun plist_test_check(nr_expect);
246*4882a593Smuzhiyun if (!plist_node_empty(test_node + i)) {
247*4882a593Smuzhiyun plist_test_requeue(test_node + i);
248*4882a593Smuzhiyun plist_test_check(nr_expect);
249*4882a593Smuzhiyun }
250*4882a593Smuzhiyun }
251*4882a593Smuzhiyun
252*4882a593Smuzhiyun for (i = 0; i < ARRAY_SIZE(test_node); i++) {
253*4882a593Smuzhiyun if (plist_node_empty(test_node + i))
254*4882a593Smuzhiyun continue;
255*4882a593Smuzhiyun plist_del(test_node + i, &test_head);
256*4882a593Smuzhiyun nr_expect--;
257*4882a593Smuzhiyun plist_test_check(nr_expect);
258*4882a593Smuzhiyun }
259*4882a593Smuzhiyun
260*4882a593Smuzhiyun printk(KERN_DEBUG "end plist test\n");
261*4882a593Smuzhiyun return 0;
262*4882a593Smuzhiyun }
263*4882a593Smuzhiyun
264*4882a593Smuzhiyun module_init(plist_test);
265*4882a593Smuzhiyun
266*4882a593Smuzhiyun #endif
267