test.c 7.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310
  1. #include <stdlib.h>
  2. #include <assert.h>
  3. #include <stdio.h>
  4. #include <linux/types.h>
  5. #include <linux/kernel.h>
  6. #include <linux/bitops.h>
  7. #include "test.h"
  8. struct item *
  9. item_tag_set(struct radix_tree_root *root, unsigned long index, int tag)
  10. {
  11. return radix_tree_tag_set(root, index, tag);
  12. }
  13. struct item *
  14. item_tag_clear(struct radix_tree_root *root, unsigned long index, int tag)
  15. {
  16. return radix_tree_tag_clear(root, index, tag);
  17. }
  18. int item_tag_get(struct radix_tree_root *root, unsigned long index, int tag)
  19. {
  20. return radix_tree_tag_get(root, index, tag);
  21. }
  22. int __item_insert(struct radix_tree_root *root, struct item *item)
  23. {
  24. return __radix_tree_insert(root, item->index, item->order, item);
  25. }
  26. int item_insert(struct radix_tree_root *root, unsigned long index)
  27. {
  28. return __item_insert(root, item_create(index, 0));
  29. }
  30. int item_insert_order(struct radix_tree_root *root, unsigned long index,
  31. unsigned order)
  32. {
  33. return __item_insert(root, item_create(index, order));
  34. }
  35. void item_sanity(struct item *item, unsigned long index)
  36. {
  37. unsigned long mask;
  38. assert(!radix_tree_is_internal_node(item));
  39. assert(item->order < BITS_PER_LONG);
  40. mask = (1UL << item->order) - 1;
  41. assert((item->index | mask) == (index | mask));
  42. }
  43. int item_delete(struct radix_tree_root *root, unsigned long index)
  44. {
  45. struct item *item = radix_tree_delete(root, index);
  46. if (item) {
  47. item_sanity(item, index);
  48. free(item);
  49. return 1;
  50. }
  51. return 0;
  52. }
  53. struct item *item_create(unsigned long index, unsigned int order)
  54. {
  55. struct item *ret = malloc(sizeof(*ret));
  56. ret->index = index;
  57. ret->order = order;
  58. return ret;
  59. }
  60. void item_check_present(struct radix_tree_root *root, unsigned long index)
  61. {
  62. struct item *item;
  63. item = radix_tree_lookup(root, index);
  64. assert(item != NULL);
  65. item_sanity(item, index);
  66. }
  67. struct item *item_lookup(struct radix_tree_root *root, unsigned long index)
  68. {
  69. return radix_tree_lookup(root, index);
  70. }
  71. void item_check_absent(struct radix_tree_root *root, unsigned long index)
  72. {
  73. struct item *item;
  74. item = radix_tree_lookup(root, index);
  75. assert(item == NULL);
  76. }
  77. /*
  78. * Scan only the passed (start, start+nr] for present items
  79. */
  80. void item_gang_check_present(struct radix_tree_root *root,
  81. unsigned long start, unsigned long nr,
  82. int chunk, int hop)
  83. {
  84. struct item *items[chunk];
  85. unsigned long into;
  86. for (into = 0; into < nr; ) {
  87. int nfound;
  88. int nr_to_find = chunk;
  89. int i;
  90. if (nr_to_find > (nr - into))
  91. nr_to_find = nr - into;
  92. nfound = radix_tree_gang_lookup(root, (void **)items,
  93. start + into, nr_to_find);
  94. assert(nfound == nr_to_find);
  95. for (i = 0; i < nfound; i++)
  96. assert(items[i]->index == start + into + i);
  97. into += hop;
  98. }
  99. }
  100. /*
  101. * Scan the entire tree, only expecting present items (start, start+nr]
  102. */
  103. void item_full_scan(struct radix_tree_root *root, unsigned long start,
  104. unsigned long nr, int chunk)
  105. {
  106. struct item *items[chunk];
  107. unsigned long into = 0;
  108. unsigned long this_index = start;
  109. int nfound;
  110. int i;
  111. // printf("%s(0x%08lx, 0x%08lx, %d)\n", __FUNCTION__, start, nr, chunk);
  112. while ((nfound = radix_tree_gang_lookup(root, (void **)items, into,
  113. chunk))) {
  114. // printf("At 0x%08lx, nfound=%d\n", into, nfound);
  115. for (i = 0; i < nfound; i++) {
  116. assert(items[i]->index == this_index);
  117. this_index++;
  118. }
  119. // printf("Found 0x%08lx->0x%08lx\n",
  120. // items[0]->index, items[nfound-1]->index);
  121. into = this_index;
  122. }
  123. if (chunk)
  124. assert(this_index == start + nr);
  125. nfound = radix_tree_gang_lookup(root, (void **)items,
  126. this_index, chunk);
  127. assert(nfound == 0);
  128. }
  129. /* Use the same pattern as tag_pages_for_writeback() in mm/page-writeback.c */
  130. int tag_tagged_items(struct radix_tree_root *root, pthread_mutex_t *lock,
  131. unsigned long start, unsigned long end, unsigned batch,
  132. unsigned iftag, unsigned thentag)
  133. {
  134. unsigned long tagged = 0;
  135. struct radix_tree_iter iter;
  136. void **slot;
  137. if (batch == 0)
  138. batch = 1;
  139. if (lock)
  140. pthread_mutex_lock(lock);
  141. radix_tree_for_each_tagged(slot, root, &iter, start, iftag) {
  142. if (iter.index > end)
  143. break;
  144. radix_tree_iter_tag_set(root, &iter, thentag);
  145. tagged++;
  146. if ((tagged % batch) != 0)
  147. continue;
  148. slot = radix_tree_iter_resume(slot, &iter);
  149. if (lock) {
  150. pthread_mutex_unlock(lock);
  151. rcu_barrier();
  152. pthread_mutex_lock(lock);
  153. }
  154. }
  155. if (lock)
  156. pthread_mutex_unlock(lock);
  157. return tagged;
  158. }
  159. /* Use the same pattern as find_swap_entry() in mm/shmem.c */
  160. unsigned long find_item(struct radix_tree_root *root, void *item)
  161. {
  162. struct radix_tree_iter iter;
  163. void **slot;
  164. unsigned long found = -1;
  165. unsigned long checked = 0;
  166. radix_tree_for_each_slot(slot, root, &iter, 0) {
  167. if (*slot == item) {
  168. found = iter.index;
  169. break;
  170. }
  171. checked++;
  172. if ((checked % 4) != 0)
  173. continue;
  174. slot = radix_tree_iter_resume(slot, &iter);
  175. }
  176. return found;
  177. }
  178. static int verify_node(struct radix_tree_node *slot, unsigned int tag,
  179. int tagged)
  180. {
  181. int anyset = 0;
  182. int i;
  183. int j;
  184. slot = entry_to_node(slot);
  185. /* Verify consistency at this level */
  186. for (i = 0; i < RADIX_TREE_TAG_LONGS; i++) {
  187. if (slot->tags[tag][i]) {
  188. anyset = 1;
  189. break;
  190. }
  191. }
  192. if (tagged != anyset) {
  193. printf("tag: %u, shift %u, tagged: %d, anyset: %d\n",
  194. tag, slot->shift, tagged, anyset);
  195. for (j = 0; j < RADIX_TREE_MAX_TAGS; j++) {
  196. printf("tag %d: ", j);
  197. for (i = 0; i < RADIX_TREE_TAG_LONGS; i++)
  198. printf("%016lx ", slot->tags[j][i]);
  199. printf("\n");
  200. }
  201. return 1;
  202. }
  203. assert(tagged == anyset);
  204. /* Go for next level */
  205. if (slot->shift > 0) {
  206. for (i = 0; i < RADIX_TREE_MAP_SIZE; i++)
  207. if (slot->slots[i])
  208. if (verify_node(slot->slots[i], tag,
  209. !!test_bit(i, slot->tags[tag]))) {
  210. printf("Failure at off %d\n", i);
  211. for (j = 0; j < RADIX_TREE_MAX_TAGS; j++) {
  212. printf("tag %d: ", j);
  213. for (i = 0; i < RADIX_TREE_TAG_LONGS; i++)
  214. printf("%016lx ", slot->tags[j][i]);
  215. printf("\n");
  216. }
  217. return 1;
  218. }
  219. }
  220. return 0;
  221. }
  222. void verify_tag_consistency(struct radix_tree_root *root, unsigned int tag)
  223. {
  224. struct radix_tree_node *node = root->rnode;
  225. if (!radix_tree_is_internal_node(node))
  226. return;
  227. verify_node(node, tag, !!root_tag_get(root, tag));
  228. }
  229. void item_kill_tree(struct radix_tree_root *root)
  230. {
  231. struct radix_tree_iter iter;
  232. void **slot;
  233. struct item *items[32];
  234. int nfound;
  235. radix_tree_for_each_slot(slot, root, &iter, 0) {
  236. if (radix_tree_exceptional_entry(*slot))
  237. radix_tree_delete(root, iter.index);
  238. }
  239. while ((nfound = radix_tree_gang_lookup(root, (void **)items, 0, 32))) {
  240. int i;
  241. for (i = 0; i < nfound; i++) {
  242. void *ret;
  243. ret = radix_tree_delete(root, items[i]->index);
  244. assert(ret == items[i]);
  245. free(items[i]);
  246. }
  247. }
  248. assert(radix_tree_gang_lookup(root, (void **)items, 0, 32) == 0);
  249. assert(root->rnode == NULL);
  250. }
  251. void tree_verify_min_height(struct radix_tree_root *root, int maxindex)
  252. {
  253. unsigned shift;
  254. struct radix_tree_node *node = root->rnode;
  255. if (!radix_tree_is_internal_node(node)) {
  256. assert(maxindex == 0);
  257. return;
  258. }
  259. node = entry_to_node(node);
  260. assert(maxindex <= node_maxindex(node));
  261. shift = node->shift;
  262. if (shift > 0)
  263. assert(maxindex > shift_maxindex(shift - RADIX_TREE_MAP_SHIFT));
  264. else
  265. assert(maxindex > 0);
  266. }