test.c 7.1 KB

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