blob: 9eae0fb5a67d1ef746e859958eb247df18a01f21 [file] [log] [blame]
David Brazdil0f672f62019-12-10 10:32:29 +00001// SPDX-License-Identifier: GPL-2.0-only
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00002/*
3 * multiorder.c: Multi-order radix tree entry testing
4 * Copyright (c) 2016 Intel Corporation
5 * Author: Ross Zwisler <ross.zwisler@linux.intel.com>
6 * Author: Matthew Wilcox <matthew.r.wilcox@intel.com>
Andrew Scullb4b6d4a2019-01-02 15:54:55 +00007 */
8#include <linux/radix-tree.h>
9#include <linux/slab.h>
10#include <linux/errno.h>
11#include <pthread.h>
12
13#include "test.h"
14
David Brazdil0f672f62019-12-10 10:32:29 +000015static int item_insert_order(struct xarray *xa, unsigned long index,
16 unsigned order)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000017{
David Brazdil0f672f62019-12-10 10:32:29 +000018 XA_STATE_ORDER(xas, xa, index, order);
19 struct item *item = item_create(index, order);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000020
David Brazdil0f672f62019-12-10 10:32:29 +000021 do {
22 xas_lock(&xas);
23 xas_store(&xas, item);
24 xas_unlock(&xas);
25 } while (xas_nomem(&xas, GFP_KERNEL));
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000026
David Brazdil0f672f62019-12-10 10:32:29 +000027 if (!xas_error(&xas))
28 return 0;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000029
David Brazdil0f672f62019-12-10 10:32:29 +000030 free(item);
31 return xas_error(&xas);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000032}
33
David Brazdil0f672f62019-12-10 10:32:29 +000034void multiorder_iteration(struct xarray *xa)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000035{
David Brazdil0f672f62019-12-10 10:32:29 +000036 XA_STATE(xas, xa, 0);
37 struct item *item;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000038 int i, j, err;
39
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000040#define NUM_ENTRIES 11
41 int index[NUM_ENTRIES] = {0, 2, 4, 8, 16, 32, 34, 36, 64, 72, 128};
42 int order[NUM_ENTRIES] = {1, 1, 2, 3, 4, 1, 0, 1, 3, 0, 7};
43
David Brazdil0f672f62019-12-10 10:32:29 +000044 printv(1, "Multiorder iteration test\n");
45
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000046 for (i = 0; i < NUM_ENTRIES; i++) {
David Brazdil0f672f62019-12-10 10:32:29 +000047 err = item_insert_order(xa, index[i], order[i]);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000048 assert(!err);
49 }
50
51 for (j = 0; j < 256; j++) {
52 for (i = 0; i < NUM_ENTRIES; i++)
53 if (j <= (index[i] | ((1 << order[i]) - 1)))
54 break;
55
David Brazdil0f672f62019-12-10 10:32:29 +000056 xas_set(&xas, j);
57 xas_for_each(&xas, item, ULONG_MAX) {
58 int height = order[i] / XA_CHUNK_SHIFT;
59 int shift = height * XA_CHUNK_SHIFT;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000060 unsigned long mask = (1UL << order[i]) - 1;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000061
David Brazdil0f672f62019-12-10 10:32:29 +000062 assert((xas.xa_index | mask) == (index[i] | mask));
63 assert(xas.xa_node->shift == shift);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000064 assert(!radix_tree_is_internal_node(item));
65 assert((item->index | mask) == (index[i] | mask));
66 assert(item->order == order[i]);
67 i++;
68 }
69 }
70
David Brazdil0f672f62019-12-10 10:32:29 +000071 item_kill_tree(xa);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000072}
73
David Brazdil0f672f62019-12-10 10:32:29 +000074void multiorder_tagged_iteration(struct xarray *xa)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000075{
David Brazdil0f672f62019-12-10 10:32:29 +000076 XA_STATE(xas, xa, 0);
77 struct item *item;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000078 int i, j;
79
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000080#define MT_NUM_ENTRIES 9
81 int index[MT_NUM_ENTRIES] = {0, 2, 4, 16, 32, 40, 64, 72, 128};
82 int order[MT_NUM_ENTRIES] = {1, 0, 2, 4, 3, 1, 3, 0, 7};
83
84#define TAG_ENTRIES 7
85 int tag_index[TAG_ENTRIES] = {0, 4, 16, 40, 64, 72, 128};
86
David Brazdil0f672f62019-12-10 10:32:29 +000087 printv(1, "Multiorder tagged iteration test\n");
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000088
David Brazdil0f672f62019-12-10 10:32:29 +000089 for (i = 0; i < MT_NUM_ENTRIES; i++)
90 assert(!item_insert_order(xa, index[i], order[i]));
91
92 assert(!xa_marked(xa, XA_MARK_1));
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000093
94 for (i = 0; i < TAG_ENTRIES; i++)
David Brazdil0f672f62019-12-10 10:32:29 +000095 xa_set_mark(xa, tag_index[i], XA_MARK_1);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +000096
97 for (j = 0; j < 256; j++) {
98 int k;
99
100 for (i = 0; i < TAG_ENTRIES; i++) {
101 for (k = i; index[k] < tag_index[i]; k++)
102 ;
103 if (j <= (index[k] | ((1 << order[k]) - 1)))
104 break;
105 }
106
David Brazdil0f672f62019-12-10 10:32:29 +0000107 xas_set(&xas, j);
108 xas_for_each_marked(&xas, item, ULONG_MAX, XA_MARK_1) {
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000109 unsigned long mask;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000110 for (k = i; index[k] < tag_index[i]; k++)
111 ;
112 mask = (1UL << order[k]) - 1;
113
David Brazdil0f672f62019-12-10 10:32:29 +0000114 assert((xas.xa_index | mask) == (tag_index[i] | mask));
115 assert(!xa_is_internal(item));
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000116 assert((item->index | mask) == (tag_index[i] | mask));
117 assert(item->order == order[k]);
118 i++;
119 }
120 }
121
David Brazdil0f672f62019-12-10 10:32:29 +0000122 assert(tag_tagged_items(xa, 0, ULONG_MAX, TAG_ENTRIES, XA_MARK_1,
123 XA_MARK_2) == TAG_ENTRIES);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000124
125 for (j = 0; j < 256; j++) {
126 int mask, k;
127
128 for (i = 0; i < TAG_ENTRIES; i++) {
129 for (k = i; index[k] < tag_index[i]; k++)
130 ;
131 if (j <= (index[k] | ((1 << order[k]) - 1)))
132 break;
133 }
134
David Brazdil0f672f62019-12-10 10:32:29 +0000135 xas_set(&xas, j);
136 xas_for_each_marked(&xas, item, ULONG_MAX, XA_MARK_2) {
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000137 for (k = i; index[k] < tag_index[i]; k++)
138 ;
139 mask = (1 << order[k]) - 1;
140
David Brazdil0f672f62019-12-10 10:32:29 +0000141 assert((xas.xa_index | mask) == (tag_index[i] | mask));
142 assert(!xa_is_internal(item));
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000143 assert((item->index | mask) == (tag_index[i] | mask));
144 assert(item->order == order[k]);
145 i++;
146 }
147 }
148
David Brazdil0f672f62019-12-10 10:32:29 +0000149 assert(tag_tagged_items(xa, 1, ULONG_MAX, MT_NUM_ENTRIES * 2, XA_MARK_1,
150 XA_MARK_0) == TAG_ENTRIES);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000151 i = 0;
David Brazdil0f672f62019-12-10 10:32:29 +0000152 xas_set(&xas, 0);
153 xas_for_each_marked(&xas, item, ULONG_MAX, XA_MARK_0) {
154 assert(xas.xa_index == tag_index[i]);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000155 i++;
156 }
David Brazdil0f672f62019-12-10 10:32:29 +0000157 assert(i == TAG_ENTRIES);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000158
David Brazdil0f672f62019-12-10 10:32:29 +0000159 item_kill_tree(xa);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000160}
161
162bool stop_iteration = false;
163
164static void *creator_func(void *ptr)
165{
166 /* 'order' is set up to ensure we have sibling entries */
167 unsigned int order = RADIX_TREE_MAP_SHIFT - 1;
168 struct radix_tree_root *tree = ptr;
169 int i;
170
171 for (i = 0; i < 10000; i++) {
172 item_insert_order(tree, 0, order);
173 item_delete_rcu(tree, 0);
174 }
175
176 stop_iteration = true;
177 return NULL;
178}
179
180static void *iterator_func(void *ptr)
181{
David Brazdil0f672f62019-12-10 10:32:29 +0000182 XA_STATE(xas, ptr, 0);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000183 struct item *item;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000184
185 while (!stop_iteration) {
186 rcu_read_lock();
David Brazdil0f672f62019-12-10 10:32:29 +0000187 xas_for_each(&xas, item, ULONG_MAX) {
188 if (xas_retry(&xas, item))
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000189 continue;
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000190
David Brazdil0f672f62019-12-10 10:32:29 +0000191 item_sanity(item, xas.xa_index);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000192 }
193 rcu_read_unlock();
194 }
195 return NULL;
196}
197
David Brazdil0f672f62019-12-10 10:32:29 +0000198static void multiorder_iteration_race(struct xarray *xa)
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000199{
200 const int num_threads = sysconf(_SC_NPROCESSORS_ONLN);
201 pthread_t worker_thread[num_threads];
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000202 int i;
203
David Brazdil0f672f62019-12-10 10:32:29 +0000204 pthread_create(&worker_thread[0], NULL, &creator_func, xa);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000205 for (i = 1; i < num_threads; i++)
David Brazdil0f672f62019-12-10 10:32:29 +0000206 pthread_create(&worker_thread[i], NULL, &iterator_func, xa);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000207
208 for (i = 0; i < num_threads; i++)
209 pthread_join(worker_thread[i], NULL);
210
David Brazdil0f672f62019-12-10 10:32:29 +0000211 item_kill_tree(xa);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000212}
213
David Brazdil0f672f62019-12-10 10:32:29 +0000214static DEFINE_XARRAY(array);
215
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000216void multiorder_checks(void)
217{
David Brazdil0f672f62019-12-10 10:32:29 +0000218 multiorder_iteration(&array);
219 multiorder_tagged_iteration(&array);
220 multiorder_iteration_race(&array);
Andrew Scullb4b6d4a2019-01-02 15:54:55 +0000221
222 radix_tree_cpu_dead(0);
223}
224
225int __weak main(void)
226{
227 radix_tree_init();
228 multiorder_checks();
229 return 0;
230}