blob: 62b8ee92643dc5de6f400f24e45e3ddbe475bc2a [file] [log] [blame]
Thomas Gleixner09c434b2019-05-19 13:08:20 +01001// SPDX-License-Identifier: GPL-2.0-only
Michel Lespinasse910a7422012-10-08 16:30:39 -07002#include <linux/module.h>
Davidlohr Bueso223f8912017-09-08 16:14:46 -07003#include <linux/moduleparam.h>
Michel Lespinasse9c079ad2012-10-08 16:31:33 -07004#include <linux/rbtree_augmented.h>
Michel Lespinasse910a7422012-10-08 16:30:39 -07005#include <linux/random.h>
Davidlohr Bueso223f8912017-09-08 16:14:46 -07006#include <linux/slab.h>
Michel Lespinasse910a7422012-10-08 16:30:39 -07007#include <asm/timex.h>
8
Davidlohr Bueso223f8912017-09-08 16:14:46 -07009#define __param(type, name, init, msg) \
10 static type name = init; \
11 module_param(name, type, 0444); \
12 MODULE_PARM_DESC(name, msg);
13
14__param(int, nnodes, 100, "Number of nodes in the rb-tree");
Davidlohr Bueso0b548e32017-11-17 15:28:27 -080015__param(int, perf_loops, 1000, "Number of iterations modifying the rb-tree");
Davidlohr Bueso223f8912017-09-08 16:14:46 -070016__param(int, check_loops, 100, "Number of iterations modifying and verifying the rb-tree");
Michel Lespinasse910a7422012-10-08 16:30:39 -070017
18struct test_node {
Michel Lespinasse910a7422012-10-08 16:30:39 -070019 u32 key;
Cody P Schaferdbf128c2014-01-23 15:56:05 -080020 struct rb_node rb;
Michel Lespinassedadf9352012-10-08 16:31:15 -070021
22 /* following fields used for testing augmented rbtree functionality */
23 u32 val;
24 u32 augmented;
Michel Lespinasse910a7422012-10-08 16:30:39 -070025};
26
Davidlohr Buesob10d43f2017-09-08 16:14:52 -070027static struct rb_root_cached root = RB_ROOT_CACHED;
Davidlohr Bueso223f8912017-09-08 16:14:46 -070028static struct test_node *nodes = NULL;
Michel Lespinasse910a7422012-10-08 16:30:39 -070029
30static struct rnd_state rnd;
31
Davidlohr Buesob10d43f2017-09-08 16:14:52 -070032static void insert(struct test_node *node, struct rb_root_cached *root)
Michel Lespinasse910a7422012-10-08 16:30:39 -070033{
Davidlohr Buesob10d43f2017-09-08 16:14:52 -070034 struct rb_node **new = &root->rb_root.rb_node, *parent = NULL;
Michel Lespinassedadf9352012-10-08 16:31:15 -070035 u32 key = node->key;
Michel Lespinasse910a7422012-10-08 16:30:39 -070036
37 while (*new) {
38 parent = *new;
Michel Lespinassedadf9352012-10-08 16:31:15 -070039 if (key < rb_entry(parent, struct test_node, rb)->key)
Michel Lespinasse910a7422012-10-08 16:30:39 -070040 new = &parent->rb_left;
41 else
42 new = &parent->rb_right;
43 }
44
45 rb_link_node(&node->rb, parent, new);
Davidlohr Buesob10d43f2017-09-08 16:14:52 -070046 rb_insert_color(&node->rb, &root->rb_root);
Michel Lespinasse910a7422012-10-08 16:30:39 -070047}
48
Davidlohr Buesob10d43f2017-09-08 16:14:52 -070049static void insert_cached(struct test_node *node, struct rb_root_cached *root)
Michel Lespinasse910a7422012-10-08 16:30:39 -070050{
Davidlohr Buesob10d43f2017-09-08 16:14:52 -070051 struct rb_node **new = &root->rb_root.rb_node, *parent = NULL;
52 u32 key = node->key;
53 bool leftmost = true;
54
55 while (*new) {
56 parent = *new;
57 if (key < rb_entry(parent, struct test_node, rb)->key)
58 new = &parent->rb_left;
59 else {
60 new = &parent->rb_right;
61 leftmost = false;
62 }
63 }
64
65 rb_link_node(&node->rb, parent, new);
66 rb_insert_color_cached(&node->rb, root, leftmost);
Michel Lespinasse910a7422012-10-08 16:30:39 -070067}
68
Davidlohr Buesob10d43f2017-09-08 16:14:52 -070069static inline void erase(struct test_node *node, struct rb_root_cached *root)
70{
71 rb_erase(&node->rb, &root->rb_root);
72}
73
74static inline void erase_cached(struct test_node *node, struct rb_root_cached *root)
75{
76 rb_erase_cached(&node->rb, root);
77}
78
79
Michel Lespinassedadf9352012-10-08 16:31:15 -070080static inline u32 augment_recompute(struct test_node *node)
81{
82 u32 max = node->val, child_augmented;
83 if (node->rb.rb_left) {
84 child_augmented = rb_entry(node->rb.rb_left, struct test_node,
85 rb)->augmented;
86 if (max < child_augmented)
87 max = child_augmented;
88 }
89 if (node->rb.rb_right) {
90 child_augmented = rb_entry(node->rb.rb_right, struct test_node,
91 rb)->augmented;
92 if (max < child_augmented)
93 max = child_augmented;
94 }
95 return max;
96}
97
Michel Lespinasse39088362012-10-08 16:31:21 -070098RB_DECLARE_CALLBACKS(static, augment_callbacks, struct test_node, rb,
99 u32, augmented, augment_recompute)
Michel Lespinasse14b94af2012-10-08 16:31:17 -0700100
Davidlohr Buesob10d43f2017-09-08 16:14:52 -0700101static void insert_augmented(struct test_node *node,
102 struct rb_root_cached *root)
Michel Lespinassedadf9352012-10-08 16:31:15 -0700103{
Davidlohr Buesob10d43f2017-09-08 16:14:52 -0700104 struct rb_node **new = &root->rb_root.rb_node, *rb_parent = NULL;
Michel Lespinassedadf9352012-10-08 16:31:15 -0700105 u32 key = node->key;
Michel Lespinasse14b94af2012-10-08 16:31:17 -0700106 u32 val = node->val;
107 struct test_node *parent;
Michel Lespinassedadf9352012-10-08 16:31:15 -0700108
109 while (*new) {
Michel Lespinasse14b94af2012-10-08 16:31:17 -0700110 rb_parent = *new;
111 parent = rb_entry(rb_parent, struct test_node, rb);
112 if (parent->augmented < val)
113 parent->augmented = val;
114 if (key < parent->key)
115 new = &parent->rb.rb_left;
Michel Lespinassedadf9352012-10-08 16:31:15 -0700116 else
Michel Lespinasse14b94af2012-10-08 16:31:17 -0700117 new = &parent->rb.rb_right;
Michel Lespinassedadf9352012-10-08 16:31:15 -0700118 }
119
Michel Lespinasse14b94af2012-10-08 16:31:17 -0700120 node->augmented = val;
121 rb_link_node(&node->rb, rb_parent, new);
Davidlohr Buesob10d43f2017-09-08 16:14:52 -0700122 rb_insert_augmented(&node->rb, &root->rb_root, &augment_callbacks);
Michel Lespinassedadf9352012-10-08 16:31:15 -0700123}
124
Davidlohr Buesob10d43f2017-09-08 16:14:52 -0700125static void insert_augmented_cached(struct test_node *node,
126 struct rb_root_cached *root)
Michel Lespinassedadf9352012-10-08 16:31:15 -0700127{
Davidlohr Buesob10d43f2017-09-08 16:14:52 -0700128 struct rb_node **new = &root->rb_root.rb_node, *rb_parent = NULL;
129 u32 key = node->key;
130 u32 val = node->val;
131 struct test_node *parent;
132 bool leftmost = true;
133
134 while (*new) {
135 rb_parent = *new;
136 parent = rb_entry(rb_parent, struct test_node, rb);
137 if (parent->augmented < val)
138 parent->augmented = val;
139 if (key < parent->key)
140 new = &parent->rb.rb_left;
141 else {
142 new = &parent->rb.rb_right;
143 leftmost = false;
144 }
145 }
146
147 node->augmented = val;
148 rb_link_node(&node->rb, rb_parent, new);
149 rb_insert_augmented_cached(&node->rb, root,
150 leftmost, &augment_callbacks);
151}
152
153
154static void erase_augmented(struct test_node *node, struct rb_root_cached *root)
155{
156 rb_erase_augmented(&node->rb, &root->rb_root, &augment_callbacks);
157}
158
159static void erase_augmented_cached(struct test_node *node,
160 struct rb_root_cached *root)
161{
162 rb_erase_augmented_cached(&node->rb, root, &augment_callbacks);
Michel Lespinassedadf9352012-10-08 16:31:15 -0700163}
164
Michel Lespinasse910a7422012-10-08 16:30:39 -0700165static void init(void)
166{
167 int i;
Davidlohr Bueso223f8912017-09-08 16:14:46 -0700168 for (i = 0; i < nnodes; i++) {
Akinobu Mita496f2f92012-12-17 16:04:23 -0800169 nodes[i].key = prandom_u32_state(&rnd);
170 nodes[i].val = prandom_u32_state(&rnd);
Michel Lespinassedadf9352012-10-08 16:31:15 -0700171 }
Michel Lespinasse910a7422012-10-08 16:30:39 -0700172}
173
174static bool is_red(struct rb_node *rb)
175{
176 return !(rb->__rb_parent_color & 1);
177}
178
179static int black_path_count(struct rb_node *rb)
180{
181 int count;
182 for (count = 0; rb; rb = rb_parent(rb))
183 count += !is_red(rb);
184 return count;
185}
186
Cody P Schafer964fe942014-01-23 15:56:06 -0800187static void check_postorder_foreach(int nr_nodes)
188{
189 struct test_node *cur, *n;
190 int count = 0;
Davidlohr Buesob10d43f2017-09-08 16:14:52 -0700191 rbtree_postorder_for_each_entry_safe(cur, n, &root.rb_root, rb)
Cody P Schafer964fe942014-01-23 15:56:06 -0800192 count++;
193
194 WARN_ON_ONCE(count != nr_nodes);
195}
196
Cody P Schafera791a622013-09-11 14:25:17 -0700197static void check_postorder(int nr_nodes)
198{
199 struct rb_node *rb;
200 int count = 0;
Davidlohr Buesob10d43f2017-09-08 16:14:52 -0700201 for (rb = rb_first_postorder(&root.rb_root); rb; rb = rb_next_postorder(rb))
Cody P Schafera791a622013-09-11 14:25:17 -0700202 count++;
203
204 WARN_ON_ONCE(count != nr_nodes);
205}
206
Michel Lespinasse910a7422012-10-08 16:30:39 -0700207static void check(int nr_nodes)
208{
209 struct rb_node *rb;
Davidlohr Bueso4130f0e2013-04-30 15:28:24 -0700210 int count = 0, blacks = 0;
Michel Lespinasse910a7422012-10-08 16:30:39 -0700211 u32 prev_key = 0;
212
Davidlohr Buesob10d43f2017-09-08 16:14:52 -0700213 for (rb = rb_first(&root.rb_root); rb; rb = rb_next(rb)) {
Michel Lespinasse910a7422012-10-08 16:30:39 -0700214 struct test_node *node = rb_entry(rb, struct test_node, rb);
215 WARN_ON_ONCE(node->key < prev_key);
216 WARN_ON_ONCE(is_red(rb) &&
217 (!rb_parent(rb) || is_red(rb_parent(rb))));
218 if (!count)
219 blacks = black_path_count(rb);
220 else
221 WARN_ON_ONCE((!rb->rb_left || !rb->rb_right) &&
222 blacks != black_path_count(rb));
223 prev_key = node->key;
224 count++;
225 }
Davidlohr Bueso4130f0e2013-04-30 15:28:24 -0700226
Michel Lespinasse910a7422012-10-08 16:30:39 -0700227 WARN_ON_ONCE(count != nr_nodes);
Davidlohr Buesob10d43f2017-09-08 16:14:52 -0700228 WARN_ON_ONCE(count < (1 << black_path_count(rb_last(&root.rb_root))) - 1);
Cody P Schafera791a622013-09-11 14:25:17 -0700229
230 check_postorder(nr_nodes);
Cody P Schafer964fe942014-01-23 15:56:06 -0800231 check_postorder_foreach(nr_nodes);
Michel Lespinasse910a7422012-10-08 16:30:39 -0700232}
233
Michel Lespinassedadf9352012-10-08 16:31:15 -0700234static void check_augmented(int nr_nodes)
235{
236 struct rb_node *rb;
237
238 check(nr_nodes);
Davidlohr Buesob10d43f2017-09-08 16:14:52 -0700239 for (rb = rb_first(&root.rb_root); rb; rb = rb_next(rb)) {
Michel Lespinassedadf9352012-10-08 16:31:15 -0700240 struct test_node *node = rb_entry(rb, struct test_node, rb);
241 WARN_ON_ONCE(node->augmented != augment_recompute(node));
242 }
243}
244
Davidlohr Buesoc75aaa82013-04-30 15:28:25 -0700245static int __init rbtree_test_init(void)
Michel Lespinasse910a7422012-10-08 16:30:39 -0700246{
247 int i, j;
248 cycles_t time1, time2, time;
Davidlohr Bueso977bd8d2017-09-08 16:14:49 -0700249 struct rb_node *node;
Michel Lespinasse910a7422012-10-08 16:30:39 -0700250
Kees Cook6da2ec52018-06-12 13:55:00 -0700251 nodes = kmalloc_array(nnodes, sizeof(*nodes), GFP_KERNEL);
Davidlohr Bueso223f8912017-09-08 16:14:46 -0700252 if (!nodes)
253 return -ENOMEM;
254
Michel Lespinasse910a7422012-10-08 16:30:39 -0700255 printk(KERN_ALERT "rbtree testing");
256
Akinobu Mita496f2f92012-12-17 16:04:23 -0800257 prandom_seed_state(&rnd, 3141592653589793238ULL);
Michel Lespinasse910a7422012-10-08 16:30:39 -0700258 init();
259
260 time1 = get_cycles();
261
Davidlohr Bueso223f8912017-09-08 16:14:46 -0700262 for (i = 0; i < perf_loops; i++) {
263 for (j = 0; j < nnodes; j++)
Michel Lespinasse910a7422012-10-08 16:30:39 -0700264 insert(nodes + j, &root);
Davidlohr Bueso223f8912017-09-08 16:14:46 -0700265 for (j = 0; j < nnodes; j++)
Michel Lespinasse910a7422012-10-08 16:30:39 -0700266 erase(nodes + j, &root);
267 }
268
269 time2 = get_cycles();
270 time = time2 - time1;
271
Davidlohr Bueso223f8912017-09-08 16:14:46 -0700272 time = div_u64(time, perf_loops);
Davidlohr Buesob10d43f2017-09-08 16:14:52 -0700273 printk(" -> test 1 (latency of nnodes insert+delete): %llu cycles\n",
274 (unsigned long long)time);
275
276 time1 = get_cycles();
277
278 for (i = 0; i < perf_loops; i++) {
279 for (j = 0; j < nnodes; j++)
280 insert_cached(nodes + j, &root);
281 for (j = 0; j < nnodes; j++)
282 erase_cached(nodes + j, &root);
283 }
284
285 time2 = get_cycles();
286 time = time2 - time1;
287
288 time = div_u64(time, perf_loops);
289 printk(" -> test 2 (latency of nnodes cached insert+delete): %llu cycles\n",
290 (unsigned long long)time);
Michel Lespinasse910a7422012-10-08 16:30:39 -0700291
Davidlohr Bueso977bd8d2017-09-08 16:14:49 -0700292 for (i = 0; i < nnodes; i++)
293 insert(nodes + i, &root);
294
295 time1 = get_cycles();
296
297 for (i = 0; i < perf_loops; i++) {
Davidlohr Buesob10d43f2017-09-08 16:14:52 -0700298 for (node = rb_first(&root.rb_root); node; node = rb_next(node))
Davidlohr Bueso977bd8d2017-09-08 16:14:49 -0700299 ;
300 }
301
302 time2 = get_cycles();
303 time = time2 - time1;
304
305 time = div_u64(time, perf_loops);
Davidlohr Buesob10d43f2017-09-08 16:14:52 -0700306 printk(" -> test 3 (latency of inorder traversal): %llu cycles\n",
307 (unsigned long long)time);
308
309 time1 = get_cycles();
310
311 for (i = 0; i < perf_loops; i++)
312 node = rb_first(&root.rb_root);
313
314 time2 = get_cycles();
315 time = time2 - time1;
316
317 time = div_u64(time, perf_loops);
318 printk(" -> test 4 (latency to fetch first node)\n");
319 printk(" non-cached: %llu cycles\n", (unsigned long long)time);
320
321 time1 = get_cycles();
322
323 for (i = 0; i < perf_loops; i++)
324 node = rb_first_cached(&root);
325
326 time2 = get_cycles();
327 time = time2 - time1;
328
329 time = div_u64(time, perf_loops);
330 printk(" cached: %llu cycles\n", (unsigned long long)time);
Davidlohr Bueso977bd8d2017-09-08 16:14:49 -0700331
332 for (i = 0; i < nnodes; i++)
333 erase(nodes + i, &root);
334
335 /* run checks */
Davidlohr Bueso223f8912017-09-08 16:14:46 -0700336 for (i = 0; i < check_loops; i++) {
Michel Lespinasse910a7422012-10-08 16:30:39 -0700337 init();
Davidlohr Bueso223f8912017-09-08 16:14:46 -0700338 for (j = 0; j < nnodes; j++) {
Michel Lespinasse910a7422012-10-08 16:30:39 -0700339 check(j);
340 insert(nodes + j, &root);
341 }
Davidlohr Bueso223f8912017-09-08 16:14:46 -0700342 for (j = 0; j < nnodes; j++) {
343 check(nnodes - j);
Michel Lespinasse910a7422012-10-08 16:30:39 -0700344 erase(nodes + j, &root);
345 }
346 check(0);
347 }
348
Michel Lespinassedadf9352012-10-08 16:31:15 -0700349 printk(KERN_ALERT "augmented rbtree testing");
350
351 init();
352
353 time1 = get_cycles();
354
Davidlohr Bueso223f8912017-09-08 16:14:46 -0700355 for (i = 0; i < perf_loops; i++) {
356 for (j = 0; j < nnodes; j++)
Michel Lespinassedadf9352012-10-08 16:31:15 -0700357 insert_augmented(nodes + j, &root);
Davidlohr Bueso223f8912017-09-08 16:14:46 -0700358 for (j = 0; j < nnodes; j++)
Michel Lespinassedadf9352012-10-08 16:31:15 -0700359 erase_augmented(nodes + j, &root);
360 }
361
362 time2 = get_cycles();
363 time = time2 - time1;
364
Davidlohr Bueso223f8912017-09-08 16:14:46 -0700365 time = div_u64(time, perf_loops);
Davidlohr Bueso977bd8d2017-09-08 16:14:49 -0700366 printk(" -> test 1 (latency of nnodes insert+delete): %llu cycles\n", (unsigned long long)time);
Michel Lespinassedadf9352012-10-08 16:31:15 -0700367
Davidlohr Buesob10d43f2017-09-08 16:14:52 -0700368 time1 = get_cycles();
369
370 for (i = 0; i < perf_loops; i++) {
371 for (j = 0; j < nnodes; j++)
372 insert_augmented_cached(nodes + j, &root);
373 for (j = 0; j < nnodes; j++)
374 erase_augmented_cached(nodes + j, &root);
375 }
376
377 time2 = get_cycles();
378 time = time2 - time1;
379
380 time = div_u64(time, perf_loops);
381 printk(" -> test 2 (latency of nnodes cached insert+delete): %llu cycles\n", (unsigned long long)time);
382
Davidlohr Bueso223f8912017-09-08 16:14:46 -0700383 for (i = 0; i < check_loops; i++) {
Michel Lespinassedadf9352012-10-08 16:31:15 -0700384 init();
Davidlohr Bueso223f8912017-09-08 16:14:46 -0700385 for (j = 0; j < nnodes; j++) {
Michel Lespinassedadf9352012-10-08 16:31:15 -0700386 check_augmented(j);
387 insert_augmented(nodes + j, &root);
388 }
Davidlohr Bueso223f8912017-09-08 16:14:46 -0700389 for (j = 0; j < nnodes; j++) {
390 check_augmented(nnodes - j);
Michel Lespinassedadf9352012-10-08 16:31:15 -0700391 erase_augmented(nodes + j, &root);
392 }
393 check_augmented(0);
394 }
395
Davidlohr Bueso223f8912017-09-08 16:14:46 -0700396 kfree(nodes);
397
Michel Lespinasse910a7422012-10-08 16:30:39 -0700398 return -EAGAIN; /* Fail will directly unload the module */
399}
400
Davidlohr Buesoc75aaa82013-04-30 15:28:25 -0700401static void __exit rbtree_test_exit(void)
Michel Lespinasse910a7422012-10-08 16:30:39 -0700402{
403 printk(KERN_ALERT "test exit\n");
404}
405
406module_init(rbtree_test_init)
407module_exit(rbtree_test_exit)
408
409MODULE_LICENSE("GPL");
410MODULE_AUTHOR("Michel Lespinasse");
411MODULE_DESCRIPTION("Red Black Tree test");