blob: b829127d56705747a0a74c73e8b11b8cae8ecc27 [file] [log] [blame]
Matthew Wilcox1366c372016-03-17 14:21:45 -07001#include <stdio.h>
2#include <stdlib.h>
3#include <unistd.h>
4#include <time.h>
5#include <assert.h>
Matthew Wilcox0a835c42016-12-20 10:27:56 -05006#include <limits.h>
Matthew Wilcox1366c372016-03-17 14:21:45 -07007
8#include <linux/slab.h>
9#include <linux/radix-tree.h>
10
11#include "test.h"
12#include "regression.h"
13
14void __gang_check(unsigned long middle, long down, long up, int chunk, int hop)
15{
16 long idx;
17 RADIX_TREE(tree, GFP_KERNEL);
18
19 middle = 1 << 30;
20
21 for (idx = -down; idx < up; idx++)
22 item_insert(&tree, middle + idx);
23
24 item_check_absent(&tree, middle - down - 1);
25 for (idx = -down; idx < up; idx++)
26 item_check_present(&tree, middle + idx);
27 item_check_absent(&tree, middle + up);
28
29 item_gang_check_present(&tree, middle - down,
30 up + down, chunk, hop);
31 item_full_scan(&tree, middle - down, down + up, chunk);
32 item_kill_tree(&tree);
33}
34
35void gang_check(void)
36{
37 __gang_check(1 << 30, 128, 128, 35, 2);
38 __gang_check(1 << 31, 128, 128, 32, 32);
39 __gang_check(1 << 31, 128, 128, 32, 100);
40 __gang_check(1 << 31, 128, 128, 17, 7);
41 __gang_check(0xffff0000, 0, 65536, 17, 7);
42 __gang_check(0xfffffffe, 1, 1, 17, 7);
43}
44
45void __big_gang_check(void)
46{
47 unsigned long start;
48 int wrapped = 0;
49
50 start = 0;
51 do {
52 unsigned long old_start;
53
54// printf("0x%08lx\n", start);
55 __gang_check(start, rand() % 113 + 1, rand() % 71,
56 rand() % 157, rand() % 91 + 1);
57 old_start = start;
58 start += rand() % 1000000;
59 start %= 1ULL << 33;
60 if (start < old_start)
61 wrapped = 1;
62 } while (!wrapped);
63}
64
Ross Zwisleraa1d62d2016-05-20 17:01:45 -070065void big_gang_check(bool long_run)
Matthew Wilcox1366c372016-03-17 14:21:45 -070066{
67 int i;
68
Ross Zwisleraa1d62d2016-05-20 17:01:45 -070069 for (i = 0; i < (long_run ? 1000 : 3); i++) {
Matthew Wilcox1366c372016-03-17 14:21:45 -070070 __big_gang_check();
Rehas Sachdeva73bc0292017-01-04 11:55:00 -050071 printv(2, "%d ", i);
Matthew Wilcox1366c372016-03-17 14:21:45 -070072 fflush(stdout);
73 }
74}
75
76void add_and_check(void)
77{
78 RADIX_TREE(tree, GFP_KERNEL);
79
80 item_insert(&tree, 44);
81 item_check_present(&tree, 44);
82 item_check_absent(&tree, 43);
83 item_kill_tree(&tree);
84}
85
86void dynamic_height_check(void)
87{
88 int i;
89 RADIX_TREE(tree, GFP_KERNEL);
90 tree_verify_min_height(&tree, 0);
91
92 item_insert(&tree, 42);
93 tree_verify_min_height(&tree, 42);
94
95 item_insert(&tree, 1000000);
96 tree_verify_min_height(&tree, 1000000);
97
98 assert(item_delete(&tree, 1000000));
99 tree_verify_min_height(&tree, 42);
100
101 assert(item_delete(&tree, 42));
102 tree_verify_min_height(&tree, 0);
103
104 for (i = 0; i < 1000; i++) {
105 item_insert(&tree, i);
106 tree_verify_min_height(&tree, i);
107 }
108
109 i--;
110 for (;;) {
111 assert(item_delete(&tree, i));
112 if (i == 0) {
113 tree_verify_min_height(&tree, 0);
114 break;
115 }
116 i--;
117 tree_verify_min_height(&tree, i);
118 }
119
120 item_kill_tree(&tree);
121}
122
123void check_copied_tags(struct radix_tree_root *tree, unsigned long start, unsigned long end, unsigned long *idx, int count, int fromtag, int totag)
124{
125 int i;
126
127 for (i = 0; i < count; i++) {
128/* if (i % 1000 == 0)
129 putchar('.'); */
130 if (idx[i] < start || idx[i] > end) {
131 if (item_tag_get(tree, idx[i], totag)) {
Rehas Sachdeva73bc0292017-01-04 11:55:00 -0500132 printv(2, "%lu-%lu: %lu, tags %d-%d\n", start,
133 end, idx[i], item_tag_get(tree, idx[i],
134 fromtag),
135 item_tag_get(tree, idx[i], totag));
Matthew Wilcox1366c372016-03-17 14:21:45 -0700136 }
137 assert(!item_tag_get(tree, idx[i], totag));
138 continue;
139 }
140 if (item_tag_get(tree, idx[i], fromtag) ^
141 item_tag_get(tree, idx[i], totag)) {
Rehas Sachdeva73bc0292017-01-04 11:55:00 -0500142 printv(2, "%lu-%lu: %lu, tags %d-%d\n", start, end,
143 idx[i], item_tag_get(tree, idx[i], fromtag),
144 item_tag_get(tree, idx[i], totag));
Matthew Wilcox1366c372016-03-17 14:21:45 -0700145 }
146 assert(!(item_tag_get(tree, idx[i], fromtag) ^
147 item_tag_get(tree, idx[i], totag)));
148 }
149}
150
151#define ITEMS 50000
152
153void copy_tag_check(void)
154{
155 RADIX_TREE(tree, GFP_KERNEL);
156 unsigned long idx[ITEMS];
157 unsigned long start, end, count = 0, tagged, cur, tmp;
158 int i;
159
160// printf("generating radix tree indices...\n");
161 start = rand();
162 end = rand();
163 if (start > end && (rand() % 10)) {
164 cur = start;
165 start = end;
166 end = cur;
167 }
168 /* Specifically create items around the start and the end of the range
169 * with high probability to check for off by one errors */
170 cur = rand();
171 if (cur & 1) {
172 item_insert(&tree, start);
173 if (cur & 2) {
174 if (start <= end)
175 count++;
176 item_tag_set(&tree, start, 0);
177 }
178 }
179 if (cur & 4) {
180 item_insert(&tree, start-1);
181 if (cur & 8)
182 item_tag_set(&tree, start-1, 0);
183 }
184 if (cur & 16) {
185 item_insert(&tree, end);
186 if (cur & 32) {
187 if (start <= end)
188 count++;
189 item_tag_set(&tree, end, 0);
190 }
191 }
192 if (cur & 64) {
193 item_insert(&tree, end+1);
194 if (cur & 128)
195 item_tag_set(&tree, end+1, 0);
196 }
197
198 for (i = 0; i < ITEMS; i++) {
199 do {
200 idx[i] = rand();
201 } while (item_lookup(&tree, idx[i]));
202
203 item_insert(&tree, idx[i]);
204 if (rand() & 1) {
205 item_tag_set(&tree, idx[i], 0);
206 if (idx[i] >= start && idx[i] <= end)
207 count++;
208 }
209/* if (i % 1000 == 0)
210 putchar('.'); */
211 }
212
213// printf("\ncopying tags...\n");
Matthew Wilcox268f42d2016-12-14 15:08:55 -0800214 tagged = tag_tagged_items(&tree, NULL, start, end, ITEMS, 0, 1);
Matthew Wilcox1366c372016-03-17 14:21:45 -0700215
216// printf("checking copied tags\n");
217 assert(tagged == count);
218 check_copied_tags(&tree, start, end, idx, ITEMS, 0, 1);
219
220 /* Copy tags in several rounds */
221// printf("\ncopying tags...\n");
Matthew Wilcox268f42d2016-12-14 15:08:55 -0800222 tmp = rand() % (count / 10 + 2);
223 tagged = tag_tagged_items(&tree, NULL, start, end, tmp, 0, 2);
224 assert(tagged == count);
Matthew Wilcox1366c372016-03-17 14:21:45 -0700225
226// printf("%lu %lu %lu\n", tagged, tmp, count);
227// printf("checking copied tags\n");
228 check_copied_tags(&tree, start, end, idx, ITEMS, 0, 2);
Matthew Wilcox1366c372016-03-17 14:21:45 -0700229 verify_tag_consistency(&tree, 0);
230 verify_tag_consistency(&tree, 1);
231 verify_tag_consistency(&tree, 2);
232// printf("\n");
233 item_kill_tree(&tree);
234}
235
Ross Zwislereb73f7f2016-05-20 17:02:49 -0700236static void __locate_check(struct radix_tree_root *tree, unsigned long index,
Matthew Wilcox0a2efc62016-05-20 17:02:46 -0700237 unsigned order)
Matthew Wilcoxd42cb1a2016-05-20 17:01:39 -0700238{
239 struct item *item;
240 unsigned long index2;
241
Matthew Wilcox0a2efc62016-05-20 17:02:46 -0700242 item_insert_order(tree, index, order);
Matthew Wilcoxd42cb1a2016-05-20 17:01:39 -0700243 item = item_lookup(tree, index);
Matthew Wilcox478922e2016-12-14 15:08:52 -0800244 index2 = find_item(tree, item);
Matthew Wilcoxd42cb1a2016-05-20 17:01:39 -0700245 if (index != index2) {
Rehas Sachdeva73bc0292017-01-04 11:55:00 -0500246 printv(2, "index %ld order %d inserted; found %ld\n",
Matthew Wilcox0a2efc62016-05-20 17:02:46 -0700247 index, order, index2);
Matthew Wilcoxd42cb1a2016-05-20 17:01:39 -0700248 abort();
249 }
250}
251
Ross Zwislereb73f7f2016-05-20 17:02:49 -0700252static void __order_0_locate_check(void)
253{
254 RADIX_TREE(tree, GFP_KERNEL);
255 int i;
256
257 for (i = 0; i < 50; i++)
258 __locate_check(&tree, rand() % INT_MAX, 0);
259
260 item_kill_tree(&tree);
261}
262
Matthew Wilcoxd42cb1a2016-05-20 17:01:39 -0700263static void locate_check(void)
264{
265 RADIX_TREE(tree, GFP_KERNEL);
Matthew Wilcox0a2efc62016-05-20 17:02:46 -0700266 unsigned order;
Matthew Wilcoxd42cb1a2016-05-20 17:01:39 -0700267 unsigned long offset, index;
268
Ross Zwislereb73f7f2016-05-20 17:02:49 -0700269 __order_0_locate_check();
270
Matthew Wilcox0a2efc62016-05-20 17:02:46 -0700271 for (order = 0; order < 20; order++) {
272 for (offset = 0; offset < (1 << (order + 3));
273 offset += (1UL << order)) {
274 for (index = 0; index < (1UL << (order + 5));
275 index += (1UL << order)) {
276 __locate_check(&tree, index + offset, order);
277 }
Matthew Wilcox478922e2016-12-14 15:08:52 -0800278 if (find_item(&tree, &tree) != -1)
Matthew Wilcox0a2efc62016-05-20 17:02:46 -0700279 abort();
Matthew Wilcoxd42cb1a2016-05-20 17:01:39 -0700280
Matthew Wilcox0a2efc62016-05-20 17:02:46 -0700281 item_kill_tree(&tree);
282 }
Matthew Wilcoxd42cb1a2016-05-20 17:01:39 -0700283 }
284
Matthew Wilcox478922e2016-12-14 15:08:52 -0800285 if (find_item(&tree, &tree) != -1)
Matthew Wilcoxd42cb1a2016-05-20 17:01:39 -0700286 abort();
Matthew Wilcox0a2efc62016-05-20 17:02:46 -0700287 __locate_check(&tree, -1, 0);
Matthew Wilcox478922e2016-12-14 15:08:52 -0800288 if (find_item(&tree, &tree) != -1)
Matthew Wilcoxd42cb1a2016-05-20 17:01:39 -0700289 abort();
290 item_kill_tree(&tree);
291}
292
Ross Zwisleraa1d62d2016-05-20 17:01:45 -0700293static void single_thread_tests(bool long_run)
Matthew Wilcox1366c372016-03-17 14:21:45 -0700294{
295 int i;
296
Rehas Sachdeva73bc0292017-01-04 11:55:00 -0500297 printv(1, "starting single_thread_tests: %d allocated, preempt %d\n",
Matthew Wilcox847d3572016-12-14 15:08:02 -0800298 nr_allocated, preempt_count);
Matthew Wilcox4f3755d2016-05-20 17:02:14 -0700299 multiorder_checks();
Matthew Wilcoxaf1c5cc2016-12-14 15:08:17 -0800300 rcu_barrier();
Rehas Sachdeva73bc0292017-01-04 11:55:00 -0500301 printv(2, "after multiorder_check: %d allocated, preempt %d\n",
Matthew Wilcox847d3572016-12-14 15:08:02 -0800302 nr_allocated, preempt_count);
Matthew Wilcoxd42cb1a2016-05-20 17:01:39 -0700303 locate_check();
Matthew Wilcoxaf1c5cc2016-12-14 15:08:17 -0800304 rcu_barrier();
Rehas Sachdeva73bc0292017-01-04 11:55:00 -0500305 printv(2, "after locate_check: %d allocated, preempt %d\n",
Matthew Wilcox847d3572016-12-14 15:08:02 -0800306 nr_allocated, preempt_count);
Matthew Wilcox1366c372016-03-17 14:21:45 -0700307 tag_check();
Matthew Wilcoxaf1c5cc2016-12-14 15:08:17 -0800308 rcu_barrier();
Rehas Sachdeva73bc0292017-01-04 11:55:00 -0500309 printv(2, "after tag_check: %d allocated, preempt %d\n",
Matthew Wilcox847d3572016-12-14 15:08:02 -0800310 nr_allocated, preempt_count);
Matthew Wilcox1366c372016-03-17 14:21:45 -0700311 gang_check();
Matthew Wilcoxaf1c5cc2016-12-14 15:08:17 -0800312 rcu_barrier();
Rehas Sachdeva73bc0292017-01-04 11:55:00 -0500313 printv(2, "after gang_check: %d allocated, preempt %d\n",
Matthew Wilcox847d3572016-12-14 15:08:02 -0800314 nr_allocated, preempt_count);
Matthew Wilcox1366c372016-03-17 14:21:45 -0700315 add_and_check();
Matthew Wilcoxaf1c5cc2016-12-14 15:08:17 -0800316 rcu_barrier();
Rehas Sachdeva73bc0292017-01-04 11:55:00 -0500317 printv(2, "after add_and_check: %d allocated, preempt %d\n",
Matthew Wilcox847d3572016-12-14 15:08:02 -0800318 nr_allocated, preempt_count);
Matthew Wilcox1366c372016-03-17 14:21:45 -0700319 dynamic_height_check();
Matthew Wilcoxaf1c5cc2016-12-14 15:08:17 -0800320 rcu_barrier();
Rehas Sachdeva73bc0292017-01-04 11:55:00 -0500321 printv(2, "after dynamic_height_check: %d allocated, preempt %d\n",
Matthew Wilcox847d3572016-12-14 15:08:02 -0800322 nr_allocated, preempt_count);
Matthew Wilcox0a835c42016-12-20 10:27:56 -0500323 idr_checks();
324 ida_checks();
325 rcu_barrier();
Rehas Sachdeva73bc0292017-01-04 11:55:00 -0500326 printv(2, "after idr_checks: %d allocated, preempt %d\n",
Matthew Wilcox0a835c42016-12-20 10:27:56 -0500327 nr_allocated, preempt_count);
Ross Zwisleraa1d62d2016-05-20 17:01:45 -0700328 big_gang_check(long_run);
Matthew Wilcoxaf1c5cc2016-12-14 15:08:17 -0800329 rcu_barrier();
Rehas Sachdeva73bc0292017-01-04 11:55:00 -0500330 printv(2, "after big_gang_check: %d allocated, preempt %d\n",
Matthew Wilcox847d3572016-12-14 15:08:02 -0800331 nr_allocated, preempt_count);
Ross Zwisleraa1d62d2016-05-20 17:01:45 -0700332 for (i = 0; i < (long_run ? 2000 : 3); i++) {
Matthew Wilcox1366c372016-03-17 14:21:45 -0700333 copy_tag_check();
Rehas Sachdeva73bc0292017-01-04 11:55:00 -0500334 printv(2, "%d ", i);
Matthew Wilcox1366c372016-03-17 14:21:45 -0700335 fflush(stdout);
336 }
Matthew Wilcoxaf1c5cc2016-12-14 15:08:17 -0800337 rcu_barrier();
Rehas Sachdeva73bc0292017-01-04 11:55:00 -0500338 printv(2, "after copy_tag_check: %d allocated, preempt %d\n",
Matthew Wilcox847d3572016-12-14 15:08:02 -0800339 nr_allocated, preempt_count);
Matthew Wilcox1366c372016-03-17 14:21:45 -0700340}
341
Ross Zwisleraa1d62d2016-05-20 17:01:45 -0700342int main(int argc, char **argv)
Matthew Wilcox1366c372016-03-17 14:21:45 -0700343{
Ross Zwisleraa1d62d2016-05-20 17:01:45 -0700344 bool long_run = false;
345 int opt;
Matthew Wilcox061ef392016-12-14 15:08:08 -0800346 unsigned int seed = time(NULL);
Ross Zwisleraa1d62d2016-05-20 17:01:45 -0700347
Rehas Sachdeva73bc0292017-01-04 11:55:00 -0500348 while ((opt = getopt(argc, argv, "ls:v")) != -1) {
Ross Zwisleraa1d62d2016-05-20 17:01:45 -0700349 if (opt == 'l')
350 long_run = true;
Matthew Wilcox061ef392016-12-14 15:08:08 -0800351 else if (opt == 's')
352 seed = strtoul(optarg, NULL, 0);
Rehas Sachdeva73bc0292017-01-04 11:55:00 -0500353 else if (opt == 'v')
354 test_verbose++;
Ross Zwisleraa1d62d2016-05-20 17:01:45 -0700355 }
356
Matthew Wilcox061ef392016-12-14 15:08:08 -0800357 printf("random seed %u\n", seed);
358 srand(seed);
359
Rehas Sachdeva73bc0292017-01-04 11:55:00 -0500360 printf("running tests\n");
361
Matthew Wilcox1366c372016-03-17 14:21:45 -0700362 rcu_register_thread();
363 radix_tree_init();
364
365 regression1_test();
366 regression2_test();
Konstantin Khlebnikov2d6f45b2016-03-17 14:22:08 -0700367 regression3_test();
Matthew Wilcoxc0cdbf82017-01-29 02:27:24 -0500368 iteration_test(0, 10 + 90 * long_run);
369 iteration_test(7, 10 + 90 * long_run);
Ross Zwisleraa1d62d2016-05-20 17:01:45 -0700370 single_thread_tests(long_run);
Matthew Wilcox1366c372016-03-17 14:21:45 -0700371
Matthew Wilcox6df5ee72016-12-14 15:08:05 -0800372 /* Free any remaining preallocated nodes */
373 radix_tree_cpu_dead(0);
374
Konstantin Khlebnikovcfa40bc2016-12-14 15:08:14 -0800375 benchmark();
376
Matthew Wilcoxaf1c5cc2016-12-14 15:08:17 -0800377 rcu_barrier();
Rehas Sachdeva73bc0292017-01-04 11:55:00 -0500378 printv(2, "after rcu_barrier: %d allocated, preempt %d\n",
Matthew Wilcox847d3572016-12-14 15:08:02 -0800379 nr_allocated, preempt_count);
Matthew Wilcox1366c372016-03-17 14:21:45 -0700380 rcu_unregister_thread();
381
Rehas Sachdeva73bc0292017-01-04 11:55:00 -0500382 printf("tests completed\n");
383
Matthew Wilcox1366c372016-03-17 14:21:45 -0700384 exit(0);
385}