test_xarray.c 33 KB

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