11366c37eSMatthew Wilcox #include <stdio.h> 21366c37eSMatthew Wilcox #include <stdlib.h> 31366c37eSMatthew Wilcox #include <unistd.h> 41366c37eSMatthew Wilcox #include <time.h> 51366c37eSMatthew Wilcox #include <assert.h> 6*0a835c4fSMatthew Wilcox #include <limits.h> 71366c37eSMatthew Wilcox 81366c37eSMatthew Wilcox #include <linux/slab.h> 91366c37eSMatthew Wilcox #include <linux/radix-tree.h> 101366c37eSMatthew Wilcox 111366c37eSMatthew Wilcox #include "test.h" 121366c37eSMatthew Wilcox #include "regression.h" 131366c37eSMatthew Wilcox 141366c37eSMatthew Wilcox void __gang_check(unsigned long middle, long down, long up, int chunk, int hop) 151366c37eSMatthew Wilcox { 161366c37eSMatthew Wilcox long idx; 171366c37eSMatthew Wilcox RADIX_TREE(tree, GFP_KERNEL); 181366c37eSMatthew Wilcox 191366c37eSMatthew Wilcox middle = 1 << 30; 201366c37eSMatthew Wilcox 211366c37eSMatthew Wilcox for (idx = -down; idx < up; idx++) 221366c37eSMatthew Wilcox item_insert(&tree, middle + idx); 231366c37eSMatthew Wilcox 241366c37eSMatthew Wilcox item_check_absent(&tree, middle - down - 1); 251366c37eSMatthew Wilcox for (idx = -down; idx < up; idx++) 261366c37eSMatthew Wilcox item_check_present(&tree, middle + idx); 271366c37eSMatthew Wilcox item_check_absent(&tree, middle + up); 281366c37eSMatthew Wilcox 291366c37eSMatthew Wilcox item_gang_check_present(&tree, middle - down, 301366c37eSMatthew Wilcox up + down, chunk, hop); 311366c37eSMatthew Wilcox item_full_scan(&tree, middle - down, down + up, chunk); 321366c37eSMatthew Wilcox item_kill_tree(&tree); 331366c37eSMatthew Wilcox } 341366c37eSMatthew Wilcox 351366c37eSMatthew Wilcox void gang_check(void) 361366c37eSMatthew Wilcox { 371366c37eSMatthew Wilcox __gang_check(1 << 30, 128, 128, 35, 2); 381366c37eSMatthew Wilcox __gang_check(1 << 31, 128, 128, 32, 32); 391366c37eSMatthew Wilcox __gang_check(1 << 31, 128, 128, 32, 100); 401366c37eSMatthew Wilcox __gang_check(1 << 31, 128, 128, 17, 7); 411366c37eSMatthew Wilcox __gang_check(0xffff0000, 0, 65536, 17, 7); 421366c37eSMatthew Wilcox __gang_check(0xfffffffe, 1, 1, 17, 7); 431366c37eSMatthew Wilcox } 441366c37eSMatthew Wilcox 451366c37eSMatthew Wilcox void __big_gang_check(void) 461366c37eSMatthew Wilcox { 471366c37eSMatthew Wilcox unsigned long start; 481366c37eSMatthew Wilcox int wrapped = 0; 491366c37eSMatthew Wilcox 501366c37eSMatthew Wilcox start = 0; 511366c37eSMatthew Wilcox do { 521366c37eSMatthew Wilcox unsigned long old_start; 531366c37eSMatthew Wilcox 541366c37eSMatthew Wilcox // printf("0x%08lx\n", start); 551366c37eSMatthew Wilcox __gang_check(start, rand() % 113 + 1, rand() % 71, 561366c37eSMatthew Wilcox rand() % 157, rand() % 91 + 1); 571366c37eSMatthew Wilcox old_start = start; 581366c37eSMatthew Wilcox start += rand() % 1000000; 591366c37eSMatthew Wilcox start %= 1ULL << 33; 601366c37eSMatthew Wilcox if (start < old_start) 611366c37eSMatthew Wilcox wrapped = 1; 621366c37eSMatthew Wilcox } while (!wrapped); 631366c37eSMatthew Wilcox } 641366c37eSMatthew Wilcox 65aa1d62d8SRoss Zwisler void big_gang_check(bool long_run) 661366c37eSMatthew Wilcox { 671366c37eSMatthew Wilcox int i; 681366c37eSMatthew Wilcox 69aa1d62d8SRoss Zwisler for (i = 0; i < (long_run ? 1000 : 3); i++) { 701366c37eSMatthew Wilcox __big_gang_check(); 711366c37eSMatthew Wilcox printf("%d ", i); 721366c37eSMatthew Wilcox fflush(stdout); 731366c37eSMatthew Wilcox } 741366c37eSMatthew Wilcox } 751366c37eSMatthew Wilcox 761366c37eSMatthew Wilcox void add_and_check(void) 771366c37eSMatthew Wilcox { 781366c37eSMatthew Wilcox RADIX_TREE(tree, GFP_KERNEL); 791366c37eSMatthew Wilcox 801366c37eSMatthew Wilcox item_insert(&tree, 44); 811366c37eSMatthew Wilcox item_check_present(&tree, 44); 821366c37eSMatthew Wilcox item_check_absent(&tree, 43); 831366c37eSMatthew Wilcox item_kill_tree(&tree); 841366c37eSMatthew Wilcox } 851366c37eSMatthew Wilcox 861366c37eSMatthew Wilcox void dynamic_height_check(void) 871366c37eSMatthew Wilcox { 881366c37eSMatthew Wilcox int i; 891366c37eSMatthew Wilcox RADIX_TREE(tree, GFP_KERNEL); 901366c37eSMatthew Wilcox tree_verify_min_height(&tree, 0); 911366c37eSMatthew Wilcox 921366c37eSMatthew Wilcox item_insert(&tree, 42); 931366c37eSMatthew Wilcox tree_verify_min_height(&tree, 42); 941366c37eSMatthew Wilcox 951366c37eSMatthew Wilcox item_insert(&tree, 1000000); 961366c37eSMatthew Wilcox tree_verify_min_height(&tree, 1000000); 971366c37eSMatthew Wilcox 981366c37eSMatthew Wilcox assert(item_delete(&tree, 1000000)); 991366c37eSMatthew Wilcox tree_verify_min_height(&tree, 42); 1001366c37eSMatthew Wilcox 1011366c37eSMatthew Wilcox assert(item_delete(&tree, 42)); 1021366c37eSMatthew Wilcox tree_verify_min_height(&tree, 0); 1031366c37eSMatthew Wilcox 1041366c37eSMatthew Wilcox for (i = 0; i < 1000; i++) { 1051366c37eSMatthew Wilcox item_insert(&tree, i); 1061366c37eSMatthew Wilcox tree_verify_min_height(&tree, i); 1071366c37eSMatthew Wilcox } 1081366c37eSMatthew Wilcox 1091366c37eSMatthew Wilcox i--; 1101366c37eSMatthew Wilcox for (;;) { 1111366c37eSMatthew Wilcox assert(item_delete(&tree, i)); 1121366c37eSMatthew Wilcox if (i == 0) { 1131366c37eSMatthew Wilcox tree_verify_min_height(&tree, 0); 1141366c37eSMatthew Wilcox break; 1151366c37eSMatthew Wilcox } 1161366c37eSMatthew Wilcox i--; 1171366c37eSMatthew Wilcox tree_verify_min_height(&tree, i); 1181366c37eSMatthew Wilcox } 1191366c37eSMatthew Wilcox 1201366c37eSMatthew Wilcox item_kill_tree(&tree); 1211366c37eSMatthew Wilcox } 1221366c37eSMatthew Wilcox 1231366c37eSMatthew Wilcox void check_copied_tags(struct radix_tree_root *tree, unsigned long start, unsigned long end, unsigned long *idx, int count, int fromtag, int totag) 1241366c37eSMatthew Wilcox { 1251366c37eSMatthew Wilcox int i; 1261366c37eSMatthew Wilcox 1271366c37eSMatthew Wilcox for (i = 0; i < count; i++) { 1281366c37eSMatthew Wilcox /* if (i % 1000 == 0) 1291366c37eSMatthew Wilcox putchar('.'); */ 1301366c37eSMatthew Wilcox if (idx[i] < start || idx[i] > end) { 1311366c37eSMatthew Wilcox if (item_tag_get(tree, idx[i], totag)) { 1321366c37eSMatthew Wilcox printf("%lu-%lu: %lu, tags %d-%d\n", start, end, idx[i], item_tag_get(tree, idx[i], fromtag), item_tag_get(tree, idx[i], totag)); 1331366c37eSMatthew Wilcox } 1341366c37eSMatthew Wilcox assert(!item_tag_get(tree, idx[i], totag)); 1351366c37eSMatthew Wilcox continue; 1361366c37eSMatthew Wilcox } 1371366c37eSMatthew Wilcox if (item_tag_get(tree, idx[i], fromtag) ^ 1381366c37eSMatthew Wilcox item_tag_get(tree, idx[i], totag)) { 1391366c37eSMatthew Wilcox printf("%lu-%lu: %lu, tags %d-%d\n", start, end, idx[i], item_tag_get(tree, idx[i], fromtag), item_tag_get(tree, idx[i], totag)); 1401366c37eSMatthew Wilcox } 1411366c37eSMatthew Wilcox assert(!(item_tag_get(tree, idx[i], fromtag) ^ 1421366c37eSMatthew Wilcox item_tag_get(tree, idx[i], totag))); 1431366c37eSMatthew Wilcox } 1441366c37eSMatthew Wilcox } 1451366c37eSMatthew Wilcox 1461366c37eSMatthew Wilcox #define ITEMS 50000 1471366c37eSMatthew Wilcox 1481366c37eSMatthew Wilcox void copy_tag_check(void) 1491366c37eSMatthew Wilcox { 1501366c37eSMatthew Wilcox RADIX_TREE(tree, GFP_KERNEL); 1511366c37eSMatthew Wilcox unsigned long idx[ITEMS]; 1521366c37eSMatthew Wilcox unsigned long start, end, count = 0, tagged, cur, tmp; 1531366c37eSMatthew Wilcox int i; 1541366c37eSMatthew Wilcox 1551366c37eSMatthew Wilcox // printf("generating radix tree indices...\n"); 1561366c37eSMatthew Wilcox start = rand(); 1571366c37eSMatthew Wilcox end = rand(); 1581366c37eSMatthew Wilcox if (start > end && (rand() % 10)) { 1591366c37eSMatthew Wilcox cur = start; 1601366c37eSMatthew Wilcox start = end; 1611366c37eSMatthew Wilcox end = cur; 1621366c37eSMatthew Wilcox } 1631366c37eSMatthew Wilcox /* Specifically create items around the start and the end of the range 1641366c37eSMatthew Wilcox * with high probability to check for off by one errors */ 1651366c37eSMatthew Wilcox cur = rand(); 1661366c37eSMatthew Wilcox if (cur & 1) { 1671366c37eSMatthew Wilcox item_insert(&tree, start); 1681366c37eSMatthew Wilcox if (cur & 2) { 1691366c37eSMatthew Wilcox if (start <= end) 1701366c37eSMatthew Wilcox count++; 1711366c37eSMatthew Wilcox item_tag_set(&tree, start, 0); 1721366c37eSMatthew Wilcox } 1731366c37eSMatthew Wilcox } 1741366c37eSMatthew Wilcox if (cur & 4) { 1751366c37eSMatthew Wilcox item_insert(&tree, start-1); 1761366c37eSMatthew Wilcox if (cur & 8) 1771366c37eSMatthew Wilcox item_tag_set(&tree, start-1, 0); 1781366c37eSMatthew Wilcox } 1791366c37eSMatthew Wilcox if (cur & 16) { 1801366c37eSMatthew Wilcox item_insert(&tree, end); 1811366c37eSMatthew Wilcox if (cur & 32) { 1821366c37eSMatthew Wilcox if (start <= end) 1831366c37eSMatthew Wilcox count++; 1841366c37eSMatthew Wilcox item_tag_set(&tree, end, 0); 1851366c37eSMatthew Wilcox } 1861366c37eSMatthew Wilcox } 1871366c37eSMatthew Wilcox if (cur & 64) { 1881366c37eSMatthew Wilcox item_insert(&tree, end+1); 1891366c37eSMatthew Wilcox if (cur & 128) 1901366c37eSMatthew Wilcox item_tag_set(&tree, end+1, 0); 1911366c37eSMatthew Wilcox } 1921366c37eSMatthew Wilcox 1931366c37eSMatthew Wilcox for (i = 0; i < ITEMS; i++) { 1941366c37eSMatthew Wilcox do { 1951366c37eSMatthew Wilcox idx[i] = rand(); 1961366c37eSMatthew Wilcox } while (item_lookup(&tree, idx[i])); 1971366c37eSMatthew Wilcox 1981366c37eSMatthew Wilcox item_insert(&tree, idx[i]); 1991366c37eSMatthew Wilcox if (rand() & 1) { 2001366c37eSMatthew Wilcox item_tag_set(&tree, idx[i], 0); 2011366c37eSMatthew Wilcox if (idx[i] >= start && idx[i] <= end) 2021366c37eSMatthew Wilcox count++; 2031366c37eSMatthew Wilcox } 2041366c37eSMatthew Wilcox /* if (i % 1000 == 0) 2051366c37eSMatthew Wilcox putchar('.'); */ 2061366c37eSMatthew Wilcox } 2071366c37eSMatthew Wilcox 2081366c37eSMatthew Wilcox // printf("\ncopying tags...\n"); 209268f42deSMatthew Wilcox tagged = tag_tagged_items(&tree, NULL, start, end, ITEMS, 0, 1); 2101366c37eSMatthew Wilcox 2111366c37eSMatthew Wilcox // printf("checking copied tags\n"); 2121366c37eSMatthew Wilcox assert(tagged == count); 2131366c37eSMatthew Wilcox check_copied_tags(&tree, start, end, idx, ITEMS, 0, 1); 2141366c37eSMatthew Wilcox 2151366c37eSMatthew Wilcox /* Copy tags in several rounds */ 2161366c37eSMatthew Wilcox // printf("\ncopying tags...\n"); 2171366c37eSMatthew Wilcox tmp = rand() % (count / 10 + 2); 218268f42deSMatthew Wilcox tagged = tag_tagged_items(&tree, NULL, start, end, tmp, 0, 2); 219268f42deSMatthew Wilcox assert(tagged == count); 2201366c37eSMatthew Wilcox 2211366c37eSMatthew Wilcox // printf("%lu %lu %lu\n", tagged, tmp, count); 2221366c37eSMatthew Wilcox // printf("checking copied tags\n"); 2231366c37eSMatthew Wilcox check_copied_tags(&tree, start, end, idx, ITEMS, 0, 2); 2241366c37eSMatthew Wilcox verify_tag_consistency(&tree, 0); 2251366c37eSMatthew Wilcox verify_tag_consistency(&tree, 1); 2261366c37eSMatthew Wilcox verify_tag_consistency(&tree, 2); 2271366c37eSMatthew Wilcox // printf("\n"); 2281366c37eSMatthew Wilcox item_kill_tree(&tree); 2291366c37eSMatthew Wilcox } 2301366c37eSMatthew Wilcox 231eb73f7f3SRoss Zwisler static void __locate_check(struct radix_tree_root *tree, unsigned long index, 2320a2efc6cSMatthew Wilcox unsigned order) 233d42cb1a9SMatthew Wilcox { 234d42cb1a9SMatthew Wilcox struct item *item; 235d42cb1a9SMatthew Wilcox unsigned long index2; 236d42cb1a9SMatthew Wilcox 2370a2efc6cSMatthew Wilcox item_insert_order(tree, index, order); 238d42cb1a9SMatthew Wilcox item = item_lookup(tree, index); 239478922e2SMatthew Wilcox index2 = find_item(tree, item); 240d42cb1a9SMatthew Wilcox if (index != index2) { 2410a2efc6cSMatthew Wilcox printf("index %ld order %d inserted; found %ld\n", 2420a2efc6cSMatthew Wilcox index, order, index2); 243d42cb1a9SMatthew Wilcox abort(); 244d42cb1a9SMatthew Wilcox } 245d42cb1a9SMatthew Wilcox } 246d42cb1a9SMatthew Wilcox 247eb73f7f3SRoss Zwisler static void __order_0_locate_check(void) 248eb73f7f3SRoss Zwisler { 249eb73f7f3SRoss Zwisler RADIX_TREE(tree, GFP_KERNEL); 250eb73f7f3SRoss Zwisler int i; 251eb73f7f3SRoss Zwisler 252eb73f7f3SRoss Zwisler for (i = 0; i < 50; i++) 253eb73f7f3SRoss Zwisler __locate_check(&tree, rand() % INT_MAX, 0); 254eb73f7f3SRoss Zwisler 255eb73f7f3SRoss Zwisler item_kill_tree(&tree); 256eb73f7f3SRoss Zwisler } 257eb73f7f3SRoss Zwisler 258d42cb1a9SMatthew Wilcox static void locate_check(void) 259d42cb1a9SMatthew Wilcox { 260d42cb1a9SMatthew Wilcox RADIX_TREE(tree, GFP_KERNEL); 2610a2efc6cSMatthew Wilcox unsigned order; 262d42cb1a9SMatthew Wilcox unsigned long offset, index; 263d42cb1a9SMatthew Wilcox 264eb73f7f3SRoss Zwisler __order_0_locate_check(); 265eb73f7f3SRoss Zwisler 2660a2efc6cSMatthew Wilcox for (order = 0; order < 20; order++) { 2670a2efc6cSMatthew Wilcox for (offset = 0; offset < (1 << (order + 3)); 2680a2efc6cSMatthew Wilcox offset += (1UL << order)) { 2690a2efc6cSMatthew Wilcox for (index = 0; index < (1UL << (order + 5)); 2700a2efc6cSMatthew Wilcox index += (1UL << order)) { 2710a2efc6cSMatthew Wilcox __locate_check(&tree, index + offset, order); 272d42cb1a9SMatthew Wilcox } 273478922e2SMatthew Wilcox if (find_item(&tree, &tree) != -1) 274d42cb1a9SMatthew Wilcox abort(); 275d42cb1a9SMatthew Wilcox 276d42cb1a9SMatthew Wilcox item_kill_tree(&tree); 277d42cb1a9SMatthew Wilcox } 2780a2efc6cSMatthew Wilcox } 279d42cb1a9SMatthew Wilcox 280478922e2SMatthew Wilcox if (find_item(&tree, &tree) != -1) 281d42cb1a9SMatthew Wilcox abort(); 2820a2efc6cSMatthew Wilcox __locate_check(&tree, -1, 0); 283478922e2SMatthew Wilcox if (find_item(&tree, &tree) != -1) 284d42cb1a9SMatthew Wilcox abort(); 285d42cb1a9SMatthew Wilcox item_kill_tree(&tree); 286d42cb1a9SMatthew Wilcox } 287d42cb1a9SMatthew Wilcox 288aa1d62d8SRoss Zwisler static void single_thread_tests(bool long_run) 2891366c37eSMatthew Wilcox { 2901366c37eSMatthew Wilcox int i; 2911366c37eSMatthew Wilcox 292847d3576SMatthew Wilcox printf("starting single_thread_tests: %d allocated, preempt %d\n", 293847d3576SMatthew Wilcox nr_allocated, preempt_count); 2944f3755d1SMatthew Wilcox multiorder_checks(); 295af1c5ccaSMatthew Wilcox rcu_barrier(); 296847d3576SMatthew Wilcox printf("after multiorder_check: %d allocated, preempt %d\n", 297847d3576SMatthew Wilcox nr_allocated, preempt_count); 298d42cb1a9SMatthew Wilcox locate_check(); 299af1c5ccaSMatthew Wilcox rcu_barrier(); 300847d3576SMatthew Wilcox printf("after locate_check: %d allocated, preempt %d\n", 301847d3576SMatthew Wilcox nr_allocated, preempt_count); 3021366c37eSMatthew Wilcox tag_check(); 303af1c5ccaSMatthew Wilcox rcu_barrier(); 304847d3576SMatthew Wilcox printf("after tag_check: %d allocated, preempt %d\n", 305847d3576SMatthew Wilcox nr_allocated, preempt_count); 3061366c37eSMatthew Wilcox gang_check(); 307af1c5ccaSMatthew Wilcox rcu_barrier(); 308847d3576SMatthew Wilcox printf("after gang_check: %d allocated, preempt %d\n", 309847d3576SMatthew Wilcox nr_allocated, preempt_count); 3101366c37eSMatthew Wilcox add_and_check(); 311af1c5ccaSMatthew Wilcox rcu_barrier(); 312847d3576SMatthew Wilcox printf("after add_and_check: %d allocated, preempt %d\n", 313847d3576SMatthew Wilcox nr_allocated, preempt_count); 3141366c37eSMatthew Wilcox dynamic_height_check(); 315af1c5ccaSMatthew Wilcox rcu_barrier(); 316847d3576SMatthew Wilcox printf("after dynamic_height_check: %d allocated, preempt %d\n", 317847d3576SMatthew Wilcox nr_allocated, preempt_count); 318*0a835c4fSMatthew Wilcox idr_checks(); 319*0a835c4fSMatthew Wilcox ida_checks(); 320*0a835c4fSMatthew Wilcox rcu_barrier(); 321*0a835c4fSMatthew Wilcox printf("after idr_checks: %d allocated, preempt %d\n", 322*0a835c4fSMatthew Wilcox nr_allocated, preempt_count); 323aa1d62d8SRoss Zwisler big_gang_check(long_run); 324af1c5ccaSMatthew Wilcox rcu_barrier(); 325847d3576SMatthew Wilcox printf("after big_gang_check: %d allocated, preempt %d\n", 326847d3576SMatthew Wilcox nr_allocated, preempt_count); 327aa1d62d8SRoss Zwisler for (i = 0; i < (long_run ? 2000 : 3); i++) { 3281366c37eSMatthew Wilcox copy_tag_check(); 3291366c37eSMatthew Wilcox printf("%d ", i); 3301366c37eSMatthew Wilcox fflush(stdout); 3311366c37eSMatthew Wilcox } 332af1c5ccaSMatthew Wilcox rcu_barrier(); 333847d3576SMatthew Wilcox printf("after copy_tag_check: %d allocated, preempt %d\n", 334847d3576SMatthew Wilcox nr_allocated, preempt_count); 3351366c37eSMatthew Wilcox } 3361366c37eSMatthew Wilcox 337aa1d62d8SRoss Zwisler int main(int argc, char **argv) 3381366c37eSMatthew Wilcox { 339aa1d62d8SRoss Zwisler bool long_run = false; 340aa1d62d8SRoss Zwisler int opt; 341061ef393SMatthew Wilcox unsigned int seed = time(NULL); 342aa1d62d8SRoss Zwisler 343061ef393SMatthew Wilcox while ((opt = getopt(argc, argv, "ls:")) != -1) { 344aa1d62d8SRoss Zwisler if (opt == 'l') 345aa1d62d8SRoss Zwisler long_run = true; 346061ef393SMatthew Wilcox else if (opt == 's') 347061ef393SMatthew Wilcox seed = strtoul(optarg, NULL, 0); 348aa1d62d8SRoss Zwisler } 349aa1d62d8SRoss Zwisler 350061ef393SMatthew Wilcox printf("random seed %u\n", seed); 351061ef393SMatthew Wilcox srand(seed); 352061ef393SMatthew Wilcox 3531366c37eSMatthew Wilcox rcu_register_thread(); 3541366c37eSMatthew Wilcox radix_tree_init(); 3551366c37eSMatthew Wilcox 3561366c37eSMatthew Wilcox regression1_test(); 3571366c37eSMatthew Wilcox regression2_test(); 3582d6f45b8SKonstantin Khlebnikov regression3_test(); 3593e3cdc68SMatthew Wilcox iteration_test(0, 10); 3603e3cdc68SMatthew Wilcox iteration_test(7, 20); 361aa1d62d8SRoss Zwisler single_thread_tests(long_run); 3621366c37eSMatthew Wilcox 3636df5ee78SMatthew Wilcox /* Free any remaining preallocated nodes */ 3646df5ee78SMatthew Wilcox radix_tree_cpu_dead(0); 3656df5ee78SMatthew Wilcox 366cfa40bcfSKonstantin Khlebnikov benchmark(); 367cfa40bcfSKonstantin Khlebnikov 368af1c5ccaSMatthew Wilcox rcu_barrier(); 369af1c5ccaSMatthew Wilcox printf("after rcu_barrier: %d allocated, preempt %d\n", 370847d3576SMatthew Wilcox nr_allocated, preempt_count); 3711366c37eSMatthew Wilcox rcu_unregister_thread(); 3721366c37eSMatthew Wilcox 3731366c37eSMatthew Wilcox exit(0); 3741366c37eSMatthew Wilcox } 375