1 #include <linux/module.h>
2 #include <linux/moduleparam.h>
3 #include <linux/rbtree_augmented.h>
4 #include <linux/random.h>
5 #include <linux/slab.h>
8 #define __param(type, name, init, msg) \
9 static type name = init; \
10 module_param(name, type, 0444); \
11 MODULE_PARM_DESC(name, msg);
13 __param(int, nnodes, 100, "Number of nodes in the rb-tree");
14 __param(int, perf_loops, 1000, "Number of iterations modifying the rb-tree");
15 __param(int, check_loops, 100, "Number of iterations modifying and verifying the rb-tree");
21 /* following fields used for testing augmented rbtree functionality */
26 static struct rb_root root = RB_ROOT;
27 static struct test_node *nodes = NULL;
29 static struct rnd_state rnd;
31 static void insert(struct test_node *node, struct rb_root *root)
33 struct rb_node **new = &root->rb_node, *parent = NULL;
38 if (key < rb_entry(parent, struct test_node, rb)->key)
39 new = &parent->rb_left;
41 new = &parent->rb_right;
44 rb_link_node(&node->rb, parent, new);
45 rb_insert_color(&node->rb, root);
48 static inline void erase(struct test_node *node, struct rb_root *root)
50 rb_erase(&node->rb, root);
53 static inline u32 augment_recompute(struct test_node *node)
55 u32 max = node->val, child_augmented;
56 if (node->rb.rb_left) {
57 child_augmented = rb_entry(node->rb.rb_left, struct test_node,
59 if (max < child_augmented)
60 max = child_augmented;
62 if (node->rb.rb_right) {
63 child_augmented = rb_entry(node->rb.rb_right, struct test_node,
65 if (max < child_augmented)
66 max = child_augmented;
71 RB_DECLARE_CALLBACKS(static, augment_callbacks, struct test_node, rb,
72 u32, augmented, augment_recompute)
74 static void insert_augmented(struct test_node *node, struct rb_root *root)
76 struct rb_node **new = &root->rb_node, *rb_parent = NULL;
79 struct test_node *parent;
83 parent = rb_entry(rb_parent, struct test_node, rb);
84 if (parent->augmented < val)
85 parent->augmented = val;
86 if (key < parent->key)
87 new = &parent->rb.rb_left;
89 new = &parent->rb.rb_right;
92 node->augmented = val;
93 rb_link_node(&node->rb, rb_parent, new);
94 rb_insert_augmented(&node->rb, root, &augment_callbacks);
97 static void erase_augmented(struct test_node *node, struct rb_root *root)
99 rb_erase_augmented(&node->rb, root, &augment_callbacks);
102 static void init(void)
105 for (i = 0; i < nnodes; i++) {
106 nodes[i].key = prandom_u32_state(&rnd);
107 nodes[i].val = prandom_u32_state(&rnd);
111 static bool is_red(struct rb_node *rb)
113 return !(rb->__rb_parent_color & 1);
116 static int black_path_count(struct rb_node *rb)
119 for (count = 0; rb; rb = rb_parent(rb))
120 count += !is_red(rb);
124 static void check_postorder_foreach(int nr_nodes)
126 struct test_node *cur, *n;
128 rbtree_postorder_for_each_entry_safe(cur, n, &root, rb)
131 WARN_ON_ONCE(count != nr_nodes);
134 static void check_postorder(int nr_nodes)
138 for (rb = rb_first_postorder(&root); rb; rb = rb_next_postorder(rb))
141 WARN_ON_ONCE(count != nr_nodes);
144 static void check(int nr_nodes)
147 int count = 0, blacks = 0;
150 for (rb = rb_first(&root); rb; rb = rb_next(rb)) {
151 struct test_node *node = rb_entry(rb, struct test_node, rb);
152 WARN_ON_ONCE(node->key < prev_key);
153 WARN_ON_ONCE(is_red(rb) &&
154 (!rb_parent(rb) || is_red(rb_parent(rb))));
156 blacks = black_path_count(rb);
158 WARN_ON_ONCE((!rb->rb_left || !rb->rb_right) &&
159 blacks != black_path_count(rb));
160 prev_key = node->key;
164 WARN_ON_ONCE(count != nr_nodes);
165 WARN_ON_ONCE(count < (1 << black_path_count(rb_last(&root))) - 1);
167 check_postorder(nr_nodes);
168 check_postorder_foreach(nr_nodes);
171 static void check_augmented(int nr_nodes)
176 for (rb = rb_first(&root); rb; rb = rb_next(rb)) {
177 struct test_node *node = rb_entry(rb, struct test_node, rb);
178 WARN_ON_ONCE(node->augmented != augment_recompute(node));
182 static int __init rbtree_test_init(void)
185 cycles_t time1, time2, time;
187 nodes = kmalloc(nnodes * sizeof(*nodes), GFP_KERNEL);
191 printk(KERN_ALERT "rbtree testing");
193 prandom_seed_state(&rnd, 3141592653589793238ULL);
196 time1 = get_cycles();
198 for (i = 0; i < perf_loops; i++) {
199 for (j = 0; j < nnodes; j++)
200 insert(nodes + j, &root);
201 for (j = 0; j < nnodes; j++)
202 erase(nodes + j, &root);
205 time2 = get_cycles();
206 time = time2 - time1;
208 time = div_u64(time, perf_loops);
209 printk(" -> %llu cycles\n", (unsigned long long)time);
211 for (i = 0; i < check_loops; i++) {
213 for (j = 0; j < nnodes; j++) {
215 insert(nodes + j, &root);
217 for (j = 0; j < nnodes; j++) {
219 erase(nodes + j, &root);
224 printk(KERN_ALERT "augmented rbtree testing");
228 time1 = get_cycles();
230 for (i = 0; i < perf_loops; i++) {
231 for (j = 0; j < nnodes; j++)
232 insert_augmented(nodes + j, &root);
233 for (j = 0; j < nnodes; j++)
234 erase_augmented(nodes + j, &root);
237 time2 = get_cycles();
238 time = time2 - time1;
240 time = div_u64(time, perf_loops);
241 printk(" -> %llu cycles\n", (unsigned long long)time);
243 for (i = 0; i < check_loops; i++) {
245 for (j = 0; j < nnodes; j++) {
247 insert_augmented(nodes + j, &root);
249 for (j = 0; j < nnodes; j++) {
250 check_augmented(nnodes - j);
251 erase_augmented(nodes + j, &root);
258 return -EAGAIN; /* Fail will directly unload the module */
261 static void __exit rbtree_test_exit(void)
263 printk(KERN_ALERT "test exit\n");
266 module_init(rbtree_test_init)
267 module_exit(rbtree_test_exit)
269 MODULE_LICENSE("GPL");
270 MODULE_AUTHOR("Michel Lespinasse");
271 MODULE_DESCRIPTION("Red Black Tree test");