test_xarray.c 29 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123
  1. // SPDX-License-Identifier: GPL-2.0+
  2. /*
  3. * test_xarray.c: Test the XArray API
  4. * Copyright (c) 2017-2018 Microsoft Corporation
  5. * Author: Matthew Wilcox <willy@infradead.org>
  6. */
  7. #include <linux/xarray.h>
  8. #include <linux/module.h>
  9. static unsigned int tests_run;
  10. static unsigned int tests_passed;
  11. #ifndef XA_DEBUG
  12. # ifdef __KERNEL__
  13. void xa_dump(const struct xarray *xa) { }
  14. # endif
  15. #undef XA_BUG_ON
  16. #define XA_BUG_ON(xa, x) do { \
  17. tests_run++; \
  18. if (x) { \
  19. printk("BUG at %s:%d\n", __func__, __LINE__); \
  20. xa_dump(xa); \
  21. dump_stack(); \
  22. } else { \
  23. tests_passed++; \
  24. } \
  25. } while (0)
  26. #endif
  27. static void *xa_store_index(struct xarray *xa, unsigned long index, gfp_t gfp)
  28. {
  29. return xa_store(xa, index, xa_mk_value(index & LONG_MAX), gfp);
  30. }
  31. static void xa_alloc_index(struct xarray *xa, unsigned long index, gfp_t gfp)
  32. {
  33. u32 id = 0;
  34. XA_BUG_ON(xa, xa_alloc(xa, &id, UINT_MAX, xa_mk_value(index & LONG_MAX),
  35. gfp) != 0);
  36. XA_BUG_ON(xa, id != index);
  37. }
  38. static void xa_erase_index(struct xarray *xa, unsigned long index)
  39. {
  40. XA_BUG_ON(xa, xa_erase(xa, index) != xa_mk_value(index & LONG_MAX));
  41. XA_BUG_ON(xa, xa_load(xa, index) != NULL);
  42. }
  43. /*
  44. * If anyone needs this, please move it to xarray.c. We have no current
  45. * users outside the test suite because all current multislot users want
  46. * to use the advanced API.
  47. */
  48. static void *xa_store_order(struct xarray *xa, unsigned long index,
  49. unsigned order, void *entry, gfp_t gfp)
  50. {
  51. XA_STATE_ORDER(xas, xa, index, order);
  52. void *curr;
  53. do {
  54. xas_lock(&xas);
  55. curr = xas_store(&xas, entry);
  56. xas_unlock(&xas);
  57. } while (xas_nomem(&xas, gfp));
  58. return curr;
  59. }
  60. static noinline void check_xa_err(struct xarray *xa)
  61. {
  62. XA_BUG_ON(xa, xa_err(xa_store_index(xa, 0, GFP_NOWAIT)) != 0);
  63. XA_BUG_ON(xa, xa_err(xa_erase(xa, 0)) != 0);
  64. #ifndef __KERNEL__
  65. /* The kernel does not fail GFP_NOWAIT allocations */
  66. XA_BUG_ON(xa, xa_err(xa_store_index(xa, 1, GFP_NOWAIT)) != -ENOMEM);
  67. XA_BUG_ON(xa, xa_err(xa_store_index(xa, 1, GFP_NOWAIT)) != -ENOMEM);
  68. #endif
  69. XA_BUG_ON(xa, xa_err(xa_store_index(xa, 1, GFP_KERNEL)) != 0);
  70. XA_BUG_ON(xa, xa_err(xa_store(xa, 1, xa_mk_value(0), GFP_KERNEL)) != 0);
  71. XA_BUG_ON(xa, xa_err(xa_erase(xa, 1)) != 0);
  72. // kills the test-suite :-(
  73. // XA_BUG_ON(xa, xa_err(xa_store(xa, 0, xa_mk_internal(0), 0)) != -EINVAL);
  74. }
  75. static noinline void check_xas_retry(struct xarray *xa)
  76. {
  77. XA_STATE(xas, xa, 0);
  78. void *entry;
  79. xa_store_index(xa, 0, GFP_KERNEL);
  80. xa_store_index(xa, 1, GFP_KERNEL);
  81. rcu_read_lock();
  82. XA_BUG_ON(xa, xas_find(&xas, ULONG_MAX) != xa_mk_value(0));
  83. xa_erase_index(xa, 1);
  84. XA_BUG_ON(xa, !xa_is_retry(xas_reload(&xas)));
  85. XA_BUG_ON(xa, xas_retry(&xas, NULL));
  86. XA_BUG_ON(xa, xas_retry(&xas, xa_mk_value(0)));
  87. xas_reset(&xas);
  88. XA_BUG_ON(xa, xas.xa_node != XAS_RESTART);
  89. XA_BUG_ON(xa, xas_next_entry(&xas, ULONG_MAX) != xa_mk_value(0));
  90. XA_BUG_ON(xa, xas.xa_node != NULL);
  91. XA_BUG_ON(xa, xa_store_index(xa, 1, GFP_KERNEL) != NULL);
  92. XA_BUG_ON(xa, !xa_is_internal(xas_reload(&xas)));
  93. xas.xa_node = XAS_RESTART;
  94. XA_BUG_ON(xa, xas_next_entry(&xas, ULONG_MAX) != xa_mk_value(0));
  95. rcu_read_unlock();
  96. /* Make sure we can iterate through retry entries */
  97. xas_lock(&xas);
  98. xas_set(&xas, 0);
  99. xas_store(&xas, XA_RETRY_ENTRY);
  100. xas_set(&xas, 1);
  101. xas_store(&xas, XA_RETRY_ENTRY);
  102. xas_set(&xas, 0);
  103. xas_for_each(&xas, entry, ULONG_MAX) {
  104. xas_store(&xas, xa_mk_value(xas.xa_index));
  105. }
  106. xas_unlock(&xas);
  107. xa_erase_index(xa, 0);
  108. xa_erase_index(xa, 1);
  109. }
  110. static noinline void check_xa_load(struct xarray *xa)
  111. {
  112. unsigned long i, j;
  113. for (i = 0; i < 1024; i++) {
  114. for (j = 0; j < 1024; j++) {
  115. void *entry = xa_load(xa, j);
  116. if (j < i)
  117. XA_BUG_ON(xa, xa_to_value(entry) != j);
  118. else
  119. XA_BUG_ON(xa, entry);
  120. }
  121. XA_BUG_ON(xa, xa_store_index(xa, i, GFP_KERNEL) != NULL);
  122. }
  123. for (i = 0; i < 1024; i++) {
  124. for (j = 0; j < 1024; j++) {
  125. void *entry = xa_load(xa, j);
  126. if (j >= i)
  127. XA_BUG_ON(xa, xa_to_value(entry) != j);
  128. else
  129. XA_BUG_ON(xa, entry);
  130. }
  131. xa_erase_index(xa, i);
  132. }
  133. XA_BUG_ON(xa, !xa_empty(xa));
  134. }
  135. static noinline void check_xa_mark_1(struct xarray *xa, unsigned long index)
  136. {
  137. unsigned int order;
  138. unsigned int max_order = IS_ENABLED(CONFIG_XARRAY_MULTI) ? 8 : 1;
  139. /* NULL elements have no marks set */
  140. XA_BUG_ON(xa, xa_get_mark(xa, index, XA_MARK_0));
  141. xa_set_mark(xa, index, XA_MARK_0);
  142. XA_BUG_ON(xa, xa_get_mark(xa, index, XA_MARK_0));
  143. /* Storing a pointer will not make a mark appear */
  144. XA_BUG_ON(xa, xa_store_index(xa, index, GFP_KERNEL) != NULL);
  145. XA_BUG_ON(xa, xa_get_mark(xa, index, XA_MARK_0));
  146. xa_set_mark(xa, index, XA_MARK_0);
  147. XA_BUG_ON(xa, !xa_get_mark(xa, index, XA_MARK_0));
  148. /* Setting one mark will not set another mark */
  149. XA_BUG_ON(xa, xa_get_mark(xa, index + 1, XA_MARK_0));
  150. XA_BUG_ON(xa, xa_get_mark(xa, index, XA_MARK_1));
  151. /* Storing NULL clears marks, and they can't be set again */
  152. xa_erase_index(xa, index);
  153. XA_BUG_ON(xa, !xa_empty(xa));
  154. XA_BUG_ON(xa, xa_get_mark(xa, index, XA_MARK_0));
  155. xa_set_mark(xa, index, XA_MARK_0);
  156. XA_BUG_ON(xa, xa_get_mark(xa, index, XA_MARK_0));
  157. /*
  158. * Storing a multi-index entry over entries with marks gives the
  159. * entire entry the union of the marks
  160. */
  161. BUG_ON((index % 4) != 0);
  162. for (order = 2; order < max_order; order++) {
  163. unsigned long base = round_down(index, 1UL << order);
  164. unsigned long next = base + (1UL << order);
  165. unsigned long i;
  166. XA_BUG_ON(xa, xa_store_index(xa, index + 1, GFP_KERNEL));
  167. xa_set_mark(xa, index + 1, XA_MARK_0);
  168. XA_BUG_ON(xa, xa_store_index(xa, index + 2, GFP_KERNEL));
  169. xa_set_mark(xa, index + 2, XA_MARK_1);
  170. XA_BUG_ON(xa, xa_store_index(xa, next, GFP_KERNEL));
  171. xa_store_order(xa, index, order, xa_mk_value(index),
  172. GFP_KERNEL);
  173. for (i = base; i < next; i++) {
  174. XA_BUG_ON(xa, !xa_get_mark(xa, i, XA_MARK_0));
  175. XA_BUG_ON(xa, !xa_get_mark(xa, i, XA_MARK_1));
  176. XA_BUG_ON(xa, xa_get_mark(xa, i, XA_MARK_2));
  177. }
  178. XA_BUG_ON(xa, xa_get_mark(xa, next, XA_MARK_0));
  179. XA_BUG_ON(xa, xa_get_mark(xa, next, XA_MARK_1));
  180. XA_BUG_ON(xa, xa_get_mark(xa, next, XA_MARK_2));
  181. xa_erase_index(xa, index);
  182. xa_erase_index(xa, next);
  183. XA_BUG_ON(xa, !xa_empty(xa));
  184. }
  185. XA_BUG_ON(xa, !xa_empty(xa));
  186. }
  187. static noinline void check_xa_mark_2(struct xarray *xa)
  188. {
  189. XA_STATE(xas, xa, 0);
  190. unsigned long index;
  191. unsigned int count = 0;
  192. void *entry;
  193. xa_store_index(xa, 0, GFP_KERNEL);
  194. xa_set_mark(xa, 0, XA_MARK_0);
  195. xas_lock(&xas);
  196. xas_load(&xas);
  197. xas_init_marks(&xas);
  198. xas_unlock(&xas);
  199. XA_BUG_ON(xa, !xa_get_mark(xa, 0, XA_MARK_0) == 0);
  200. for (index = 3500; index < 4500; index++) {
  201. xa_store_index(xa, index, GFP_KERNEL);
  202. xa_set_mark(xa, index, XA_MARK_0);
  203. }
  204. xas_reset(&xas);
  205. rcu_read_lock();
  206. xas_for_each_marked(&xas, entry, ULONG_MAX, XA_MARK_0)
  207. count++;
  208. rcu_read_unlock();
  209. XA_BUG_ON(xa, count != 1000);
  210. xas_lock(&xas);
  211. xas_for_each(&xas, entry, ULONG_MAX) {
  212. xas_init_marks(&xas);
  213. XA_BUG_ON(xa, !xa_get_mark(xa, xas.xa_index, XA_MARK_0));
  214. XA_BUG_ON(xa, !xas_get_mark(&xas, XA_MARK_0));
  215. }
  216. xas_unlock(&xas);
  217. xa_destroy(xa);
  218. }
  219. static noinline void check_xa_mark(struct xarray *xa)
  220. {
  221. unsigned long index;
  222. for (index = 0; index < 16384; index += 4)
  223. check_xa_mark_1(xa, index);
  224. check_xa_mark_2(xa);
  225. }
  226. static noinline void check_xa_shrink(struct xarray *xa)
  227. {
  228. XA_STATE(xas, xa, 1);
  229. struct xa_node *node;
  230. XA_BUG_ON(xa, !xa_empty(xa));
  231. XA_BUG_ON(xa, xa_store_index(xa, 0, GFP_KERNEL) != NULL);
  232. XA_BUG_ON(xa, xa_store_index(xa, 1, GFP_KERNEL) != NULL);
  233. /*
  234. * Check that erasing the entry at 1 shrinks the tree and properly
  235. * marks the node as being deleted.
  236. */
  237. xas_lock(&xas);
  238. XA_BUG_ON(xa, xas_load(&xas) != xa_mk_value(1));
  239. node = xas.xa_node;
  240. XA_BUG_ON(xa, xa_entry_locked(xa, node, 0) != xa_mk_value(0));
  241. XA_BUG_ON(xa, xas_store(&xas, NULL) != xa_mk_value(1));
  242. XA_BUG_ON(xa, xa_load(xa, 1) != NULL);
  243. XA_BUG_ON(xa, xas.xa_node != XAS_BOUNDS);
  244. XA_BUG_ON(xa, xa_entry_locked(xa, node, 0) != XA_RETRY_ENTRY);
  245. XA_BUG_ON(xa, xas_load(&xas) != NULL);
  246. xas_unlock(&xas);
  247. XA_BUG_ON(xa, xa_load(xa, 0) != xa_mk_value(0));
  248. xa_erase_index(xa, 0);
  249. XA_BUG_ON(xa, !xa_empty(xa));
  250. }
  251. static noinline void check_cmpxchg(struct xarray *xa)
  252. {
  253. void *FIVE = xa_mk_value(5);
  254. void *SIX = xa_mk_value(6);
  255. void *LOTS = xa_mk_value(12345678);
  256. XA_BUG_ON(xa, !xa_empty(xa));
  257. XA_BUG_ON(xa, xa_store_index(xa, 12345678, GFP_KERNEL) != NULL);
  258. XA_BUG_ON(xa, xa_insert(xa, 12345678, xa, GFP_KERNEL) != -EEXIST);
  259. XA_BUG_ON(xa, xa_cmpxchg(xa, 12345678, SIX, FIVE, GFP_KERNEL) != LOTS);
  260. XA_BUG_ON(xa, xa_cmpxchg(xa, 12345678, LOTS, FIVE, GFP_KERNEL) != LOTS);
  261. XA_BUG_ON(xa, xa_cmpxchg(xa, 12345678, FIVE, LOTS, GFP_KERNEL) != FIVE);
  262. XA_BUG_ON(xa, xa_cmpxchg(xa, 5, FIVE, NULL, GFP_KERNEL) != NULL);
  263. XA_BUG_ON(xa, xa_cmpxchg(xa, 5, NULL, FIVE, GFP_KERNEL) != NULL);
  264. xa_erase_index(xa, 12345678);
  265. xa_erase_index(xa, 5);
  266. XA_BUG_ON(xa, !xa_empty(xa));
  267. }
  268. static noinline void check_reserve(struct xarray *xa)
  269. {
  270. void *entry;
  271. unsigned long index = 0;
  272. /* An array with a reserved entry is not empty */
  273. XA_BUG_ON(xa, !xa_empty(xa));
  274. xa_reserve(xa, 12345678, GFP_KERNEL);
  275. XA_BUG_ON(xa, xa_empty(xa));
  276. XA_BUG_ON(xa, xa_load(xa, 12345678));
  277. xa_release(xa, 12345678);
  278. XA_BUG_ON(xa, !xa_empty(xa));
  279. /* Releasing a used entry does nothing */
  280. xa_reserve(xa, 12345678, GFP_KERNEL);
  281. XA_BUG_ON(xa, xa_store_index(xa, 12345678, GFP_NOWAIT) != NULL);
  282. xa_release(xa, 12345678);
  283. xa_erase_index(xa, 12345678);
  284. XA_BUG_ON(xa, !xa_empty(xa));
  285. /* cmpxchg sees a reserved entry as NULL */
  286. xa_reserve(xa, 12345678, GFP_KERNEL);
  287. XA_BUG_ON(xa, xa_cmpxchg(xa, 12345678, NULL, xa_mk_value(12345678),
  288. GFP_NOWAIT) != NULL);
  289. xa_release(xa, 12345678);
  290. xa_erase_index(xa, 12345678);
  291. XA_BUG_ON(xa, !xa_empty(xa));
  292. /* Can iterate through a reserved entry */
  293. xa_store_index(xa, 5, GFP_KERNEL);
  294. xa_reserve(xa, 6, GFP_KERNEL);
  295. xa_store_index(xa, 7, GFP_KERNEL);
  296. xa_for_each(xa, entry, index, ULONG_MAX, XA_PRESENT) {
  297. XA_BUG_ON(xa, index != 5 && index != 7);
  298. }
  299. xa_destroy(xa);
  300. }
  301. static noinline void check_xas_erase(struct xarray *xa)
  302. {
  303. XA_STATE(xas, xa, 0);
  304. void *entry;
  305. unsigned long i, j;
  306. for (i = 0; i < 200; i++) {
  307. for (j = i; j < 2 * i + 17; j++) {
  308. xas_set(&xas, j);
  309. do {
  310. xas_lock(&xas);
  311. xas_store(&xas, xa_mk_value(j));
  312. xas_unlock(&xas);
  313. } while (xas_nomem(&xas, GFP_KERNEL));
  314. }
  315. xas_set(&xas, ULONG_MAX);
  316. do {
  317. xas_lock(&xas);
  318. xas_store(&xas, xa_mk_value(0));
  319. xas_unlock(&xas);
  320. } while (xas_nomem(&xas, GFP_KERNEL));
  321. xas_lock(&xas);
  322. xas_store(&xas, NULL);
  323. xas_set(&xas, 0);
  324. j = i;
  325. xas_for_each(&xas, entry, ULONG_MAX) {
  326. XA_BUG_ON(xa, entry != xa_mk_value(j));
  327. xas_store(&xas, NULL);
  328. j++;
  329. }
  330. xas_unlock(&xas);
  331. XA_BUG_ON(xa, !xa_empty(xa));
  332. }
  333. }
  334. static noinline void check_multi_store(struct xarray *xa)
  335. {
  336. #ifdef CONFIG_XARRAY_MULTI
  337. unsigned long i, j, k;
  338. unsigned int max_order = (sizeof(long) == 4) ? 30 : 60;
  339. /* Loading from any position returns the same value */
  340. xa_store_order(xa, 0, 1, xa_mk_value(0), GFP_KERNEL);
  341. XA_BUG_ON(xa, xa_load(xa, 0) != xa_mk_value(0));
  342. XA_BUG_ON(xa, xa_load(xa, 1) != xa_mk_value(0));
  343. XA_BUG_ON(xa, xa_load(xa, 2) != NULL);
  344. rcu_read_lock();
  345. XA_BUG_ON(xa, xa_to_node(xa_head(xa))->count != 2);
  346. XA_BUG_ON(xa, xa_to_node(xa_head(xa))->nr_values != 2);
  347. rcu_read_unlock();
  348. /* Storing adjacent to the value does not alter the value */
  349. xa_store(xa, 3, xa, GFP_KERNEL);
  350. XA_BUG_ON(xa, xa_load(xa, 0) != xa_mk_value(0));
  351. XA_BUG_ON(xa, xa_load(xa, 1) != xa_mk_value(0));
  352. XA_BUG_ON(xa, xa_load(xa, 2) != NULL);
  353. rcu_read_lock();
  354. XA_BUG_ON(xa, xa_to_node(xa_head(xa))->count != 3);
  355. XA_BUG_ON(xa, xa_to_node(xa_head(xa))->nr_values != 2);
  356. rcu_read_unlock();
  357. /* Overwriting multiple indexes works */
  358. xa_store_order(xa, 0, 2, xa_mk_value(1), GFP_KERNEL);
  359. XA_BUG_ON(xa, xa_load(xa, 0) != xa_mk_value(1));
  360. XA_BUG_ON(xa, xa_load(xa, 1) != xa_mk_value(1));
  361. XA_BUG_ON(xa, xa_load(xa, 2) != xa_mk_value(1));
  362. XA_BUG_ON(xa, xa_load(xa, 3) != xa_mk_value(1));
  363. XA_BUG_ON(xa, xa_load(xa, 4) != NULL);
  364. rcu_read_lock();
  365. XA_BUG_ON(xa, xa_to_node(xa_head(xa))->count != 4);
  366. XA_BUG_ON(xa, xa_to_node(xa_head(xa))->nr_values != 4);
  367. rcu_read_unlock();
  368. /* We can erase multiple values with a single store */
  369. xa_store_order(xa, 0, 63, NULL, GFP_KERNEL);
  370. XA_BUG_ON(xa, !xa_empty(xa));
  371. /* Even when the first slot is empty but the others aren't */
  372. xa_store_index(xa, 1, GFP_KERNEL);
  373. xa_store_index(xa, 2, GFP_KERNEL);
  374. xa_store_order(xa, 0, 2, NULL, GFP_KERNEL);
  375. XA_BUG_ON(xa, !xa_empty(xa));
  376. for (i = 0; i < max_order; i++) {
  377. for (j = 0; j < max_order; j++) {
  378. xa_store_order(xa, 0, i, xa_mk_value(i), GFP_KERNEL);
  379. xa_store_order(xa, 0, j, xa_mk_value(j), GFP_KERNEL);
  380. for (k = 0; k < max_order; k++) {
  381. void *entry = xa_load(xa, (1UL << k) - 1);
  382. if ((i < k) && (j < k))
  383. XA_BUG_ON(xa, entry != NULL);
  384. else
  385. XA_BUG_ON(xa, entry != xa_mk_value(j));
  386. }
  387. xa_erase(xa, 0);
  388. XA_BUG_ON(xa, !xa_empty(xa));
  389. }
  390. }
  391. #endif
  392. }
  393. static DEFINE_XARRAY_ALLOC(xa0);
  394. static noinline void check_xa_alloc(void)
  395. {
  396. int i;
  397. u32 id;
  398. /* An empty array should assign 0 to the first alloc */
  399. xa_alloc_index(&xa0, 0, GFP_KERNEL);
  400. /* Erasing it should make the array empty again */
  401. xa_erase_index(&xa0, 0);
  402. XA_BUG_ON(&xa0, !xa_empty(&xa0));
  403. /* And it should assign 0 again */
  404. xa_alloc_index(&xa0, 0, GFP_KERNEL);
  405. /* The next assigned ID should be 1 */
  406. xa_alloc_index(&xa0, 1, GFP_KERNEL);
  407. xa_erase_index(&xa0, 1);
  408. /* Storing a value should mark it used */
  409. xa_store_index(&xa0, 1, GFP_KERNEL);
  410. xa_alloc_index(&xa0, 2, GFP_KERNEL);
  411. /* If we then erase 0, it should be free */
  412. xa_erase_index(&xa0, 0);
  413. xa_alloc_index(&xa0, 0, GFP_KERNEL);
  414. xa_erase_index(&xa0, 1);
  415. xa_erase_index(&xa0, 2);
  416. for (i = 1; i < 5000; i++) {
  417. xa_alloc_index(&xa0, i, GFP_KERNEL);
  418. }
  419. xa_destroy(&xa0);
  420. id = 0xfffffffeU;
  421. XA_BUG_ON(&xa0, xa_alloc(&xa0, &id, UINT_MAX, xa_mk_value(0),
  422. GFP_KERNEL) != 0);
  423. XA_BUG_ON(&xa0, id != 0xfffffffeU);
  424. XA_BUG_ON(&xa0, xa_alloc(&xa0, &id, UINT_MAX, xa_mk_value(0),
  425. GFP_KERNEL) != 0);
  426. XA_BUG_ON(&xa0, id != 0xffffffffU);
  427. XA_BUG_ON(&xa0, xa_alloc(&xa0, &id, UINT_MAX, xa_mk_value(0),
  428. GFP_KERNEL) != -ENOSPC);
  429. XA_BUG_ON(&xa0, id != 0xffffffffU);
  430. xa_destroy(&xa0);
  431. }
  432. static noinline void __check_store_iter(struct xarray *xa, unsigned long start,
  433. unsigned int order, unsigned int present)
  434. {
  435. XA_STATE_ORDER(xas, xa, start, order);
  436. void *entry;
  437. unsigned int count = 0;
  438. retry:
  439. xas_lock(&xas);
  440. xas_for_each_conflict(&xas, entry) {
  441. XA_BUG_ON(xa, !xa_is_value(entry));
  442. XA_BUG_ON(xa, entry < xa_mk_value(start));
  443. XA_BUG_ON(xa, entry > xa_mk_value(start + (1UL << order) - 1));
  444. count++;
  445. }
  446. xas_store(&xas, xa_mk_value(start));
  447. xas_unlock(&xas);
  448. if (xas_nomem(&xas, GFP_KERNEL)) {
  449. count = 0;
  450. goto retry;
  451. }
  452. XA_BUG_ON(xa, xas_error(&xas));
  453. XA_BUG_ON(xa, count != present);
  454. XA_BUG_ON(xa, xa_load(xa, start) != xa_mk_value(start));
  455. XA_BUG_ON(xa, xa_load(xa, start + (1UL << order) - 1) !=
  456. xa_mk_value(start));
  457. xa_erase_index(xa, start);
  458. }
  459. static noinline void check_store_iter(struct xarray *xa)
  460. {
  461. unsigned int i, j;
  462. unsigned int max_order = IS_ENABLED(CONFIG_XARRAY_MULTI) ? 20 : 1;
  463. for (i = 0; i < max_order; i++) {
  464. unsigned int min = 1 << i;
  465. unsigned int max = (2 << i) - 1;
  466. __check_store_iter(xa, 0, i, 0);
  467. XA_BUG_ON(xa, !xa_empty(xa));
  468. __check_store_iter(xa, min, i, 0);
  469. XA_BUG_ON(xa, !xa_empty(xa));
  470. xa_store_index(xa, min, GFP_KERNEL);
  471. __check_store_iter(xa, min, i, 1);
  472. XA_BUG_ON(xa, !xa_empty(xa));
  473. xa_store_index(xa, max, GFP_KERNEL);
  474. __check_store_iter(xa, min, i, 1);
  475. XA_BUG_ON(xa, !xa_empty(xa));
  476. for (j = 0; j < min; j++)
  477. xa_store_index(xa, j, GFP_KERNEL);
  478. __check_store_iter(xa, 0, i, min);
  479. XA_BUG_ON(xa, !xa_empty(xa));
  480. for (j = 0; j < min; j++)
  481. xa_store_index(xa, min + j, GFP_KERNEL);
  482. __check_store_iter(xa, min, i, min);
  483. XA_BUG_ON(xa, !xa_empty(xa));
  484. }
  485. #ifdef CONFIG_XARRAY_MULTI
  486. xa_store_index(xa, 63, GFP_KERNEL);
  487. xa_store_index(xa, 65, GFP_KERNEL);
  488. __check_store_iter(xa, 64, 2, 1);
  489. xa_erase_index(xa, 63);
  490. #endif
  491. XA_BUG_ON(xa, !xa_empty(xa));
  492. }
  493. static noinline void check_multi_find(struct xarray *xa)
  494. {
  495. #ifdef CONFIG_XARRAY_MULTI
  496. unsigned long index;
  497. xa_store_order(xa, 12, 2, xa_mk_value(12), GFP_KERNEL);
  498. XA_BUG_ON(xa, xa_store_index(xa, 16, GFP_KERNEL) != NULL);
  499. index = 0;
  500. XA_BUG_ON(xa, xa_find(xa, &index, ULONG_MAX, XA_PRESENT) !=
  501. xa_mk_value(12));
  502. XA_BUG_ON(xa, index != 12);
  503. index = 13;
  504. XA_BUG_ON(xa, xa_find(xa, &index, ULONG_MAX, XA_PRESENT) !=
  505. xa_mk_value(12));
  506. XA_BUG_ON(xa, (index < 12) || (index >= 16));
  507. XA_BUG_ON(xa, xa_find_after(xa, &index, ULONG_MAX, XA_PRESENT) !=
  508. xa_mk_value(16));
  509. XA_BUG_ON(xa, index != 16);
  510. xa_erase_index(xa, 12);
  511. xa_erase_index(xa, 16);
  512. XA_BUG_ON(xa, !xa_empty(xa));
  513. #endif
  514. }
  515. static noinline void check_multi_find_2(struct xarray *xa)
  516. {
  517. unsigned int max_order = IS_ENABLED(CONFIG_XARRAY_MULTI) ? 10 : 1;
  518. unsigned int i, j;
  519. void *entry;
  520. for (i = 0; i < max_order; i++) {
  521. unsigned long index = 1UL << i;
  522. for (j = 0; j < index; j++) {
  523. XA_STATE(xas, xa, j + index);
  524. xa_store_index(xa, index - 1, GFP_KERNEL);
  525. xa_store_order(xa, index, i, xa_mk_value(index),
  526. GFP_KERNEL);
  527. rcu_read_lock();
  528. xas_for_each(&xas, entry, ULONG_MAX) {
  529. xa_erase_index(xa, index);
  530. }
  531. rcu_read_unlock();
  532. xa_erase_index(xa, index - 1);
  533. XA_BUG_ON(xa, !xa_empty(xa));
  534. }
  535. }
  536. }
  537. static noinline void check_find(struct xarray *xa)
  538. {
  539. unsigned long i, j, k;
  540. XA_BUG_ON(xa, !xa_empty(xa));
  541. /*
  542. * Check xa_find with all pairs between 0 and 99 inclusive,
  543. * starting at every index between 0 and 99
  544. */
  545. for (i = 0; i < 100; i++) {
  546. XA_BUG_ON(xa, xa_store_index(xa, i, GFP_KERNEL) != NULL);
  547. xa_set_mark(xa, i, XA_MARK_0);
  548. for (j = 0; j < i; j++) {
  549. XA_BUG_ON(xa, xa_store_index(xa, j, GFP_KERNEL) !=
  550. NULL);
  551. xa_set_mark(xa, j, XA_MARK_0);
  552. for (k = 0; k < 100; k++) {
  553. unsigned long index = k;
  554. void *entry = xa_find(xa, &index, ULONG_MAX,
  555. XA_PRESENT);
  556. if (k <= j)
  557. XA_BUG_ON(xa, index != j);
  558. else if (k <= i)
  559. XA_BUG_ON(xa, index != i);
  560. else
  561. XA_BUG_ON(xa, entry != NULL);
  562. index = k;
  563. entry = xa_find(xa, &index, ULONG_MAX,
  564. XA_MARK_0);
  565. if (k <= j)
  566. XA_BUG_ON(xa, index != j);
  567. else if (k <= i)
  568. XA_BUG_ON(xa, index != i);
  569. else
  570. XA_BUG_ON(xa, entry != NULL);
  571. }
  572. xa_erase_index(xa, j);
  573. XA_BUG_ON(xa, xa_get_mark(xa, j, XA_MARK_0));
  574. XA_BUG_ON(xa, !xa_get_mark(xa, i, XA_MARK_0));
  575. }
  576. xa_erase_index(xa, i);
  577. XA_BUG_ON(xa, xa_get_mark(xa, i, XA_MARK_0));
  578. }
  579. XA_BUG_ON(xa, !xa_empty(xa));
  580. check_multi_find(xa);
  581. check_multi_find_2(xa);
  582. }
  583. /* See find_swap_entry() in mm/shmem.c */
  584. static noinline unsigned long xa_find_entry(struct xarray *xa, void *item)
  585. {
  586. XA_STATE(xas, xa, 0);
  587. unsigned int checked = 0;
  588. void *entry;
  589. rcu_read_lock();
  590. xas_for_each(&xas, entry, ULONG_MAX) {
  591. if (xas_retry(&xas, entry))
  592. continue;
  593. if (entry == item)
  594. break;
  595. checked++;
  596. if ((checked % 4) != 0)
  597. continue;
  598. xas_pause(&xas);
  599. }
  600. rcu_read_unlock();
  601. return entry ? xas.xa_index : -1;
  602. }
  603. static noinline void check_find_entry(struct xarray *xa)
  604. {
  605. #ifdef CONFIG_XARRAY_MULTI
  606. unsigned int order;
  607. unsigned long offset, index;
  608. for (order = 0; order < 20; order++) {
  609. for (offset = 0; offset < (1UL << (order + 3));
  610. offset += (1UL << order)) {
  611. for (index = 0; index < (1UL << (order + 5));
  612. index += (1UL << order)) {
  613. xa_store_order(xa, index, order,
  614. xa_mk_value(index), GFP_KERNEL);
  615. XA_BUG_ON(xa, xa_load(xa, index) !=
  616. xa_mk_value(index));
  617. XA_BUG_ON(xa, xa_find_entry(xa,
  618. xa_mk_value(index)) != index);
  619. }
  620. XA_BUG_ON(xa, xa_find_entry(xa, xa) != -1);
  621. xa_destroy(xa);
  622. }
  623. }
  624. #endif
  625. XA_BUG_ON(xa, xa_find_entry(xa, xa) != -1);
  626. xa_store_index(xa, ULONG_MAX, GFP_KERNEL);
  627. XA_BUG_ON(xa, xa_find_entry(xa, xa) != -1);
  628. XA_BUG_ON(xa, xa_find_entry(xa, xa_mk_value(LONG_MAX)) != -1);
  629. xa_erase_index(xa, ULONG_MAX);
  630. XA_BUG_ON(xa, !xa_empty(xa));
  631. }
  632. static noinline void check_move_small(struct xarray *xa, unsigned long idx)
  633. {
  634. XA_STATE(xas, xa, 0);
  635. unsigned long i;
  636. xa_store_index(xa, 0, GFP_KERNEL);
  637. xa_store_index(xa, idx, GFP_KERNEL);
  638. rcu_read_lock();
  639. for (i = 0; i < idx * 4; i++) {
  640. void *entry = xas_next(&xas);
  641. if (i <= idx)
  642. XA_BUG_ON(xa, xas.xa_node == XAS_RESTART);
  643. XA_BUG_ON(xa, xas.xa_index != i);
  644. if (i == 0 || i == idx)
  645. XA_BUG_ON(xa, entry != xa_mk_value(i));
  646. else
  647. XA_BUG_ON(xa, entry != NULL);
  648. }
  649. xas_next(&xas);
  650. XA_BUG_ON(xa, xas.xa_index != i);
  651. do {
  652. void *entry = xas_prev(&xas);
  653. i--;
  654. if (i <= idx)
  655. XA_BUG_ON(xa, xas.xa_node == XAS_RESTART);
  656. XA_BUG_ON(xa, xas.xa_index != i);
  657. if (i == 0 || i == idx)
  658. XA_BUG_ON(xa, entry != xa_mk_value(i));
  659. else
  660. XA_BUG_ON(xa, entry != NULL);
  661. } while (i > 0);
  662. xas_set(&xas, ULONG_MAX);
  663. XA_BUG_ON(xa, xas_next(&xas) != NULL);
  664. XA_BUG_ON(xa, xas.xa_index != ULONG_MAX);
  665. XA_BUG_ON(xa, xas_next(&xas) != xa_mk_value(0));
  666. XA_BUG_ON(xa, xas.xa_index != 0);
  667. XA_BUG_ON(xa, xas_prev(&xas) != NULL);
  668. XA_BUG_ON(xa, xas.xa_index != ULONG_MAX);
  669. rcu_read_unlock();
  670. xa_erase_index(xa, 0);
  671. xa_erase_index(xa, idx);
  672. XA_BUG_ON(xa, !xa_empty(xa));
  673. }
  674. static noinline void check_move(struct xarray *xa)
  675. {
  676. XA_STATE(xas, xa, (1 << 16) - 1);
  677. unsigned long i;
  678. for (i = 0; i < (1 << 16); i++)
  679. XA_BUG_ON(xa, xa_store_index(xa, i, GFP_KERNEL) != NULL);
  680. rcu_read_lock();
  681. do {
  682. void *entry = xas_prev(&xas);
  683. i--;
  684. XA_BUG_ON(xa, entry != xa_mk_value(i));
  685. XA_BUG_ON(xa, i != xas.xa_index);
  686. } while (i != 0);
  687. XA_BUG_ON(xa, xas_prev(&xas) != NULL);
  688. XA_BUG_ON(xa, xas.xa_index != ULONG_MAX);
  689. do {
  690. void *entry = xas_next(&xas);
  691. XA_BUG_ON(xa, entry != xa_mk_value(i));
  692. XA_BUG_ON(xa, i != xas.xa_index);
  693. i++;
  694. } while (i < (1 << 16));
  695. rcu_read_unlock();
  696. for (i = (1 << 8); i < (1 << 15); i++)
  697. xa_erase_index(xa, i);
  698. i = xas.xa_index;
  699. rcu_read_lock();
  700. do {
  701. void *entry = xas_prev(&xas);
  702. i--;
  703. if ((i < (1 << 8)) || (i >= (1 << 15)))
  704. XA_BUG_ON(xa, entry != xa_mk_value(i));
  705. else
  706. XA_BUG_ON(xa, entry != NULL);
  707. XA_BUG_ON(xa, i != xas.xa_index);
  708. } while (i != 0);
  709. XA_BUG_ON(xa, xas_prev(&xas) != NULL);
  710. XA_BUG_ON(xa, xas.xa_index != ULONG_MAX);
  711. do {
  712. void *entry = xas_next(&xas);
  713. if ((i < (1 << 8)) || (i >= (1 << 15)))
  714. XA_BUG_ON(xa, entry != xa_mk_value(i));
  715. else
  716. XA_BUG_ON(xa, entry != NULL);
  717. XA_BUG_ON(xa, i != xas.xa_index);
  718. i++;
  719. } while (i < (1 << 16));
  720. rcu_read_unlock();
  721. xa_destroy(xa);
  722. for (i = 0; i < 16; i++)
  723. check_move_small(xa, 1UL << i);
  724. for (i = 2; i < 16; i++)
  725. check_move_small(xa, (1UL << i) - 1);
  726. }
  727. static noinline void xa_store_many_order(struct xarray *xa,
  728. unsigned long index, unsigned order)
  729. {
  730. XA_STATE_ORDER(xas, xa, index, order);
  731. unsigned int i = 0;
  732. do {
  733. xas_lock(&xas);
  734. XA_BUG_ON(xa, xas_find_conflict(&xas));
  735. xas_create_range(&xas);
  736. if (xas_error(&xas))
  737. goto unlock;
  738. for (i = 0; i < (1U << order); i++) {
  739. XA_BUG_ON(xa, xas_store(&xas, xa_mk_value(index + i)));
  740. xas_next(&xas);
  741. }
  742. unlock:
  743. xas_unlock(&xas);
  744. } while (xas_nomem(&xas, GFP_KERNEL));
  745. XA_BUG_ON(xa, xas_error(&xas));
  746. }
  747. static noinline void check_create_range_1(struct xarray *xa,
  748. unsigned long index, unsigned order)
  749. {
  750. unsigned long i;
  751. xa_store_many_order(xa, index, order);
  752. for (i = index; i < index + (1UL << order); i++)
  753. xa_erase_index(xa, i);
  754. XA_BUG_ON(xa, !xa_empty(xa));
  755. }
  756. static noinline void check_create_range_2(struct xarray *xa, unsigned order)
  757. {
  758. unsigned long i;
  759. unsigned long nr = 1UL << order;
  760. for (i = 0; i < nr * nr; i += nr)
  761. xa_store_many_order(xa, i, order);
  762. for (i = 0; i < nr * nr; i++)
  763. xa_erase_index(xa, i);
  764. XA_BUG_ON(xa, !xa_empty(xa));
  765. }
  766. static noinline void check_create_range_3(void)
  767. {
  768. XA_STATE(xas, NULL, 0);
  769. xas_set_err(&xas, -EEXIST);
  770. xas_create_range(&xas);
  771. XA_BUG_ON(NULL, xas_error(&xas) != -EEXIST);
  772. }
  773. static noinline void check_create_range_4(struct xarray *xa,
  774. unsigned long index, unsigned order)
  775. {
  776. XA_STATE_ORDER(xas, xa, index, order);
  777. unsigned long base = xas.xa_index;
  778. unsigned long i = 0;
  779. xa_store_index(xa, index, GFP_KERNEL);
  780. do {
  781. xas_lock(&xas);
  782. xas_create_range(&xas);
  783. if (xas_error(&xas))
  784. goto unlock;
  785. for (i = 0; i < (1UL << order); i++) {
  786. void *old = xas_store(&xas, xa_mk_value(base + i));
  787. if (xas.xa_index == index)
  788. XA_BUG_ON(xa, old != xa_mk_value(base + i));
  789. else
  790. XA_BUG_ON(xa, old != NULL);
  791. xas_next(&xas);
  792. }
  793. unlock:
  794. xas_unlock(&xas);
  795. } while (xas_nomem(&xas, GFP_KERNEL));
  796. XA_BUG_ON(xa, xas_error(&xas));
  797. for (i = base; i < base + (1UL << order); i++)
  798. xa_erase_index(xa, i);
  799. XA_BUG_ON(xa, !xa_empty(xa));
  800. }
  801. static noinline void check_create_range(struct xarray *xa)
  802. {
  803. unsigned int order;
  804. unsigned int max_order = IS_ENABLED(CONFIG_XARRAY_MULTI) ? 12 : 1;
  805. for (order = 0; order < max_order; order++) {
  806. check_create_range_1(xa, 0, order);
  807. check_create_range_1(xa, 1U << order, order);
  808. check_create_range_1(xa, 2U << order, order);
  809. check_create_range_1(xa, 3U << order, order);
  810. check_create_range_1(xa, 1U << 24, order);
  811. if (order < 10)
  812. check_create_range_2(xa, order);
  813. check_create_range_4(xa, 0, order);
  814. check_create_range_4(xa, 1U << order, order);
  815. check_create_range_4(xa, 2U << order, order);
  816. check_create_range_4(xa, 3U << order, order);
  817. check_create_range_4(xa, 1U << 24, order);
  818. check_create_range_4(xa, 1, order);
  819. check_create_range_4(xa, (1U << order) + 1, order);
  820. check_create_range_4(xa, (2U << order) + 1, order);
  821. check_create_range_4(xa, (2U << order) - 1, order);
  822. check_create_range_4(xa, (3U << order) + 1, order);
  823. check_create_range_4(xa, (3U << order) - 1, order);
  824. check_create_range_4(xa, (1U << 24) + 1, order);
  825. }
  826. check_create_range_3();
  827. }
  828. static LIST_HEAD(shadow_nodes);
  829. static void test_update_node(struct xa_node *node)
  830. {
  831. if (node->count && node->count == node->nr_values) {
  832. if (list_empty(&node->private_list))
  833. list_add(&shadow_nodes, &node->private_list);
  834. } else {
  835. if (!list_empty(&node->private_list))
  836. list_del_init(&node->private_list);
  837. }
  838. }
  839. static noinline void shadow_remove(struct xarray *xa)
  840. {
  841. struct xa_node *node;
  842. xa_lock(xa);
  843. while ((node = list_first_entry_or_null(&shadow_nodes,
  844. struct xa_node, private_list))) {
  845. XA_STATE(xas, node->array, 0);
  846. XA_BUG_ON(xa, node->array != xa);
  847. list_del_init(&node->private_list);
  848. xas.xa_node = xa_parent_locked(node->array, node);
  849. xas.xa_offset = node->offset;
  850. xas.xa_shift = node->shift + XA_CHUNK_SHIFT;
  851. xas_set_update(&xas, test_update_node);
  852. xas_store(&xas, NULL);
  853. }
  854. xa_unlock(xa);
  855. }
  856. static noinline void check_workingset(struct xarray *xa, unsigned long index)
  857. {
  858. XA_STATE(xas, xa, index);
  859. xas_set_update(&xas, test_update_node);
  860. do {
  861. xas_lock(&xas);
  862. xas_store(&xas, xa_mk_value(0));
  863. xas_next(&xas);
  864. xas_store(&xas, xa_mk_value(1));
  865. xas_unlock(&xas);
  866. } while (xas_nomem(&xas, GFP_KERNEL));
  867. XA_BUG_ON(xa, list_empty(&shadow_nodes));
  868. xas_lock(&xas);
  869. xas_next(&xas);
  870. xas_store(&xas, &xas);
  871. XA_BUG_ON(xa, !list_empty(&shadow_nodes));
  872. xas_store(&xas, xa_mk_value(2));
  873. xas_unlock(&xas);
  874. XA_BUG_ON(xa, list_empty(&shadow_nodes));
  875. shadow_remove(xa);
  876. XA_BUG_ON(xa, !list_empty(&shadow_nodes));
  877. XA_BUG_ON(xa, !xa_empty(xa));
  878. }
  879. /*
  880. * Check that the pointer / value / sibling entries are accounted the
  881. * way we expect them to be.
  882. */
  883. static noinline void check_account(struct xarray *xa)
  884. {
  885. #ifdef CONFIG_XARRAY_MULTI
  886. unsigned int order;
  887. for (order = 1; order < 12; order++) {
  888. XA_STATE(xas, xa, 1 << order);
  889. xa_store_order(xa, 0, order, xa, GFP_KERNEL);
  890. xas_load(&xas);
  891. XA_BUG_ON(xa, xas.xa_node->count == 0);
  892. XA_BUG_ON(xa, xas.xa_node->count > (1 << order));
  893. XA_BUG_ON(xa, xas.xa_node->nr_values != 0);
  894. xa_store_order(xa, 1 << order, order, xa_mk_value(1 << order),
  895. GFP_KERNEL);
  896. XA_BUG_ON(xa, xas.xa_node->count != xas.xa_node->nr_values * 2);
  897. xa_erase(xa, 1 << order);
  898. XA_BUG_ON(xa, xas.xa_node->nr_values != 0);
  899. xa_erase(xa, 0);
  900. XA_BUG_ON(xa, !xa_empty(xa));
  901. }
  902. #endif
  903. }
  904. static noinline void check_destroy(struct xarray *xa)
  905. {
  906. unsigned long index;
  907. XA_BUG_ON(xa, !xa_empty(xa));
  908. /* Destroying an empty array is a no-op */
  909. xa_destroy(xa);
  910. XA_BUG_ON(xa, !xa_empty(xa));
  911. /* Destroying an array with a single entry */
  912. for (index = 0; index < 1000; index++) {
  913. xa_store_index(xa, index, GFP_KERNEL);
  914. XA_BUG_ON(xa, xa_empty(xa));
  915. xa_destroy(xa);
  916. XA_BUG_ON(xa, !xa_empty(xa));
  917. }
  918. /* Destroying an array with a single entry at ULONG_MAX */
  919. xa_store(xa, ULONG_MAX, xa, GFP_KERNEL);
  920. XA_BUG_ON(xa, xa_empty(xa));
  921. xa_destroy(xa);
  922. XA_BUG_ON(xa, !xa_empty(xa));
  923. #ifdef CONFIG_XARRAY_MULTI
  924. /* Destroying an array with a multi-index entry */
  925. xa_store_order(xa, 1 << 11, 11, xa, GFP_KERNEL);
  926. XA_BUG_ON(xa, xa_empty(xa));
  927. xa_destroy(xa);
  928. XA_BUG_ON(xa, !xa_empty(xa));
  929. #endif
  930. }
  931. static DEFINE_XARRAY(array);
  932. static int xarray_checks(void)
  933. {
  934. check_xa_err(&array);
  935. check_xas_retry(&array);
  936. check_xa_load(&array);
  937. check_xa_mark(&array);
  938. check_xa_shrink(&array);
  939. check_xas_erase(&array);
  940. check_cmpxchg(&array);
  941. check_reserve(&array);
  942. check_multi_store(&array);
  943. check_xa_alloc();
  944. check_find(&array);
  945. check_find_entry(&array);
  946. check_account(&array);
  947. check_destroy(&array);
  948. check_move(&array);
  949. check_create_range(&array);
  950. check_store_iter(&array);
  951. check_workingset(&array, 0);
  952. check_workingset(&array, 64);
  953. check_workingset(&array, 4096);
  954. printk("XArray: %u of %u tests passed\n", tests_passed, tests_run);
  955. return (tests_run == tests_passed) ? 0 : -EINVAL;
  956. }
  957. static void xarray_exit(void)
  958. {
  959. }
  960. module_init(xarray_checks);
  961. module_exit(xarray_exit);
  962. MODULE_AUTHOR("Matthew Wilcox <willy@infradead.org>");
  963. MODULE_LICENSE("GPL");