xref: /linux/lib/test_ida.c (revision af73483f)
18ab8ba38SMatthew Wilcox // SPDX-License-Identifier: GPL-2.0+
28ab8ba38SMatthew Wilcox /*
38ab8ba38SMatthew Wilcox  * test_ida.c: Test the IDA API
48ab8ba38SMatthew Wilcox  * Copyright (c) 2016-2018 Microsoft Corporation
58ab8ba38SMatthew Wilcox  * Copyright (c) 2018 Oracle Corporation
68ab8ba38SMatthew Wilcox  * Author: Matthew Wilcox <willy@infradead.org>
78ab8ba38SMatthew Wilcox  */
88ab8ba38SMatthew Wilcox 
98ab8ba38SMatthew Wilcox #include <linux/idr.h>
108ab8ba38SMatthew Wilcox #include <linux/module.h>
118ab8ba38SMatthew Wilcox 
128ab8ba38SMatthew Wilcox static unsigned int tests_run;
138ab8ba38SMatthew Wilcox static unsigned int tests_passed;
148ab8ba38SMatthew Wilcox 
158ab8ba38SMatthew Wilcox #ifdef __KERNEL__
ida_dump(struct ida * ida)168ab8ba38SMatthew Wilcox static void ida_dump(struct ida *ida) { }
178ab8ba38SMatthew Wilcox #endif
188ab8ba38SMatthew Wilcox #define IDA_BUG_ON(ida, x) do {						\
198ab8ba38SMatthew Wilcox 	tests_run++;							\
208ab8ba38SMatthew Wilcox 	if (x) {							\
218ab8ba38SMatthew Wilcox 		ida_dump(ida);						\
228ab8ba38SMatthew Wilcox 		dump_stack();						\
238ab8ba38SMatthew Wilcox 	} else {							\
248ab8ba38SMatthew Wilcox 		tests_passed++;						\
258ab8ba38SMatthew Wilcox 	}								\
268ab8ba38SMatthew Wilcox } while (0)
278ab8ba38SMatthew Wilcox 
280a385639SMatthew Wilcox /*
29f272668dSMatthew Wilcox  * Straightforward checks that allocating and freeing IDs work.
30f272668dSMatthew Wilcox  */
ida_check_alloc(struct ida * ida)31f272668dSMatthew Wilcox static void ida_check_alloc(struct ida *ida)
32f272668dSMatthew Wilcox {
33f272668dSMatthew Wilcox 	int i, id;
34f272668dSMatthew Wilcox 
35f272668dSMatthew Wilcox 	for (i = 0; i < 10000; i++)
36f272668dSMatthew Wilcox 		IDA_BUG_ON(ida, ida_alloc(ida, GFP_KERNEL) != i);
37f272668dSMatthew Wilcox 
38f272668dSMatthew Wilcox 	ida_free(ida, 20);
39f272668dSMatthew Wilcox 	ida_free(ida, 21);
40f272668dSMatthew Wilcox 	for (i = 0; i < 3; i++) {
41f272668dSMatthew Wilcox 		id = ida_alloc(ida, GFP_KERNEL);
42f272668dSMatthew Wilcox 		IDA_BUG_ON(ida, id < 0);
43f272668dSMatthew Wilcox 		if (i == 2)
44f272668dSMatthew Wilcox 			IDA_BUG_ON(ida, id != 10000);
45f272668dSMatthew Wilcox 	}
46f272668dSMatthew Wilcox 
47f272668dSMatthew Wilcox 	for (i = 0; i < 5000; i++)
48f272668dSMatthew Wilcox 		ida_free(ida, i);
49f272668dSMatthew Wilcox 
50f272668dSMatthew Wilcox 	IDA_BUG_ON(ida, ida_alloc_min(ida, 5000, GFP_KERNEL) != 10001);
51f272668dSMatthew Wilcox 	ida_destroy(ida);
52f272668dSMatthew Wilcox 
53f272668dSMatthew Wilcox 	IDA_BUG_ON(ida, !ida_is_empty(ida));
54f272668dSMatthew Wilcox }
55f272668dSMatthew Wilcox 
56f272668dSMatthew Wilcox /* Destroy an IDA with a single entry at @base */
ida_check_destroy_1(struct ida * ida,unsigned int base)57f272668dSMatthew Wilcox static void ida_check_destroy_1(struct ida *ida, unsigned int base)
58f272668dSMatthew Wilcox {
59f272668dSMatthew Wilcox 	IDA_BUG_ON(ida, ida_alloc_min(ida, base, GFP_KERNEL) != base);
60f272668dSMatthew Wilcox 	IDA_BUG_ON(ida, ida_is_empty(ida));
61f272668dSMatthew Wilcox 	ida_destroy(ida);
62f272668dSMatthew Wilcox 	IDA_BUG_ON(ida, !ida_is_empty(ida));
63f272668dSMatthew Wilcox }
64f272668dSMatthew Wilcox 
65f272668dSMatthew Wilcox /* Check that ida_destroy and ida_is_empty work */
ida_check_destroy(struct ida * ida)66f272668dSMatthew Wilcox static void ida_check_destroy(struct ida *ida)
67f272668dSMatthew Wilcox {
68f272668dSMatthew Wilcox 	/* Destroy an already-empty IDA */
69f272668dSMatthew Wilcox 	IDA_BUG_ON(ida, !ida_is_empty(ida));
70f272668dSMatthew Wilcox 	ida_destroy(ida);
71f272668dSMatthew Wilcox 	IDA_BUG_ON(ida, !ida_is_empty(ida));
72f272668dSMatthew Wilcox 
73f272668dSMatthew Wilcox 	ida_check_destroy_1(ida, 0);
74f272668dSMatthew Wilcox 	ida_check_destroy_1(ida, 1);
75f272668dSMatthew Wilcox 	ida_check_destroy_1(ida, 1023);
76f272668dSMatthew Wilcox 	ida_check_destroy_1(ida, 1024);
77f272668dSMatthew Wilcox 	ida_check_destroy_1(ida, 12345678);
78f272668dSMatthew Wilcox }
79f272668dSMatthew Wilcox 
80f272668dSMatthew Wilcox /*
810a385639SMatthew Wilcox  * Check what happens when we fill a leaf and then delete it.  This may
820a385639SMatthew Wilcox  * discover mishandling of IDR_FREE.
830a385639SMatthew Wilcox  */
ida_check_leaf(struct ida * ida,unsigned int base)840a385639SMatthew Wilcox static void ida_check_leaf(struct ida *ida, unsigned int base)
850a385639SMatthew Wilcox {
860a385639SMatthew Wilcox 	unsigned long i;
870a385639SMatthew Wilcox 
880a385639SMatthew Wilcox 	for (i = 0; i < IDA_BITMAP_BITS; i++) {
890a385639SMatthew Wilcox 		IDA_BUG_ON(ida, ida_alloc_min(ida, base, GFP_KERNEL) !=
900a385639SMatthew Wilcox 				base + i);
910a385639SMatthew Wilcox 	}
920a385639SMatthew Wilcox 
930a385639SMatthew Wilcox 	ida_destroy(ida);
940a385639SMatthew Wilcox 	IDA_BUG_ON(ida, !ida_is_empty(ida));
950a385639SMatthew Wilcox 
960a385639SMatthew Wilcox 	IDA_BUG_ON(ida, ida_alloc(ida, GFP_KERNEL) != 0);
970a385639SMatthew Wilcox 	IDA_BUG_ON(ida, ida_is_empty(ida));
980a385639SMatthew Wilcox 	ida_free(ida, 0);
990a385639SMatthew Wilcox 	IDA_BUG_ON(ida, !ida_is_empty(ida));
1000a385639SMatthew Wilcox }
1010a385639SMatthew Wilcox 
102161b47e3SMatthew Wilcox /*
103161b47e3SMatthew Wilcox  * Check allocations up to and slightly above the maximum allowed (2^31-1) ID.
104161b47e3SMatthew Wilcox  * Allocating up to 2^31-1 should succeed, and then allocating the next one
105161b47e3SMatthew Wilcox  * should fail.
106161b47e3SMatthew Wilcox  */
ida_check_max(struct ida * ida)107161b47e3SMatthew Wilcox static void ida_check_max(struct ida *ida)
108161b47e3SMatthew Wilcox {
109161b47e3SMatthew Wilcox 	unsigned long i, j;
110161b47e3SMatthew Wilcox 
111161b47e3SMatthew Wilcox 	for (j = 1; j < 65537; j *= 2) {
112161b47e3SMatthew Wilcox 		unsigned long base = (1UL << 31) - j;
113161b47e3SMatthew Wilcox 		for (i = 0; i < j; i++) {
114161b47e3SMatthew Wilcox 			IDA_BUG_ON(ida, ida_alloc_min(ida, base, GFP_KERNEL) !=
115161b47e3SMatthew Wilcox 					base + i);
116161b47e3SMatthew Wilcox 		}
117161b47e3SMatthew Wilcox 		IDA_BUG_ON(ida, ida_alloc_min(ida, base, GFP_KERNEL) !=
118161b47e3SMatthew Wilcox 				-ENOSPC);
119161b47e3SMatthew Wilcox 		ida_destroy(ida);
120161b47e3SMatthew Wilcox 		IDA_BUG_ON(ida, !ida_is_empty(ida));
121161b47e3SMatthew Wilcox 	}
122161b47e3SMatthew Wilcox }
123161b47e3SMatthew Wilcox 
1245c78b0b1SMatthew Wilcox /*
1255c78b0b1SMatthew Wilcox  * Check handling of conversions between exceptional entries and full bitmaps.
1265c78b0b1SMatthew Wilcox  */
ida_check_conv(struct ida * ida)1275c78b0b1SMatthew Wilcox static void ida_check_conv(struct ida *ida)
1285c78b0b1SMatthew Wilcox {
1295c78b0b1SMatthew Wilcox 	unsigned long i;
1305c78b0b1SMatthew Wilcox 
1315c78b0b1SMatthew Wilcox 	for (i = 0; i < IDA_BITMAP_BITS * 2; i += IDA_BITMAP_BITS) {
1325c78b0b1SMatthew Wilcox 		IDA_BUG_ON(ida, ida_alloc_min(ida, i + 1, GFP_KERNEL) != i + 1);
1335c78b0b1SMatthew Wilcox 		IDA_BUG_ON(ida, ida_alloc_min(ida, i + BITS_PER_LONG,
1345c78b0b1SMatthew Wilcox 					GFP_KERNEL) != i + BITS_PER_LONG);
1355c78b0b1SMatthew Wilcox 		ida_free(ida, i + 1);
1365c78b0b1SMatthew Wilcox 		ida_free(ida, i + BITS_PER_LONG);
1375c78b0b1SMatthew Wilcox 		IDA_BUG_ON(ida, !ida_is_empty(ida));
1385c78b0b1SMatthew Wilcox 	}
1395c78b0b1SMatthew Wilcox 
1405c78b0b1SMatthew Wilcox 	for (i = 0; i < IDA_BITMAP_BITS * 2; i++)
1415c78b0b1SMatthew Wilcox 		IDA_BUG_ON(ida, ida_alloc(ida, GFP_KERNEL) != i);
1425c78b0b1SMatthew Wilcox 	for (i = IDA_BITMAP_BITS * 2; i > 0; i--)
1435c78b0b1SMatthew Wilcox 		ida_free(ida, i - 1);
1445c78b0b1SMatthew Wilcox 	IDA_BUG_ON(ida, !ida_is_empty(ida));
1455c78b0b1SMatthew Wilcox 
1465c78b0b1SMatthew Wilcox 	for (i = 0; i < IDA_BITMAP_BITS + BITS_PER_LONG - 4; i++)
1475c78b0b1SMatthew Wilcox 		IDA_BUG_ON(ida, ida_alloc(ida, GFP_KERNEL) != i);
1485c78b0b1SMatthew Wilcox 	for (i = IDA_BITMAP_BITS + BITS_PER_LONG - 4; i > 0; i--)
1495c78b0b1SMatthew Wilcox 		ida_free(ida, i - 1);
1505c78b0b1SMatthew Wilcox 	IDA_BUG_ON(ida, !ida_is_empty(ida));
1515c78b0b1SMatthew Wilcox }
1525c78b0b1SMatthew Wilcox 
153*af73483fSMatthew Wilcox (Oracle) /*
154*af73483fSMatthew Wilcox (Oracle)  * Check various situations where we attempt to free an ID we don't own.
155*af73483fSMatthew Wilcox (Oracle)  */
ida_check_bad_free(struct ida * ida)156*af73483fSMatthew Wilcox (Oracle) static void ida_check_bad_free(struct ida *ida)
157*af73483fSMatthew Wilcox (Oracle) {
158*af73483fSMatthew Wilcox (Oracle) 	unsigned long i;
159*af73483fSMatthew Wilcox (Oracle) 
160*af73483fSMatthew Wilcox (Oracle) 	printk("vvv Ignore \"not allocated\" warnings\n");
161*af73483fSMatthew Wilcox (Oracle) 	/* IDA is empty; all of these will fail */
162*af73483fSMatthew Wilcox (Oracle) 	ida_free(ida, 0);
163*af73483fSMatthew Wilcox (Oracle) 	for (i = 0; i < 31; i++)
164*af73483fSMatthew Wilcox (Oracle) 		ida_free(ida, 1 << i);
165*af73483fSMatthew Wilcox (Oracle) 
166*af73483fSMatthew Wilcox (Oracle) 	/* IDA contains a single value entry */
167*af73483fSMatthew Wilcox (Oracle) 	IDA_BUG_ON(ida, ida_alloc_min(ida, 3, GFP_KERNEL) != 3);
168*af73483fSMatthew Wilcox (Oracle) 	ida_free(ida, 0);
169*af73483fSMatthew Wilcox (Oracle) 	for (i = 0; i < 31; i++)
170*af73483fSMatthew Wilcox (Oracle) 		ida_free(ida, 1 << i);
171*af73483fSMatthew Wilcox (Oracle) 
172*af73483fSMatthew Wilcox (Oracle) 	/* IDA contains a single bitmap */
173*af73483fSMatthew Wilcox (Oracle) 	IDA_BUG_ON(ida, ida_alloc_min(ida, 1023, GFP_KERNEL) != 1023);
174*af73483fSMatthew Wilcox (Oracle) 	ida_free(ida, 0);
175*af73483fSMatthew Wilcox (Oracle) 	for (i = 0; i < 31; i++)
176*af73483fSMatthew Wilcox (Oracle) 		ida_free(ida, 1 << i);
177*af73483fSMatthew Wilcox (Oracle) 
178*af73483fSMatthew Wilcox (Oracle) 	/* IDA contains a tree */
179*af73483fSMatthew Wilcox (Oracle) 	IDA_BUG_ON(ida, ida_alloc_min(ida, (1 << 20) - 1, GFP_KERNEL) != (1 << 20) - 1);
180*af73483fSMatthew Wilcox (Oracle) 	ida_free(ida, 0);
181*af73483fSMatthew Wilcox (Oracle) 	for (i = 0; i < 31; i++)
182*af73483fSMatthew Wilcox (Oracle) 		ida_free(ida, 1 << i);
183*af73483fSMatthew Wilcox (Oracle) 	printk("^^^ \"not allocated\" warnings over\n");
184*af73483fSMatthew Wilcox (Oracle) 
185*af73483fSMatthew Wilcox (Oracle) 	ida_free(ida, 3);
186*af73483fSMatthew Wilcox (Oracle) 	ida_free(ida, 1023);
187*af73483fSMatthew Wilcox (Oracle) 	ida_free(ida, (1 << 20) - 1);
188*af73483fSMatthew Wilcox (Oracle) 
189*af73483fSMatthew Wilcox (Oracle) 	IDA_BUG_ON(ida, !ida_is_empty(ida));
190*af73483fSMatthew Wilcox (Oracle) }
191*af73483fSMatthew Wilcox (Oracle) 
192c994b129SMatthew Wilcox static DEFINE_IDA(ida);
193c994b129SMatthew Wilcox 
ida_checks(void)1948ab8ba38SMatthew Wilcox static int ida_checks(void)
1958ab8ba38SMatthew Wilcox {
1968ab8ba38SMatthew Wilcox 	IDA_BUG_ON(&ida, !ida_is_empty(&ida));
197f272668dSMatthew Wilcox 	ida_check_alloc(&ida);
198f272668dSMatthew Wilcox 	ida_check_destroy(&ida);
1990a385639SMatthew Wilcox 	ida_check_leaf(&ida, 0);
2000a385639SMatthew Wilcox 	ida_check_leaf(&ida, 1024);
2010a385639SMatthew Wilcox 	ida_check_leaf(&ida, 1024 * 64);
202161b47e3SMatthew Wilcox 	ida_check_max(&ida);
2035c78b0b1SMatthew Wilcox 	ida_check_conv(&ida);
204*af73483fSMatthew Wilcox (Oracle) 	ida_check_bad_free(&ida);
2058ab8ba38SMatthew Wilcox 
2068ab8ba38SMatthew Wilcox 	printk("IDA: %u of %u tests passed\n", tests_passed, tests_run);
2078ab8ba38SMatthew Wilcox 	return (tests_run != tests_passed) ? 0 : -EINVAL;
2088ab8ba38SMatthew Wilcox }
2098ab8ba38SMatthew Wilcox 
ida_exit(void)2108ab8ba38SMatthew Wilcox static void ida_exit(void)
2118ab8ba38SMatthew Wilcox {
2128ab8ba38SMatthew Wilcox }
2138ab8ba38SMatthew Wilcox 
2148ab8ba38SMatthew Wilcox module_init(ida_checks);
2158ab8ba38SMatthew Wilcox module_exit(ida_exit);
2168ab8ba38SMatthew Wilcox MODULE_AUTHOR("Matthew Wilcox <willy@infradead.org>");
2178ab8ba38SMatthew Wilcox MODULE_LICENSE("GPL");
218