2 * idr-test.c: Test the IDR API
3 * Copyright (c) 2016 Matthew Wilcox <willy@infradead.org>
5 * This program is free software; you can redistribute it and/or modify it
6 * under the terms and conditions of the GNU General Public License,
7 * version 2, as published by the Free Software Foundation.
9 * This program is distributed in the hope it will be useful, but WITHOUT
10 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
11 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
14 #include <linux/bitmap.h>
15 #include <linux/idr.h>
16 #include <linux/slab.h>
17 #include <linux/kernel.h>
18 #include <linux/errno.h>
22 #define DUMMY_PTR ((void *)0x12)
24 int item_idr_free(int id
, void *p
, void *data
)
26 struct item
*item
= p
;
27 assert(item
->index
== id
);
33 void item_idr_remove(struct idr
*idr
, int id
)
35 struct item
*item
= idr_find(idr
, id
);
36 assert(item
->index
== id
);
41 void idr_alloc_test(void)
46 assert(idr_alloc_cyclic(&idr
, DUMMY_PTR
, 0, 0x4000, GFP_KERNEL
) == 0);
47 assert(idr_alloc_cyclic(&idr
, DUMMY_PTR
, 0x3ffd, 0x4000, GFP_KERNEL
) == 0x3ffd);
48 idr_remove(&idr
, 0x3ffd);
51 for (i
= 0x3ffe; i
< 0x4003; i
++) {
56 item
= item_create(i
, 0);
58 item
= item_create(i
- 0x3fff, 0);
60 id
= idr_alloc_cyclic(&idr
, item
, 1, 0x4000, GFP_KERNEL
);
61 assert(id
== item
->index
);
64 idr_for_each(&idr
, item_idr_free
, &idr
);
68 void idr_replace_test(void)
72 idr_alloc(&idr
, (void *)-1, 10, 11, GFP_KERNEL
);
73 idr_replace(&idr
, &idr
, 10);
79 * Unlike the radix tree, you can put a NULL pointer -- with care -- into
80 * the IDR. Some interfaces, like idr_find() do not distinguish between
81 * "present, value is NULL" and "not present", but that's exactly what some
84 void idr_null_test(void)
89 assert(idr_is_empty(&idr
));
91 assert(idr_alloc(&idr
, NULL
, 0, 0, GFP_KERNEL
) == 0);
92 assert(!idr_is_empty(&idr
));
94 assert(idr_is_empty(&idr
));
96 assert(idr_alloc(&idr
, NULL
, 0, 0, GFP_KERNEL
) == 0);
97 assert(!idr_is_empty(&idr
));
99 assert(idr_is_empty(&idr
));
101 for (i
= 0; i
< 10; i
++) {
102 assert(idr_alloc(&idr
, NULL
, 0, 0, GFP_KERNEL
) == i
);
105 assert(idr_replace(&idr
, DUMMY_PTR
, 3) == NULL
);
106 assert(idr_replace(&idr
, DUMMY_PTR
, 4) == NULL
);
107 assert(idr_replace(&idr
, NULL
, 4) == DUMMY_PTR
);
108 assert(idr_replace(&idr
, DUMMY_PTR
, 11) == ERR_PTR(-ENOENT
));
110 assert(idr_alloc(&idr
, NULL
, 0, 0, GFP_KERNEL
) == 5);
113 for (i
= 0; i
< 9; i
++) {
115 assert(!idr_is_empty(&idr
));
118 assert(!idr_is_empty(&idr
));
120 assert(idr_is_empty(&idr
));
122 assert(idr_alloc(&idr
, NULL
, 0, 0, GFP_KERNEL
) == 0);
123 assert(idr_replace(&idr
, DUMMY_PTR
, 3) == ERR_PTR(-ENOENT
));
124 assert(idr_replace(&idr
, DUMMY_PTR
, 0) == NULL
);
125 assert(idr_replace(&idr
, NULL
, 0) == DUMMY_PTR
);
128 assert(idr_is_empty(&idr
));
130 for (i
= 1; i
< 10; i
++) {
131 assert(idr_alloc(&idr
, NULL
, 1, 0, GFP_KERNEL
) == i
);
135 assert(idr_is_empty(&idr
));
138 void idr_nowait_test(void)
143 idr_preload(GFP_KERNEL
);
145 for (i
= 0; i
< 3; i
++) {
146 struct item
*item
= item_create(i
, 0);
147 assert(idr_alloc(&idr
, item
, i
, i
+ 1, GFP_NOWAIT
) == i
);
152 idr_for_each(&idr
, item_idr_free
, &idr
);
156 void idr_get_next_test(int base
)
161 idr_init_base(&idr
, base
);
163 int indices
[] = {4, 7, 9, 15, 65, 128, 1000, 99999, 0};
165 for(i
= 0; indices
[i
]; i
++) {
166 struct item
*item
= item_create(indices
[i
], 0);
167 assert(idr_alloc(&idr
, item
, indices
[i
], indices
[i
+1],
168 GFP_KERNEL
) == indices
[i
]);
171 for(i
= 0, nextid
= 0; indices
[i
]; i
++) {
172 idr_get_next(&idr
, &nextid
);
173 assert(nextid
== indices
[i
]);
177 idr_for_each(&idr
, item_idr_free
, &idr
);
181 int idr_u32_cb(int id
, void *ptr
, void *data
)
184 BUG_ON(ptr
!= DUMMY_PTR
);
188 void idr_u32_test1(struct idr
*idr
, u32 handle
)
190 static bool warned
= false;
195 BUG_ON(idr_alloc_u32(idr
, DUMMY_PTR
, &id
, id
, GFP_KERNEL
));
196 BUG_ON(id
!= handle
);
197 BUG_ON(idr_alloc_u32(idr
, DUMMY_PTR
, &id
, id
, GFP_KERNEL
) != -ENOSPC
);
198 BUG_ON(id
!= handle
);
199 if (!warned
&& id
> INT_MAX
)
200 printk("vvv Ignore these warnings\n");
201 ptr
= idr_get_next(idr
, &sid
);
206 BUG_ON(ptr
!= DUMMY_PTR
);
209 idr_for_each(idr
, idr_u32_cb
, NULL
);
210 if (!warned
&& id
> INT_MAX
) {
211 printk("^^^ Warnings over\n");
214 BUG_ON(idr_remove(idr
, id
) != DUMMY_PTR
);
215 BUG_ON(!idr_is_empty(idr
));
218 void idr_u32_test(int base
)
221 idr_init_base(&idr
, base
);
222 idr_u32_test1(&idr
, 10);
223 idr_u32_test1(&idr
, 0x7fffffff);
224 idr_u32_test1(&idr
, 0x80000000);
225 idr_u32_test1(&idr
, 0x80000001);
226 idr_u32_test1(&idr
, 0xffe00000);
227 idr_u32_test1(&idr
, 0xffffffff);
230 void idr_checks(void)
235 for (i
= 0; i
< 10000; i
++) {
236 struct item
*item
= item_create(i
, 0);
237 assert(idr_alloc(&idr
, item
, 0, 20000, GFP_KERNEL
) == i
);
240 assert(idr_alloc(&idr
, DUMMY_PTR
, 5, 30, GFP_KERNEL
) < 0);
242 for (i
= 0; i
< 5000; i
++)
243 item_idr_remove(&idr
, i
);
247 idr_for_each(&idr
, item_idr_free
, &idr
);
250 assert(idr_is_empty(&idr
));
255 for (i
= INT_MAX
- 3UL; i
< INT_MAX
+ 1UL; i
++) {
256 struct item
*item
= item_create(i
, 0);
257 assert(idr_alloc(&idr
, item
, i
, i
+ 10, GFP_KERNEL
) == i
);
259 assert(idr_alloc(&idr
, DUMMY_PTR
, i
- 2, i
, GFP_KERNEL
) == -ENOSPC
);
260 assert(idr_alloc(&idr
, DUMMY_PTR
, i
- 2, i
+ 10, GFP_KERNEL
) == -ENOSPC
);
262 idr_for_each(&idr
, item_idr_free
, &idr
);
266 assert(idr_is_empty(&idr
));
268 idr_set_cursor(&idr
, INT_MAX
- 3UL);
269 for (i
= INT_MAX
- 3UL; i
< INT_MAX
+ 3UL; i
++) {
273 item
= item_create(i
, 0);
275 item
= item_create(i
- INT_MAX
- 1, 0);
277 id
= idr_alloc_cyclic(&idr
, item
, 0, 0, GFP_KERNEL
);
278 assert(id
== item
->index
);
281 idr_for_each(&idr
, item_idr_free
, &idr
);
283 assert(idr_is_empty(&idr
));
285 for (i
= 1; i
< 10000; i
++) {
286 struct item
*item
= item_create(i
, 0);
287 assert(idr_alloc(&idr
, item
, 1, 20000, GFP_KERNEL
) == i
);
290 idr_for_each(&idr
, item_idr_free
, &idr
);
297 idr_get_next_test(0);
298 idr_get_next_test(1);
299 idr_get_next_test(4);
306 * Check that we get the correct error when we run out of memory doing
307 * allocations. To ensure we run out of memory, just "forget" to preload.
308 * The first test is for not having a bitmap available, and the second test
309 * is for not being able to allocate a level of the radix tree.
311 void ida_check_nomem(void)
316 err
= ida_get_new_above(&ida
, 256, &id
);
317 assert(err
== -EAGAIN
);
318 err
= ida_get_new_above(&ida
, 1UL << 30, &id
);
319 assert(err
== -EAGAIN
);
323 * Check what happens when we fill a leaf and then delete it. This may
324 * discover mishandling of IDR_FREE.
326 void ida_check_leaf(void)
332 for (i
= 0; i
< IDA_BITMAP_BITS
; i
++) {
333 assert(ida_pre_get(&ida
, GFP_KERNEL
));
334 assert(!ida_get_new(&ida
, &id
));
339 assert(ida_is_empty(&ida
));
341 assert(ida_pre_get(&ida
, GFP_KERNEL
));
342 assert(!ida_get_new(&ida
, &id
));
345 assert(ida_is_empty(&ida
));
349 * Check handling of conversions between exceptional entries and full bitmaps.
351 void ida_check_conv(void)
357 for (i
= 0; i
< IDA_BITMAP_BITS
* 2; i
+= IDA_BITMAP_BITS
) {
358 assert(ida_pre_get(&ida
, GFP_KERNEL
));
359 assert(!ida_get_new_above(&ida
, i
+ 1, &id
));
361 assert(!ida_get_new_above(&ida
, i
+ BITS_PER_LONG
, &id
));
362 assert(id
== i
+ BITS_PER_LONG
);
363 ida_remove(&ida
, i
+ 1);
364 ida_remove(&ida
, i
+ BITS_PER_LONG
);
365 assert(ida_is_empty(&ida
));
368 assert(ida_pre_get(&ida
, GFP_KERNEL
));
370 for (i
= 0; i
< IDA_BITMAP_BITS
* 2; i
++) {
371 assert(ida_pre_get(&ida
, GFP_KERNEL
));
372 assert(!ida_get_new(&ida
, &id
));
376 for (i
= IDA_BITMAP_BITS
* 2; i
> 0; i
--) {
377 ida_remove(&ida
, i
- 1);
379 assert(ida_is_empty(&ida
));
381 for (i
= 0; i
< IDA_BITMAP_BITS
+ BITS_PER_LONG
- 4; i
++) {
382 assert(ida_pre_get(&ida
, GFP_KERNEL
));
383 assert(!ida_get_new(&ida
, &id
));
387 for (i
= IDA_BITMAP_BITS
+ BITS_PER_LONG
- 4; i
> 0; i
--) {
388 ida_remove(&ida
, i
- 1);
390 assert(ida_is_empty(&ida
));
392 radix_tree_cpu_dead(1);
393 for (i
= 0; i
< 1000000; i
++) {
394 int err
= ida_get_new(&ida
, &id
);
395 if (err
== -EAGAIN
) {
396 assert((i
% IDA_BITMAP_BITS
) == (BITS_PER_LONG
- 2));
397 assert(ida_pre_get(&ida
, GFP_KERNEL
));
398 err
= ida_get_new(&ida
, &id
);
400 assert((i
% IDA_BITMAP_BITS
) != (BITS_PER_LONG
- 2));
409 * Check allocations up to and slightly above the maximum allowed (2^31-1) ID.
410 * Allocating up to 2^31-1 should succeed, and then allocating the next one
413 void ida_check_max(void)
419 for (j
= 1; j
< 65537; j
*= 2) {
420 unsigned long base
= (1UL << 31) - j
;
421 for (i
= 0; i
< j
; i
++) {
422 assert(ida_pre_get(&ida
, GFP_KERNEL
));
423 assert(!ida_get_new_above(&ida
, base
, &id
));
424 assert(id
== base
+ i
);
426 assert(ida_pre_get(&ida
, GFP_KERNEL
));
427 err
= ida_get_new_above(&ida
, base
, &id
);
428 assert(err
== -ENOSPC
);
430 assert(ida_is_empty(&ida
));
435 void ida_check_random(void)
438 DECLARE_BITMAP(bitmap
, 2048);
441 time_t s
= time(NULL
);
444 memset(bitmap
, 0, sizeof(bitmap
));
445 for (i
= 0; i
< 100000; i
++) {
448 if (test_bit(bit
, bitmap
)) {
449 __clear_bit(bit
, bitmap
);
450 ida_remove(&ida
, bit
);
452 __set_bit(bit
, bitmap
);
454 ida_pre_get(&ida
, GFP_KERNEL
);
455 err
= ida_get_new_above(&ida
, bit
, &id
);
456 } while (err
== -EAGAIN
);
462 if (time(NULL
) < s
+ 10)
466 void ida_simple_get_remove_test(void)
471 for (i
= 0; i
< 10000; i
++) {
472 assert(ida_simple_get(&ida
, 0, 20000, GFP_KERNEL
) == i
);
474 assert(ida_simple_get(&ida
, 5, 30, GFP_KERNEL
) < 0);
476 for (i
= 0; i
< 10000; i
++) {
477 ida_simple_remove(&ida
, i
);
479 assert(ida_is_empty(&ida
));
484 void ida_checks(void)
490 radix_tree_cpu_dead(1);
493 for (i
= 0; i
< 10000; i
++) {
494 assert(ida_pre_get(&ida
, GFP_KERNEL
));
495 assert(!ida_get_new(&ida
, &id
));
499 ida_remove(&ida
, 20);
500 ida_remove(&ida
, 21);
501 for (i
= 0; i
< 3; i
++) {
502 assert(ida_pre_get(&ida
, GFP_KERNEL
));
503 assert(!ida_get_new(&ida
, &id
));
508 for (i
= 0; i
< 5000; i
++)
511 assert(ida_pre_get(&ida
, GFP_KERNEL
));
512 assert(!ida_get_new_above(&ida
, 5000, &id
));
517 assert(ida_is_empty(&ida
));
519 assert(ida_pre_get(&ida
, GFP_KERNEL
));
520 assert(!ida_get_new_above(&ida
, 1, &id
));
523 ida_remove(&ida
, id
);
524 assert(ida_is_empty(&ida
));
526 assert(ida_is_empty(&ida
));
528 assert(ida_pre_get(&ida
, GFP_KERNEL
));
529 assert(!ida_get_new_above(&ida
, 1, &id
));
531 assert(ida_is_empty(&ida
));
533 assert(ida_pre_get(&ida
, GFP_KERNEL
));
534 assert(!ida_get_new_above(&ida
, 1, &id
));
536 assert(ida_pre_get(&ida
, GFP_KERNEL
));
537 assert(!ida_get_new_above(&ida
, 1025, &id
));
539 assert(ida_pre_get(&ida
, GFP_KERNEL
));
540 assert(!ida_get_new_above(&ida
, 10000, &id
));
542 ida_remove(&ida
, 1025);
544 assert(ida_is_empty(&ida
));
550 ida_simple_get_remove_test();
552 radix_tree_cpu_dead(1);
555 static void *ida_random_fn(void *arg
)
557 rcu_register_thread();
559 rcu_unregister_thread();
563 void ida_thread_tests(void)
565 pthread_t threads
[20];
568 for (i
= 0; i
< ARRAY_SIZE(threads
); i
++)
569 if (pthread_create(&threads
[i
], NULL
, ida_random_fn
, NULL
)) {
570 perror("creating ida thread");
575 pthread_join(threads
[i
], NULL
);
578 int __weak
main(void)
584 radix_tree_cpu_dead(1);
587 printf("nr_allocated = %d\n", nr_allocated
);