blob: 670c3d2ae7b189f9405d1ac536013a32ba9db188 [file] [log] [blame]
Konstantin Khlebnikov2d6f45b2016-03-17 14:22:08 -07001/*
2 * Regression3
3 * Description:
4 * Helper radix_tree_iter_retry resets next_index to the current index.
5 * In following radix_tree_next_slot current chunk size becomes zero.
6 * This isn't checked and it tries to dereference null pointer in slot.
7 *
Matthew Wilcox148deab2016-12-14 15:08:49 -08008 * Helper radix_tree_iter_resume reset slot to NULL and next_index to index + 1,
Konstantin Khlebnikov74758512016-03-17 14:22:11 -07009 * for tagger iteraction it also must reset cached tags in iterator to abort
10 * next radix_tree_next_slot and go to slow-path into radix_tree_next_chunk.
11 *
Konstantin Khlebnikov2d6f45b2016-03-17 14:22:08 -070012 * Running:
13 * This test should run to completion immediately. The above bug would
14 * cause it to segfault.
15 *
16 * Upstream commit:
17 * Not yet
18 */
19#include <linux/kernel.h>
20#include <linux/gfp.h>
21#include <linux/slab.h>
22#include <linux/radix-tree.h>
23#include <stdlib.h>
24#include <stdio.h>
25
26#include "regression.h"
27
28void regression3_test(void)
29{
30 RADIX_TREE(root, GFP_KERNEL);
Konstantin Khlebnikov74758512016-03-17 14:22:11 -070031 void *ptr0 = (void *)4ul;
32 void *ptr = (void *)8ul;
Konstantin Khlebnikov2d6f45b2016-03-17 14:22:08 -070033 struct radix_tree_iter iter;
34 void **slot;
35 bool first;
36
Rehas Sachdeva73bc0292017-01-04 11:55:00 -050037 printv(1, "running regression test 3 (should take milliseconds)\n");
Konstantin Khlebnikov2d6f45b2016-03-17 14:22:08 -070038
Konstantin Khlebnikov74758512016-03-17 14:22:11 -070039 radix_tree_insert(&root, 0, ptr0);
Konstantin Khlebnikov2d6f45b2016-03-17 14:22:08 -070040 radix_tree_tag_set(&root, 0, 0);
41
42 first = true;
43 radix_tree_for_each_tagged(slot, &root, &iter, 0, 0) {
Rehas Sachdeva73bc0292017-01-04 11:55:00 -050044 printv(2, "tagged %ld %p\n", iter.index, *slot);
Konstantin Khlebnikov2d6f45b2016-03-17 14:22:08 -070045 if (first) {
46 radix_tree_insert(&root, 1, ptr);
47 radix_tree_tag_set(&root, 1, 0);
48 first = false;
49 }
50 if (radix_tree_deref_retry(*slot)) {
Rehas Sachdeva73bc0292017-01-04 11:55:00 -050051 printv(2, "retry at %ld\n", iter.index);
Konstantin Khlebnikov2d6f45b2016-03-17 14:22:08 -070052 slot = radix_tree_iter_retry(&iter);
53 continue;
54 }
55 }
56 radix_tree_delete(&root, 1);
57
58 first = true;
59 radix_tree_for_each_slot(slot, &root, &iter, 0) {
Rehas Sachdeva73bc0292017-01-04 11:55:00 -050060 printv(2, "slot %ld %p\n", iter.index, *slot);
Konstantin Khlebnikov2d6f45b2016-03-17 14:22:08 -070061 if (first) {
62 radix_tree_insert(&root, 1, ptr);
63 first = false;
64 }
65 if (radix_tree_deref_retry(*slot)) {
Rehas Sachdeva73bc0292017-01-04 11:55:00 -050066 printv(2, "retry at %ld\n", iter.index);
Konstantin Khlebnikov2d6f45b2016-03-17 14:22:08 -070067 slot = radix_tree_iter_retry(&iter);
68 continue;
69 }
70 }
71 radix_tree_delete(&root, 1);
72
73 first = true;
74 radix_tree_for_each_contig(slot, &root, &iter, 0) {
Rehas Sachdeva73bc0292017-01-04 11:55:00 -050075 printv(2, "contig %ld %p\n", iter.index, *slot);
Konstantin Khlebnikov2d6f45b2016-03-17 14:22:08 -070076 if (first) {
77 radix_tree_insert(&root, 1, ptr);
78 first = false;
79 }
80 if (radix_tree_deref_retry(*slot)) {
Rehas Sachdeva73bc0292017-01-04 11:55:00 -050081 printv(2, "retry at %ld\n", iter.index);
Konstantin Khlebnikov2d6f45b2016-03-17 14:22:08 -070082 slot = radix_tree_iter_retry(&iter);
83 continue;
84 }
85 }
86
Konstantin Khlebnikov74758512016-03-17 14:22:11 -070087 radix_tree_for_each_slot(slot, &root, &iter, 0) {
Rehas Sachdeva73bc0292017-01-04 11:55:00 -050088 printv(2, "slot %ld %p\n", iter.index, *slot);
Konstantin Khlebnikov74758512016-03-17 14:22:11 -070089 if (!iter.index) {
Rehas Sachdeva73bc0292017-01-04 11:55:00 -050090 printv(2, "next at %ld\n", iter.index);
Matthew Wilcox148deab2016-12-14 15:08:49 -080091 slot = radix_tree_iter_resume(slot, &iter);
Konstantin Khlebnikov74758512016-03-17 14:22:11 -070092 }
93 }
94
95 radix_tree_for_each_contig(slot, &root, &iter, 0) {
Rehas Sachdeva73bc0292017-01-04 11:55:00 -050096 printv(2, "contig %ld %p\n", iter.index, *slot);
Konstantin Khlebnikov74758512016-03-17 14:22:11 -070097 if (!iter.index) {
Rehas Sachdeva73bc0292017-01-04 11:55:00 -050098 printv(2, "next at %ld\n", iter.index);
Matthew Wilcox148deab2016-12-14 15:08:49 -080099 slot = radix_tree_iter_resume(slot, &iter);
Konstantin Khlebnikov74758512016-03-17 14:22:11 -0700100 }
101 }
102
103 radix_tree_tag_set(&root, 0, 0);
104 radix_tree_tag_set(&root, 1, 0);
105 radix_tree_for_each_tagged(slot, &root, &iter, 0, 0) {
Rehas Sachdeva73bc0292017-01-04 11:55:00 -0500106 printv(2, "tagged %ld %p\n", iter.index, *slot);
Konstantin Khlebnikov74758512016-03-17 14:22:11 -0700107 if (!iter.index) {
Rehas Sachdeva73bc0292017-01-04 11:55:00 -0500108 printv(2, "next at %ld\n", iter.index);
Matthew Wilcox148deab2016-12-14 15:08:49 -0800109 slot = radix_tree_iter_resume(slot, &iter);
Konstantin Khlebnikov74758512016-03-17 14:22:11 -0700110 }
111 }
112
Konstantin Khlebnikov2d6f45b2016-03-17 14:22:08 -0700113 radix_tree_delete(&root, 0);
114 radix_tree_delete(&root, 1);
115
Rehas Sachdeva73bc0292017-01-04 11:55:00 -0500116 printv(1, "regression test 3 passed\n");
Konstantin Khlebnikov2d6f45b2016-03-17 14:22:08 -0700117}