]> git.proxmox.com Git - mirror_ubuntu-bionic-kernel.git/blame - lib/rbtree_test.c
lib/ubsan.c: s/missaligned/misaligned/
[mirror_ubuntu-bionic-kernel.git] / lib / rbtree_test.c
CommitLineData
910a742d 1#include <linux/module.h>
223f8911 2#include <linux/moduleparam.h>
9c079add 3#include <linux/rbtree_augmented.h>
910a742d 4#include <linux/random.h>
223f8911 5#include <linux/slab.h>
910a742d
ML
6#include <asm/timex.h>
7
223f8911
DB
8#define __param(type, name, init, msg) \
9 static type name = init; \
10 module_param(name, type, 0444); \
11 MODULE_PARM_DESC(name, msg);
12
13__param(int, nnodes, 100, "Number of nodes in the rb-tree");
0b548e33 14__param(int, perf_loops, 1000, "Number of iterations modifying the rb-tree");
223f8911 15__param(int, check_loops, 100, "Number of iterations modifying and verifying the rb-tree");
910a742d
ML
16
17struct test_node {
910a742d 18 u32 key;
dbf128cb 19 struct rb_node rb;
dadf9353
ML
20
21 /* following fields used for testing augmented rbtree functionality */
22 u32 val;
23 u32 augmented;
910a742d
ML
24};
25
b10d43f9 26static struct rb_root_cached root = RB_ROOT_CACHED;
223f8911 27static struct test_node *nodes = NULL;
910a742d
ML
28
29static struct rnd_state rnd;
30
b10d43f9 31static void insert(struct test_node *node, struct rb_root_cached *root)
910a742d 32{
b10d43f9 33 struct rb_node **new = &root->rb_root.rb_node, *parent = NULL;
dadf9353 34 u32 key = node->key;
910a742d
ML
35
36 while (*new) {
37 parent = *new;
dadf9353 38 if (key < rb_entry(parent, struct test_node, rb)->key)
910a742d
ML
39 new = &parent->rb_left;
40 else
41 new = &parent->rb_right;
42 }
43
44 rb_link_node(&node->rb, parent, new);
b10d43f9 45 rb_insert_color(&node->rb, &root->rb_root);
910a742d
ML
46}
47
b10d43f9 48static void insert_cached(struct test_node *node, struct rb_root_cached *root)
910a742d 49{
b10d43f9
DB
50 struct rb_node **new = &root->rb_root.rb_node, *parent = NULL;
51 u32 key = node->key;
52 bool leftmost = true;
53
54 while (*new) {
55 parent = *new;
56 if (key < rb_entry(parent, struct test_node, rb)->key)
57 new = &parent->rb_left;
58 else {
59 new = &parent->rb_right;
60 leftmost = false;
61 }
62 }
63
64 rb_link_node(&node->rb, parent, new);
65 rb_insert_color_cached(&node->rb, root, leftmost);
910a742d
ML
66}
67
b10d43f9
DB
68static inline void erase(struct test_node *node, struct rb_root_cached *root)
69{
70 rb_erase(&node->rb, &root->rb_root);
71}
72
73static inline void erase_cached(struct test_node *node, struct rb_root_cached *root)
74{
75 rb_erase_cached(&node->rb, root);
76}
77
78
dadf9353
ML
79static inline u32 augment_recompute(struct test_node *node)
80{
81 u32 max = node->val, child_augmented;
82 if (node->rb.rb_left) {
83 child_augmented = rb_entry(node->rb.rb_left, struct test_node,
84 rb)->augmented;
85 if (max < child_augmented)
86 max = child_augmented;
87 }
88 if (node->rb.rb_right) {
89 child_augmented = rb_entry(node->rb.rb_right, struct test_node,
90 rb)->augmented;
91 if (max < child_augmented)
92 max = child_augmented;
93 }
94 return max;
95}
96
3908836a
ML
97RB_DECLARE_CALLBACKS(static, augment_callbacks, struct test_node, rb,
98 u32, augmented, augment_recompute)
14b94af0 99
b10d43f9
DB
100static void insert_augmented(struct test_node *node,
101 struct rb_root_cached *root)
dadf9353 102{
b10d43f9 103 struct rb_node **new = &root->rb_root.rb_node, *rb_parent = NULL;
dadf9353 104 u32 key = node->key;
14b94af0
ML
105 u32 val = node->val;
106 struct test_node *parent;
dadf9353
ML
107
108 while (*new) {
14b94af0
ML
109 rb_parent = *new;
110 parent = rb_entry(rb_parent, struct test_node, rb);
111 if (parent->augmented < val)
112 parent->augmented = val;
113 if (key < parent->key)
114 new = &parent->rb.rb_left;
dadf9353 115 else
14b94af0 116 new = &parent->rb.rb_right;
dadf9353
ML
117 }
118
14b94af0
ML
119 node->augmented = val;
120 rb_link_node(&node->rb, rb_parent, new);
b10d43f9
DB
121 rb_insert_augmented(&node->rb, &root->rb_root, &augment_callbacks);
122}
123
124static void insert_augmented_cached(struct test_node *node,
125 struct rb_root_cached *root)
126{
127 struct rb_node **new = &root->rb_root.rb_node, *rb_parent = NULL;
128 u32 key = node->key;
129 u32 val = node->val;
130 struct test_node *parent;
131 bool leftmost = true;
132
133 while (*new) {
134 rb_parent = *new;
135 parent = rb_entry(rb_parent, struct test_node, rb);
136 if (parent->augmented < val)
137 parent->augmented = val;
138 if (key < parent->key)
139 new = &parent->rb.rb_left;
140 else {
141 new = &parent->rb.rb_right;
142 leftmost = false;
143 }
144 }
145
146 node->augmented = val;
147 rb_link_node(&node->rb, rb_parent, new);
148 rb_insert_augmented_cached(&node->rb, root,
149 leftmost, &augment_callbacks);
150}
151
152
153static void erase_augmented(struct test_node *node, struct rb_root_cached *root)
154{
155 rb_erase_augmented(&node->rb, &root->rb_root, &augment_callbacks);
dadf9353
ML
156}
157
b10d43f9
DB
158static void erase_augmented_cached(struct test_node *node,
159 struct rb_root_cached *root)
dadf9353 160{
b10d43f9 161 rb_erase_augmented_cached(&node->rb, root, &augment_callbacks);
dadf9353
ML
162}
163
910a742d
ML
164static void init(void)
165{
166 int i;
223f8911 167 for (i = 0; i < nnodes; i++) {
496f2f93
AM
168 nodes[i].key = prandom_u32_state(&rnd);
169 nodes[i].val = prandom_u32_state(&rnd);
dadf9353 170 }
910a742d
ML
171}
172
173static bool is_red(struct rb_node *rb)
174{
175 return !(rb->__rb_parent_color & 1);
176}
177
178static int black_path_count(struct rb_node *rb)
179{
180 int count;
181 for (count = 0; rb; rb = rb_parent(rb))
182 count += !is_red(rb);
183 return count;
184}
185
964fe94d
CS
186static void check_postorder_foreach(int nr_nodes)
187{
188 struct test_node *cur, *n;
189 int count = 0;
b10d43f9 190 rbtree_postorder_for_each_entry_safe(cur, n, &root.rb_root, rb)
964fe94d
CS
191 count++;
192
193 WARN_ON_ONCE(count != nr_nodes);
194}
195
a791a62f
CS
196static void check_postorder(int nr_nodes)
197{
198 struct rb_node *rb;
199 int count = 0;
b10d43f9 200 for (rb = rb_first_postorder(&root.rb_root); rb; rb = rb_next_postorder(rb))
a791a62f
CS
201 count++;
202
203 WARN_ON_ONCE(count != nr_nodes);
204}
205
910a742d
ML
206static void check(int nr_nodes)
207{
208 struct rb_node *rb;
4130f0ef 209 int count = 0, blacks = 0;
910a742d
ML
210 u32 prev_key = 0;
211
b10d43f9 212 for (rb = rb_first(&root.rb_root); rb; rb = rb_next(rb)) {
910a742d
ML
213 struct test_node *node = rb_entry(rb, struct test_node, rb);
214 WARN_ON_ONCE(node->key < prev_key);
215 WARN_ON_ONCE(is_red(rb) &&
216 (!rb_parent(rb) || is_red(rb_parent(rb))));
217 if (!count)
218 blacks = black_path_count(rb);
219 else
220 WARN_ON_ONCE((!rb->rb_left || !rb->rb_right) &&
221 blacks != black_path_count(rb));
222 prev_key = node->key;
223 count++;
224 }
4130f0ef 225
910a742d 226 WARN_ON_ONCE(count != nr_nodes);
b10d43f9 227 WARN_ON_ONCE(count < (1 << black_path_count(rb_last(&root.rb_root))) - 1);
a791a62f
CS
228
229 check_postorder(nr_nodes);
964fe94d 230 check_postorder_foreach(nr_nodes);
910a742d
ML
231}
232
dadf9353
ML
233static void check_augmented(int nr_nodes)
234{
235 struct rb_node *rb;
236
237 check(nr_nodes);
b10d43f9 238 for (rb = rb_first(&root.rb_root); rb; rb = rb_next(rb)) {
dadf9353
ML
239 struct test_node *node = rb_entry(rb, struct test_node, rb);
240 WARN_ON_ONCE(node->augmented != augment_recompute(node));
241 }
242}
243
c75aaa8e 244static int __init rbtree_test_init(void)
910a742d
ML
245{
246 int i, j;
247 cycles_t time1, time2, time;
977bd8d5 248 struct rb_node *node;
910a742d 249
223f8911
DB
250 nodes = kmalloc(nnodes * sizeof(*nodes), GFP_KERNEL);
251 if (!nodes)
252 return -ENOMEM;
253
910a742d
ML
254 printk(KERN_ALERT "rbtree testing");
255
496f2f93 256 prandom_seed_state(&rnd, 3141592653589793238ULL);
910a742d
ML
257 init();
258
259 time1 = get_cycles();
260
223f8911
DB
261 for (i = 0; i < perf_loops; i++) {
262 for (j = 0; j < nnodes; j++)
910a742d 263 insert(nodes + j, &root);
223f8911 264 for (j = 0; j < nnodes; j++)
910a742d
ML
265 erase(nodes + j, &root);
266 }
267
268 time2 = get_cycles();
269 time = time2 - time1;
270
223f8911 271 time = div_u64(time, perf_loops);
b10d43f9
DB
272 printk(" -> test 1 (latency of nnodes insert+delete): %llu cycles\n",
273 (unsigned long long)time);
274
275 time1 = get_cycles();
276
277 for (i = 0; i < perf_loops; i++) {
278 for (j = 0; j < nnodes; j++)
279 insert_cached(nodes + j, &root);
280 for (j = 0; j < nnodes; j++)
281 erase_cached(nodes + j, &root);
282 }
283
284 time2 = get_cycles();
285 time = time2 - time1;
286
287 time = div_u64(time, perf_loops);
288 printk(" -> test 2 (latency of nnodes cached insert+delete): %llu cycles\n",
289 (unsigned long long)time);
910a742d 290
977bd8d5
DB
291 for (i = 0; i < nnodes; i++)
292 insert(nodes + i, &root);
293
294 time1 = get_cycles();
295
296 for (i = 0; i < perf_loops; i++) {
b10d43f9 297 for (node = rb_first(&root.rb_root); node; node = rb_next(node))
977bd8d5
DB
298 ;
299 }
300
301 time2 = get_cycles();
302 time = time2 - time1;
303
304 time = div_u64(time, perf_loops);
b10d43f9
DB
305 printk(" -> test 3 (latency of inorder traversal): %llu cycles\n",
306 (unsigned long long)time);
307
308 time1 = get_cycles();
309
310 for (i = 0; i < perf_loops; i++)
311 node = rb_first(&root.rb_root);
312
313 time2 = get_cycles();
314 time = time2 - time1;
315
316 time = div_u64(time, perf_loops);
317 printk(" -> test 4 (latency to fetch first node)\n");
318 printk(" non-cached: %llu cycles\n", (unsigned long long)time);
319
320 time1 = get_cycles();
321
322 for (i = 0; i < perf_loops; i++)
323 node = rb_first_cached(&root);
324
325 time2 = get_cycles();
326 time = time2 - time1;
327
328 time = div_u64(time, perf_loops);
329 printk(" cached: %llu cycles\n", (unsigned long long)time);
977bd8d5
DB
330
331 for (i = 0; i < nnodes; i++)
332 erase(nodes + i, &root);
333
334 /* run checks */
223f8911 335 for (i = 0; i < check_loops; i++) {
910a742d 336 init();
223f8911 337 for (j = 0; j < nnodes; j++) {
910a742d
ML
338 check(j);
339 insert(nodes + j, &root);
340 }
223f8911
DB
341 for (j = 0; j < nnodes; j++) {
342 check(nnodes - j);
910a742d
ML
343 erase(nodes + j, &root);
344 }
345 check(0);
346 }
347
dadf9353
ML
348 printk(KERN_ALERT "augmented rbtree testing");
349
350 init();
351
352 time1 = get_cycles();
353
223f8911
DB
354 for (i = 0; i < perf_loops; i++) {
355 for (j = 0; j < nnodes; j++)
dadf9353 356 insert_augmented(nodes + j, &root);
223f8911 357 for (j = 0; j < nnodes; j++)
dadf9353
ML
358 erase_augmented(nodes + j, &root);
359 }
360
361 time2 = get_cycles();
362 time = time2 - time1;
363
223f8911 364 time = div_u64(time, perf_loops);
977bd8d5 365 printk(" -> test 1 (latency of nnodes insert+delete): %llu cycles\n", (unsigned long long)time);
dadf9353 366
b10d43f9
DB
367 time1 = get_cycles();
368
369 for (i = 0; i < perf_loops; i++) {
370 for (j = 0; j < nnodes; j++)
371 insert_augmented_cached(nodes + j, &root);
372 for (j = 0; j < nnodes; j++)
373 erase_augmented_cached(nodes + j, &root);
374 }
375
376 time2 = get_cycles();
377 time = time2 - time1;
378
379 time = div_u64(time, perf_loops);
380 printk(" -> test 2 (latency of nnodes cached insert+delete): %llu cycles\n", (unsigned long long)time);
381
223f8911 382 for (i = 0; i < check_loops; i++) {
dadf9353 383 init();
223f8911 384 for (j = 0; j < nnodes; j++) {
dadf9353
ML
385 check_augmented(j);
386 insert_augmented(nodes + j, &root);
387 }
223f8911
DB
388 for (j = 0; j < nnodes; j++) {
389 check_augmented(nnodes - j);
dadf9353
ML
390 erase_augmented(nodes + j, &root);
391 }
392 check_augmented(0);
393 }
394
223f8911
DB
395 kfree(nodes);
396
910a742d
ML
397 return -EAGAIN; /* Fail will directly unload the module */
398}
399
c75aaa8e 400static void __exit rbtree_test_exit(void)
910a742d
ML
401{
402 printk(KERN_ALERT "test exit\n");
403}
404
405module_init(rbtree_test_init)
406module_exit(rbtree_test_exit)
407
408MODULE_LICENSE("GPL");
409MODULE_AUTHOR("Michel Lespinasse");
410MODULE_DESCRIPTION("Red Black Tree test");