blob: ebe2af2e072db390b2c65e149969c65544476e16 [file] [log] [blame]
Matthew Wilcoxad3d6c72017-11-07 14:57:46 -05001// SPDX-License-Identifier: GPL-2.0+
2/*
3 * test_xarray.c: Test the XArray API
4 * Copyright (c) 2017-2018 Microsoft Corporation
Matthew Wilcox (Oracle)c44aa5e2020-01-17 22:13:21 -05005 * Copyright (c) 2019-2020 Oracle
Matthew Wilcoxad3d6c72017-11-07 14:57:46 -05006 * Author: Matthew Wilcox <willy@infradead.org>
7 */
8
9#include <linux/xarray.h>
10#include <linux/module.h>
11
12static unsigned int tests_run;
13static unsigned int tests_passed;
14
Matthew Wilcox (Oracle)bd40b172020-01-31 05:07:55 -050015static const unsigned int order_limit =
16 IS_ENABLED(CONFIG_XARRAY_MULTI) ? BITS_PER_LONG : 1;
17
Matthew Wilcoxad3d6c72017-11-07 14:57:46 -050018#ifndef XA_DEBUG
19# ifdef __KERNEL__
20void xa_dump(const struct xarray *xa) { }
21# endif
22#undef XA_BUG_ON
23#define XA_BUG_ON(xa, x) do { \
24 tests_run++; \
25 if (x) { \
26 printk("BUG at %s:%d\n", __func__, __LINE__); \
27 xa_dump(xa); \
28 dump_stack(); \
29 } else { \
30 tests_passed++; \
31 } \
32} while (0)
33#endif
34
Matthew Wilcoxb7677a12018-11-05 13:19:54 -050035static void *xa_mk_index(unsigned long index)
36{
37 return xa_mk_value(index & LONG_MAX);
38}
39
Matthew Wilcoxad3d6c72017-11-07 14:57:46 -050040static void *xa_store_index(struct xarray *xa, unsigned long index, gfp_t gfp)
41{
Matthew Wilcoxb7677a12018-11-05 13:19:54 -050042 return xa_store(xa, index, xa_mk_index(index), gfp);
Matthew Wilcoxad3d6c72017-11-07 14:57:46 -050043}
44
Matthew Wilcox12fd2ae2019-03-09 22:25:27 -050045static void xa_insert_index(struct xarray *xa, unsigned long index)
46{
47 XA_BUG_ON(xa, xa_insert(xa, index, xa_mk_index(index),
48 GFP_KERNEL) != 0);
49}
50
Matthew Wilcox371c7522018-07-04 10:50:12 -040051static void xa_alloc_index(struct xarray *xa, unsigned long index, gfp_t gfp)
52{
Matthew Wilcoxa3e4d3f2018-12-31 10:41:01 -050053 u32 id;
Matthew Wilcox371c7522018-07-04 10:50:12 -040054
Matthew Wilcoxa3e4d3f2018-12-31 10:41:01 -050055 XA_BUG_ON(xa, xa_alloc(xa, &id, xa_mk_index(index), xa_limit_32b,
Matthew Wilcox371c7522018-07-04 10:50:12 -040056 gfp) != 0);
57 XA_BUG_ON(xa, id != index);
58}
59
Matthew Wilcoxad3d6c72017-11-07 14:57:46 -050060static void xa_erase_index(struct xarray *xa, unsigned long index)
61{
Matthew Wilcoxb7677a12018-11-05 13:19:54 -050062 XA_BUG_ON(xa, xa_erase(xa, index) != xa_mk_index(index));
Matthew Wilcox58d6ea32017-11-10 15:15:08 -050063 XA_BUG_ON(xa, xa_load(xa, index) != NULL);
64}
65
66/*
67 * If anyone needs this, please move it to xarray.c. We have no current
68 * users outside the test suite because all current multislot users want
69 * to use the advanced API.
70 */
71static void *xa_store_order(struct xarray *xa, unsigned long index,
72 unsigned order, void *entry, gfp_t gfp)
73{
74 XA_STATE_ORDER(xas, xa, index, order);
75 void *curr;
76
77 do {
78 xas_lock(&xas);
79 curr = xas_store(&xas, entry);
80 xas_unlock(&xas);
81 } while (xas_nomem(&xas, gfp));
82
83 return curr;
84}
85
86static noinline void check_xa_err(struct xarray *xa)
87{
88 XA_BUG_ON(xa, xa_err(xa_store_index(xa, 0, GFP_NOWAIT)) != 0);
89 XA_BUG_ON(xa, xa_err(xa_erase(xa, 0)) != 0);
90#ifndef __KERNEL__
91 /* The kernel does not fail GFP_NOWAIT allocations */
92 XA_BUG_ON(xa, xa_err(xa_store_index(xa, 1, GFP_NOWAIT)) != -ENOMEM);
93 XA_BUG_ON(xa, xa_err(xa_store_index(xa, 1, GFP_NOWAIT)) != -ENOMEM);
94#endif
95 XA_BUG_ON(xa, xa_err(xa_store_index(xa, 1, GFP_KERNEL)) != 0);
96 XA_BUG_ON(xa, xa_err(xa_store(xa, 1, xa_mk_value(0), GFP_KERNEL)) != 0);
97 XA_BUG_ON(xa, xa_err(xa_erase(xa, 1)) != 0);
98// kills the test-suite :-(
99// XA_BUG_ON(xa, xa_err(xa_store(xa, 0, xa_mk_internal(0), 0)) != -EINVAL);
Matthew Wilcoxad3d6c72017-11-07 14:57:46 -0500100}
101
Matthew Wilcoxb803b422017-11-14 08:30:11 -0500102static noinline void check_xas_retry(struct xarray *xa)
103{
104 XA_STATE(xas, xa, 0);
105 void *entry;
106
107 xa_store_index(xa, 0, GFP_KERNEL);
108 xa_store_index(xa, 1, GFP_KERNEL);
109
110 rcu_read_lock();
111 XA_BUG_ON(xa, xas_find(&xas, ULONG_MAX) != xa_mk_value(0));
112 xa_erase_index(xa, 1);
113 XA_BUG_ON(xa, !xa_is_retry(xas_reload(&xas)));
114 XA_BUG_ON(xa, xas_retry(&xas, NULL));
115 XA_BUG_ON(xa, xas_retry(&xas, xa_mk_value(0)));
116 xas_reset(&xas);
117 XA_BUG_ON(xa, xas.xa_node != XAS_RESTART);
118 XA_BUG_ON(xa, xas_next_entry(&xas, ULONG_MAX) != xa_mk_value(0));
119 XA_BUG_ON(xa, xas.xa_node != NULL);
Matthew Wilcoxbd542112019-02-04 23:12:08 -0500120 rcu_read_unlock();
Matthew Wilcoxb803b422017-11-14 08:30:11 -0500121
122 XA_BUG_ON(xa, xa_store_index(xa, 1, GFP_KERNEL) != NULL);
Matthew Wilcoxbd542112019-02-04 23:12:08 -0500123
124 rcu_read_lock();
Matthew Wilcoxb803b422017-11-14 08:30:11 -0500125 XA_BUG_ON(xa, !xa_is_internal(xas_reload(&xas)));
126 xas.xa_node = XAS_RESTART;
127 XA_BUG_ON(xa, xas_next_entry(&xas, ULONG_MAX) != xa_mk_value(0));
128 rcu_read_unlock();
129
130 /* Make sure we can iterate through retry entries */
131 xas_lock(&xas);
132 xas_set(&xas, 0);
133 xas_store(&xas, XA_RETRY_ENTRY);
134 xas_set(&xas, 1);
135 xas_store(&xas, XA_RETRY_ENTRY);
136
137 xas_set(&xas, 0);
138 xas_for_each(&xas, entry, ULONG_MAX) {
Matthew Wilcoxb7677a12018-11-05 13:19:54 -0500139 xas_store(&xas, xa_mk_index(xas.xa_index));
Matthew Wilcoxb803b422017-11-14 08:30:11 -0500140 }
141 xas_unlock(&xas);
142
143 xa_erase_index(xa, 0);
144 xa_erase_index(xa, 1);
145}
146
Matthew Wilcoxad3d6c72017-11-07 14:57:46 -0500147static noinline void check_xa_load(struct xarray *xa)
148{
149 unsigned long i, j;
150
151 for (i = 0; i < 1024; i++) {
152 for (j = 0; j < 1024; j++) {
153 void *entry = xa_load(xa, j);
154 if (j < i)
155 XA_BUG_ON(xa, xa_to_value(entry) != j);
156 else
157 XA_BUG_ON(xa, entry);
158 }
159 XA_BUG_ON(xa, xa_store_index(xa, i, GFP_KERNEL) != NULL);
160 }
161
162 for (i = 0; i < 1024; i++) {
163 for (j = 0; j < 1024; j++) {
164 void *entry = xa_load(xa, j);
165 if (j >= i)
166 XA_BUG_ON(xa, xa_to_value(entry) != j);
167 else
168 XA_BUG_ON(xa, entry);
169 }
170 xa_erase_index(xa, i);
171 }
172 XA_BUG_ON(xa, !xa_empty(xa));
173}
174
Matthew Wilcox9b89a032017-11-10 09:34:31 -0500175static noinline void check_xa_mark_1(struct xarray *xa, unsigned long index)
176{
Matthew Wilcox58d6ea32017-11-10 15:15:08 -0500177 unsigned int order;
178 unsigned int max_order = IS_ENABLED(CONFIG_XARRAY_MULTI) ? 8 : 1;
179
Matthew Wilcox9b89a032017-11-10 09:34:31 -0500180 /* NULL elements have no marks set */
181 XA_BUG_ON(xa, xa_get_mark(xa, index, XA_MARK_0));
182 xa_set_mark(xa, index, XA_MARK_0);
183 XA_BUG_ON(xa, xa_get_mark(xa, index, XA_MARK_0));
184
185 /* Storing a pointer will not make a mark appear */
186 XA_BUG_ON(xa, xa_store_index(xa, index, GFP_KERNEL) != NULL);
187 XA_BUG_ON(xa, xa_get_mark(xa, index, XA_MARK_0));
188 xa_set_mark(xa, index, XA_MARK_0);
189 XA_BUG_ON(xa, !xa_get_mark(xa, index, XA_MARK_0));
190
191 /* Setting one mark will not set another mark */
192 XA_BUG_ON(xa, xa_get_mark(xa, index + 1, XA_MARK_0));
193 XA_BUG_ON(xa, xa_get_mark(xa, index, XA_MARK_1));
194
195 /* Storing NULL clears marks, and they can't be set again */
196 xa_erase_index(xa, index);
197 XA_BUG_ON(xa, !xa_empty(xa));
198 XA_BUG_ON(xa, xa_get_mark(xa, index, XA_MARK_0));
199 xa_set_mark(xa, index, XA_MARK_0);
200 XA_BUG_ON(xa, xa_get_mark(xa, index, XA_MARK_0));
Matthew Wilcox58d6ea32017-11-10 15:15:08 -0500201
202 /*
203 * Storing a multi-index entry over entries with marks gives the
204 * entire entry the union of the marks
205 */
206 BUG_ON((index % 4) != 0);
207 for (order = 2; order < max_order; order++) {
208 unsigned long base = round_down(index, 1UL << order);
209 unsigned long next = base + (1UL << order);
210 unsigned long i;
211
212 XA_BUG_ON(xa, xa_store_index(xa, index + 1, GFP_KERNEL));
213 xa_set_mark(xa, index + 1, XA_MARK_0);
214 XA_BUG_ON(xa, xa_store_index(xa, index + 2, GFP_KERNEL));
Matthew Wilcoxd69d2872019-01-14 13:57:31 -0500215 xa_set_mark(xa, index + 2, XA_MARK_2);
Matthew Wilcox58d6ea32017-11-10 15:15:08 -0500216 XA_BUG_ON(xa, xa_store_index(xa, next, GFP_KERNEL));
Matthew Wilcoxb7677a12018-11-05 13:19:54 -0500217 xa_store_order(xa, index, order, xa_mk_index(index),
Matthew Wilcox58d6ea32017-11-10 15:15:08 -0500218 GFP_KERNEL);
219 for (i = base; i < next; i++) {
Matthew Wilcox93eb07f2018-09-08 12:09:52 -0400220 XA_STATE(xas, xa, i);
221 unsigned int seen = 0;
222 void *entry;
223
Matthew Wilcox58d6ea32017-11-10 15:15:08 -0500224 XA_BUG_ON(xa, !xa_get_mark(xa, i, XA_MARK_0));
Matthew Wilcoxd69d2872019-01-14 13:57:31 -0500225 XA_BUG_ON(xa, xa_get_mark(xa, i, XA_MARK_1));
226 XA_BUG_ON(xa, !xa_get_mark(xa, i, XA_MARK_2));
Matthew Wilcox93eb07f2018-09-08 12:09:52 -0400227
228 /* We should see two elements in the array */
Matthew Wilcoxfffc9a22018-11-19 09:36:29 -0500229 rcu_read_lock();
Matthew Wilcox93eb07f2018-09-08 12:09:52 -0400230 xas_for_each(&xas, entry, ULONG_MAX)
231 seen++;
Matthew Wilcoxfffc9a22018-11-19 09:36:29 -0500232 rcu_read_unlock();
Matthew Wilcox93eb07f2018-09-08 12:09:52 -0400233 XA_BUG_ON(xa, seen != 2);
234
235 /* One of which is marked */
236 xas_set(&xas, 0);
237 seen = 0;
Matthew Wilcoxfffc9a22018-11-19 09:36:29 -0500238 rcu_read_lock();
Matthew Wilcox93eb07f2018-09-08 12:09:52 -0400239 xas_for_each_marked(&xas, entry, ULONG_MAX, XA_MARK_0)
240 seen++;
Matthew Wilcoxfffc9a22018-11-19 09:36:29 -0500241 rcu_read_unlock();
Matthew Wilcox93eb07f2018-09-08 12:09:52 -0400242 XA_BUG_ON(xa, seen != 1);
Matthew Wilcox58d6ea32017-11-10 15:15:08 -0500243 }
244 XA_BUG_ON(xa, xa_get_mark(xa, next, XA_MARK_0));
245 XA_BUG_ON(xa, xa_get_mark(xa, next, XA_MARK_1));
246 XA_BUG_ON(xa, xa_get_mark(xa, next, XA_MARK_2));
247 xa_erase_index(xa, index);
248 xa_erase_index(xa, next);
249 XA_BUG_ON(xa, !xa_empty(xa));
250 }
251 XA_BUG_ON(xa, !xa_empty(xa));
Matthew Wilcox9b89a032017-11-10 09:34:31 -0500252}
253
Matthew Wilcoxadb9d9c2018-04-09 16:52:21 -0400254static noinline void check_xa_mark_2(struct xarray *xa)
255{
256 XA_STATE(xas, xa, 0);
257 unsigned long index;
258 unsigned int count = 0;
259 void *entry;
260
261 xa_store_index(xa, 0, GFP_KERNEL);
262 xa_set_mark(xa, 0, XA_MARK_0);
263 xas_lock(&xas);
264 xas_load(&xas);
265 xas_init_marks(&xas);
266 xas_unlock(&xas);
267 XA_BUG_ON(xa, !xa_get_mark(xa, 0, XA_MARK_0) == 0);
268
269 for (index = 3500; index < 4500; index++) {
270 xa_store_index(xa, index, GFP_KERNEL);
271 xa_set_mark(xa, index, XA_MARK_0);
272 }
273
274 xas_reset(&xas);
275 rcu_read_lock();
276 xas_for_each_marked(&xas, entry, ULONG_MAX, XA_MARK_0)
277 count++;
278 rcu_read_unlock();
279 XA_BUG_ON(xa, count != 1000);
280
281 xas_lock(&xas);
282 xas_for_each(&xas, entry, ULONG_MAX) {
283 xas_init_marks(&xas);
284 XA_BUG_ON(xa, !xa_get_mark(xa, xas.xa_index, XA_MARK_0));
285 XA_BUG_ON(xa, !xas_get_mark(&xas, XA_MARK_0));
286 }
287 xas_unlock(&xas);
288
289 xa_destroy(xa);
290}
291
Matthew Wilcox (Oracle)04e9e9b2020-06-14 21:52:04 -0400292static noinline void check_xa_mark_3(struct xarray *xa)
293{
294#ifdef CONFIG_XARRAY_MULTI
295 XA_STATE(xas, xa, 0x41);
296 void *entry;
297 int count = 0;
298
299 xa_store_order(xa, 0x40, 2, xa_mk_index(0x40), GFP_KERNEL);
300 xa_set_mark(xa, 0x41, XA_MARK_0);
301
302 rcu_read_lock();
303 xas_for_each_marked(&xas, entry, ULONG_MAX, XA_MARK_0) {
304 count++;
305 XA_BUG_ON(xa, entry != xa_mk_index(0x40));
306 }
307 XA_BUG_ON(xa, count != 1);
308 rcu_read_unlock();
309 xa_destroy(xa);
310#endif
311}
312
Matthew Wilcox9b89a032017-11-10 09:34:31 -0500313static noinline void check_xa_mark(struct xarray *xa)
314{
315 unsigned long index;
316
317 for (index = 0; index < 16384; index += 4)
318 check_xa_mark_1(xa, index);
Matthew Wilcoxadb9d9c2018-04-09 16:52:21 -0400319
320 check_xa_mark_2(xa);
Matthew Wilcox (Oracle)04e9e9b2020-06-14 21:52:04 -0400321 check_xa_mark_3(xa);
Matthew Wilcox9b89a032017-11-10 09:34:31 -0500322}
323
Matthew Wilcox58d6ea32017-11-10 15:15:08 -0500324static noinline void check_xa_shrink(struct xarray *xa)
325{
326 XA_STATE(xas, xa, 1);
327 struct xa_node *node;
Matthew Wilcox93eb07f2018-09-08 12:09:52 -0400328 unsigned int order;
329 unsigned int max_order = IS_ENABLED(CONFIG_XARRAY_MULTI) ? 15 : 1;
Matthew Wilcox58d6ea32017-11-10 15:15:08 -0500330
331 XA_BUG_ON(xa, !xa_empty(xa));
332 XA_BUG_ON(xa, xa_store_index(xa, 0, GFP_KERNEL) != NULL);
333 XA_BUG_ON(xa, xa_store_index(xa, 1, GFP_KERNEL) != NULL);
334
335 /*
336 * Check that erasing the entry at 1 shrinks the tree and properly
337 * marks the node as being deleted.
338 */
339 xas_lock(&xas);
340 XA_BUG_ON(xa, xas_load(&xas) != xa_mk_value(1));
341 node = xas.xa_node;
342 XA_BUG_ON(xa, xa_entry_locked(xa, node, 0) != xa_mk_value(0));
343 XA_BUG_ON(xa, xas_store(&xas, NULL) != xa_mk_value(1));
344 XA_BUG_ON(xa, xa_load(xa, 1) != NULL);
345 XA_BUG_ON(xa, xas.xa_node != XAS_BOUNDS);
346 XA_BUG_ON(xa, xa_entry_locked(xa, node, 0) != XA_RETRY_ENTRY);
347 XA_BUG_ON(xa, xas_load(&xas) != NULL);
348 xas_unlock(&xas);
349 XA_BUG_ON(xa, xa_load(xa, 0) != xa_mk_value(0));
350 xa_erase_index(xa, 0);
351 XA_BUG_ON(xa, !xa_empty(xa));
Matthew Wilcox93eb07f2018-09-08 12:09:52 -0400352
353 for (order = 0; order < max_order; order++) {
354 unsigned long max = (1UL << order) - 1;
355 xa_store_order(xa, 0, order, xa_mk_value(0), GFP_KERNEL);
356 XA_BUG_ON(xa, xa_load(xa, max) != xa_mk_value(0));
357 XA_BUG_ON(xa, xa_load(xa, max + 1) != NULL);
358 rcu_read_lock();
359 node = xa_head(xa);
360 rcu_read_unlock();
361 XA_BUG_ON(xa, xa_store_index(xa, ULONG_MAX, GFP_KERNEL) !=
362 NULL);
363 rcu_read_lock();
364 XA_BUG_ON(xa, xa_head(xa) == node);
365 rcu_read_unlock();
366 XA_BUG_ON(xa, xa_load(xa, max + 1) != NULL);
367 xa_erase_index(xa, ULONG_MAX);
368 XA_BUG_ON(xa, xa->xa_head != node);
369 xa_erase_index(xa, 0);
370 }
Matthew Wilcox58d6ea32017-11-10 15:15:08 -0500371}
372
Matthew Wilcox12fd2ae2019-03-09 22:25:27 -0500373static noinline void check_insert(struct xarray *xa)
374{
375 unsigned long i;
376
377 for (i = 0; i < 1024; i++) {
378 xa_insert_index(xa, i);
379 XA_BUG_ON(xa, xa_load(xa, i - 1) != NULL);
380 XA_BUG_ON(xa, xa_load(xa, i + 1) != NULL);
381 xa_erase_index(xa, i);
382 }
383
384 for (i = 10; i < BITS_PER_LONG; i++) {
385 xa_insert_index(xa, 1UL << i);
386 XA_BUG_ON(xa, xa_load(xa, (1UL << i) - 1) != NULL);
387 XA_BUG_ON(xa, xa_load(xa, (1UL << i) + 1) != NULL);
388 xa_erase_index(xa, 1UL << i);
389
390 xa_insert_index(xa, (1UL << i) - 1);
391 XA_BUG_ON(xa, xa_load(xa, (1UL << i) - 2) != NULL);
392 XA_BUG_ON(xa, xa_load(xa, 1UL << i) != NULL);
393 xa_erase_index(xa, (1UL << i) - 1);
394 }
395
396 xa_insert_index(xa, ~0UL);
397 XA_BUG_ON(xa, xa_load(xa, 0UL) != NULL);
398 XA_BUG_ON(xa, xa_load(xa, ~1UL) != NULL);
399 xa_erase_index(xa, ~0UL);
400
401 XA_BUG_ON(xa, !xa_empty(xa));
402}
403
Matthew Wilcox41aec912017-11-10 15:34:55 -0500404static noinline void check_cmpxchg(struct xarray *xa)
405{
406 void *FIVE = xa_mk_value(5);
407 void *SIX = xa_mk_value(6);
408 void *LOTS = xa_mk_value(12345678);
409
410 XA_BUG_ON(xa, !xa_empty(xa));
411 XA_BUG_ON(xa, xa_store_index(xa, 12345678, GFP_KERNEL) != NULL);
Matthew Wilcoxfd9dc932019-02-06 13:07:11 -0500412 XA_BUG_ON(xa, xa_insert(xa, 12345678, xa, GFP_KERNEL) != -EBUSY);
Matthew Wilcox41aec912017-11-10 15:34:55 -0500413 XA_BUG_ON(xa, xa_cmpxchg(xa, 12345678, SIX, FIVE, GFP_KERNEL) != LOTS);
414 XA_BUG_ON(xa, xa_cmpxchg(xa, 12345678, LOTS, FIVE, GFP_KERNEL) != LOTS);
415 XA_BUG_ON(xa, xa_cmpxchg(xa, 12345678, FIVE, LOTS, GFP_KERNEL) != FIVE);
416 XA_BUG_ON(xa, xa_cmpxchg(xa, 5, FIVE, NULL, GFP_KERNEL) != NULL);
417 XA_BUG_ON(xa, xa_cmpxchg(xa, 5, NULL, FIVE, GFP_KERNEL) != NULL);
Matthew Wilcox (Oracle)062b7352020-03-31 14:23:59 -0400418 XA_BUG_ON(xa, xa_insert(xa, 5, FIVE, GFP_KERNEL) != -EBUSY);
419 XA_BUG_ON(xa, xa_cmpxchg(xa, 5, FIVE, NULL, GFP_KERNEL) != FIVE);
420 XA_BUG_ON(xa, xa_insert(xa, 5, FIVE, GFP_KERNEL) == -EBUSY);
Matthew Wilcox41aec912017-11-10 15:34:55 -0500421 xa_erase_index(xa, 12345678);
422 xa_erase_index(xa, 5);
423 XA_BUG_ON(xa, !xa_empty(xa));
424}
425
Daniel Gomeze777ae42024-01-31 14:51:25 -0800426static noinline void check_cmpxchg_order(struct xarray *xa)
427{
428#ifdef CONFIG_XARRAY_MULTI
429 void *FIVE = xa_mk_value(5);
430 unsigned int i, order = 3;
431
432 XA_BUG_ON(xa, xa_store_order(xa, 0, order, FIVE, GFP_KERNEL));
433
434 /* Check entry FIVE has the order saved */
435 XA_BUG_ON(xa, xa_get_order(xa, xa_to_value(FIVE)) != order);
436
437 /* Check all the tied indexes have the same entry and order */
438 for (i = 0; i < (1 << order); i++) {
439 XA_BUG_ON(xa, xa_load(xa, i) != FIVE);
440 XA_BUG_ON(xa, xa_get_order(xa, i) != order);
441 }
442
443 /* Ensure that nothing is stored at index '1 << order' */
444 XA_BUG_ON(xa, xa_load(xa, 1 << order) != NULL);
445
446 /*
447 * Additionally, keep the node information and the order at
448 * '1 << order'
449 */
450 XA_BUG_ON(xa, xa_store_order(xa, 1 << order, order, FIVE, GFP_KERNEL));
451 for (i = (1 << order); i < (1 << order) + (1 << order) - 1; i++) {
452 XA_BUG_ON(xa, xa_load(xa, i) != FIVE);
453 XA_BUG_ON(xa, xa_get_order(xa, i) != order);
454 }
455
456 /* Conditionally replace FIVE entry at index '0' with NULL */
457 XA_BUG_ON(xa, xa_cmpxchg(xa, 0, FIVE, NULL, GFP_KERNEL) != FIVE);
458
459 /* Verify the order is lost at FIVE (and old) entries */
460 XA_BUG_ON(xa, xa_get_order(xa, xa_to_value(FIVE)) != 0);
461
462 /* Verify the order and entries are lost in all the tied indexes */
463 for (i = 0; i < (1 << order); i++) {
464 XA_BUG_ON(xa, xa_load(xa, i) != NULL);
465 XA_BUG_ON(xa, xa_get_order(xa, i) != 0);
466 }
467
468 /* Verify node and order are kept at '1 << order' */
469 for (i = (1 << order); i < (1 << order) + (1 << order) - 1; i++) {
470 XA_BUG_ON(xa, xa_load(xa, i) != FIVE);
471 XA_BUG_ON(xa, xa_get_order(xa, i) != order);
472 }
473
474 xa_store_order(xa, 0, BITS_PER_LONG - 1, NULL, GFP_KERNEL);
475 XA_BUG_ON(xa, !xa_empty(xa));
476#endif
477}
478
Matthew Wilcox9f14d4f2018-10-01 14:54:59 -0400479static noinline void check_reserve(struct xarray *xa)
480{
481 void *entry;
Matthew Wilcox4a318962018-12-17 14:45:36 -0500482 unsigned long index;
Matthew Wilcoxb38f6c52019-02-20 11:30:49 -0500483 int count;
Matthew Wilcox9f14d4f2018-10-01 14:54:59 -0400484
485 /* An array with a reserved entry is not empty */
486 XA_BUG_ON(xa, !xa_empty(xa));
Matthew Wilcoxf818b822019-02-08 14:02:45 -0500487 XA_BUG_ON(xa, xa_reserve(xa, 12345678, GFP_KERNEL) != 0);
Matthew Wilcox9f14d4f2018-10-01 14:54:59 -0400488 XA_BUG_ON(xa, xa_empty(xa));
489 XA_BUG_ON(xa, xa_load(xa, 12345678));
490 xa_release(xa, 12345678);
491 XA_BUG_ON(xa, !xa_empty(xa));
492
493 /* Releasing a used entry does nothing */
Matthew Wilcoxf818b822019-02-08 14:02:45 -0500494 XA_BUG_ON(xa, xa_reserve(xa, 12345678, GFP_KERNEL) != 0);
Matthew Wilcox9f14d4f2018-10-01 14:54:59 -0400495 XA_BUG_ON(xa, xa_store_index(xa, 12345678, GFP_NOWAIT) != NULL);
496 xa_release(xa, 12345678);
497 xa_erase_index(xa, 12345678);
498 XA_BUG_ON(xa, !xa_empty(xa));
499
Matthew Wilcoxb38f6c52019-02-20 11:30:49 -0500500 /* cmpxchg sees a reserved entry as ZERO */
Matthew Wilcoxf818b822019-02-08 14:02:45 -0500501 XA_BUG_ON(xa, xa_reserve(xa, 12345678, GFP_KERNEL) != 0);
Matthew Wilcoxb38f6c52019-02-20 11:30:49 -0500502 XA_BUG_ON(xa, xa_cmpxchg(xa, 12345678, XA_ZERO_ENTRY,
503 xa_mk_value(12345678), GFP_NOWAIT) != NULL);
Matthew Wilcox9f14d4f2018-10-01 14:54:59 -0400504 xa_release(xa, 12345678);
505 xa_erase_index(xa, 12345678);
506 XA_BUG_ON(xa, !xa_empty(xa));
507
Matthew Wilcoxb38f6c52019-02-20 11:30:49 -0500508 /* xa_insert treats it as busy */
Matthew Wilcoxf818b822019-02-08 14:02:45 -0500509 XA_BUG_ON(xa, xa_reserve(xa, 12345678, GFP_KERNEL) != 0);
Matthew Wilcoxb0606fe2019-01-02 13:57:03 -0500510 XA_BUG_ON(xa, xa_insert(xa, 12345678, xa_mk_value(12345678), 0) !=
Matthew Wilcoxfd9dc932019-02-06 13:07:11 -0500511 -EBUSY);
Matthew Wilcoxb0606fe2019-01-02 13:57:03 -0500512 XA_BUG_ON(xa, xa_empty(xa));
513 XA_BUG_ON(xa, xa_erase(xa, 12345678) != NULL);
Matthew Wilcox4c0608f2018-10-30 09:45:55 -0400514 XA_BUG_ON(xa, !xa_empty(xa));
515
Matthew Wilcox9f14d4f2018-10-01 14:54:59 -0400516 /* Can iterate through a reserved entry */
517 xa_store_index(xa, 5, GFP_KERNEL);
Matthew Wilcoxf818b822019-02-08 14:02:45 -0500518 XA_BUG_ON(xa, xa_reserve(xa, 6, GFP_KERNEL) != 0);
Matthew Wilcox9f14d4f2018-10-01 14:54:59 -0400519 xa_store_index(xa, 7, GFP_KERNEL);
520
Matthew Wilcoxb38f6c52019-02-20 11:30:49 -0500521 count = 0;
Matthew Wilcox4a318962018-12-17 14:45:36 -0500522 xa_for_each(xa, index, entry) {
Matthew Wilcox9f14d4f2018-10-01 14:54:59 -0400523 XA_BUG_ON(xa, index != 5 && index != 7);
Matthew Wilcoxb38f6c52019-02-20 11:30:49 -0500524 count++;
Matthew Wilcox9f14d4f2018-10-01 14:54:59 -0400525 }
Matthew Wilcoxb38f6c52019-02-20 11:30:49 -0500526 XA_BUG_ON(xa, count != 2);
527
528 /* If we free a reserved entry, we should be able to allocate it */
529 if (xa->xa_flags & XA_FLAGS_ALLOC) {
530 u32 id;
531
532 XA_BUG_ON(xa, xa_alloc(xa, &id, xa_mk_value(8),
533 XA_LIMIT(5, 10), GFP_KERNEL) != 0);
534 XA_BUG_ON(xa, id != 8);
535
536 xa_release(xa, 6);
537 XA_BUG_ON(xa, xa_alloc(xa, &id, xa_mk_value(6),
538 XA_LIMIT(5, 10), GFP_KERNEL) != 0);
539 XA_BUG_ON(xa, id != 6);
540 }
541
Matthew Wilcox9f14d4f2018-10-01 14:54:59 -0400542 xa_destroy(xa);
543}
544
Matthew Wilcoxb803b422017-11-14 08:30:11 -0500545static noinline void check_xas_erase(struct xarray *xa)
546{
547 XA_STATE(xas, xa, 0);
548 void *entry;
549 unsigned long i, j;
550
551 for (i = 0; i < 200; i++) {
552 for (j = i; j < 2 * i + 17; j++) {
553 xas_set(&xas, j);
554 do {
555 xas_lock(&xas);
Matthew Wilcoxb7677a12018-11-05 13:19:54 -0500556 xas_store(&xas, xa_mk_index(j));
Matthew Wilcoxb803b422017-11-14 08:30:11 -0500557 xas_unlock(&xas);
558 } while (xas_nomem(&xas, GFP_KERNEL));
559 }
560
561 xas_set(&xas, ULONG_MAX);
562 do {
563 xas_lock(&xas);
564 xas_store(&xas, xa_mk_value(0));
565 xas_unlock(&xas);
566 } while (xas_nomem(&xas, GFP_KERNEL));
567
568 xas_lock(&xas);
569 xas_store(&xas, NULL);
570
571 xas_set(&xas, 0);
572 j = i;
573 xas_for_each(&xas, entry, ULONG_MAX) {
Matthew Wilcoxb7677a12018-11-05 13:19:54 -0500574 XA_BUG_ON(xa, entry != xa_mk_index(j));
Matthew Wilcoxb803b422017-11-14 08:30:11 -0500575 xas_store(&xas, NULL);
576 j++;
577 }
578 xas_unlock(&xas);
579 XA_BUG_ON(xa, !xa_empty(xa));
580 }
581}
582
Matthew Wilcox4f06d632018-09-09 01:52:17 -0400583#ifdef CONFIG_XARRAY_MULTI
584static noinline void check_multi_store_1(struct xarray *xa, unsigned long index,
585 unsigned int order)
586{
587 XA_STATE(xas, xa, index);
588 unsigned long min = index & ~((1UL << order) - 1);
589 unsigned long max = min + (1UL << order);
590
Matthew Wilcoxb7677a12018-11-05 13:19:54 -0500591 xa_store_order(xa, index, order, xa_mk_index(index), GFP_KERNEL);
592 XA_BUG_ON(xa, xa_load(xa, min) != xa_mk_index(index));
593 XA_BUG_ON(xa, xa_load(xa, max - 1) != xa_mk_index(index));
Matthew Wilcox4f06d632018-09-09 01:52:17 -0400594 XA_BUG_ON(xa, xa_load(xa, max) != NULL);
595 XA_BUG_ON(xa, xa_load(xa, min - 1) != NULL);
596
Matthew Wilcoxfffc9a22018-11-19 09:36:29 -0500597 xas_lock(&xas);
Matthew Wilcoxb7677a12018-11-05 13:19:54 -0500598 XA_BUG_ON(xa, xas_store(&xas, xa_mk_index(min)) != xa_mk_index(index));
Matthew Wilcoxfffc9a22018-11-19 09:36:29 -0500599 xas_unlock(&xas);
Matthew Wilcoxb7677a12018-11-05 13:19:54 -0500600 XA_BUG_ON(xa, xa_load(xa, min) != xa_mk_index(min));
601 XA_BUG_ON(xa, xa_load(xa, max - 1) != xa_mk_index(min));
Matthew Wilcox4f06d632018-09-09 01:52:17 -0400602 XA_BUG_ON(xa, xa_load(xa, max) != NULL);
603 XA_BUG_ON(xa, xa_load(xa, min - 1) != NULL);
604
605 xa_erase_index(xa, min);
606 XA_BUG_ON(xa, !xa_empty(xa));
607}
608
609static noinline void check_multi_store_2(struct xarray *xa, unsigned long index,
610 unsigned int order)
611{
612 XA_STATE(xas, xa, index);
613 xa_store_order(xa, index, order, xa_mk_value(0), GFP_KERNEL);
614
Matthew Wilcoxfffc9a22018-11-19 09:36:29 -0500615 xas_lock(&xas);
Matthew Wilcox4f06d632018-09-09 01:52:17 -0400616 XA_BUG_ON(xa, xas_store(&xas, xa_mk_value(1)) != xa_mk_value(0));
617 XA_BUG_ON(xa, xas.xa_index != index);
618 XA_BUG_ON(xa, xas_store(&xas, NULL) != xa_mk_value(1));
Matthew Wilcoxfffc9a22018-11-19 09:36:29 -0500619 xas_unlock(&xas);
Matthew Wilcox4f06d632018-09-09 01:52:17 -0400620 XA_BUG_ON(xa, !xa_empty(xa));
621}
Matthew Wilcox4f145cd2018-11-29 16:04:35 -0500622
623static noinline void check_multi_store_3(struct xarray *xa, unsigned long index,
624 unsigned int order)
625{
626 XA_STATE(xas, xa, 0);
627 void *entry;
628 int n = 0;
629
630 xa_store_order(xa, index, order, xa_mk_index(index), GFP_KERNEL);
631
632 xas_lock(&xas);
633 xas_for_each(&xas, entry, ULONG_MAX) {
634 XA_BUG_ON(xa, entry != xa_mk_index(index));
635 n++;
636 }
637 XA_BUG_ON(xa, n != 1);
638 xas_set(&xas, index + 1);
639 xas_for_each(&xas, entry, ULONG_MAX) {
640 XA_BUG_ON(xa, entry != xa_mk_index(index));
641 n++;
642 }
643 XA_BUG_ON(xa, n != 2);
644 xas_unlock(&xas);
645
646 xa_destroy(xa);
647}
Matthew Wilcox4f06d632018-09-09 01:52:17 -0400648#endif
649
Matthew Wilcox58d6ea32017-11-10 15:15:08 -0500650static noinline void check_multi_store(struct xarray *xa)
651{
652#ifdef CONFIG_XARRAY_MULTI
653 unsigned long i, j, k;
654 unsigned int max_order = (sizeof(long) == 4) ? 30 : 60;
655
656 /* Loading from any position returns the same value */
657 xa_store_order(xa, 0, 1, xa_mk_value(0), GFP_KERNEL);
658 XA_BUG_ON(xa, xa_load(xa, 0) != xa_mk_value(0));
659 XA_BUG_ON(xa, xa_load(xa, 1) != xa_mk_value(0));
660 XA_BUG_ON(xa, xa_load(xa, 2) != NULL);
661 rcu_read_lock();
662 XA_BUG_ON(xa, xa_to_node(xa_head(xa))->count != 2);
663 XA_BUG_ON(xa, xa_to_node(xa_head(xa))->nr_values != 2);
664 rcu_read_unlock();
665
666 /* Storing adjacent to the value does not alter the value */
667 xa_store(xa, 3, xa, GFP_KERNEL);
668 XA_BUG_ON(xa, xa_load(xa, 0) != xa_mk_value(0));
669 XA_BUG_ON(xa, xa_load(xa, 1) != xa_mk_value(0));
670 XA_BUG_ON(xa, xa_load(xa, 2) != NULL);
671 rcu_read_lock();
672 XA_BUG_ON(xa, xa_to_node(xa_head(xa))->count != 3);
673 XA_BUG_ON(xa, xa_to_node(xa_head(xa))->nr_values != 2);
674 rcu_read_unlock();
675
676 /* Overwriting multiple indexes works */
677 xa_store_order(xa, 0, 2, xa_mk_value(1), GFP_KERNEL);
678 XA_BUG_ON(xa, xa_load(xa, 0) != xa_mk_value(1));
679 XA_BUG_ON(xa, xa_load(xa, 1) != xa_mk_value(1));
680 XA_BUG_ON(xa, xa_load(xa, 2) != xa_mk_value(1));
681 XA_BUG_ON(xa, xa_load(xa, 3) != xa_mk_value(1));
682 XA_BUG_ON(xa, xa_load(xa, 4) != NULL);
683 rcu_read_lock();
684 XA_BUG_ON(xa, xa_to_node(xa_head(xa))->count != 4);
685 XA_BUG_ON(xa, xa_to_node(xa_head(xa))->nr_values != 4);
686 rcu_read_unlock();
687
688 /* We can erase multiple values with a single store */
Matthew Wilcox5404a7f2018-11-05 09:34:04 -0500689 xa_store_order(xa, 0, BITS_PER_LONG - 1, NULL, GFP_KERNEL);
Matthew Wilcox58d6ea32017-11-10 15:15:08 -0500690 XA_BUG_ON(xa, !xa_empty(xa));
691
692 /* Even when the first slot is empty but the others aren't */
693 xa_store_index(xa, 1, GFP_KERNEL);
694 xa_store_index(xa, 2, GFP_KERNEL);
695 xa_store_order(xa, 0, 2, NULL, GFP_KERNEL);
696 XA_BUG_ON(xa, !xa_empty(xa));
697
698 for (i = 0; i < max_order; i++) {
699 for (j = 0; j < max_order; j++) {
Matthew Wilcoxb7677a12018-11-05 13:19:54 -0500700 xa_store_order(xa, 0, i, xa_mk_index(i), GFP_KERNEL);
701 xa_store_order(xa, 0, j, xa_mk_index(j), GFP_KERNEL);
Matthew Wilcox58d6ea32017-11-10 15:15:08 -0500702
703 for (k = 0; k < max_order; k++) {
704 void *entry = xa_load(xa, (1UL << k) - 1);
705 if ((i < k) && (j < k))
706 XA_BUG_ON(xa, entry != NULL);
707 else
Matthew Wilcoxb7677a12018-11-05 13:19:54 -0500708 XA_BUG_ON(xa, entry != xa_mk_index(j));
Matthew Wilcox58d6ea32017-11-10 15:15:08 -0500709 }
710
711 xa_erase(xa, 0);
712 XA_BUG_ON(xa, !xa_empty(xa));
713 }
714 }
Matthew Wilcox4f06d632018-09-09 01:52:17 -0400715
716 for (i = 0; i < 20; i++) {
717 check_multi_store_1(xa, 200, i);
718 check_multi_store_1(xa, 0, i);
719 check_multi_store_1(xa, (1UL << i) + 1, i);
720 }
721 check_multi_store_2(xa, 4095, 9);
Matthew Wilcox4f145cd2018-11-29 16:04:35 -0500722
723 for (i = 1; i < 20; i++) {
724 check_multi_store_3(xa, 0, i);
725 check_multi_store_3(xa, 1UL << i, i);
726 }
Matthew Wilcox58d6ea32017-11-10 15:15:08 -0500727#endif
728}
729
Luis Chamberlaina60cc282024-01-31 14:51:24 -0800730#ifdef CONFIG_XARRAY_MULTI
731/* mimics page cache __filemap_add_folio() */
732static noinline void check_xa_multi_store_adv_add(struct xarray *xa,
733 unsigned long index,
734 unsigned int order,
735 void *p)
736{
737 XA_STATE(xas, xa, index);
738 unsigned int nrpages = 1UL << order;
739
740 /* users are responsible for index alignemnt to the order when adding */
741 XA_BUG_ON(xa, index & (nrpages - 1));
742
743 xas_set_order(&xas, index, order);
744
745 do {
746 xas_lock_irq(&xas);
747
748 xas_store(&xas, p);
749 XA_BUG_ON(xa, xas_error(&xas));
750 XA_BUG_ON(xa, xa_load(xa, index) != p);
751
752 xas_unlock_irq(&xas);
753 } while (xas_nomem(&xas, GFP_KERNEL));
754
755 XA_BUG_ON(xa, xas_error(&xas));
756}
757
758/* mimics page_cache_delete() */
759static noinline void check_xa_multi_store_adv_del_entry(struct xarray *xa,
760 unsigned long index,
761 unsigned int order)
762{
763 XA_STATE(xas, xa, index);
764
765 xas_set_order(&xas, index, order);
766 xas_store(&xas, NULL);
767 xas_init_marks(&xas);
768}
769
770static noinline void check_xa_multi_store_adv_delete(struct xarray *xa,
771 unsigned long index,
772 unsigned int order)
773{
774 xa_lock_irq(xa);
775 check_xa_multi_store_adv_del_entry(xa, index, order);
776 xa_unlock_irq(xa);
777}
778
779/* mimics page cache filemap_get_entry() */
780static noinline void *test_get_entry(struct xarray *xa, unsigned long index)
781{
782 XA_STATE(xas, xa, index);
783 void *p;
784 static unsigned int loops = 0;
785
786 rcu_read_lock();
787repeat:
788 xas_reset(&xas);
789 p = xas_load(&xas);
790 if (xas_retry(&xas, p))
791 goto repeat;
792 rcu_read_unlock();
793
794 /*
795 * This is not part of the page cache, this selftest is pretty
796 * aggressive and does not want to trust the xarray API but rather
797 * test it, and for order 20 (4 GiB block size) we can loop over
798 * over a million entries which can cause a soft lockup. Page cache
799 * APIs won't be stupid, proper page cache APIs loop over the proper
800 * order so when using a larger order we skip shared entries.
801 */
802 if (++loops % XA_CHECK_SCHED == 0)
803 schedule();
804
805 return p;
806}
807
808static unsigned long some_val = 0xdeadbeef;
809static unsigned long some_val_2 = 0xdeaddead;
810
811/* mimics the page cache usage */
812static noinline void check_xa_multi_store_adv(struct xarray *xa,
813 unsigned long pos,
814 unsigned int order)
815{
816 unsigned int nrpages = 1UL << order;
817 unsigned long index, base, next_index, next_next_index;
818 unsigned int i;
819
820 index = pos >> PAGE_SHIFT;
821 base = round_down(index, nrpages);
822 next_index = round_down(base + nrpages, nrpages);
823 next_next_index = round_down(next_index + nrpages, nrpages);
824
825 check_xa_multi_store_adv_add(xa, base, order, &some_val);
826
827 for (i = 0; i < nrpages; i++)
828 XA_BUG_ON(xa, test_get_entry(xa, base + i) != &some_val);
829
830 XA_BUG_ON(xa, test_get_entry(xa, next_index) != NULL);
831
832 /* Use order 0 for the next item */
833 check_xa_multi_store_adv_add(xa, next_index, 0, &some_val_2);
834 XA_BUG_ON(xa, test_get_entry(xa, next_index) != &some_val_2);
835
836 /* Remove the next item */
837 check_xa_multi_store_adv_delete(xa, next_index, 0);
838
839 /* Now use order for a new pointer */
840 check_xa_multi_store_adv_add(xa, next_index, order, &some_val_2);
841
842 for (i = 0; i < nrpages; i++)
843 XA_BUG_ON(xa, test_get_entry(xa, next_index + i) != &some_val_2);
844
845 check_xa_multi_store_adv_delete(xa, next_index, order);
846 check_xa_multi_store_adv_delete(xa, base, order);
847 XA_BUG_ON(xa, !xa_empty(xa));
848
849 /* starting fresh again */
850
851 /* let's test some holes now */
852
853 /* hole at base and next_next */
854 check_xa_multi_store_adv_add(xa, next_index, order, &some_val_2);
855
856 for (i = 0; i < nrpages; i++)
857 XA_BUG_ON(xa, test_get_entry(xa, base + i) != NULL);
858
859 for (i = 0; i < nrpages; i++)
860 XA_BUG_ON(xa, test_get_entry(xa, next_index + i) != &some_val_2);
861
862 for (i = 0; i < nrpages; i++)
863 XA_BUG_ON(xa, test_get_entry(xa, next_next_index + i) != NULL);
864
865 check_xa_multi_store_adv_delete(xa, next_index, order);
866 XA_BUG_ON(xa, !xa_empty(xa));
867
868 /* hole at base and next */
869
870 check_xa_multi_store_adv_add(xa, next_next_index, order, &some_val_2);
871
872 for (i = 0; i < nrpages; i++)
873 XA_BUG_ON(xa, test_get_entry(xa, base + i) != NULL);
874
875 for (i = 0; i < nrpages; i++)
876 XA_BUG_ON(xa, test_get_entry(xa, next_index + i) != NULL);
877
878 for (i = 0; i < nrpages; i++)
879 XA_BUG_ON(xa, test_get_entry(xa, next_next_index + i) != &some_val_2);
880
881 check_xa_multi_store_adv_delete(xa, next_next_index, order);
882 XA_BUG_ON(xa, !xa_empty(xa));
883}
884#endif
885
886static noinline void check_multi_store_advanced(struct xarray *xa)
887{
888#ifdef CONFIG_XARRAY_MULTI
889 unsigned int max_order = IS_ENABLED(CONFIG_XARRAY_MULTI) ? 20 : 1;
890 unsigned long end = ULONG_MAX/2;
891 unsigned long pos, i;
892
893 /*
894 * About 117 million tests below.
895 */
896 for (pos = 7; pos < end; pos = (pos * pos) + 564) {
897 for (i = 0; i < max_order; i++) {
898 check_xa_multi_store_adv(xa, pos, i);
899 check_xa_multi_store_adv(xa, pos + 157, i);
900 }
901 }
902#endif
903}
904
Matthew Wilcox3ccaf572018-10-26 14:43:22 -0400905static noinline void check_xa_alloc_1(struct xarray *xa, unsigned int base)
Matthew Wilcox371c7522018-07-04 10:50:12 -0400906{
907 int i;
908 u32 id;
909
Matthew Wilcox3ccaf572018-10-26 14:43:22 -0400910 XA_BUG_ON(xa, !xa_empty(xa));
911 /* An empty array should assign %base to the first alloc */
912 xa_alloc_index(xa, base, GFP_KERNEL);
Matthew Wilcox371c7522018-07-04 10:50:12 -0400913
914 /* Erasing it should make the array empty again */
Matthew Wilcox3ccaf572018-10-26 14:43:22 -0400915 xa_erase_index(xa, base);
916 XA_BUG_ON(xa, !xa_empty(xa));
Matthew Wilcox371c7522018-07-04 10:50:12 -0400917
Matthew Wilcox3ccaf572018-10-26 14:43:22 -0400918 /* And it should assign %base again */
919 xa_alloc_index(xa, base, GFP_KERNEL);
Matthew Wilcox371c7522018-07-04 10:50:12 -0400920
Matthew Wilcox3ccaf572018-10-26 14:43:22 -0400921 /* Allocating and then erasing a lot should not lose base */
922 for (i = base + 1; i < 2 * XA_CHUNK_SIZE; i++)
923 xa_alloc_index(xa, i, GFP_KERNEL);
924 for (i = base; i < 2 * XA_CHUNK_SIZE; i++)
925 xa_erase_index(xa, i);
926 xa_alloc_index(xa, base, GFP_KERNEL);
927
928 /* Destroying the array should do the same as erasing */
929 xa_destroy(xa);
930
931 /* And it should assign %base again */
932 xa_alloc_index(xa, base, GFP_KERNEL);
933
934 /* The next assigned ID should be base+1 */
935 xa_alloc_index(xa, base + 1, GFP_KERNEL);
936 xa_erase_index(xa, base + 1);
Matthew Wilcox371c7522018-07-04 10:50:12 -0400937
938 /* Storing a value should mark it used */
Matthew Wilcox3ccaf572018-10-26 14:43:22 -0400939 xa_store_index(xa, base + 1, GFP_KERNEL);
940 xa_alloc_index(xa, base + 2, GFP_KERNEL);
Matthew Wilcox371c7522018-07-04 10:50:12 -0400941
Matthew Wilcox3ccaf572018-10-26 14:43:22 -0400942 /* If we then erase base, it should be free */
943 xa_erase_index(xa, base);
944 xa_alloc_index(xa, base, GFP_KERNEL);
Matthew Wilcox371c7522018-07-04 10:50:12 -0400945
Matthew Wilcox3ccaf572018-10-26 14:43:22 -0400946 xa_erase_index(xa, base + 1);
947 xa_erase_index(xa, base + 2);
Matthew Wilcox371c7522018-07-04 10:50:12 -0400948
949 for (i = 1; i < 5000; i++) {
Matthew Wilcox3ccaf572018-10-26 14:43:22 -0400950 xa_alloc_index(xa, base + i, GFP_KERNEL);
Matthew Wilcox371c7522018-07-04 10:50:12 -0400951 }
952
Matthew Wilcox3ccaf572018-10-26 14:43:22 -0400953 xa_destroy(xa);
Matthew Wilcox371c7522018-07-04 10:50:12 -0400954
Matthew Wilcox3ccaf572018-10-26 14:43:22 -0400955 /* Check that we fail properly at the limit of allocation */
Matthew Wilcoxa3e4d3f2018-12-31 10:41:01 -0500956 XA_BUG_ON(xa, xa_alloc(xa, &id, xa_mk_index(UINT_MAX - 1),
957 XA_LIMIT(UINT_MAX - 1, UINT_MAX),
Matthew Wilcox371c7522018-07-04 10:50:12 -0400958 GFP_KERNEL) != 0);
Matthew Wilcox3ccaf572018-10-26 14:43:22 -0400959 XA_BUG_ON(xa, id != 0xfffffffeU);
Matthew Wilcoxa3e4d3f2018-12-31 10:41:01 -0500960 XA_BUG_ON(xa, xa_alloc(xa, &id, xa_mk_index(UINT_MAX),
961 XA_LIMIT(UINT_MAX - 1, UINT_MAX),
Matthew Wilcox371c7522018-07-04 10:50:12 -0400962 GFP_KERNEL) != 0);
Matthew Wilcox3ccaf572018-10-26 14:43:22 -0400963 XA_BUG_ON(xa, id != 0xffffffffU);
Matthew Wilcoxa3e4d3f2018-12-31 10:41:01 -0500964 id = 3;
965 XA_BUG_ON(xa, xa_alloc(xa, &id, xa_mk_index(0),
966 XA_LIMIT(UINT_MAX - 1, UINT_MAX),
967 GFP_KERNEL) != -EBUSY);
968 XA_BUG_ON(xa, id != 3);
Matthew Wilcox3ccaf572018-10-26 14:43:22 -0400969 xa_destroy(xa);
Matthew Wilcox48483612018-12-13 13:57:42 -0500970
Matthew Wilcoxa3e4d3f2018-12-31 10:41:01 -0500971 XA_BUG_ON(xa, xa_alloc(xa, &id, xa_mk_index(10), XA_LIMIT(10, 5),
972 GFP_KERNEL) != -EBUSY);
Matthew Wilcox3ccaf572018-10-26 14:43:22 -0400973 XA_BUG_ON(xa, xa_store_index(xa, 3, GFP_KERNEL) != 0);
Matthew Wilcoxa3e4d3f2018-12-31 10:41:01 -0500974 XA_BUG_ON(xa, xa_alloc(xa, &id, xa_mk_index(10), XA_LIMIT(10, 5),
975 GFP_KERNEL) != -EBUSY);
Matthew Wilcox3ccaf572018-10-26 14:43:22 -0400976 xa_erase_index(xa, 3);
977 XA_BUG_ON(xa, !xa_empty(xa));
978}
979
Matthew Wilcoxa3e4d3f2018-12-31 10:41:01 -0500980static noinline void check_xa_alloc_2(struct xarray *xa, unsigned int base)
981{
982 unsigned int i, id;
983 unsigned long index;
984 void *entry;
985
986 /* Allocate and free a NULL and check xa_empty() behaves */
987 XA_BUG_ON(xa, !xa_empty(xa));
988 XA_BUG_ON(xa, xa_alloc(xa, &id, NULL, xa_limit_32b, GFP_KERNEL) != 0);
989 XA_BUG_ON(xa, id != base);
990 XA_BUG_ON(xa, xa_empty(xa));
991 XA_BUG_ON(xa, xa_erase(xa, id) != NULL);
992 XA_BUG_ON(xa, !xa_empty(xa));
993
994 /* Ditto, but check destroy instead of erase */
995 XA_BUG_ON(xa, !xa_empty(xa));
996 XA_BUG_ON(xa, xa_alloc(xa, &id, NULL, xa_limit_32b, GFP_KERNEL) != 0);
997 XA_BUG_ON(xa, id != base);
998 XA_BUG_ON(xa, xa_empty(xa));
999 xa_destroy(xa);
1000 XA_BUG_ON(xa, !xa_empty(xa));
1001
1002 for (i = base; i < base + 10; i++) {
1003 XA_BUG_ON(xa, xa_alloc(xa, &id, NULL, xa_limit_32b,
1004 GFP_KERNEL) != 0);
1005 XA_BUG_ON(xa, id != i);
1006 }
1007
1008 XA_BUG_ON(xa, xa_store(xa, 3, xa_mk_index(3), GFP_KERNEL) != NULL);
1009 XA_BUG_ON(xa, xa_store(xa, 4, xa_mk_index(4), GFP_KERNEL) != NULL);
1010 XA_BUG_ON(xa, xa_store(xa, 4, NULL, GFP_KERNEL) != xa_mk_index(4));
1011 XA_BUG_ON(xa, xa_erase(xa, 5) != NULL);
1012 XA_BUG_ON(xa, xa_alloc(xa, &id, NULL, xa_limit_32b, GFP_KERNEL) != 0);
1013 XA_BUG_ON(xa, id != 5);
1014
1015 xa_for_each(xa, index, entry) {
1016 xa_erase_index(xa, index);
1017 }
1018
1019 for (i = base; i < base + 9; i++) {
1020 XA_BUG_ON(xa, xa_erase(xa, i) != NULL);
1021 XA_BUG_ON(xa, xa_empty(xa));
1022 }
1023 XA_BUG_ON(xa, xa_erase(xa, 8) != NULL);
1024 XA_BUG_ON(xa, xa_empty(xa));
1025 XA_BUG_ON(xa, xa_erase(xa, base + 9) != NULL);
1026 XA_BUG_ON(xa, !xa_empty(xa));
1027
1028 xa_destroy(xa);
1029}
1030
Matthew Wilcox2fa044e2018-11-06 14:13:35 -05001031static noinline void check_xa_alloc_3(struct xarray *xa, unsigned int base)
1032{
1033 struct xa_limit limit = XA_LIMIT(1, 0x3fff);
1034 u32 next = 0;
1035 unsigned int i, id;
1036 unsigned long index;
1037 void *entry;
1038
1039 XA_BUG_ON(xa, xa_alloc_cyclic(xa, &id, xa_mk_index(1), limit,
1040 &next, GFP_KERNEL) != 0);
1041 XA_BUG_ON(xa, id != 1);
1042
1043 next = 0x3ffd;
1044 XA_BUG_ON(xa, xa_alloc_cyclic(xa, &id, xa_mk_index(0x3ffd), limit,
1045 &next, GFP_KERNEL) != 0);
1046 XA_BUG_ON(xa, id != 0x3ffd);
1047 xa_erase_index(xa, 0x3ffd);
1048 xa_erase_index(xa, 1);
1049 XA_BUG_ON(xa, !xa_empty(xa));
1050
1051 for (i = 0x3ffe; i < 0x4003; i++) {
1052 if (i < 0x4000)
1053 entry = xa_mk_index(i);
1054 else
1055 entry = xa_mk_index(i - 0x3fff);
1056 XA_BUG_ON(xa, xa_alloc_cyclic(xa, &id, entry, limit,
1057 &next, GFP_KERNEL) != (id == 1));
1058 XA_BUG_ON(xa, xa_mk_index(id) != entry);
1059 }
1060
1061 /* Check wrap-around is handled correctly */
1062 if (base != 0)
1063 xa_erase_index(xa, base);
1064 xa_erase_index(xa, base + 1);
1065 next = UINT_MAX;
1066 XA_BUG_ON(xa, xa_alloc_cyclic(xa, &id, xa_mk_index(UINT_MAX),
1067 xa_limit_32b, &next, GFP_KERNEL) != 0);
1068 XA_BUG_ON(xa, id != UINT_MAX);
1069 XA_BUG_ON(xa, xa_alloc_cyclic(xa, &id, xa_mk_index(base),
1070 xa_limit_32b, &next, GFP_KERNEL) != 1);
1071 XA_BUG_ON(xa, id != base);
1072 XA_BUG_ON(xa, xa_alloc_cyclic(xa, &id, xa_mk_index(base + 1),
1073 xa_limit_32b, &next, GFP_KERNEL) != 0);
1074 XA_BUG_ON(xa, id != base + 1);
1075
1076 xa_for_each(xa, index, entry)
1077 xa_erase_index(xa, index);
1078
1079 XA_BUG_ON(xa, !xa_empty(xa));
1080}
1081
Matthew Wilcox3ccaf572018-10-26 14:43:22 -04001082static DEFINE_XARRAY_ALLOC(xa0);
1083static DEFINE_XARRAY_ALLOC1(xa1);
1084
1085static noinline void check_xa_alloc(void)
1086{
1087 check_xa_alloc_1(&xa0, 0);
1088 check_xa_alloc_1(&xa1, 1);
Matthew Wilcoxa3e4d3f2018-12-31 10:41:01 -05001089 check_xa_alloc_2(&xa0, 0);
1090 check_xa_alloc_2(&xa1, 1);
Matthew Wilcox2fa044e2018-11-06 14:13:35 -05001091 check_xa_alloc_3(&xa0, 0);
1092 check_xa_alloc_3(&xa1, 1);
Matthew Wilcox371c7522018-07-04 10:50:12 -04001093}
1094
Matthew Wilcox4e99d4e2018-06-01 22:46:02 -04001095static noinline void __check_store_iter(struct xarray *xa, unsigned long start,
1096 unsigned int order, unsigned int present)
1097{
1098 XA_STATE_ORDER(xas, xa, start, order);
1099 void *entry;
1100 unsigned int count = 0;
1101
1102retry:
1103 xas_lock(&xas);
1104 xas_for_each_conflict(&xas, entry) {
1105 XA_BUG_ON(xa, !xa_is_value(entry));
Matthew Wilcoxb7677a12018-11-05 13:19:54 -05001106 XA_BUG_ON(xa, entry < xa_mk_index(start));
1107 XA_BUG_ON(xa, entry > xa_mk_index(start + (1UL << order) - 1));
Matthew Wilcox4e99d4e2018-06-01 22:46:02 -04001108 count++;
1109 }
Matthew Wilcoxb7677a12018-11-05 13:19:54 -05001110 xas_store(&xas, xa_mk_index(start));
Matthew Wilcox4e99d4e2018-06-01 22:46:02 -04001111 xas_unlock(&xas);
1112 if (xas_nomem(&xas, GFP_KERNEL)) {
1113 count = 0;
1114 goto retry;
1115 }
1116 XA_BUG_ON(xa, xas_error(&xas));
1117 XA_BUG_ON(xa, count != present);
Matthew Wilcoxb7677a12018-11-05 13:19:54 -05001118 XA_BUG_ON(xa, xa_load(xa, start) != xa_mk_index(start));
Matthew Wilcox4e99d4e2018-06-01 22:46:02 -04001119 XA_BUG_ON(xa, xa_load(xa, start + (1UL << order) - 1) !=
Matthew Wilcoxb7677a12018-11-05 13:19:54 -05001120 xa_mk_index(start));
Matthew Wilcox4e99d4e2018-06-01 22:46:02 -04001121 xa_erase_index(xa, start);
1122}
1123
1124static noinline void check_store_iter(struct xarray *xa)
1125{
1126 unsigned int i, j;
1127 unsigned int max_order = IS_ENABLED(CONFIG_XARRAY_MULTI) ? 20 : 1;
1128
1129 for (i = 0; i < max_order; i++) {
1130 unsigned int min = 1 << i;
1131 unsigned int max = (2 << i) - 1;
1132 __check_store_iter(xa, 0, i, 0);
1133 XA_BUG_ON(xa, !xa_empty(xa));
1134 __check_store_iter(xa, min, i, 0);
1135 XA_BUG_ON(xa, !xa_empty(xa));
1136
1137 xa_store_index(xa, min, GFP_KERNEL);
1138 __check_store_iter(xa, min, i, 1);
1139 XA_BUG_ON(xa, !xa_empty(xa));
1140 xa_store_index(xa, max, GFP_KERNEL);
1141 __check_store_iter(xa, min, i, 1);
1142 XA_BUG_ON(xa, !xa_empty(xa));
1143
1144 for (j = 0; j < min; j++)
1145 xa_store_index(xa, j, GFP_KERNEL);
1146 __check_store_iter(xa, 0, i, min);
1147 XA_BUG_ON(xa, !xa_empty(xa));
1148 for (j = 0; j < min; j++)
1149 xa_store_index(xa, min + j, GFP_KERNEL);
1150 __check_store_iter(xa, min, i, min);
1151 XA_BUG_ON(xa, !xa_empty(xa));
1152 }
1153#ifdef CONFIG_XARRAY_MULTI
1154 xa_store_index(xa, 63, GFP_KERNEL);
1155 xa_store_index(xa, 65, GFP_KERNEL);
1156 __check_store_iter(xa, 64, 2, 1);
1157 xa_erase_index(xa, 63);
1158#endif
1159 XA_BUG_ON(xa, !xa_empty(xa));
1160}
1161
Matthew Wilcox (Oracle)19c30f42020-01-17 22:00:41 -05001162static noinline void check_multi_find_1(struct xarray *xa, unsigned order)
Matthew Wilcoxb803b422017-11-14 08:30:11 -05001163{
1164#ifdef CONFIG_XARRAY_MULTI
Matthew Wilcox (Oracle)19c30f42020-01-17 22:00:41 -05001165 unsigned long multi = 3 << order;
1166 unsigned long next = 4 << order;
Matthew Wilcoxb803b422017-11-14 08:30:11 -05001167 unsigned long index;
1168
Matthew Wilcox (Oracle)19c30f42020-01-17 22:00:41 -05001169 xa_store_order(xa, multi, order, xa_mk_value(multi), GFP_KERNEL);
1170 XA_BUG_ON(xa, xa_store_index(xa, next, GFP_KERNEL) != NULL);
Matthew Wilcox (Oracle)c44aa5e2020-01-17 22:13:21 -05001171 XA_BUG_ON(xa, xa_store_index(xa, next + 1, GFP_KERNEL) != NULL);
Matthew Wilcoxb803b422017-11-14 08:30:11 -05001172
1173 index = 0;
1174 XA_BUG_ON(xa, xa_find(xa, &index, ULONG_MAX, XA_PRESENT) !=
Matthew Wilcox (Oracle)19c30f42020-01-17 22:00:41 -05001175 xa_mk_value(multi));
1176 XA_BUG_ON(xa, index != multi);
1177 index = multi + 1;
Matthew Wilcoxb803b422017-11-14 08:30:11 -05001178 XA_BUG_ON(xa, xa_find(xa, &index, ULONG_MAX, XA_PRESENT) !=
Matthew Wilcox (Oracle)19c30f42020-01-17 22:00:41 -05001179 xa_mk_value(multi));
1180 XA_BUG_ON(xa, (index < multi) || (index >= next));
Matthew Wilcoxb803b422017-11-14 08:30:11 -05001181 XA_BUG_ON(xa, xa_find_after(xa, &index, ULONG_MAX, XA_PRESENT) !=
Matthew Wilcox (Oracle)19c30f42020-01-17 22:00:41 -05001182 xa_mk_value(next));
1183 XA_BUG_ON(xa, index != next);
Matthew Wilcox (Oracle)c44aa5e2020-01-17 22:13:21 -05001184 XA_BUG_ON(xa, xa_find_after(xa, &index, next, XA_PRESENT) != NULL);
1185 XA_BUG_ON(xa, index != next);
Matthew Wilcoxb803b422017-11-14 08:30:11 -05001186
Matthew Wilcox (Oracle)19c30f42020-01-17 22:00:41 -05001187 xa_erase_index(xa, multi);
1188 xa_erase_index(xa, next);
Matthew Wilcox (Oracle)c44aa5e2020-01-17 22:13:21 -05001189 xa_erase_index(xa, next + 1);
Matthew Wilcoxb803b422017-11-14 08:30:11 -05001190 XA_BUG_ON(xa, !xa_empty(xa));
1191#endif
1192}
1193
1194static noinline void check_multi_find_2(struct xarray *xa)
1195{
1196 unsigned int max_order = IS_ENABLED(CONFIG_XARRAY_MULTI) ? 10 : 1;
1197 unsigned int i, j;
1198 void *entry;
1199
1200 for (i = 0; i < max_order; i++) {
1201 unsigned long index = 1UL << i;
1202 for (j = 0; j < index; j++) {
1203 XA_STATE(xas, xa, j + index);
1204 xa_store_index(xa, index - 1, GFP_KERNEL);
Matthew Wilcoxb7677a12018-11-05 13:19:54 -05001205 xa_store_order(xa, index, i, xa_mk_index(index),
Matthew Wilcoxb803b422017-11-14 08:30:11 -05001206 GFP_KERNEL);
1207 rcu_read_lock();
1208 xas_for_each(&xas, entry, ULONG_MAX) {
1209 xa_erase_index(xa, index);
1210 }
1211 rcu_read_unlock();
1212 xa_erase_index(xa, index - 1);
1213 XA_BUG_ON(xa, !xa_empty(xa));
1214 }
1215 }
1216}
1217
Matthew Wilcox (Oracle)bd40b172020-01-31 05:07:55 -05001218static noinline void check_multi_find_3(struct xarray *xa)
1219{
1220 unsigned int order;
1221
1222 for (order = 5; order < order_limit; order++) {
1223 unsigned long index = 1UL << (order - 5);
1224
1225 XA_BUG_ON(xa, !xa_empty(xa));
1226 xa_store_order(xa, 0, order - 4, xa_mk_index(0), GFP_KERNEL);
1227 XA_BUG_ON(xa, xa_find_after(xa, &index, ULONG_MAX, XA_PRESENT));
1228 xa_erase_index(xa, 0);
1229 }
1230}
1231
Matthew Wilcox8229706e2018-11-01 16:55:19 -04001232static noinline void check_find_1(struct xarray *xa)
Matthew Wilcoxb803b422017-11-14 08:30:11 -05001233{
1234 unsigned long i, j, k;
1235
1236 XA_BUG_ON(xa, !xa_empty(xa));
1237
1238 /*
1239 * Check xa_find with all pairs between 0 and 99 inclusive,
1240 * starting at every index between 0 and 99
1241 */
1242 for (i = 0; i < 100; i++) {
1243 XA_BUG_ON(xa, xa_store_index(xa, i, GFP_KERNEL) != NULL);
1244 xa_set_mark(xa, i, XA_MARK_0);
1245 for (j = 0; j < i; j++) {
1246 XA_BUG_ON(xa, xa_store_index(xa, j, GFP_KERNEL) !=
1247 NULL);
1248 xa_set_mark(xa, j, XA_MARK_0);
1249 for (k = 0; k < 100; k++) {
1250 unsigned long index = k;
1251 void *entry = xa_find(xa, &index, ULONG_MAX,
1252 XA_PRESENT);
1253 if (k <= j)
1254 XA_BUG_ON(xa, index != j);
1255 else if (k <= i)
1256 XA_BUG_ON(xa, index != i);
1257 else
1258 XA_BUG_ON(xa, entry != NULL);
1259
1260 index = k;
1261 entry = xa_find(xa, &index, ULONG_MAX,
1262 XA_MARK_0);
1263 if (k <= j)
1264 XA_BUG_ON(xa, index != j);
1265 else if (k <= i)
1266 XA_BUG_ON(xa, index != i);
1267 else
1268 XA_BUG_ON(xa, entry != NULL);
1269 }
1270 xa_erase_index(xa, j);
1271 XA_BUG_ON(xa, xa_get_mark(xa, j, XA_MARK_0));
1272 XA_BUG_ON(xa, !xa_get_mark(xa, i, XA_MARK_0));
1273 }
1274 xa_erase_index(xa, i);
1275 XA_BUG_ON(xa, xa_get_mark(xa, i, XA_MARK_0));
1276 }
1277 XA_BUG_ON(xa, !xa_empty(xa));
Matthew Wilcox8229706e2018-11-01 16:55:19 -04001278}
1279
1280static noinline void check_find_2(struct xarray *xa)
1281{
1282 void *entry;
Matthew Wilcox4a318962018-12-17 14:45:36 -05001283 unsigned long i, j, index;
Matthew Wilcox8229706e2018-11-01 16:55:19 -04001284
Matthew Wilcox4a318962018-12-17 14:45:36 -05001285 xa_for_each(xa, index, entry) {
Matthew Wilcox8229706e2018-11-01 16:55:19 -04001286 XA_BUG_ON(xa, true);
1287 }
1288
1289 for (i = 0; i < 1024; i++) {
1290 xa_store_index(xa, index, GFP_KERNEL);
1291 j = 0;
Matthew Wilcox4a318962018-12-17 14:45:36 -05001292 xa_for_each(xa, index, entry) {
Matthew Wilcoxb7677a12018-11-05 13:19:54 -05001293 XA_BUG_ON(xa, xa_mk_index(index) != entry);
Matthew Wilcox8229706e2018-11-01 16:55:19 -04001294 XA_BUG_ON(xa, index != j++);
1295 }
1296 }
1297
1298 xa_destroy(xa);
1299}
1300
Matthew Wilcox48483612018-12-13 13:57:42 -05001301static noinline void check_find_3(struct xarray *xa)
1302{
1303 XA_STATE(xas, xa, 0);
1304 unsigned long i, j, k;
1305 void *entry;
1306
1307 for (i = 0; i < 100; i++) {
1308 for (j = 0; j < 100; j++) {
Matthew Wilcox490fd30f2018-12-17 17:37:25 -05001309 rcu_read_lock();
Matthew Wilcox48483612018-12-13 13:57:42 -05001310 for (k = 0; k < 100; k++) {
1311 xas_set(&xas, j);
1312 xas_for_each_marked(&xas, entry, k, XA_MARK_0)
1313 ;
1314 if (j > k)
1315 XA_BUG_ON(xa,
1316 xas.xa_node != XAS_RESTART);
1317 }
Matthew Wilcox490fd30f2018-12-17 17:37:25 -05001318 rcu_read_unlock();
Matthew Wilcox48483612018-12-13 13:57:42 -05001319 }
1320 xa_store_index(xa, i, GFP_KERNEL);
1321 xa_set_mark(xa, i, XA_MARK_0);
1322 }
1323 xa_destroy(xa);
1324}
1325
Matthew Wilcox (Oracle)430f24f2020-01-17 17:45:12 -05001326static noinline void check_find_4(struct xarray *xa)
1327{
1328 unsigned long index = 0;
1329 void *entry;
1330
1331 xa_store_index(xa, ULONG_MAX, GFP_KERNEL);
1332
1333 entry = xa_find_after(xa, &index, ULONG_MAX, XA_PRESENT);
1334 XA_BUG_ON(xa, entry != xa_mk_index(ULONG_MAX));
1335
1336 entry = xa_find_after(xa, &index, ULONG_MAX, XA_PRESENT);
1337 XA_BUG_ON(xa, entry);
1338
1339 xa_erase_index(xa, ULONG_MAX);
1340}
1341
Matthew Wilcox8229706e2018-11-01 16:55:19 -04001342static noinline void check_find(struct xarray *xa)
1343{
Matthew Wilcox (Oracle)19c30f42020-01-17 22:00:41 -05001344 unsigned i;
1345
Matthew Wilcox8229706e2018-11-01 16:55:19 -04001346 check_find_1(xa);
1347 check_find_2(xa);
Matthew Wilcox48483612018-12-13 13:57:42 -05001348 check_find_3(xa);
Matthew Wilcox (Oracle)430f24f2020-01-17 17:45:12 -05001349 check_find_4(xa);
Matthew Wilcox (Oracle)19c30f42020-01-17 22:00:41 -05001350
1351 for (i = 2; i < 10; i++)
1352 check_multi_find_1(xa, i);
Matthew Wilcoxb803b422017-11-14 08:30:11 -05001353 check_multi_find_2(xa);
Matthew Wilcox (Oracle)bd40b172020-01-31 05:07:55 -05001354 check_multi_find_3(xa);
Matthew Wilcoxb803b422017-11-14 08:30:11 -05001355}
1356
Matthew Wilcoxe21a2952017-11-22 08:36:00 -05001357/* See find_swap_entry() in mm/shmem.c */
1358static noinline unsigned long xa_find_entry(struct xarray *xa, void *item)
1359{
1360 XA_STATE(xas, xa, 0);
1361 unsigned int checked = 0;
1362 void *entry;
1363
1364 rcu_read_lock();
1365 xas_for_each(&xas, entry, ULONG_MAX) {
1366 if (xas_retry(&xas, entry))
1367 continue;
1368 if (entry == item)
1369 break;
1370 checked++;
1371 if ((checked % 4) != 0)
1372 continue;
1373 xas_pause(&xas);
1374 }
1375 rcu_read_unlock();
1376
1377 return entry ? xas.xa_index : -1;
1378}
1379
1380static noinline void check_find_entry(struct xarray *xa)
1381{
1382#ifdef CONFIG_XARRAY_MULTI
1383 unsigned int order;
1384 unsigned long offset, index;
1385
1386 for (order = 0; order < 20; order++) {
1387 for (offset = 0; offset < (1UL << (order + 3));
1388 offset += (1UL << order)) {
1389 for (index = 0; index < (1UL << (order + 5));
1390 index += (1UL << order)) {
1391 xa_store_order(xa, index, order,
Matthew Wilcoxb7677a12018-11-05 13:19:54 -05001392 xa_mk_index(index), GFP_KERNEL);
Matthew Wilcoxe21a2952017-11-22 08:36:00 -05001393 XA_BUG_ON(xa, xa_load(xa, index) !=
Matthew Wilcoxb7677a12018-11-05 13:19:54 -05001394 xa_mk_index(index));
Matthew Wilcoxe21a2952017-11-22 08:36:00 -05001395 XA_BUG_ON(xa, xa_find_entry(xa,
Matthew Wilcoxb7677a12018-11-05 13:19:54 -05001396 xa_mk_index(index)) != index);
Matthew Wilcoxe21a2952017-11-22 08:36:00 -05001397 }
1398 XA_BUG_ON(xa, xa_find_entry(xa, xa) != -1);
1399 xa_destroy(xa);
1400 }
1401 }
1402#endif
1403
1404 XA_BUG_ON(xa, xa_find_entry(xa, xa) != -1);
1405 xa_store_index(xa, ULONG_MAX, GFP_KERNEL);
1406 XA_BUG_ON(xa, xa_find_entry(xa, xa) != -1);
Matthew Wilcoxb7677a12018-11-05 13:19:54 -05001407 XA_BUG_ON(xa, xa_find_entry(xa, xa_mk_index(ULONG_MAX)) != -1);
Matthew Wilcoxe21a2952017-11-22 08:36:00 -05001408 xa_erase_index(xa, ULONG_MAX);
1409 XA_BUG_ON(xa, !xa_empty(xa));
1410}
1411
Matthew Wilcox (Oracle)c36d4512020-01-31 06:17:09 -05001412static noinline void check_pause(struct xarray *xa)
1413{
1414 XA_STATE(xas, xa, 0);
1415 void *entry;
1416 unsigned int order;
1417 unsigned long index = 1;
1418 unsigned int count = 0;
1419
1420 for (order = 0; order < order_limit; order++) {
1421 XA_BUG_ON(xa, xa_store_order(xa, index, order,
1422 xa_mk_index(index), GFP_KERNEL));
1423 index += 1UL << order;
1424 }
1425
1426 rcu_read_lock();
1427 xas_for_each(&xas, entry, ULONG_MAX) {
1428 XA_BUG_ON(xa, entry != xa_mk_index(1UL << count));
1429 count++;
1430 }
1431 rcu_read_unlock();
1432 XA_BUG_ON(xa, count != order_limit);
1433
1434 count = 0;
1435 xas_set(&xas, 0);
1436 rcu_read_lock();
1437 xas_for_each(&xas, entry, ULONG_MAX) {
1438 XA_BUG_ON(xa, entry != xa_mk_index(1UL << count));
1439 count++;
1440 xas_pause(&xas);
1441 }
1442 rcu_read_unlock();
1443 XA_BUG_ON(xa, count != order_limit);
1444
1445 xa_destroy(xa);
1446}
1447
Matthew Wilcox (Oracle)91abab82019-07-01 17:03:29 -04001448static noinline void check_move_tiny(struct xarray *xa)
1449{
1450 XA_STATE(xas, xa, 0);
1451
1452 XA_BUG_ON(xa, !xa_empty(xa));
1453 rcu_read_lock();
1454 XA_BUG_ON(xa, xas_next(&xas) != NULL);
1455 XA_BUG_ON(xa, xas_next(&xas) != NULL);
1456 rcu_read_unlock();
1457 xa_store_index(xa, 0, GFP_KERNEL);
1458 rcu_read_lock();
1459 xas_set(&xas, 0);
1460 XA_BUG_ON(xa, xas_next(&xas) != xa_mk_index(0));
1461 XA_BUG_ON(xa, xas_next(&xas) != NULL);
1462 xas_set(&xas, 0);
1463 XA_BUG_ON(xa, xas_prev(&xas) != xa_mk_index(0));
1464 XA_BUG_ON(xa, xas_prev(&xas) != NULL);
1465 rcu_read_unlock();
1466 xa_erase_index(xa, 0);
1467 XA_BUG_ON(xa, !xa_empty(xa));
1468}
1469
Matthew Wilcox (Oracle)82a22312019-11-07 22:49:11 -05001470static noinline void check_move_max(struct xarray *xa)
1471{
1472 XA_STATE(xas, xa, 0);
1473
1474 xa_store_index(xa, ULONG_MAX, GFP_KERNEL);
1475 rcu_read_lock();
1476 XA_BUG_ON(xa, xas_find(&xas, ULONG_MAX) != xa_mk_index(ULONG_MAX));
1477 XA_BUG_ON(xa, xas_find(&xas, ULONG_MAX) != NULL);
1478 rcu_read_unlock();
1479
1480 xas_set(&xas, 0);
1481 rcu_read_lock();
1482 XA_BUG_ON(xa, xas_find(&xas, ULONG_MAX) != xa_mk_index(ULONG_MAX));
1483 xas_pause(&xas);
1484 XA_BUG_ON(xa, xas_find(&xas, ULONG_MAX) != NULL);
1485 rcu_read_unlock();
1486
1487 xa_erase_index(xa, ULONG_MAX);
1488 XA_BUG_ON(xa, !xa_empty(xa));
1489}
1490
Matthew Wilcox64d3e9a2017-12-01 00:06:52 -05001491static noinline void check_move_small(struct xarray *xa, unsigned long idx)
1492{
1493 XA_STATE(xas, xa, 0);
1494 unsigned long i;
1495
1496 xa_store_index(xa, 0, GFP_KERNEL);
1497 xa_store_index(xa, idx, GFP_KERNEL);
1498
1499 rcu_read_lock();
1500 for (i = 0; i < idx * 4; i++) {
1501 void *entry = xas_next(&xas);
1502 if (i <= idx)
1503 XA_BUG_ON(xa, xas.xa_node == XAS_RESTART);
1504 XA_BUG_ON(xa, xas.xa_index != i);
1505 if (i == 0 || i == idx)
Matthew Wilcoxb7677a12018-11-05 13:19:54 -05001506 XA_BUG_ON(xa, entry != xa_mk_index(i));
Matthew Wilcox64d3e9a2017-12-01 00:06:52 -05001507 else
1508 XA_BUG_ON(xa, entry != NULL);
1509 }
1510 xas_next(&xas);
1511 XA_BUG_ON(xa, xas.xa_index != i);
1512
1513 do {
1514 void *entry = xas_prev(&xas);
1515 i--;
1516 if (i <= idx)
1517 XA_BUG_ON(xa, xas.xa_node == XAS_RESTART);
1518 XA_BUG_ON(xa, xas.xa_index != i);
1519 if (i == 0 || i == idx)
Matthew Wilcoxb7677a12018-11-05 13:19:54 -05001520 XA_BUG_ON(xa, entry != xa_mk_index(i));
Matthew Wilcox64d3e9a2017-12-01 00:06:52 -05001521 else
1522 XA_BUG_ON(xa, entry != NULL);
1523 } while (i > 0);
1524
1525 xas_set(&xas, ULONG_MAX);
1526 XA_BUG_ON(xa, xas_next(&xas) != NULL);
1527 XA_BUG_ON(xa, xas.xa_index != ULONG_MAX);
1528 XA_BUG_ON(xa, xas_next(&xas) != xa_mk_value(0));
1529 XA_BUG_ON(xa, xas.xa_index != 0);
1530 XA_BUG_ON(xa, xas_prev(&xas) != NULL);
1531 XA_BUG_ON(xa, xas.xa_index != ULONG_MAX);
1532 rcu_read_unlock();
1533
1534 xa_erase_index(xa, 0);
1535 xa_erase_index(xa, idx);
1536 XA_BUG_ON(xa, !xa_empty(xa));
1537}
1538
1539static noinline void check_move(struct xarray *xa)
1540{
1541 XA_STATE(xas, xa, (1 << 16) - 1);
1542 unsigned long i;
1543
1544 for (i = 0; i < (1 << 16); i++)
1545 XA_BUG_ON(xa, xa_store_index(xa, i, GFP_KERNEL) != NULL);
1546
1547 rcu_read_lock();
1548 do {
1549 void *entry = xas_prev(&xas);
1550 i--;
Matthew Wilcoxb7677a12018-11-05 13:19:54 -05001551 XA_BUG_ON(xa, entry != xa_mk_index(i));
Matthew Wilcox64d3e9a2017-12-01 00:06:52 -05001552 XA_BUG_ON(xa, i != xas.xa_index);
1553 } while (i != 0);
1554
1555 XA_BUG_ON(xa, xas_prev(&xas) != NULL);
1556 XA_BUG_ON(xa, xas.xa_index != ULONG_MAX);
1557
1558 do {
1559 void *entry = xas_next(&xas);
Matthew Wilcoxb7677a12018-11-05 13:19:54 -05001560 XA_BUG_ON(xa, entry != xa_mk_index(i));
Matthew Wilcox64d3e9a2017-12-01 00:06:52 -05001561 XA_BUG_ON(xa, i != xas.xa_index);
1562 i++;
1563 } while (i < (1 << 16));
1564 rcu_read_unlock();
1565
1566 for (i = (1 << 8); i < (1 << 15); i++)
1567 xa_erase_index(xa, i);
1568
1569 i = xas.xa_index;
1570
1571 rcu_read_lock();
1572 do {
1573 void *entry = xas_prev(&xas);
1574 i--;
1575 if ((i < (1 << 8)) || (i >= (1 << 15)))
Matthew Wilcoxb7677a12018-11-05 13:19:54 -05001576 XA_BUG_ON(xa, entry != xa_mk_index(i));
Matthew Wilcox64d3e9a2017-12-01 00:06:52 -05001577 else
1578 XA_BUG_ON(xa, entry != NULL);
1579 XA_BUG_ON(xa, i != xas.xa_index);
1580 } while (i != 0);
1581
1582 XA_BUG_ON(xa, xas_prev(&xas) != NULL);
1583 XA_BUG_ON(xa, xas.xa_index != ULONG_MAX);
1584
1585 do {
1586 void *entry = xas_next(&xas);
1587 if ((i < (1 << 8)) || (i >= (1 << 15)))
Matthew Wilcoxb7677a12018-11-05 13:19:54 -05001588 XA_BUG_ON(xa, entry != xa_mk_index(i));
Matthew Wilcox64d3e9a2017-12-01 00:06:52 -05001589 else
1590 XA_BUG_ON(xa, entry != NULL);
1591 XA_BUG_ON(xa, i != xas.xa_index);
1592 i++;
1593 } while (i < (1 << 16));
1594 rcu_read_unlock();
1595
1596 xa_destroy(xa);
1597
Matthew Wilcox (Oracle)91abab82019-07-01 17:03:29 -04001598 check_move_tiny(xa);
Matthew Wilcox (Oracle)82a22312019-11-07 22:49:11 -05001599 check_move_max(xa);
Matthew Wilcox (Oracle)91abab82019-07-01 17:03:29 -04001600
Matthew Wilcox64d3e9a2017-12-01 00:06:52 -05001601 for (i = 0; i < 16; i++)
1602 check_move_small(xa, 1UL << i);
1603
1604 for (i = 2; i < 16; i++)
1605 check_move_small(xa, (1UL << i) - 1);
1606}
1607
Matthew Wilcox2264f512017-12-04 00:11:48 -05001608static noinline void xa_store_many_order(struct xarray *xa,
1609 unsigned long index, unsigned order)
1610{
1611 XA_STATE_ORDER(xas, xa, index, order);
1612 unsigned int i = 0;
1613
1614 do {
1615 xas_lock(&xas);
1616 XA_BUG_ON(xa, xas_find_conflict(&xas));
1617 xas_create_range(&xas);
1618 if (xas_error(&xas))
1619 goto unlock;
1620 for (i = 0; i < (1U << order); i++) {
Matthew Wilcoxb7677a12018-11-05 13:19:54 -05001621 XA_BUG_ON(xa, xas_store(&xas, xa_mk_index(index + i)));
Matthew Wilcox2264f512017-12-04 00:11:48 -05001622 xas_next(&xas);
1623 }
1624unlock:
1625 xas_unlock(&xas);
1626 } while (xas_nomem(&xas, GFP_KERNEL));
1627
1628 XA_BUG_ON(xa, xas_error(&xas));
1629}
1630
1631static noinline void check_create_range_1(struct xarray *xa,
1632 unsigned long index, unsigned order)
1633{
1634 unsigned long i;
1635
1636 xa_store_many_order(xa, index, order);
1637 for (i = index; i < index + (1UL << order); i++)
1638 xa_erase_index(xa, i);
1639 XA_BUG_ON(xa, !xa_empty(xa));
1640}
1641
1642static noinline void check_create_range_2(struct xarray *xa, unsigned order)
1643{
1644 unsigned long i;
1645 unsigned long nr = 1UL << order;
1646
1647 for (i = 0; i < nr * nr; i += nr)
1648 xa_store_many_order(xa, i, order);
1649 for (i = 0; i < nr * nr; i++)
1650 xa_erase_index(xa, i);
1651 XA_BUG_ON(xa, !xa_empty(xa));
1652}
1653
1654static noinline void check_create_range_3(void)
1655{
1656 XA_STATE(xas, NULL, 0);
1657 xas_set_err(&xas, -EEXIST);
1658 xas_create_range(&xas);
1659 XA_BUG_ON(NULL, xas_error(&xas) != -EEXIST);
1660}
1661
1662static noinline void check_create_range_4(struct xarray *xa,
1663 unsigned long index, unsigned order)
1664{
1665 XA_STATE_ORDER(xas, xa, index, order);
1666 unsigned long base = xas.xa_index;
1667 unsigned long i = 0;
1668
1669 xa_store_index(xa, index, GFP_KERNEL);
1670 do {
1671 xas_lock(&xas);
1672 xas_create_range(&xas);
1673 if (xas_error(&xas))
1674 goto unlock;
1675 for (i = 0; i < (1UL << order); i++) {
Matthew Wilcoxb7677a12018-11-05 13:19:54 -05001676 void *old = xas_store(&xas, xa_mk_index(base + i));
Matthew Wilcox2264f512017-12-04 00:11:48 -05001677 if (xas.xa_index == index)
Matthew Wilcoxb7677a12018-11-05 13:19:54 -05001678 XA_BUG_ON(xa, old != xa_mk_index(base + i));
Matthew Wilcox2264f512017-12-04 00:11:48 -05001679 else
1680 XA_BUG_ON(xa, old != NULL);
1681 xas_next(&xas);
1682 }
1683unlock:
1684 xas_unlock(&xas);
1685 } while (xas_nomem(&xas, GFP_KERNEL));
1686
1687 XA_BUG_ON(xa, xas_error(&xas));
1688
1689 for (i = base; i < base + (1UL << order); i++)
1690 xa_erase_index(xa, i);
1691 XA_BUG_ON(xa, !xa_empty(xa));
1692}
1693
Matthew Wilcox (Oracle)3e3c6582022-03-28 19:25:11 -04001694static noinline void check_create_range_5(struct xarray *xa,
1695 unsigned long index, unsigned int order)
1696{
1697 XA_STATE_ORDER(xas, xa, index, order);
1698 unsigned int i;
1699
1700 xa_store_order(xa, index, order, xa_mk_index(index), GFP_KERNEL);
1701
1702 for (i = 0; i < order + 10; i++) {
1703 do {
1704 xas_lock(&xas);
1705 xas_create_range(&xas);
1706 xas_unlock(&xas);
1707 } while (xas_nomem(&xas, GFP_KERNEL));
1708 }
1709
1710 xa_destroy(xa);
1711}
1712
Matthew Wilcox2264f512017-12-04 00:11:48 -05001713static noinline void check_create_range(struct xarray *xa)
1714{
1715 unsigned int order;
1716 unsigned int max_order = IS_ENABLED(CONFIG_XARRAY_MULTI) ? 12 : 1;
1717
1718 for (order = 0; order < max_order; order++) {
1719 check_create_range_1(xa, 0, order);
1720 check_create_range_1(xa, 1U << order, order);
1721 check_create_range_1(xa, 2U << order, order);
1722 check_create_range_1(xa, 3U << order, order);
1723 check_create_range_1(xa, 1U << 24, order);
1724 if (order < 10)
1725 check_create_range_2(xa, order);
1726
1727 check_create_range_4(xa, 0, order);
1728 check_create_range_4(xa, 1U << order, order);
1729 check_create_range_4(xa, 2U << order, order);
1730 check_create_range_4(xa, 3U << order, order);
1731 check_create_range_4(xa, 1U << 24, order);
1732
1733 check_create_range_4(xa, 1, order);
1734 check_create_range_4(xa, (1U << order) + 1, order);
1735 check_create_range_4(xa, (2U << order) + 1, order);
1736 check_create_range_4(xa, (2U << order) - 1, order);
1737 check_create_range_4(xa, (3U << order) + 1, order);
1738 check_create_range_4(xa, (3U << order) - 1, order);
1739 check_create_range_4(xa, (1U << 24) + 1, order);
Matthew Wilcox (Oracle)3e3c6582022-03-28 19:25:11 -04001740
1741 check_create_range_5(xa, 0, order);
1742 check_create_range_5(xa, (1U << order), order);
Matthew Wilcox2264f512017-12-04 00:11:48 -05001743 }
1744
1745 check_create_range_3();
1746}
1747
Matthew Wilcox0e9446c2018-08-15 14:13:29 -04001748static noinline void __check_store_range(struct xarray *xa, unsigned long first,
1749 unsigned long last)
1750{
1751#ifdef CONFIG_XARRAY_MULTI
Matthew Wilcoxb7677a12018-11-05 13:19:54 -05001752 xa_store_range(xa, first, last, xa_mk_index(first), GFP_KERNEL);
Matthew Wilcox0e9446c2018-08-15 14:13:29 -04001753
Matthew Wilcoxb7677a12018-11-05 13:19:54 -05001754 XA_BUG_ON(xa, xa_load(xa, first) != xa_mk_index(first));
1755 XA_BUG_ON(xa, xa_load(xa, last) != xa_mk_index(first));
Matthew Wilcox0e9446c2018-08-15 14:13:29 -04001756 XA_BUG_ON(xa, xa_load(xa, first - 1) != NULL);
1757 XA_BUG_ON(xa, xa_load(xa, last + 1) != NULL);
1758
1759 xa_store_range(xa, first, last, NULL, GFP_KERNEL);
1760#endif
1761
1762 XA_BUG_ON(xa, !xa_empty(xa));
1763}
1764
1765static noinline void check_store_range(struct xarray *xa)
1766{
1767 unsigned long i, j;
1768
1769 for (i = 0; i < 128; i++) {
1770 for (j = i; j < 128; j++) {
1771 __check_store_range(xa, i, j);
1772 __check_store_range(xa, 128 + i, 128 + j);
1773 __check_store_range(xa, 4095 + i, 4095 + j);
1774 __check_store_range(xa, 4096 + i, 4096 + j);
1775 __check_store_range(xa, 123456 + i, 123456 + j);
Matthew Wilcox5404a7f2018-11-05 09:34:04 -05001776 __check_store_range(xa, (1 << 24) + i, (1 << 24) + j);
Matthew Wilcox0e9446c2018-08-15 14:13:29 -04001777 }
1778 }
1779}
1780
Matthew Wilcox (Oracle)8fc75642020-10-15 20:05:16 -07001781#ifdef CONFIG_XARRAY_MULTI
1782static void check_split_1(struct xarray *xa, unsigned long index,
Matthew Wilcox (Oracle)30121102020-11-19 08:32:31 -05001783 unsigned int order, unsigned int new_order)
Matthew Wilcox (Oracle)8fc75642020-10-15 20:05:16 -07001784{
Matthew Wilcox (Oracle)30121102020-11-19 08:32:31 -05001785 XA_STATE_ORDER(xas, xa, index, new_order);
1786 unsigned int i;
Matthew Wilcox (Oracle)8fc75642020-10-15 20:05:16 -07001787
1788 xa_store_order(xa, index, order, xa, GFP_KERNEL);
1789
1790 xas_split_alloc(&xas, xa, order, GFP_KERNEL);
1791 xas_lock(&xas);
1792 xas_split(&xas, xa, order);
Matthew Wilcox (Oracle)30121102020-11-19 08:32:31 -05001793 for (i = 0; i < (1 << order); i += (1 << new_order))
1794 __xa_store(xa, index + i, xa_mk_index(index + i), 0);
Matthew Wilcox (Oracle)8fc75642020-10-15 20:05:16 -07001795 xas_unlock(&xas);
1796
Matthew Wilcox (Oracle)30121102020-11-19 08:32:31 -05001797 for (i = 0; i < (1 << order); i++) {
1798 unsigned int val = index + (i & ~((1 << new_order) - 1));
1799 XA_BUG_ON(xa, xa_load(xa, index + i) != xa_mk_index(val));
Matthew Wilcox (Oracle)8fc75642020-10-15 20:05:16 -07001800 }
Matthew Wilcox (Oracle)8fc75642020-10-15 20:05:16 -07001801
1802 xa_set_mark(xa, index, XA_MARK_0);
1803 XA_BUG_ON(xa, !xa_get_mark(xa, index, XA_MARK_0));
1804
1805 xa_destroy(xa);
1806}
1807
1808static noinline void check_split(struct xarray *xa)
1809{
Matthew Wilcox (Oracle)30121102020-11-19 08:32:31 -05001810 unsigned int order, new_order;
Matthew Wilcox (Oracle)8fc75642020-10-15 20:05:16 -07001811
1812 XA_BUG_ON(xa, !xa_empty(xa));
1813
1814 for (order = 1; order < 2 * XA_CHUNK_SHIFT; order++) {
Matthew Wilcox (Oracle)30121102020-11-19 08:32:31 -05001815 for (new_order = 0; new_order < order; new_order++) {
1816 check_split_1(xa, 0, order, new_order);
1817 check_split_1(xa, 1UL << order, order, new_order);
1818 check_split_1(xa, 3UL << order, order, new_order);
1819 }
Matthew Wilcox (Oracle)8fc75642020-10-15 20:05:16 -07001820 }
1821}
1822#else
1823static void check_split(struct xarray *xa) { }
1824#endif
1825
Matthew Wilcox76b4e522018-12-28 23:20:44 -05001826static void check_align_1(struct xarray *xa, char *name)
1827{
1828 int i;
1829 unsigned int id;
1830 unsigned long index;
1831 void *entry;
1832
1833 for (i = 0; i < 8; i++) {
Matthew Wilcoxa3e4d3f2018-12-31 10:41:01 -05001834 XA_BUG_ON(xa, xa_alloc(xa, &id, name + i, xa_limit_32b,
1835 GFP_KERNEL) != 0);
Matthew Wilcox76b4e522018-12-28 23:20:44 -05001836 XA_BUG_ON(xa, id != i);
1837 }
1838 xa_for_each(xa, index, entry)
1839 XA_BUG_ON(xa, xa_is_err(entry));
1840 xa_destroy(xa);
1841}
1842
Matthew Wilcox4a5c8d82019-02-21 17:54:44 -05001843/*
1844 * We should always be able to store without allocating memory after
1845 * reserving a slot.
1846 */
Matthew Wilcox2fbe9672019-02-21 17:36:45 -05001847static void check_align_2(struct xarray *xa, char *name)
1848{
1849 int i;
1850
1851 XA_BUG_ON(xa, !xa_empty(xa));
1852
1853 for (i = 0; i < 8; i++) {
1854 XA_BUG_ON(xa, xa_store(xa, 0, name + i, GFP_KERNEL) != NULL);
1855 xa_erase(xa, 0);
1856 }
1857
Matthew Wilcox4a5c8d82019-02-21 17:54:44 -05001858 for (i = 0; i < 8; i++) {
1859 XA_BUG_ON(xa, xa_reserve(xa, 0, GFP_KERNEL) != 0);
1860 XA_BUG_ON(xa, xa_store(xa, 0, name + i, 0) != NULL);
1861 xa_erase(xa, 0);
1862 }
1863
Matthew Wilcox2fbe9672019-02-21 17:36:45 -05001864 XA_BUG_ON(xa, !xa_empty(xa));
1865}
1866
Matthew Wilcox76b4e522018-12-28 23:20:44 -05001867static noinline void check_align(struct xarray *xa)
1868{
1869 char name[] = "Motorola 68000";
1870
1871 check_align_1(xa, name);
1872 check_align_1(xa, name + 1);
1873 check_align_1(xa, name + 2);
1874 check_align_1(xa, name + 3);
Matthew Wilcox2fbe9672019-02-21 17:36:45 -05001875 check_align_2(xa, name);
Matthew Wilcox76b4e522018-12-28 23:20:44 -05001876}
1877
Matthew Wilcoxa97e7902017-11-24 14:24:59 -05001878static LIST_HEAD(shadow_nodes);
1879
1880static void test_update_node(struct xa_node *node)
1881{
1882 if (node->count && node->count == node->nr_values) {
1883 if (list_empty(&node->private_list))
1884 list_add(&shadow_nodes, &node->private_list);
1885 } else {
1886 if (!list_empty(&node->private_list))
1887 list_del_init(&node->private_list);
1888 }
1889}
1890
1891static noinline void shadow_remove(struct xarray *xa)
1892{
1893 struct xa_node *node;
1894
1895 xa_lock(xa);
1896 while ((node = list_first_entry_or_null(&shadow_nodes,
1897 struct xa_node, private_list))) {
Matthew Wilcoxa97e7902017-11-24 14:24:59 -05001898 XA_BUG_ON(xa, node->array != xa);
1899 list_del_init(&node->private_list);
Matthew Wilcox (Oracle)f82cd2f2020-08-18 09:05:56 -04001900 xa_delete_node(node, test_update_node);
Matthew Wilcoxa97e7902017-11-24 14:24:59 -05001901 }
1902 xa_unlock(xa);
1903}
1904
1905static noinline void check_workingset(struct xarray *xa, unsigned long index)
1906{
1907 XA_STATE(xas, xa, index);
1908 xas_set_update(&xas, test_update_node);
1909
1910 do {
1911 xas_lock(&xas);
1912 xas_store(&xas, xa_mk_value(0));
1913 xas_next(&xas);
1914 xas_store(&xas, xa_mk_value(1));
1915 xas_unlock(&xas);
1916 } while (xas_nomem(&xas, GFP_KERNEL));
1917
1918 XA_BUG_ON(xa, list_empty(&shadow_nodes));
1919
1920 xas_lock(&xas);
1921 xas_next(&xas);
1922 xas_store(&xas, &xas);
1923 XA_BUG_ON(xa, !list_empty(&shadow_nodes));
1924
1925 xas_store(&xas, xa_mk_value(2));
1926 xas_unlock(&xas);
1927 XA_BUG_ON(xa, list_empty(&shadow_nodes));
1928
1929 shadow_remove(xa);
1930 XA_BUG_ON(xa, !list_empty(&shadow_nodes));
1931 XA_BUG_ON(xa, !xa_empty(xa));
1932}
1933
Matthew Wilcoxd6427f82018-08-28 16:13:16 -04001934/*
1935 * Check that the pointer / value / sibling entries are accounted the
1936 * way we expect them to be.
1937 */
1938static noinline void check_account(struct xarray *xa)
1939{
1940#ifdef CONFIG_XARRAY_MULTI
1941 unsigned int order;
1942
1943 for (order = 1; order < 12; order++) {
1944 XA_STATE(xas, xa, 1 << order);
1945
1946 xa_store_order(xa, 0, order, xa, GFP_KERNEL);
Matthew Wilcoxfffc9a22018-11-19 09:36:29 -05001947 rcu_read_lock();
Matthew Wilcoxd6427f82018-08-28 16:13:16 -04001948 xas_load(&xas);
1949 XA_BUG_ON(xa, xas.xa_node->count == 0);
1950 XA_BUG_ON(xa, xas.xa_node->count > (1 << order));
1951 XA_BUG_ON(xa, xas.xa_node->nr_values != 0);
Matthew Wilcoxfffc9a22018-11-19 09:36:29 -05001952 rcu_read_unlock();
Matthew Wilcoxd6427f82018-08-28 16:13:16 -04001953
Matthew Wilcoxb7677a12018-11-05 13:19:54 -05001954 xa_store_order(xa, 1 << order, order, xa_mk_index(1UL << order),
Matthew Wilcoxd6427f82018-08-28 16:13:16 -04001955 GFP_KERNEL);
1956 XA_BUG_ON(xa, xas.xa_node->count != xas.xa_node->nr_values * 2);
1957
1958 xa_erase(xa, 1 << order);
1959 XA_BUG_ON(xa, xas.xa_node->nr_values != 0);
1960
1961 xa_erase(xa, 0);
1962 XA_BUG_ON(xa, !xa_empty(xa));
1963 }
1964#endif
1965}
1966
Matthew Wilcox (Oracle)57417ce2020-10-15 20:05:13 -07001967static noinline void check_get_order(struct xarray *xa)
1968{
1969 unsigned int max_order = IS_ENABLED(CONFIG_XARRAY_MULTI) ? 20 : 1;
1970 unsigned int order;
1971 unsigned long i, j;
1972
1973 for (i = 0; i < 3; i++)
1974 XA_BUG_ON(xa, xa_get_order(xa, i) != 0);
1975
1976 for (order = 0; order < max_order; order++) {
1977 for (i = 0; i < 10; i++) {
1978 xa_store_order(xa, i << order, order,
1979 xa_mk_index(i << order), GFP_KERNEL);
1980 for (j = i << order; j < (i + 1) << order; j++)
1981 XA_BUG_ON(xa, xa_get_order(xa, j) != order);
1982 xa_erase(xa, i << order);
1983 }
1984 }
1985}
1986
Matthew Wilcox687149f2017-11-17 08:16:34 -05001987static noinline void check_destroy(struct xarray *xa)
1988{
1989 unsigned long index;
1990
1991 XA_BUG_ON(xa, !xa_empty(xa));
1992
1993 /* Destroying an empty array is a no-op */
1994 xa_destroy(xa);
1995 XA_BUG_ON(xa, !xa_empty(xa));
1996
1997 /* Destroying an array with a single entry */
1998 for (index = 0; index < 1000; index++) {
1999 xa_store_index(xa, index, GFP_KERNEL);
2000 XA_BUG_ON(xa, xa_empty(xa));
2001 xa_destroy(xa);
2002 XA_BUG_ON(xa, !xa_empty(xa));
2003 }
2004
2005 /* Destroying an array with a single entry at ULONG_MAX */
2006 xa_store(xa, ULONG_MAX, xa, GFP_KERNEL);
2007 XA_BUG_ON(xa, xa_empty(xa));
2008 xa_destroy(xa);
2009 XA_BUG_ON(xa, !xa_empty(xa));
2010
2011#ifdef CONFIG_XARRAY_MULTI
2012 /* Destroying an array with a multi-index entry */
2013 xa_store_order(xa, 1 << 11, 11, xa, GFP_KERNEL);
2014 XA_BUG_ON(xa, xa_empty(xa));
2015 xa_destroy(xa);
2016 XA_BUG_ON(xa, !xa_empty(xa));
2017#endif
2018}
2019
Matthew Wilcox58d6ea32017-11-10 15:15:08 -05002020static DEFINE_XARRAY(array);
Matthew Wilcoxad3d6c72017-11-07 14:57:46 -05002021
2022static int xarray_checks(void)
2023{
Matthew Wilcox58d6ea32017-11-10 15:15:08 -05002024 check_xa_err(&array);
Matthew Wilcoxb803b422017-11-14 08:30:11 -05002025 check_xas_retry(&array);
Matthew Wilcoxad3d6c72017-11-07 14:57:46 -05002026 check_xa_load(&array);
Matthew Wilcox9b89a032017-11-10 09:34:31 -05002027 check_xa_mark(&array);
Matthew Wilcox58d6ea32017-11-10 15:15:08 -05002028 check_xa_shrink(&array);
Matthew Wilcoxb803b422017-11-14 08:30:11 -05002029 check_xas_erase(&array);
Matthew Wilcox12fd2ae2019-03-09 22:25:27 -05002030 check_insert(&array);
Matthew Wilcox41aec912017-11-10 15:34:55 -05002031 check_cmpxchg(&array);
Daniel Gomeze777ae42024-01-31 14:51:25 -08002032 check_cmpxchg_order(&array);
Matthew Wilcox9f14d4f2018-10-01 14:54:59 -04002033 check_reserve(&array);
Matthew Wilcoxb38f6c52019-02-20 11:30:49 -05002034 check_reserve(&xa0);
Matthew Wilcox58d6ea32017-11-10 15:15:08 -05002035 check_multi_store(&array);
Luis Chamberlaina60cc282024-01-31 14:51:24 -08002036 check_multi_store_advanced(&array);
Matthew Wilcox (Oracle)57417ce2020-10-15 20:05:13 -07002037 check_get_order(&array);
Matthew Wilcox371c7522018-07-04 10:50:12 -04002038 check_xa_alloc();
Matthew Wilcoxb803b422017-11-14 08:30:11 -05002039 check_find(&array);
Matthew Wilcoxe21a2952017-11-22 08:36:00 -05002040 check_find_entry(&array);
Matthew Wilcox (Oracle)c36d4512020-01-31 06:17:09 -05002041 check_pause(&array);
Matthew Wilcoxd6427f82018-08-28 16:13:16 -04002042 check_account(&array);
Matthew Wilcox687149f2017-11-17 08:16:34 -05002043 check_destroy(&array);
Matthew Wilcox64d3e9a2017-12-01 00:06:52 -05002044 check_move(&array);
Matthew Wilcox2264f512017-12-04 00:11:48 -05002045 check_create_range(&array);
Matthew Wilcox0e9446c2018-08-15 14:13:29 -04002046 check_store_range(&array);
Matthew Wilcox4e99d4e2018-06-01 22:46:02 -04002047 check_store_iter(&array);
Matthew Wilcox76b4e522018-12-28 23:20:44 -05002048 check_align(&xa0);
Matthew Wilcox (Oracle)8fc75642020-10-15 20:05:16 -07002049 check_split(&array);
Matthew Wilcoxad3d6c72017-11-07 14:57:46 -05002050
Matthew Wilcoxa97e7902017-11-24 14:24:59 -05002051 check_workingset(&array, 0);
2052 check_workingset(&array, 64);
2053 check_workingset(&array, 4096);
2054
Matthew Wilcoxad3d6c72017-11-07 14:57:46 -05002055 printk("XArray: %u of %u tests passed\n", tests_passed, tests_run);
2056 return (tests_run == tests_passed) ? 0 : -EINVAL;
2057}
2058
2059static void xarray_exit(void)
2060{
2061}
2062
2063module_init(xarray_checks);
2064module_exit(xarray_exit);
2065MODULE_AUTHOR("Matthew Wilcox <willy@infradead.org>");
2066MODULE_LICENSE("GPL");