test_xarray.c 33 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272
  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_STATE(xas, xa, i);
  175. unsigned int seen = 0;
  176. void *entry;
  177. XA_BUG_ON(xa, !xa_get_mark(xa, i, XA_MARK_0));
  178. XA_BUG_ON(xa, !xa_get_mark(xa, i, XA_MARK_1));
  179. XA_BUG_ON(xa, xa_get_mark(xa, i, XA_MARK_2));
  180. /* We should see two elements in the array */
  181. xas_for_each(&xas, entry, ULONG_MAX)
  182. seen++;
  183. XA_BUG_ON(xa, seen != 2);
  184. /* One of which is marked */
  185. xas_set(&xas, 0);
  186. seen = 0;
  187. xas_for_each_marked(&xas, entry, ULONG_MAX, XA_MARK_0)
  188. seen++;
  189. XA_BUG_ON(xa, seen != 1);
  190. }
  191. XA_BUG_ON(xa, xa_get_mark(xa, next, XA_MARK_0));
  192. XA_BUG_ON(xa, xa_get_mark(xa, next, XA_MARK_1));
  193. XA_BUG_ON(xa, xa_get_mark(xa, next, XA_MARK_2));
  194. xa_erase_index(xa, index);
  195. xa_erase_index(xa, next);
  196. XA_BUG_ON(xa, !xa_empty(xa));
  197. }
  198. XA_BUG_ON(xa, !xa_empty(xa));
  199. }
  200. static noinline void check_xa_mark_2(struct xarray *xa)
  201. {
  202. XA_STATE(xas, xa, 0);
  203. unsigned long index;
  204. unsigned int count = 0;
  205. void *entry;
  206. xa_store_index(xa, 0, GFP_KERNEL);
  207. xa_set_mark(xa, 0, XA_MARK_0);
  208. xas_lock(&xas);
  209. xas_load(&xas);
  210. xas_init_marks(&xas);
  211. xas_unlock(&xas);
  212. XA_BUG_ON(xa, !xa_get_mark(xa, 0, XA_MARK_0) == 0);
  213. for (index = 3500; index < 4500; index++) {
  214. xa_store_index(xa, index, GFP_KERNEL);
  215. xa_set_mark(xa, index, XA_MARK_0);
  216. }
  217. xas_reset(&xas);
  218. rcu_read_lock();
  219. xas_for_each_marked(&xas, entry, ULONG_MAX, XA_MARK_0)
  220. count++;
  221. rcu_read_unlock();
  222. XA_BUG_ON(xa, count != 1000);
  223. xas_lock(&xas);
  224. xas_for_each(&xas, entry, ULONG_MAX) {
  225. xas_init_marks(&xas);
  226. XA_BUG_ON(xa, !xa_get_mark(xa, xas.xa_index, XA_MARK_0));
  227. XA_BUG_ON(xa, !xas_get_mark(&xas, XA_MARK_0));
  228. }
  229. xas_unlock(&xas);
  230. xa_destroy(xa);
  231. }
  232. static noinline void check_xa_mark(struct xarray *xa)
  233. {
  234. unsigned long index;
  235. for (index = 0; index < 16384; index += 4)
  236. check_xa_mark_1(xa, index);
  237. check_xa_mark_2(xa);
  238. }
  239. static noinline void check_xa_shrink(struct xarray *xa)
  240. {
  241. XA_STATE(xas, xa, 1);
  242. struct xa_node *node;
  243. unsigned int order;
  244. unsigned int max_order = IS_ENABLED(CONFIG_XARRAY_MULTI) ? 15 : 1;
  245. XA_BUG_ON(xa, !xa_empty(xa));
  246. XA_BUG_ON(xa, xa_store_index(xa, 0, GFP_KERNEL) != NULL);
  247. XA_BUG_ON(xa, xa_store_index(xa, 1, GFP_KERNEL) != NULL);
  248. /*
  249. * Check that erasing the entry at 1 shrinks the tree and properly
  250. * marks the node as being deleted.
  251. */
  252. xas_lock(&xas);
  253. XA_BUG_ON(xa, xas_load(&xas) != xa_mk_value(1));
  254. node = xas.xa_node;
  255. XA_BUG_ON(xa, xa_entry_locked(xa, node, 0) != xa_mk_value(0));
  256. XA_BUG_ON(xa, xas_store(&xas, NULL) != xa_mk_value(1));
  257. XA_BUG_ON(xa, xa_load(xa, 1) != NULL);
  258. XA_BUG_ON(xa, xas.xa_node != XAS_BOUNDS);
  259. XA_BUG_ON(xa, xa_entry_locked(xa, node, 0) != XA_RETRY_ENTRY);
  260. XA_BUG_ON(xa, xas_load(&xas) != NULL);
  261. xas_unlock(&xas);
  262. XA_BUG_ON(xa, xa_load(xa, 0) != xa_mk_value(0));
  263. xa_erase_index(xa, 0);
  264. XA_BUG_ON(xa, !xa_empty(xa));
  265. for (order = 0; order < max_order; order++) {
  266. unsigned long max = (1UL << order) - 1;
  267. xa_store_order(xa, 0, order, xa_mk_value(0), GFP_KERNEL);
  268. XA_BUG_ON(xa, xa_load(xa, max) != xa_mk_value(0));
  269. XA_BUG_ON(xa, xa_load(xa, max + 1) != NULL);
  270. rcu_read_lock();
  271. node = xa_head(xa);
  272. rcu_read_unlock();
  273. XA_BUG_ON(xa, xa_store_index(xa, ULONG_MAX, GFP_KERNEL) !=
  274. NULL);
  275. rcu_read_lock();
  276. XA_BUG_ON(xa, xa_head(xa) == node);
  277. rcu_read_unlock();
  278. XA_BUG_ON(xa, xa_load(xa, max + 1) != NULL);
  279. xa_erase_index(xa, ULONG_MAX);
  280. XA_BUG_ON(xa, xa->xa_head != node);
  281. xa_erase_index(xa, 0);
  282. }
  283. }
  284. static noinline void check_cmpxchg(struct xarray *xa)
  285. {
  286. void *FIVE = xa_mk_value(5);
  287. void *SIX = xa_mk_value(6);
  288. void *LOTS = xa_mk_value(12345678);
  289. XA_BUG_ON(xa, !xa_empty(xa));
  290. XA_BUG_ON(xa, xa_store_index(xa, 12345678, GFP_KERNEL) != NULL);
  291. XA_BUG_ON(xa, xa_insert(xa, 12345678, xa, GFP_KERNEL) != -EEXIST);
  292. XA_BUG_ON(xa, xa_cmpxchg(xa, 12345678, SIX, FIVE, GFP_KERNEL) != LOTS);
  293. XA_BUG_ON(xa, xa_cmpxchg(xa, 12345678, LOTS, FIVE, GFP_KERNEL) != LOTS);
  294. XA_BUG_ON(xa, xa_cmpxchg(xa, 12345678, FIVE, LOTS, GFP_KERNEL) != FIVE);
  295. XA_BUG_ON(xa, xa_cmpxchg(xa, 5, FIVE, NULL, GFP_KERNEL) != NULL);
  296. XA_BUG_ON(xa, xa_cmpxchg(xa, 5, NULL, FIVE, GFP_KERNEL) != NULL);
  297. xa_erase_index(xa, 12345678);
  298. xa_erase_index(xa, 5);
  299. XA_BUG_ON(xa, !xa_empty(xa));
  300. }
  301. static noinline void check_reserve(struct xarray *xa)
  302. {
  303. void *entry;
  304. unsigned long index = 0;
  305. /* An array with a reserved entry is not empty */
  306. XA_BUG_ON(xa, !xa_empty(xa));
  307. xa_reserve(xa, 12345678, GFP_KERNEL);
  308. XA_BUG_ON(xa, xa_empty(xa));
  309. XA_BUG_ON(xa, xa_load(xa, 12345678));
  310. xa_release(xa, 12345678);
  311. XA_BUG_ON(xa, !xa_empty(xa));
  312. /* Releasing a used entry does nothing */
  313. xa_reserve(xa, 12345678, GFP_KERNEL);
  314. XA_BUG_ON(xa, xa_store_index(xa, 12345678, GFP_NOWAIT) != NULL);
  315. xa_release(xa, 12345678);
  316. xa_erase_index(xa, 12345678);
  317. XA_BUG_ON(xa, !xa_empty(xa));
  318. /* cmpxchg sees a reserved entry as NULL */
  319. xa_reserve(xa, 12345678, GFP_KERNEL);
  320. XA_BUG_ON(xa, xa_cmpxchg(xa, 12345678, NULL, xa_mk_value(12345678),
  321. GFP_NOWAIT) != NULL);
  322. xa_release(xa, 12345678);
  323. xa_erase_index(xa, 12345678);
  324. XA_BUG_ON(xa, !xa_empty(xa));
  325. /* And so does xa_insert */
  326. xa_reserve(xa, 12345678, GFP_KERNEL);
  327. XA_BUG_ON(xa, xa_insert(xa, 12345678, xa_mk_value(12345678), 0) != 0);
  328. xa_erase_index(xa, 12345678);
  329. XA_BUG_ON(xa, !xa_empty(xa));
  330. /* Can iterate through a reserved entry */
  331. xa_store_index(xa, 5, GFP_KERNEL);
  332. xa_reserve(xa, 6, GFP_KERNEL);
  333. xa_store_index(xa, 7, GFP_KERNEL);
  334. xa_for_each(xa, entry, index, ULONG_MAX, XA_PRESENT) {
  335. XA_BUG_ON(xa, index != 5 && index != 7);
  336. }
  337. xa_destroy(xa);
  338. }
  339. static noinline void check_xas_erase(struct xarray *xa)
  340. {
  341. XA_STATE(xas, xa, 0);
  342. void *entry;
  343. unsigned long i, j;
  344. for (i = 0; i < 200; i++) {
  345. for (j = i; j < 2 * i + 17; j++) {
  346. xas_set(&xas, j);
  347. do {
  348. xas_lock(&xas);
  349. xas_store(&xas, xa_mk_value(j));
  350. xas_unlock(&xas);
  351. } while (xas_nomem(&xas, GFP_KERNEL));
  352. }
  353. xas_set(&xas, ULONG_MAX);
  354. do {
  355. xas_lock(&xas);
  356. xas_store(&xas, xa_mk_value(0));
  357. xas_unlock(&xas);
  358. } while (xas_nomem(&xas, GFP_KERNEL));
  359. xas_lock(&xas);
  360. xas_store(&xas, NULL);
  361. xas_set(&xas, 0);
  362. j = i;
  363. xas_for_each(&xas, entry, ULONG_MAX) {
  364. XA_BUG_ON(xa, entry != xa_mk_value(j));
  365. xas_store(&xas, NULL);
  366. j++;
  367. }
  368. xas_unlock(&xas);
  369. XA_BUG_ON(xa, !xa_empty(xa));
  370. }
  371. }
  372. #ifdef CONFIG_XARRAY_MULTI
  373. static noinline void check_multi_store_1(struct xarray *xa, unsigned long index,
  374. unsigned int order)
  375. {
  376. XA_STATE(xas, xa, index);
  377. unsigned long min = index & ~((1UL << order) - 1);
  378. unsigned long max = min + (1UL << order);
  379. xa_store_order(xa, index, order, xa_mk_value(index), GFP_KERNEL);
  380. XA_BUG_ON(xa, xa_load(xa, min) != xa_mk_value(index));
  381. XA_BUG_ON(xa, xa_load(xa, max - 1) != xa_mk_value(index));
  382. XA_BUG_ON(xa, xa_load(xa, max) != NULL);
  383. XA_BUG_ON(xa, xa_load(xa, min - 1) != NULL);
  384. XA_BUG_ON(xa, xas_store(&xas, xa_mk_value(min)) != xa_mk_value(index));
  385. XA_BUG_ON(xa, xa_load(xa, min) != xa_mk_value(min));
  386. XA_BUG_ON(xa, xa_load(xa, max - 1) != xa_mk_value(min));
  387. XA_BUG_ON(xa, xa_load(xa, max) != NULL);
  388. XA_BUG_ON(xa, xa_load(xa, min - 1) != NULL);
  389. xa_erase_index(xa, min);
  390. XA_BUG_ON(xa, !xa_empty(xa));
  391. }
  392. static noinline void check_multi_store_2(struct xarray *xa, unsigned long index,
  393. unsigned int order)
  394. {
  395. XA_STATE(xas, xa, index);
  396. xa_store_order(xa, index, order, xa_mk_value(0), GFP_KERNEL);
  397. XA_BUG_ON(xa, xas_store(&xas, xa_mk_value(1)) != xa_mk_value(0));
  398. XA_BUG_ON(xa, xas.xa_index != index);
  399. XA_BUG_ON(xa, xas_store(&xas, NULL) != xa_mk_value(1));
  400. XA_BUG_ON(xa, !xa_empty(xa));
  401. }
  402. #endif
  403. static noinline void check_multi_store(struct xarray *xa)
  404. {
  405. #ifdef CONFIG_XARRAY_MULTI
  406. unsigned long i, j, k;
  407. unsigned int max_order = (sizeof(long) == 4) ? 30 : 60;
  408. /* Loading from any position returns the same value */
  409. xa_store_order(xa, 0, 1, xa_mk_value(0), GFP_KERNEL);
  410. XA_BUG_ON(xa, xa_load(xa, 0) != xa_mk_value(0));
  411. XA_BUG_ON(xa, xa_load(xa, 1) != xa_mk_value(0));
  412. XA_BUG_ON(xa, xa_load(xa, 2) != NULL);
  413. rcu_read_lock();
  414. XA_BUG_ON(xa, xa_to_node(xa_head(xa))->count != 2);
  415. XA_BUG_ON(xa, xa_to_node(xa_head(xa))->nr_values != 2);
  416. rcu_read_unlock();
  417. /* Storing adjacent to the value does not alter the value */
  418. xa_store(xa, 3, xa, GFP_KERNEL);
  419. XA_BUG_ON(xa, xa_load(xa, 0) != xa_mk_value(0));
  420. XA_BUG_ON(xa, xa_load(xa, 1) != xa_mk_value(0));
  421. XA_BUG_ON(xa, xa_load(xa, 2) != NULL);
  422. rcu_read_lock();
  423. XA_BUG_ON(xa, xa_to_node(xa_head(xa))->count != 3);
  424. XA_BUG_ON(xa, xa_to_node(xa_head(xa))->nr_values != 2);
  425. rcu_read_unlock();
  426. /* Overwriting multiple indexes works */
  427. xa_store_order(xa, 0, 2, xa_mk_value(1), GFP_KERNEL);
  428. XA_BUG_ON(xa, xa_load(xa, 0) != xa_mk_value(1));
  429. XA_BUG_ON(xa, xa_load(xa, 1) != xa_mk_value(1));
  430. XA_BUG_ON(xa, xa_load(xa, 2) != xa_mk_value(1));
  431. XA_BUG_ON(xa, xa_load(xa, 3) != xa_mk_value(1));
  432. XA_BUG_ON(xa, xa_load(xa, 4) != NULL);
  433. rcu_read_lock();
  434. XA_BUG_ON(xa, xa_to_node(xa_head(xa))->count != 4);
  435. XA_BUG_ON(xa, xa_to_node(xa_head(xa))->nr_values != 4);
  436. rcu_read_unlock();
  437. /* We can erase multiple values with a single store */
  438. xa_store_order(xa, 0, BITS_PER_LONG - 1, NULL, GFP_KERNEL);
  439. XA_BUG_ON(xa, !xa_empty(xa));
  440. /* Even when the first slot is empty but the others aren't */
  441. xa_store_index(xa, 1, GFP_KERNEL);
  442. xa_store_index(xa, 2, GFP_KERNEL);
  443. xa_store_order(xa, 0, 2, NULL, GFP_KERNEL);
  444. XA_BUG_ON(xa, !xa_empty(xa));
  445. for (i = 0; i < max_order; i++) {
  446. for (j = 0; j < max_order; j++) {
  447. xa_store_order(xa, 0, i, xa_mk_value(i), GFP_KERNEL);
  448. xa_store_order(xa, 0, j, xa_mk_value(j), GFP_KERNEL);
  449. for (k = 0; k < max_order; k++) {
  450. void *entry = xa_load(xa, (1UL << k) - 1);
  451. if ((i < k) && (j < k))
  452. XA_BUG_ON(xa, entry != NULL);
  453. else
  454. XA_BUG_ON(xa, entry != xa_mk_value(j));
  455. }
  456. xa_erase(xa, 0);
  457. XA_BUG_ON(xa, !xa_empty(xa));
  458. }
  459. }
  460. for (i = 0; i < 20; i++) {
  461. check_multi_store_1(xa, 200, i);
  462. check_multi_store_1(xa, 0, i);
  463. check_multi_store_1(xa, (1UL << i) + 1, i);
  464. }
  465. check_multi_store_2(xa, 4095, 9);
  466. #endif
  467. }
  468. static DEFINE_XARRAY_ALLOC(xa0);
  469. static noinline void check_xa_alloc(void)
  470. {
  471. int i;
  472. u32 id;
  473. /* An empty array should assign 0 to the first alloc */
  474. xa_alloc_index(&xa0, 0, GFP_KERNEL);
  475. /* Erasing it should make the array empty again */
  476. xa_erase_index(&xa0, 0);
  477. XA_BUG_ON(&xa0, !xa_empty(&xa0));
  478. /* And it should assign 0 again */
  479. xa_alloc_index(&xa0, 0, GFP_KERNEL);
  480. /* The next assigned ID should be 1 */
  481. xa_alloc_index(&xa0, 1, GFP_KERNEL);
  482. xa_erase_index(&xa0, 1);
  483. /* Storing a value should mark it used */
  484. xa_store_index(&xa0, 1, GFP_KERNEL);
  485. xa_alloc_index(&xa0, 2, GFP_KERNEL);
  486. /* If we then erase 0, it should be free */
  487. xa_erase_index(&xa0, 0);
  488. xa_alloc_index(&xa0, 0, GFP_KERNEL);
  489. xa_erase_index(&xa0, 1);
  490. xa_erase_index(&xa0, 2);
  491. for (i = 1; i < 5000; i++) {
  492. xa_alloc_index(&xa0, i, GFP_KERNEL);
  493. }
  494. xa_destroy(&xa0);
  495. id = 0xfffffffeU;
  496. XA_BUG_ON(&xa0, xa_alloc(&xa0, &id, UINT_MAX, xa_mk_value(0),
  497. GFP_KERNEL) != 0);
  498. XA_BUG_ON(&xa0, id != 0xfffffffeU);
  499. XA_BUG_ON(&xa0, xa_alloc(&xa0, &id, UINT_MAX, xa_mk_value(0),
  500. GFP_KERNEL) != 0);
  501. XA_BUG_ON(&xa0, id != 0xffffffffU);
  502. XA_BUG_ON(&xa0, xa_alloc(&xa0, &id, UINT_MAX, xa_mk_value(0),
  503. GFP_KERNEL) != -ENOSPC);
  504. XA_BUG_ON(&xa0, id != 0xffffffffU);
  505. xa_destroy(&xa0);
  506. }
  507. static noinline void __check_store_iter(struct xarray *xa, unsigned long start,
  508. unsigned int order, unsigned int present)
  509. {
  510. XA_STATE_ORDER(xas, xa, start, order);
  511. void *entry;
  512. unsigned int count = 0;
  513. retry:
  514. xas_lock(&xas);
  515. xas_for_each_conflict(&xas, entry) {
  516. XA_BUG_ON(xa, !xa_is_value(entry));
  517. XA_BUG_ON(xa, entry < xa_mk_value(start));
  518. XA_BUG_ON(xa, entry > xa_mk_value(start + (1UL << order) - 1));
  519. count++;
  520. }
  521. xas_store(&xas, xa_mk_value(start));
  522. xas_unlock(&xas);
  523. if (xas_nomem(&xas, GFP_KERNEL)) {
  524. count = 0;
  525. goto retry;
  526. }
  527. XA_BUG_ON(xa, xas_error(&xas));
  528. XA_BUG_ON(xa, count != present);
  529. XA_BUG_ON(xa, xa_load(xa, start) != xa_mk_value(start));
  530. XA_BUG_ON(xa, xa_load(xa, start + (1UL << order) - 1) !=
  531. xa_mk_value(start));
  532. xa_erase_index(xa, start);
  533. }
  534. static noinline void check_store_iter(struct xarray *xa)
  535. {
  536. unsigned int i, j;
  537. unsigned int max_order = IS_ENABLED(CONFIG_XARRAY_MULTI) ? 20 : 1;
  538. for (i = 0; i < max_order; i++) {
  539. unsigned int min = 1 << i;
  540. unsigned int max = (2 << i) - 1;
  541. __check_store_iter(xa, 0, i, 0);
  542. XA_BUG_ON(xa, !xa_empty(xa));
  543. __check_store_iter(xa, min, i, 0);
  544. XA_BUG_ON(xa, !xa_empty(xa));
  545. xa_store_index(xa, min, GFP_KERNEL);
  546. __check_store_iter(xa, min, i, 1);
  547. XA_BUG_ON(xa, !xa_empty(xa));
  548. xa_store_index(xa, max, GFP_KERNEL);
  549. __check_store_iter(xa, min, i, 1);
  550. XA_BUG_ON(xa, !xa_empty(xa));
  551. for (j = 0; j < min; j++)
  552. xa_store_index(xa, j, GFP_KERNEL);
  553. __check_store_iter(xa, 0, i, min);
  554. XA_BUG_ON(xa, !xa_empty(xa));
  555. for (j = 0; j < min; j++)
  556. xa_store_index(xa, min + j, GFP_KERNEL);
  557. __check_store_iter(xa, min, i, min);
  558. XA_BUG_ON(xa, !xa_empty(xa));
  559. }
  560. #ifdef CONFIG_XARRAY_MULTI
  561. xa_store_index(xa, 63, GFP_KERNEL);
  562. xa_store_index(xa, 65, GFP_KERNEL);
  563. __check_store_iter(xa, 64, 2, 1);
  564. xa_erase_index(xa, 63);
  565. #endif
  566. XA_BUG_ON(xa, !xa_empty(xa));
  567. }
  568. static noinline void check_multi_find(struct xarray *xa)
  569. {
  570. #ifdef CONFIG_XARRAY_MULTI
  571. unsigned long index;
  572. xa_store_order(xa, 12, 2, xa_mk_value(12), GFP_KERNEL);
  573. XA_BUG_ON(xa, xa_store_index(xa, 16, GFP_KERNEL) != NULL);
  574. index = 0;
  575. XA_BUG_ON(xa, xa_find(xa, &index, ULONG_MAX, XA_PRESENT) !=
  576. xa_mk_value(12));
  577. XA_BUG_ON(xa, index != 12);
  578. index = 13;
  579. XA_BUG_ON(xa, xa_find(xa, &index, ULONG_MAX, XA_PRESENT) !=
  580. xa_mk_value(12));
  581. XA_BUG_ON(xa, (index < 12) || (index >= 16));
  582. XA_BUG_ON(xa, xa_find_after(xa, &index, ULONG_MAX, XA_PRESENT) !=
  583. xa_mk_value(16));
  584. XA_BUG_ON(xa, index != 16);
  585. xa_erase_index(xa, 12);
  586. xa_erase_index(xa, 16);
  587. XA_BUG_ON(xa, !xa_empty(xa));
  588. #endif
  589. }
  590. static noinline void check_multi_find_2(struct xarray *xa)
  591. {
  592. unsigned int max_order = IS_ENABLED(CONFIG_XARRAY_MULTI) ? 10 : 1;
  593. unsigned int i, j;
  594. void *entry;
  595. for (i = 0; i < max_order; i++) {
  596. unsigned long index = 1UL << i;
  597. for (j = 0; j < index; j++) {
  598. XA_STATE(xas, xa, j + index);
  599. xa_store_index(xa, index - 1, GFP_KERNEL);
  600. xa_store_order(xa, index, i, xa_mk_value(index),
  601. GFP_KERNEL);
  602. rcu_read_lock();
  603. xas_for_each(&xas, entry, ULONG_MAX) {
  604. xa_erase_index(xa, index);
  605. }
  606. rcu_read_unlock();
  607. xa_erase_index(xa, index - 1);
  608. XA_BUG_ON(xa, !xa_empty(xa));
  609. }
  610. }
  611. }
  612. static noinline void check_find_1(struct xarray *xa)
  613. {
  614. unsigned long i, j, k;
  615. XA_BUG_ON(xa, !xa_empty(xa));
  616. /*
  617. * Check xa_find with all pairs between 0 and 99 inclusive,
  618. * starting at every index between 0 and 99
  619. */
  620. for (i = 0; i < 100; i++) {
  621. XA_BUG_ON(xa, xa_store_index(xa, i, GFP_KERNEL) != NULL);
  622. xa_set_mark(xa, i, XA_MARK_0);
  623. for (j = 0; j < i; j++) {
  624. XA_BUG_ON(xa, xa_store_index(xa, j, GFP_KERNEL) !=
  625. NULL);
  626. xa_set_mark(xa, j, XA_MARK_0);
  627. for (k = 0; k < 100; k++) {
  628. unsigned long index = k;
  629. void *entry = xa_find(xa, &index, ULONG_MAX,
  630. XA_PRESENT);
  631. if (k <= j)
  632. XA_BUG_ON(xa, index != j);
  633. else if (k <= i)
  634. XA_BUG_ON(xa, index != i);
  635. else
  636. XA_BUG_ON(xa, entry != NULL);
  637. index = k;
  638. entry = xa_find(xa, &index, ULONG_MAX,
  639. XA_MARK_0);
  640. if (k <= j)
  641. XA_BUG_ON(xa, index != j);
  642. else if (k <= i)
  643. XA_BUG_ON(xa, index != i);
  644. else
  645. XA_BUG_ON(xa, entry != NULL);
  646. }
  647. xa_erase_index(xa, j);
  648. XA_BUG_ON(xa, xa_get_mark(xa, j, XA_MARK_0));
  649. XA_BUG_ON(xa, !xa_get_mark(xa, i, XA_MARK_0));
  650. }
  651. xa_erase_index(xa, i);
  652. XA_BUG_ON(xa, xa_get_mark(xa, i, XA_MARK_0));
  653. }
  654. XA_BUG_ON(xa, !xa_empty(xa));
  655. }
  656. static noinline void check_find_2(struct xarray *xa)
  657. {
  658. void *entry;
  659. unsigned long i, j, index = 0;
  660. xa_for_each(xa, entry, index, ULONG_MAX, XA_PRESENT) {
  661. XA_BUG_ON(xa, true);
  662. }
  663. for (i = 0; i < 1024; i++) {
  664. xa_store_index(xa, index, GFP_KERNEL);
  665. j = 0;
  666. index = 0;
  667. xa_for_each(xa, entry, index, ULONG_MAX, XA_PRESENT) {
  668. XA_BUG_ON(xa, xa_mk_value(index) != entry);
  669. XA_BUG_ON(xa, index != j++);
  670. }
  671. }
  672. xa_destroy(xa);
  673. }
  674. static noinline void check_find(struct xarray *xa)
  675. {
  676. check_find_1(xa);
  677. check_find_2(xa);
  678. check_multi_find(xa);
  679. check_multi_find_2(xa);
  680. }
  681. /* See find_swap_entry() in mm/shmem.c */
  682. static noinline unsigned long xa_find_entry(struct xarray *xa, void *item)
  683. {
  684. XA_STATE(xas, xa, 0);
  685. unsigned int checked = 0;
  686. void *entry;
  687. rcu_read_lock();
  688. xas_for_each(&xas, entry, ULONG_MAX) {
  689. if (xas_retry(&xas, entry))
  690. continue;
  691. if (entry == item)
  692. break;
  693. checked++;
  694. if ((checked % 4) != 0)
  695. continue;
  696. xas_pause(&xas);
  697. }
  698. rcu_read_unlock();
  699. return entry ? xas.xa_index : -1;
  700. }
  701. static noinline void check_find_entry(struct xarray *xa)
  702. {
  703. #ifdef CONFIG_XARRAY_MULTI
  704. unsigned int order;
  705. unsigned long offset, index;
  706. for (order = 0; order < 20; order++) {
  707. for (offset = 0; offset < (1UL << (order + 3));
  708. offset += (1UL << order)) {
  709. for (index = 0; index < (1UL << (order + 5));
  710. index += (1UL << order)) {
  711. xa_store_order(xa, index, order,
  712. xa_mk_value(index), GFP_KERNEL);
  713. XA_BUG_ON(xa, xa_load(xa, index) !=
  714. xa_mk_value(index));
  715. XA_BUG_ON(xa, xa_find_entry(xa,
  716. xa_mk_value(index)) != index);
  717. }
  718. XA_BUG_ON(xa, xa_find_entry(xa, xa) != -1);
  719. xa_destroy(xa);
  720. }
  721. }
  722. #endif
  723. XA_BUG_ON(xa, xa_find_entry(xa, xa) != -1);
  724. xa_store_index(xa, ULONG_MAX, GFP_KERNEL);
  725. XA_BUG_ON(xa, xa_find_entry(xa, xa) != -1);
  726. XA_BUG_ON(xa, xa_find_entry(xa, xa_mk_value(LONG_MAX)) != -1);
  727. xa_erase_index(xa, ULONG_MAX);
  728. XA_BUG_ON(xa, !xa_empty(xa));
  729. }
  730. static noinline void check_move_small(struct xarray *xa, unsigned long idx)
  731. {
  732. XA_STATE(xas, xa, 0);
  733. unsigned long i;
  734. xa_store_index(xa, 0, GFP_KERNEL);
  735. xa_store_index(xa, idx, GFP_KERNEL);
  736. rcu_read_lock();
  737. for (i = 0; i < idx * 4; i++) {
  738. void *entry = xas_next(&xas);
  739. if (i <= idx)
  740. XA_BUG_ON(xa, xas.xa_node == XAS_RESTART);
  741. XA_BUG_ON(xa, xas.xa_index != i);
  742. if (i == 0 || i == idx)
  743. XA_BUG_ON(xa, entry != xa_mk_value(i));
  744. else
  745. XA_BUG_ON(xa, entry != NULL);
  746. }
  747. xas_next(&xas);
  748. XA_BUG_ON(xa, xas.xa_index != i);
  749. do {
  750. void *entry = xas_prev(&xas);
  751. i--;
  752. if (i <= idx)
  753. XA_BUG_ON(xa, xas.xa_node == XAS_RESTART);
  754. XA_BUG_ON(xa, xas.xa_index != i);
  755. if (i == 0 || i == idx)
  756. XA_BUG_ON(xa, entry != xa_mk_value(i));
  757. else
  758. XA_BUG_ON(xa, entry != NULL);
  759. } while (i > 0);
  760. xas_set(&xas, ULONG_MAX);
  761. XA_BUG_ON(xa, xas_next(&xas) != NULL);
  762. XA_BUG_ON(xa, xas.xa_index != ULONG_MAX);
  763. XA_BUG_ON(xa, xas_next(&xas) != xa_mk_value(0));
  764. XA_BUG_ON(xa, xas.xa_index != 0);
  765. XA_BUG_ON(xa, xas_prev(&xas) != NULL);
  766. XA_BUG_ON(xa, xas.xa_index != ULONG_MAX);
  767. rcu_read_unlock();
  768. xa_erase_index(xa, 0);
  769. xa_erase_index(xa, idx);
  770. XA_BUG_ON(xa, !xa_empty(xa));
  771. }
  772. static noinline void check_move(struct xarray *xa)
  773. {
  774. XA_STATE(xas, xa, (1 << 16) - 1);
  775. unsigned long i;
  776. for (i = 0; i < (1 << 16); i++)
  777. XA_BUG_ON(xa, xa_store_index(xa, i, GFP_KERNEL) != NULL);
  778. rcu_read_lock();
  779. do {
  780. void *entry = xas_prev(&xas);
  781. i--;
  782. XA_BUG_ON(xa, entry != xa_mk_value(i));
  783. XA_BUG_ON(xa, i != xas.xa_index);
  784. } while (i != 0);
  785. XA_BUG_ON(xa, xas_prev(&xas) != NULL);
  786. XA_BUG_ON(xa, xas.xa_index != ULONG_MAX);
  787. do {
  788. void *entry = xas_next(&xas);
  789. XA_BUG_ON(xa, entry != xa_mk_value(i));
  790. XA_BUG_ON(xa, i != xas.xa_index);
  791. i++;
  792. } while (i < (1 << 16));
  793. rcu_read_unlock();
  794. for (i = (1 << 8); i < (1 << 15); i++)
  795. xa_erase_index(xa, i);
  796. i = xas.xa_index;
  797. rcu_read_lock();
  798. do {
  799. void *entry = xas_prev(&xas);
  800. i--;
  801. if ((i < (1 << 8)) || (i >= (1 << 15)))
  802. XA_BUG_ON(xa, entry != xa_mk_value(i));
  803. else
  804. XA_BUG_ON(xa, entry != NULL);
  805. XA_BUG_ON(xa, i != xas.xa_index);
  806. } while (i != 0);
  807. XA_BUG_ON(xa, xas_prev(&xas) != NULL);
  808. XA_BUG_ON(xa, xas.xa_index != ULONG_MAX);
  809. do {
  810. void *entry = xas_next(&xas);
  811. if ((i < (1 << 8)) || (i >= (1 << 15)))
  812. XA_BUG_ON(xa, entry != xa_mk_value(i));
  813. else
  814. XA_BUG_ON(xa, entry != NULL);
  815. XA_BUG_ON(xa, i != xas.xa_index);
  816. i++;
  817. } while (i < (1 << 16));
  818. rcu_read_unlock();
  819. xa_destroy(xa);
  820. for (i = 0; i < 16; i++)
  821. check_move_small(xa, 1UL << i);
  822. for (i = 2; i < 16; i++)
  823. check_move_small(xa, (1UL << i) - 1);
  824. }
  825. static noinline void xa_store_many_order(struct xarray *xa,
  826. unsigned long index, unsigned order)
  827. {
  828. XA_STATE_ORDER(xas, xa, index, order);
  829. unsigned int i = 0;
  830. do {
  831. xas_lock(&xas);
  832. XA_BUG_ON(xa, xas_find_conflict(&xas));
  833. xas_create_range(&xas);
  834. if (xas_error(&xas))
  835. goto unlock;
  836. for (i = 0; i < (1U << order); i++) {
  837. XA_BUG_ON(xa, xas_store(&xas, xa_mk_value(index + i)));
  838. xas_next(&xas);
  839. }
  840. unlock:
  841. xas_unlock(&xas);
  842. } while (xas_nomem(&xas, GFP_KERNEL));
  843. XA_BUG_ON(xa, xas_error(&xas));
  844. }
  845. static noinline void check_create_range_1(struct xarray *xa,
  846. unsigned long index, unsigned order)
  847. {
  848. unsigned long i;
  849. xa_store_many_order(xa, index, order);
  850. for (i = index; i < index + (1UL << order); i++)
  851. xa_erase_index(xa, i);
  852. XA_BUG_ON(xa, !xa_empty(xa));
  853. }
  854. static noinline void check_create_range_2(struct xarray *xa, unsigned order)
  855. {
  856. unsigned long i;
  857. unsigned long nr = 1UL << order;
  858. for (i = 0; i < nr * nr; i += nr)
  859. xa_store_many_order(xa, i, order);
  860. for (i = 0; i < nr * nr; i++)
  861. xa_erase_index(xa, i);
  862. XA_BUG_ON(xa, !xa_empty(xa));
  863. }
  864. static noinline void check_create_range_3(void)
  865. {
  866. XA_STATE(xas, NULL, 0);
  867. xas_set_err(&xas, -EEXIST);
  868. xas_create_range(&xas);
  869. XA_BUG_ON(NULL, xas_error(&xas) != -EEXIST);
  870. }
  871. static noinline void check_create_range_4(struct xarray *xa,
  872. unsigned long index, unsigned order)
  873. {
  874. XA_STATE_ORDER(xas, xa, index, order);
  875. unsigned long base = xas.xa_index;
  876. unsigned long i = 0;
  877. xa_store_index(xa, index, GFP_KERNEL);
  878. do {
  879. xas_lock(&xas);
  880. xas_create_range(&xas);
  881. if (xas_error(&xas))
  882. goto unlock;
  883. for (i = 0; i < (1UL << order); i++) {
  884. void *old = xas_store(&xas, xa_mk_value(base + i));
  885. if (xas.xa_index == index)
  886. XA_BUG_ON(xa, old != xa_mk_value(base + i));
  887. else
  888. XA_BUG_ON(xa, old != NULL);
  889. xas_next(&xas);
  890. }
  891. unlock:
  892. xas_unlock(&xas);
  893. } while (xas_nomem(&xas, GFP_KERNEL));
  894. XA_BUG_ON(xa, xas_error(&xas));
  895. for (i = base; i < base + (1UL << order); i++)
  896. xa_erase_index(xa, i);
  897. XA_BUG_ON(xa, !xa_empty(xa));
  898. }
  899. static noinline void check_create_range(struct xarray *xa)
  900. {
  901. unsigned int order;
  902. unsigned int max_order = IS_ENABLED(CONFIG_XARRAY_MULTI) ? 12 : 1;
  903. for (order = 0; order < max_order; order++) {
  904. check_create_range_1(xa, 0, order);
  905. check_create_range_1(xa, 1U << order, order);
  906. check_create_range_1(xa, 2U << order, order);
  907. check_create_range_1(xa, 3U << order, order);
  908. check_create_range_1(xa, 1U << 24, order);
  909. if (order < 10)
  910. check_create_range_2(xa, order);
  911. check_create_range_4(xa, 0, order);
  912. check_create_range_4(xa, 1U << order, order);
  913. check_create_range_4(xa, 2U << order, order);
  914. check_create_range_4(xa, 3U << order, order);
  915. check_create_range_4(xa, 1U << 24, order);
  916. check_create_range_4(xa, 1, order);
  917. check_create_range_4(xa, (1U << order) + 1, order);
  918. check_create_range_4(xa, (2U << order) + 1, order);
  919. check_create_range_4(xa, (2U << order) - 1, order);
  920. check_create_range_4(xa, (3U << order) + 1, order);
  921. check_create_range_4(xa, (3U << order) - 1, order);
  922. check_create_range_4(xa, (1U << 24) + 1, order);
  923. }
  924. check_create_range_3();
  925. }
  926. static noinline void __check_store_range(struct xarray *xa, unsigned long first,
  927. unsigned long last)
  928. {
  929. #ifdef CONFIG_XARRAY_MULTI
  930. xa_store_range(xa, first, last, xa_mk_value(first), GFP_KERNEL);
  931. XA_BUG_ON(xa, xa_load(xa, first) != xa_mk_value(first));
  932. XA_BUG_ON(xa, xa_load(xa, last) != xa_mk_value(first));
  933. XA_BUG_ON(xa, xa_load(xa, first - 1) != NULL);
  934. XA_BUG_ON(xa, xa_load(xa, last + 1) != NULL);
  935. xa_store_range(xa, first, last, NULL, GFP_KERNEL);
  936. #endif
  937. XA_BUG_ON(xa, !xa_empty(xa));
  938. }
  939. static noinline void check_store_range(struct xarray *xa)
  940. {
  941. unsigned long i, j;
  942. for (i = 0; i < 128; i++) {
  943. for (j = i; j < 128; j++) {
  944. __check_store_range(xa, i, j);
  945. __check_store_range(xa, 128 + i, 128 + j);
  946. __check_store_range(xa, 4095 + i, 4095 + j);
  947. __check_store_range(xa, 4096 + i, 4096 + j);
  948. __check_store_range(xa, 123456 + i, 123456 + j);
  949. __check_store_range(xa, (1 << 24) + i, (1 << 24) + j);
  950. }
  951. }
  952. }
  953. static LIST_HEAD(shadow_nodes);
  954. static void test_update_node(struct xa_node *node)
  955. {
  956. if (node->count && node->count == node->nr_values) {
  957. if (list_empty(&node->private_list))
  958. list_add(&shadow_nodes, &node->private_list);
  959. } else {
  960. if (!list_empty(&node->private_list))
  961. list_del_init(&node->private_list);
  962. }
  963. }
  964. static noinline void shadow_remove(struct xarray *xa)
  965. {
  966. struct xa_node *node;
  967. xa_lock(xa);
  968. while ((node = list_first_entry_or_null(&shadow_nodes,
  969. struct xa_node, private_list))) {
  970. XA_STATE(xas, node->array, 0);
  971. XA_BUG_ON(xa, node->array != xa);
  972. list_del_init(&node->private_list);
  973. xas.xa_node = xa_parent_locked(node->array, node);
  974. xas.xa_offset = node->offset;
  975. xas.xa_shift = node->shift + XA_CHUNK_SHIFT;
  976. xas_set_update(&xas, test_update_node);
  977. xas_store(&xas, NULL);
  978. }
  979. xa_unlock(xa);
  980. }
  981. static noinline void check_workingset(struct xarray *xa, unsigned long index)
  982. {
  983. XA_STATE(xas, xa, index);
  984. xas_set_update(&xas, test_update_node);
  985. do {
  986. xas_lock(&xas);
  987. xas_store(&xas, xa_mk_value(0));
  988. xas_next(&xas);
  989. xas_store(&xas, xa_mk_value(1));
  990. xas_unlock(&xas);
  991. } while (xas_nomem(&xas, GFP_KERNEL));
  992. XA_BUG_ON(xa, list_empty(&shadow_nodes));
  993. xas_lock(&xas);
  994. xas_next(&xas);
  995. xas_store(&xas, &xas);
  996. XA_BUG_ON(xa, !list_empty(&shadow_nodes));
  997. xas_store(&xas, xa_mk_value(2));
  998. xas_unlock(&xas);
  999. XA_BUG_ON(xa, list_empty(&shadow_nodes));
  1000. shadow_remove(xa);
  1001. XA_BUG_ON(xa, !list_empty(&shadow_nodes));
  1002. XA_BUG_ON(xa, !xa_empty(xa));
  1003. }
  1004. /*
  1005. * Check that the pointer / value / sibling entries are accounted the
  1006. * way we expect them to be.
  1007. */
  1008. static noinline void check_account(struct xarray *xa)
  1009. {
  1010. #ifdef CONFIG_XARRAY_MULTI
  1011. unsigned int order;
  1012. for (order = 1; order < 12; order++) {
  1013. XA_STATE(xas, xa, 1 << order);
  1014. xa_store_order(xa, 0, order, xa, GFP_KERNEL);
  1015. xas_load(&xas);
  1016. XA_BUG_ON(xa, xas.xa_node->count == 0);
  1017. XA_BUG_ON(xa, xas.xa_node->count > (1 << order));
  1018. XA_BUG_ON(xa, xas.xa_node->nr_values != 0);
  1019. xa_store_order(xa, 1 << order, order, xa_mk_value(1 << order),
  1020. GFP_KERNEL);
  1021. XA_BUG_ON(xa, xas.xa_node->count != xas.xa_node->nr_values * 2);
  1022. xa_erase(xa, 1 << order);
  1023. XA_BUG_ON(xa, xas.xa_node->nr_values != 0);
  1024. xa_erase(xa, 0);
  1025. XA_BUG_ON(xa, !xa_empty(xa));
  1026. }
  1027. #endif
  1028. }
  1029. static noinline void check_destroy(struct xarray *xa)
  1030. {
  1031. unsigned long index;
  1032. XA_BUG_ON(xa, !xa_empty(xa));
  1033. /* Destroying an empty array is a no-op */
  1034. xa_destroy(xa);
  1035. XA_BUG_ON(xa, !xa_empty(xa));
  1036. /* Destroying an array with a single entry */
  1037. for (index = 0; index < 1000; index++) {
  1038. xa_store_index(xa, index, GFP_KERNEL);
  1039. XA_BUG_ON(xa, xa_empty(xa));
  1040. xa_destroy(xa);
  1041. XA_BUG_ON(xa, !xa_empty(xa));
  1042. }
  1043. /* Destroying an array with a single entry at ULONG_MAX */
  1044. xa_store(xa, ULONG_MAX, xa, GFP_KERNEL);
  1045. XA_BUG_ON(xa, xa_empty(xa));
  1046. xa_destroy(xa);
  1047. XA_BUG_ON(xa, !xa_empty(xa));
  1048. #ifdef CONFIG_XARRAY_MULTI
  1049. /* Destroying an array with a multi-index entry */
  1050. xa_store_order(xa, 1 << 11, 11, xa, GFP_KERNEL);
  1051. XA_BUG_ON(xa, xa_empty(xa));
  1052. xa_destroy(xa);
  1053. XA_BUG_ON(xa, !xa_empty(xa));
  1054. #endif
  1055. }
  1056. static DEFINE_XARRAY(array);
  1057. static int xarray_checks(void)
  1058. {
  1059. check_xa_err(&array);
  1060. check_xas_retry(&array);
  1061. check_xa_load(&array);
  1062. check_xa_mark(&array);
  1063. check_xa_shrink(&array);
  1064. check_xas_erase(&array);
  1065. check_cmpxchg(&array);
  1066. check_reserve(&array);
  1067. check_multi_store(&array);
  1068. check_xa_alloc();
  1069. check_find(&array);
  1070. check_find_entry(&array);
  1071. check_account(&array);
  1072. check_destroy(&array);
  1073. check_move(&array);
  1074. check_create_range(&array);
  1075. check_store_range(&array);
  1076. check_store_iter(&array);
  1077. check_workingset(&array, 0);
  1078. check_workingset(&array, 64);
  1079. check_workingset(&array, 4096);
  1080. printk("XArray: %u of %u tests passed\n", tests_passed, tests_run);
  1081. return (tests_run == tests_passed) ? 0 : -EINVAL;
  1082. }
  1083. static void xarray_exit(void)
  1084. {
  1085. }
  1086. module_init(xarray_checks);
  1087. module_exit(xarray_exit);
  1088. MODULE_AUTHOR("Matthew Wilcox <willy@infradead.org>");
  1089. MODULE_LICENSE("GPL");