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