18c2ecf20Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0+ 28c2ecf20Sopenharmony_ci/* 38c2ecf20Sopenharmony_ci * test_ida.c: Test the IDA API 48c2ecf20Sopenharmony_ci * Copyright (c) 2016-2018 Microsoft Corporation 58c2ecf20Sopenharmony_ci * Copyright (c) 2018 Oracle Corporation 68c2ecf20Sopenharmony_ci * Author: Matthew Wilcox <willy@infradead.org> 78c2ecf20Sopenharmony_ci */ 88c2ecf20Sopenharmony_ci 98c2ecf20Sopenharmony_ci#include <linux/idr.h> 108c2ecf20Sopenharmony_ci#include <linux/module.h> 118c2ecf20Sopenharmony_ci 128c2ecf20Sopenharmony_cistatic unsigned int tests_run; 138c2ecf20Sopenharmony_cistatic unsigned int tests_passed; 148c2ecf20Sopenharmony_ci 158c2ecf20Sopenharmony_ci#ifdef __KERNEL__ 168c2ecf20Sopenharmony_civoid ida_dump(struct ida *ida) { } 178c2ecf20Sopenharmony_ci#endif 188c2ecf20Sopenharmony_ci#define IDA_BUG_ON(ida, x) do { \ 198c2ecf20Sopenharmony_ci tests_run++; \ 208c2ecf20Sopenharmony_ci if (x) { \ 218c2ecf20Sopenharmony_ci ida_dump(ida); \ 228c2ecf20Sopenharmony_ci dump_stack(); \ 238c2ecf20Sopenharmony_ci } else { \ 248c2ecf20Sopenharmony_ci tests_passed++; \ 258c2ecf20Sopenharmony_ci } \ 268c2ecf20Sopenharmony_ci} while (0) 278c2ecf20Sopenharmony_ci 288c2ecf20Sopenharmony_ci/* 298c2ecf20Sopenharmony_ci * Straightforward checks that allocating and freeing IDs work. 308c2ecf20Sopenharmony_ci */ 318c2ecf20Sopenharmony_cistatic void ida_check_alloc(struct ida *ida) 328c2ecf20Sopenharmony_ci{ 338c2ecf20Sopenharmony_ci int i, id; 348c2ecf20Sopenharmony_ci 358c2ecf20Sopenharmony_ci for (i = 0; i < 10000; i++) 368c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, ida_alloc(ida, GFP_KERNEL) != i); 378c2ecf20Sopenharmony_ci 388c2ecf20Sopenharmony_ci ida_free(ida, 20); 398c2ecf20Sopenharmony_ci ida_free(ida, 21); 408c2ecf20Sopenharmony_ci for (i = 0; i < 3; i++) { 418c2ecf20Sopenharmony_ci id = ida_alloc(ida, GFP_KERNEL); 428c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, id < 0); 438c2ecf20Sopenharmony_ci if (i == 2) 448c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, id != 10000); 458c2ecf20Sopenharmony_ci } 468c2ecf20Sopenharmony_ci 478c2ecf20Sopenharmony_ci for (i = 0; i < 5000; i++) 488c2ecf20Sopenharmony_ci ida_free(ida, i); 498c2ecf20Sopenharmony_ci 508c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, ida_alloc_min(ida, 5000, GFP_KERNEL) != 10001); 518c2ecf20Sopenharmony_ci ida_destroy(ida); 528c2ecf20Sopenharmony_ci 538c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, !ida_is_empty(ida)); 548c2ecf20Sopenharmony_ci} 558c2ecf20Sopenharmony_ci 568c2ecf20Sopenharmony_ci/* Destroy an IDA with a single entry at @base */ 578c2ecf20Sopenharmony_cistatic void ida_check_destroy_1(struct ida *ida, unsigned int base) 588c2ecf20Sopenharmony_ci{ 598c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, ida_alloc_min(ida, base, GFP_KERNEL) != base); 608c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, ida_is_empty(ida)); 618c2ecf20Sopenharmony_ci ida_destroy(ida); 628c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, !ida_is_empty(ida)); 638c2ecf20Sopenharmony_ci} 648c2ecf20Sopenharmony_ci 658c2ecf20Sopenharmony_ci/* Check that ida_destroy and ida_is_empty work */ 668c2ecf20Sopenharmony_cistatic void ida_check_destroy(struct ida *ida) 678c2ecf20Sopenharmony_ci{ 688c2ecf20Sopenharmony_ci /* Destroy an already-empty IDA */ 698c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, !ida_is_empty(ida)); 708c2ecf20Sopenharmony_ci ida_destroy(ida); 718c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, !ida_is_empty(ida)); 728c2ecf20Sopenharmony_ci 738c2ecf20Sopenharmony_ci ida_check_destroy_1(ida, 0); 748c2ecf20Sopenharmony_ci ida_check_destroy_1(ida, 1); 758c2ecf20Sopenharmony_ci ida_check_destroy_1(ida, 1023); 768c2ecf20Sopenharmony_ci ida_check_destroy_1(ida, 1024); 778c2ecf20Sopenharmony_ci ida_check_destroy_1(ida, 12345678); 788c2ecf20Sopenharmony_ci} 798c2ecf20Sopenharmony_ci 808c2ecf20Sopenharmony_ci/* 818c2ecf20Sopenharmony_ci * Check what happens when we fill a leaf and then delete it. This may 828c2ecf20Sopenharmony_ci * discover mishandling of IDR_FREE. 838c2ecf20Sopenharmony_ci */ 848c2ecf20Sopenharmony_cistatic void ida_check_leaf(struct ida *ida, unsigned int base) 858c2ecf20Sopenharmony_ci{ 868c2ecf20Sopenharmony_ci unsigned long i; 878c2ecf20Sopenharmony_ci 888c2ecf20Sopenharmony_ci for (i = 0; i < IDA_BITMAP_BITS; i++) { 898c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, ida_alloc_min(ida, base, GFP_KERNEL) != 908c2ecf20Sopenharmony_ci base + i); 918c2ecf20Sopenharmony_ci } 928c2ecf20Sopenharmony_ci 938c2ecf20Sopenharmony_ci ida_destroy(ida); 948c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, !ida_is_empty(ida)); 958c2ecf20Sopenharmony_ci 968c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, ida_alloc(ida, GFP_KERNEL) != 0); 978c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, ida_is_empty(ida)); 988c2ecf20Sopenharmony_ci ida_free(ida, 0); 998c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, !ida_is_empty(ida)); 1008c2ecf20Sopenharmony_ci} 1018c2ecf20Sopenharmony_ci 1028c2ecf20Sopenharmony_ci/* 1038c2ecf20Sopenharmony_ci * Check allocations up to and slightly above the maximum allowed (2^31-1) ID. 1048c2ecf20Sopenharmony_ci * Allocating up to 2^31-1 should succeed, and then allocating the next one 1058c2ecf20Sopenharmony_ci * should fail. 1068c2ecf20Sopenharmony_ci */ 1078c2ecf20Sopenharmony_cistatic void ida_check_max(struct ida *ida) 1088c2ecf20Sopenharmony_ci{ 1098c2ecf20Sopenharmony_ci unsigned long i, j; 1108c2ecf20Sopenharmony_ci 1118c2ecf20Sopenharmony_ci for (j = 1; j < 65537; j *= 2) { 1128c2ecf20Sopenharmony_ci unsigned long base = (1UL << 31) - j; 1138c2ecf20Sopenharmony_ci for (i = 0; i < j; i++) { 1148c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, ida_alloc_min(ida, base, GFP_KERNEL) != 1158c2ecf20Sopenharmony_ci base + i); 1168c2ecf20Sopenharmony_ci } 1178c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, ida_alloc_min(ida, base, GFP_KERNEL) != 1188c2ecf20Sopenharmony_ci -ENOSPC); 1198c2ecf20Sopenharmony_ci ida_destroy(ida); 1208c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, !ida_is_empty(ida)); 1218c2ecf20Sopenharmony_ci } 1228c2ecf20Sopenharmony_ci} 1238c2ecf20Sopenharmony_ci 1248c2ecf20Sopenharmony_ci/* 1258c2ecf20Sopenharmony_ci * Check handling of conversions between exceptional entries and full bitmaps. 1268c2ecf20Sopenharmony_ci */ 1278c2ecf20Sopenharmony_cistatic void ida_check_conv(struct ida *ida) 1288c2ecf20Sopenharmony_ci{ 1298c2ecf20Sopenharmony_ci unsigned long i; 1308c2ecf20Sopenharmony_ci 1318c2ecf20Sopenharmony_ci for (i = 0; i < IDA_BITMAP_BITS * 2; i += IDA_BITMAP_BITS) { 1328c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, ida_alloc_min(ida, i + 1, GFP_KERNEL) != i + 1); 1338c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, ida_alloc_min(ida, i + BITS_PER_LONG, 1348c2ecf20Sopenharmony_ci GFP_KERNEL) != i + BITS_PER_LONG); 1358c2ecf20Sopenharmony_ci ida_free(ida, i + 1); 1368c2ecf20Sopenharmony_ci ida_free(ida, i + BITS_PER_LONG); 1378c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, !ida_is_empty(ida)); 1388c2ecf20Sopenharmony_ci } 1398c2ecf20Sopenharmony_ci 1408c2ecf20Sopenharmony_ci for (i = 0; i < IDA_BITMAP_BITS * 2; i++) 1418c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, ida_alloc(ida, GFP_KERNEL) != i); 1428c2ecf20Sopenharmony_ci for (i = IDA_BITMAP_BITS * 2; i > 0; i--) 1438c2ecf20Sopenharmony_ci ida_free(ida, i - 1); 1448c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, !ida_is_empty(ida)); 1458c2ecf20Sopenharmony_ci 1468c2ecf20Sopenharmony_ci for (i = 0; i < IDA_BITMAP_BITS + BITS_PER_LONG - 4; i++) 1478c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, ida_alloc(ida, GFP_KERNEL) != i); 1488c2ecf20Sopenharmony_ci for (i = IDA_BITMAP_BITS + BITS_PER_LONG - 4; i > 0; i--) 1498c2ecf20Sopenharmony_ci ida_free(ida, i - 1); 1508c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, !ida_is_empty(ida)); 1518c2ecf20Sopenharmony_ci} 1528c2ecf20Sopenharmony_ci 1538c2ecf20Sopenharmony_ci/* 1548c2ecf20Sopenharmony_ci * Check various situations where we attempt to free an ID we don't own. 1558c2ecf20Sopenharmony_ci */ 1568c2ecf20Sopenharmony_cistatic void ida_check_bad_free(struct ida *ida) 1578c2ecf20Sopenharmony_ci{ 1588c2ecf20Sopenharmony_ci unsigned long i; 1598c2ecf20Sopenharmony_ci 1608c2ecf20Sopenharmony_ci printk("vvv Ignore \"not allocated\" warnings\n"); 1618c2ecf20Sopenharmony_ci /* IDA is empty; all of these will fail */ 1628c2ecf20Sopenharmony_ci ida_free(ida, 0); 1638c2ecf20Sopenharmony_ci for (i = 0; i < 31; i++) 1648c2ecf20Sopenharmony_ci ida_free(ida, 1 << i); 1658c2ecf20Sopenharmony_ci 1668c2ecf20Sopenharmony_ci /* IDA contains a single value entry */ 1678c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, ida_alloc_min(ida, 3, GFP_KERNEL) != 3); 1688c2ecf20Sopenharmony_ci ida_free(ida, 0); 1698c2ecf20Sopenharmony_ci for (i = 0; i < 31; i++) 1708c2ecf20Sopenharmony_ci ida_free(ida, 1 << i); 1718c2ecf20Sopenharmony_ci 1728c2ecf20Sopenharmony_ci /* IDA contains a single bitmap */ 1738c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, ida_alloc_min(ida, 1023, GFP_KERNEL) != 1023); 1748c2ecf20Sopenharmony_ci ida_free(ida, 0); 1758c2ecf20Sopenharmony_ci for (i = 0; i < 31; i++) 1768c2ecf20Sopenharmony_ci ida_free(ida, 1 << i); 1778c2ecf20Sopenharmony_ci 1788c2ecf20Sopenharmony_ci /* IDA contains a tree */ 1798c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, ida_alloc_min(ida, (1 << 20) - 1, GFP_KERNEL) != (1 << 20) - 1); 1808c2ecf20Sopenharmony_ci ida_free(ida, 0); 1818c2ecf20Sopenharmony_ci for (i = 0; i < 31; i++) 1828c2ecf20Sopenharmony_ci ida_free(ida, 1 << i); 1838c2ecf20Sopenharmony_ci printk("^^^ \"not allocated\" warnings over\n"); 1848c2ecf20Sopenharmony_ci 1858c2ecf20Sopenharmony_ci ida_free(ida, 3); 1868c2ecf20Sopenharmony_ci ida_free(ida, 1023); 1878c2ecf20Sopenharmony_ci ida_free(ida, (1 << 20) - 1); 1888c2ecf20Sopenharmony_ci 1898c2ecf20Sopenharmony_ci IDA_BUG_ON(ida, !ida_is_empty(ida)); 1908c2ecf20Sopenharmony_ci} 1918c2ecf20Sopenharmony_ci 1928c2ecf20Sopenharmony_cistatic DEFINE_IDA(ida); 1938c2ecf20Sopenharmony_ci 1948c2ecf20Sopenharmony_cistatic int ida_checks(void) 1958c2ecf20Sopenharmony_ci{ 1968c2ecf20Sopenharmony_ci IDA_BUG_ON(&ida, !ida_is_empty(&ida)); 1978c2ecf20Sopenharmony_ci ida_check_alloc(&ida); 1988c2ecf20Sopenharmony_ci ida_check_destroy(&ida); 1998c2ecf20Sopenharmony_ci ida_check_leaf(&ida, 0); 2008c2ecf20Sopenharmony_ci ida_check_leaf(&ida, 1024); 2018c2ecf20Sopenharmony_ci ida_check_leaf(&ida, 1024 * 64); 2028c2ecf20Sopenharmony_ci ida_check_max(&ida); 2038c2ecf20Sopenharmony_ci ida_check_conv(&ida); 2048c2ecf20Sopenharmony_ci ida_check_bad_free(&ida); 2058c2ecf20Sopenharmony_ci 2068c2ecf20Sopenharmony_ci printk("IDA: %u of %u tests passed\n", tests_passed, tests_run); 2078c2ecf20Sopenharmony_ci return (tests_run != tests_passed) ? 0 : -EINVAL; 2088c2ecf20Sopenharmony_ci} 2098c2ecf20Sopenharmony_ci 2108c2ecf20Sopenharmony_cistatic void ida_exit(void) 2118c2ecf20Sopenharmony_ci{ 2128c2ecf20Sopenharmony_ci} 2138c2ecf20Sopenharmony_ci 2148c2ecf20Sopenharmony_cimodule_init(ida_checks); 2158c2ecf20Sopenharmony_cimodule_exit(ida_exit); 2168c2ecf20Sopenharmony_ciMODULE_AUTHOR("Matthew Wilcox <willy@infradead.org>"); 2178c2ecf20Sopenharmony_ciMODULE_LICENSE("GPL"); 218