1 // SPDX-License-Identifier: GPL-2.0+
3 * test_ida.c: Test the IDA API
4 * Copyright (c) 2016-2018 Microsoft Corporation
5 * Copyright (c) 2018 Oracle Corporation
6 * Author: Matthew Wilcox <willy@infradead.org>
10 #include <linux/module.h>
12 static unsigned int tests_run
;
13 static unsigned int tests_passed
;
16 static void ida_dump(struct ida
*ida
) { }
18 #define IDA_BUG_ON(ida, x) do { \
29 * Straightforward checks that allocating and freeing IDs work.
31 static void ida_check_alloc(struct ida
*ida
)
35 for (i
= 0; i
< 10000; i
++)
36 IDA_BUG_ON(ida
, ida_alloc(ida
, GFP_KERNEL
) != i
);
40 for (i
= 0; i
< 3; i
++) {
41 id
= ida_alloc(ida
, GFP_KERNEL
);
42 IDA_BUG_ON(ida
, id
< 0);
44 IDA_BUG_ON(ida
, id
!= 10000);
47 for (i
= 0; i
< 5000; i
++)
50 IDA_BUG_ON(ida
, ida_alloc_min(ida
, 5000, GFP_KERNEL
) != 10001);
53 IDA_BUG_ON(ida
, !ida_is_empty(ida
));
56 /* Destroy an IDA with a single entry at @base */
57 static void ida_check_destroy_1(struct ida
*ida
, unsigned int base
)
59 IDA_BUG_ON(ida
, ida_alloc_min(ida
, base
, GFP_KERNEL
) != base
);
60 IDA_BUG_ON(ida
, ida_is_empty(ida
));
62 IDA_BUG_ON(ida
, !ida_is_empty(ida
));
65 /* Check that ida_destroy and ida_is_empty work */
66 static void ida_check_destroy(struct ida
*ida
)
68 /* Destroy an already-empty IDA */
69 IDA_BUG_ON(ida
, !ida_is_empty(ida
));
71 IDA_BUG_ON(ida
, !ida_is_empty(ida
));
73 ida_check_destroy_1(ida
, 0);
74 ida_check_destroy_1(ida
, 1);
75 ida_check_destroy_1(ida
, 1023);
76 ida_check_destroy_1(ida
, 1024);
77 ida_check_destroy_1(ida
, 12345678);
81 * Check what happens when we fill a leaf and then delete it. This may
82 * discover mishandling of IDR_FREE.
84 static void ida_check_leaf(struct ida
*ida
, unsigned int base
)
88 for (i
= 0; i
< IDA_BITMAP_BITS
; i
++) {
89 IDA_BUG_ON(ida
, ida_alloc_min(ida
, base
, GFP_KERNEL
) !=
94 IDA_BUG_ON(ida
, !ida_is_empty(ida
));
96 IDA_BUG_ON(ida
, ida_alloc(ida
, GFP_KERNEL
) != 0);
97 IDA_BUG_ON(ida
, ida_is_empty(ida
));
99 IDA_BUG_ON(ida
, !ida_is_empty(ida
));
103 * Check allocations up to and slightly above the maximum allowed (2^31-1) ID.
104 * Allocating up to 2^31-1 should succeed, and then allocating the next one
107 static void ida_check_max(struct ida
*ida
)
111 for (j
= 1; j
< 65537; j
*= 2) {
112 unsigned long base
= (1UL << 31) - j
;
113 for (i
= 0; i
< j
; i
++) {
114 IDA_BUG_ON(ida
, ida_alloc_min(ida
, base
, GFP_KERNEL
) !=
117 IDA_BUG_ON(ida
, ida_alloc_min(ida
, base
, GFP_KERNEL
) !=
120 IDA_BUG_ON(ida
, !ida_is_empty(ida
));
125 * Check handling of conversions between exceptional entries and full bitmaps.
127 static void ida_check_conv(struct ida
*ida
)
131 for (i
= 0; i
< IDA_BITMAP_BITS
* 2; i
+= IDA_BITMAP_BITS
) {
132 IDA_BUG_ON(ida
, ida_alloc_min(ida
, i
+ 1, GFP_KERNEL
) != i
+ 1);
133 IDA_BUG_ON(ida
, ida_alloc_min(ida
, i
+ BITS_PER_LONG
,
134 GFP_KERNEL
) != i
+ BITS_PER_LONG
);
135 ida_free(ida
, i
+ 1);
136 ida_free(ida
, i
+ BITS_PER_LONG
);
137 IDA_BUG_ON(ida
, !ida_is_empty(ida
));
140 for (i
= 0; i
< IDA_BITMAP_BITS
* 2; i
++)
141 IDA_BUG_ON(ida
, ida_alloc(ida
, GFP_KERNEL
) != i
);
142 for (i
= IDA_BITMAP_BITS
* 2; i
> 0; i
--)
143 ida_free(ida
, i
- 1);
144 IDA_BUG_ON(ida
, !ida_is_empty(ida
));
146 for (i
= 0; i
< IDA_BITMAP_BITS
+ BITS_PER_LONG
- 4; i
++)
147 IDA_BUG_ON(ida
, ida_alloc(ida
, GFP_KERNEL
) != i
);
148 for (i
= IDA_BITMAP_BITS
+ BITS_PER_LONG
- 4; i
> 0; i
--)
149 ida_free(ida
, i
- 1);
150 IDA_BUG_ON(ida
, !ida_is_empty(ida
));
154 * Check various situations where we attempt to free an ID we don't own.
156 static void ida_check_bad_free(struct ida
*ida
)
160 printk("vvv Ignore \"not allocated\" warnings\n");
161 /* IDA is empty; all of these will fail */
163 for (i
= 0; i
< 31; i
++)
164 ida_free(ida
, 1 << i
);
166 /* IDA contains a single value entry */
167 IDA_BUG_ON(ida
, ida_alloc_min(ida
, 3, GFP_KERNEL
) != 3);
169 for (i
= 0; i
< 31; i
++)
170 ida_free(ida
, 1 << i
);
172 /* IDA contains a single bitmap */
173 IDA_BUG_ON(ida
, ida_alloc_min(ida
, 1023, GFP_KERNEL
) != 1023);
175 for (i
= 0; i
< 31; i
++)
176 ida_free(ida
, 1 << i
);
178 /* IDA contains a tree */
179 IDA_BUG_ON(ida
, ida_alloc_min(ida
, (1 << 20) - 1, GFP_KERNEL
) != (1 << 20) - 1);
181 for (i
= 0; i
< 31; i
++)
182 ida_free(ida
, 1 << i
);
183 printk("^^^ \"not allocated\" warnings over\n");
187 ida_free(ida
, (1 << 20) - 1);
189 IDA_BUG_ON(ida
, !ida_is_empty(ida
));
192 static DEFINE_IDA(ida
);
194 static int ida_checks(void)
196 IDA_BUG_ON(&ida
, !ida_is_empty(&ida
));
197 ida_check_alloc(&ida
);
198 ida_check_destroy(&ida
);
199 ida_check_leaf(&ida
, 0);
200 ida_check_leaf(&ida
, 1024);
201 ida_check_leaf(&ida
, 1024 * 64);
203 ida_check_conv(&ida
);
204 ida_check_bad_free(&ida
);
206 printk("IDA: %u of %u tests passed\n", tests_passed
, tests_run
);
207 return (tests_run
!= tests_passed
) ? 0 : -EINVAL
;
210 static void ida_exit(void)
214 module_init(ida_checks
);
215 module_exit(ida_exit
);
216 MODULE_AUTHOR("Matthew Wilcox <willy@infradead.org>");
217 MODULE_DESCRIPTION("Test the IDA API");
218 MODULE_LICENSE("GPL");