xref: /OK3568_Linux_fs/kernel/lib/test_ida.c (revision 4882a59341e53eb6f0b4789bf948001014eff981)
1*4882a593Smuzhiyun // SPDX-License-Identifier: GPL-2.0+
2*4882a593Smuzhiyun /*
3*4882a593Smuzhiyun  * test_ida.c: Test the IDA API
4*4882a593Smuzhiyun  * Copyright (c) 2016-2018 Microsoft Corporation
5*4882a593Smuzhiyun  * Copyright (c) 2018 Oracle Corporation
6*4882a593Smuzhiyun  * Author: Matthew Wilcox <willy@infradead.org>
7*4882a593Smuzhiyun  */
8*4882a593Smuzhiyun 
9*4882a593Smuzhiyun #include <linux/idr.h>
10*4882a593Smuzhiyun #include <linux/module.h>
11*4882a593Smuzhiyun 
12*4882a593Smuzhiyun static unsigned int tests_run;
13*4882a593Smuzhiyun static unsigned int tests_passed;
14*4882a593Smuzhiyun 
15*4882a593Smuzhiyun #ifdef __KERNEL__
ida_dump(struct ida * ida)16*4882a593Smuzhiyun void ida_dump(struct ida *ida) { }
17*4882a593Smuzhiyun #endif
18*4882a593Smuzhiyun #define IDA_BUG_ON(ida, x) do {						\
19*4882a593Smuzhiyun 	tests_run++;							\
20*4882a593Smuzhiyun 	if (x) {							\
21*4882a593Smuzhiyun 		ida_dump(ida);						\
22*4882a593Smuzhiyun 		dump_stack();						\
23*4882a593Smuzhiyun 	} else {							\
24*4882a593Smuzhiyun 		tests_passed++;						\
25*4882a593Smuzhiyun 	}								\
26*4882a593Smuzhiyun } while (0)
27*4882a593Smuzhiyun 
28*4882a593Smuzhiyun /*
29*4882a593Smuzhiyun  * Straightforward checks that allocating and freeing IDs work.
30*4882a593Smuzhiyun  */
ida_check_alloc(struct ida * ida)31*4882a593Smuzhiyun static void ida_check_alloc(struct ida *ida)
32*4882a593Smuzhiyun {
33*4882a593Smuzhiyun 	int i, id;
34*4882a593Smuzhiyun 
35*4882a593Smuzhiyun 	for (i = 0; i < 10000; i++)
36*4882a593Smuzhiyun 		IDA_BUG_ON(ida, ida_alloc(ida, GFP_KERNEL) != i);
37*4882a593Smuzhiyun 
38*4882a593Smuzhiyun 	ida_free(ida, 20);
39*4882a593Smuzhiyun 	ida_free(ida, 21);
40*4882a593Smuzhiyun 	for (i = 0; i < 3; i++) {
41*4882a593Smuzhiyun 		id = ida_alloc(ida, GFP_KERNEL);
42*4882a593Smuzhiyun 		IDA_BUG_ON(ida, id < 0);
43*4882a593Smuzhiyun 		if (i == 2)
44*4882a593Smuzhiyun 			IDA_BUG_ON(ida, id != 10000);
45*4882a593Smuzhiyun 	}
46*4882a593Smuzhiyun 
47*4882a593Smuzhiyun 	for (i = 0; i < 5000; i++)
48*4882a593Smuzhiyun 		ida_free(ida, i);
49*4882a593Smuzhiyun 
50*4882a593Smuzhiyun 	IDA_BUG_ON(ida, ida_alloc_min(ida, 5000, GFP_KERNEL) != 10001);
51*4882a593Smuzhiyun 	ida_destroy(ida);
52*4882a593Smuzhiyun 
53*4882a593Smuzhiyun 	IDA_BUG_ON(ida, !ida_is_empty(ida));
54*4882a593Smuzhiyun }
55*4882a593Smuzhiyun 
56*4882a593Smuzhiyun /* Destroy an IDA with a single entry at @base */
ida_check_destroy_1(struct ida * ida,unsigned int base)57*4882a593Smuzhiyun static void ida_check_destroy_1(struct ida *ida, unsigned int base)
58*4882a593Smuzhiyun {
59*4882a593Smuzhiyun 	IDA_BUG_ON(ida, ida_alloc_min(ida, base, GFP_KERNEL) != base);
60*4882a593Smuzhiyun 	IDA_BUG_ON(ida, ida_is_empty(ida));
61*4882a593Smuzhiyun 	ida_destroy(ida);
62*4882a593Smuzhiyun 	IDA_BUG_ON(ida, !ida_is_empty(ida));
63*4882a593Smuzhiyun }
64*4882a593Smuzhiyun 
65*4882a593Smuzhiyun /* Check that ida_destroy and ida_is_empty work */
ida_check_destroy(struct ida * ida)66*4882a593Smuzhiyun static void ida_check_destroy(struct ida *ida)
67*4882a593Smuzhiyun {
68*4882a593Smuzhiyun 	/* Destroy an already-empty IDA */
69*4882a593Smuzhiyun 	IDA_BUG_ON(ida, !ida_is_empty(ida));
70*4882a593Smuzhiyun 	ida_destroy(ida);
71*4882a593Smuzhiyun 	IDA_BUG_ON(ida, !ida_is_empty(ida));
72*4882a593Smuzhiyun 
73*4882a593Smuzhiyun 	ida_check_destroy_1(ida, 0);
74*4882a593Smuzhiyun 	ida_check_destroy_1(ida, 1);
75*4882a593Smuzhiyun 	ida_check_destroy_1(ida, 1023);
76*4882a593Smuzhiyun 	ida_check_destroy_1(ida, 1024);
77*4882a593Smuzhiyun 	ida_check_destroy_1(ida, 12345678);
78*4882a593Smuzhiyun }
79*4882a593Smuzhiyun 
80*4882a593Smuzhiyun /*
81*4882a593Smuzhiyun  * Check what happens when we fill a leaf and then delete it.  This may
82*4882a593Smuzhiyun  * discover mishandling of IDR_FREE.
83*4882a593Smuzhiyun  */
ida_check_leaf(struct ida * ida,unsigned int base)84*4882a593Smuzhiyun static void ida_check_leaf(struct ida *ida, unsigned int base)
85*4882a593Smuzhiyun {
86*4882a593Smuzhiyun 	unsigned long i;
87*4882a593Smuzhiyun 
88*4882a593Smuzhiyun 	for (i = 0; i < IDA_BITMAP_BITS; i++) {
89*4882a593Smuzhiyun 		IDA_BUG_ON(ida, ida_alloc_min(ida, base, GFP_KERNEL) !=
90*4882a593Smuzhiyun 				base + i);
91*4882a593Smuzhiyun 	}
92*4882a593Smuzhiyun 
93*4882a593Smuzhiyun 	ida_destroy(ida);
94*4882a593Smuzhiyun 	IDA_BUG_ON(ida, !ida_is_empty(ida));
95*4882a593Smuzhiyun 
96*4882a593Smuzhiyun 	IDA_BUG_ON(ida, ida_alloc(ida, GFP_KERNEL) != 0);
97*4882a593Smuzhiyun 	IDA_BUG_ON(ida, ida_is_empty(ida));
98*4882a593Smuzhiyun 	ida_free(ida, 0);
99*4882a593Smuzhiyun 	IDA_BUG_ON(ida, !ida_is_empty(ida));
100*4882a593Smuzhiyun }
101*4882a593Smuzhiyun 
102*4882a593Smuzhiyun /*
103*4882a593Smuzhiyun  * Check allocations up to and slightly above the maximum allowed (2^31-1) ID.
104*4882a593Smuzhiyun  * Allocating up to 2^31-1 should succeed, and then allocating the next one
105*4882a593Smuzhiyun  * should fail.
106*4882a593Smuzhiyun  */
ida_check_max(struct ida * ida)107*4882a593Smuzhiyun static void ida_check_max(struct ida *ida)
108*4882a593Smuzhiyun {
109*4882a593Smuzhiyun 	unsigned long i, j;
110*4882a593Smuzhiyun 
111*4882a593Smuzhiyun 	for (j = 1; j < 65537; j *= 2) {
112*4882a593Smuzhiyun 		unsigned long base = (1UL << 31) - j;
113*4882a593Smuzhiyun 		for (i = 0; i < j; i++) {
114*4882a593Smuzhiyun 			IDA_BUG_ON(ida, ida_alloc_min(ida, base, GFP_KERNEL) !=
115*4882a593Smuzhiyun 					base + i);
116*4882a593Smuzhiyun 		}
117*4882a593Smuzhiyun 		IDA_BUG_ON(ida, ida_alloc_min(ida, base, GFP_KERNEL) !=
118*4882a593Smuzhiyun 				-ENOSPC);
119*4882a593Smuzhiyun 		ida_destroy(ida);
120*4882a593Smuzhiyun 		IDA_BUG_ON(ida, !ida_is_empty(ida));
121*4882a593Smuzhiyun 	}
122*4882a593Smuzhiyun }
123*4882a593Smuzhiyun 
124*4882a593Smuzhiyun /*
125*4882a593Smuzhiyun  * Check handling of conversions between exceptional entries and full bitmaps.
126*4882a593Smuzhiyun  */
ida_check_conv(struct ida * ida)127*4882a593Smuzhiyun static void ida_check_conv(struct ida *ida)
128*4882a593Smuzhiyun {
129*4882a593Smuzhiyun 	unsigned long i;
130*4882a593Smuzhiyun 
131*4882a593Smuzhiyun 	for (i = 0; i < IDA_BITMAP_BITS * 2; i += IDA_BITMAP_BITS) {
132*4882a593Smuzhiyun 		IDA_BUG_ON(ida, ida_alloc_min(ida, i + 1, GFP_KERNEL) != i + 1);
133*4882a593Smuzhiyun 		IDA_BUG_ON(ida, ida_alloc_min(ida, i + BITS_PER_LONG,
134*4882a593Smuzhiyun 					GFP_KERNEL) != i + BITS_PER_LONG);
135*4882a593Smuzhiyun 		ida_free(ida, i + 1);
136*4882a593Smuzhiyun 		ida_free(ida, i + BITS_PER_LONG);
137*4882a593Smuzhiyun 		IDA_BUG_ON(ida, !ida_is_empty(ida));
138*4882a593Smuzhiyun 	}
139*4882a593Smuzhiyun 
140*4882a593Smuzhiyun 	for (i = 0; i < IDA_BITMAP_BITS * 2; i++)
141*4882a593Smuzhiyun 		IDA_BUG_ON(ida, ida_alloc(ida, GFP_KERNEL) != i);
142*4882a593Smuzhiyun 	for (i = IDA_BITMAP_BITS * 2; i > 0; i--)
143*4882a593Smuzhiyun 		ida_free(ida, i - 1);
144*4882a593Smuzhiyun 	IDA_BUG_ON(ida, !ida_is_empty(ida));
145*4882a593Smuzhiyun 
146*4882a593Smuzhiyun 	for (i = 0; i < IDA_BITMAP_BITS + BITS_PER_LONG - 4; i++)
147*4882a593Smuzhiyun 		IDA_BUG_ON(ida, ida_alloc(ida, GFP_KERNEL) != i);
148*4882a593Smuzhiyun 	for (i = IDA_BITMAP_BITS + BITS_PER_LONG - 4; i > 0; i--)
149*4882a593Smuzhiyun 		ida_free(ida, i - 1);
150*4882a593Smuzhiyun 	IDA_BUG_ON(ida, !ida_is_empty(ida));
151*4882a593Smuzhiyun }
152*4882a593Smuzhiyun 
153*4882a593Smuzhiyun static DEFINE_IDA(ida);
154*4882a593Smuzhiyun 
ida_checks(void)155*4882a593Smuzhiyun static int ida_checks(void)
156*4882a593Smuzhiyun {
157*4882a593Smuzhiyun 	IDA_BUG_ON(&ida, !ida_is_empty(&ida));
158*4882a593Smuzhiyun 	ida_check_alloc(&ida);
159*4882a593Smuzhiyun 	ida_check_destroy(&ida);
160*4882a593Smuzhiyun 	ida_check_leaf(&ida, 0);
161*4882a593Smuzhiyun 	ida_check_leaf(&ida, 1024);
162*4882a593Smuzhiyun 	ida_check_leaf(&ida, 1024 * 64);
163*4882a593Smuzhiyun 	ida_check_max(&ida);
164*4882a593Smuzhiyun 	ida_check_conv(&ida);
165*4882a593Smuzhiyun 
166*4882a593Smuzhiyun 	printk("IDA: %u of %u tests passed\n", tests_passed, tests_run);
167*4882a593Smuzhiyun 	return (tests_run != tests_passed) ? 0 : -EINVAL;
168*4882a593Smuzhiyun }
169*4882a593Smuzhiyun 
ida_exit(void)170*4882a593Smuzhiyun static void ida_exit(void)
171*4882a593Smuzhiyun {
172*4882a593Smuzhiyun }
173*4882a593Smuzhiyun 
174*4882a593Smuzhiyun module_init(ida_checks);
175*4882a593Smuzhiyun module_exit(ida_exit);
176*4882a593Smuzhiyun MODULE_AUTHOR("Matthew Wilcox <willy@infradead.org>");
177*4882a593Smuzhiyun MODULE_LICENSE("GPL");
178