radix-tree.h 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456
  1. /*
  2. * Copyright (C) 2001 Momchil Velikov
  3. * Portions Copyright (C) 2001 Christoph Hellwig
  4. * Copyright (C) 2006 Nick Piggin
  5. * Copyright (C) 2012 Konstantin Khlebnikov
  6. *
  7. * This program is free software; you can redistribute it and/or
  8. * modify it under the terms of the GNU General Public License as
  9. * published by the Free Software Foundation; either version 2, or (at
  10. * your option) any later version.
  11. *
  12. * This program is distributed in the hope that it will be useful, but
  13. * WITHOUT ANY WARRANTY; without even the implied warranty of
  14. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
  15. * General Public License for more details.
  16. *
  17. * You should have received a copy of the GNU General Public License
  18. * along with this program; if not, write to the Free Software
  19. * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  20. */
  21. #ifndef _LINUX_RADIX_TREE_H
  22. #define _LINUX_RADIX_TREE_H
  23. #include <linux/preempt.h>
  24. #include <linux/types.h>
  25. #include <linux/bug.h>
  26. #include <linux/kernel.h>
  27. #include <linux/rcupdate.h>
  28. /*
  29. * An indirect pointer (root->rnode pointing to a radix_tree_node, rather
  30. * than a data item) is signalled by the low bit set in the root->rnode
  31. * pointer.
  32. *
  33. * In this case root->height is > 0, but the indirect pointer tests are
  34. * needed for RCU lookups (because root->height is unreliable). The only
  35. * time callers need worry about this is when doing a lookup_slot under
  36. * RCU.
  37. *
  38. * Indirect pointer in fact is also used to tag the last pointer of a node
  39. * when it is shrunk, before we rcu free the node. See shrink code for
  40. * details.
  41. */
  42. #define RADIX_TREE_INDIRECT_PTR 1
  43. /*
  44. * A common use of the radix tree is to store pointers to struct pages;
  45. * but shmem/tmpfs needs also to store swap entries in the same tree:
  46. * those are marked as exceptional entries to distinguish them.
  47. * EXCEPTIONAL_ENTRY tests the bit, EXCEPTIONAL_SHIFT shifts content past it.
  48. */
  49. #define RADIX_TREE_EXCEPTIONAL_ENTRY 2
  50. #define RADIX_TREE_EXCEPTIONAL_SHIFT 2
  51. static inline int radix_tree_is_indirect_ptr(void *ptr)
  52. {
  53. return (int)((unsigned long)ptr & RADIX_TREE_INDIRECT_PTR);
  54. }
  55. /*** radix-tree API starts here ***/
  56. #define RADIX_TREE_MAX_TAGS 3
  57. /* root tags are stored in gfp_mask, shifted by __GFP_BITS_SHIFT */
  58. struct radix_tree_root {
  59. unsigned int height;
  60. gfp_t gfp_mask;
  61. struct radix_tree_node __rcu *rnode;
  62. };
  63. #define RADIX_TREE_INIT(mask) { \
  64. .height = 0, \
  65. .gfp_mask = (mask), \
  66. .rnode = NULL, \
  67. }
  68. #define RADIX_TREE(name, mask) \
  69. struct radix_tree_root name = RADIX_TREE_INIT(mask)
  70. #define INIT_RADIX_TREE(root, mask) \
  71. do { \
  72. (root)->height = 0; \
  73. (root)->gfp_mask = (mask); \
  74. (root)->rnode = NULL; \
  75. } while (0)
  76. /**
  77. * Radix-tree synchronization
  78. *
  79. * The radix-tree API requires that users provide all synchronisation (with
  80. * specific exceptions, noted below).
  81. *
  82. * Synchronization of access to the data items being stored in the tree, and
  83. * management of their lifetimes must be completely managed by API users.
  84. *
  85. * For API usage, in general,
  86. * - any function _modifying_ the tree or tags (inserting or deleting
  87. * items, setting or clearing tags) must exclude other modifications, and
  88. * exclude any functions reading the tree.
  89. * - any function _reading_ the tree or tags (looking up items or tags,
  90. * gang lookups) must exclude modifications to the tree, but may occur
  91. * concurrently with other readers.
  92. *
  93. * The notable exceptions to this rule are the following functions:
  94. * radix_tree_lookup
  95. * radix_tree_lookup_slot
  96. * radix_tree_tag_get
  97. * radix_tree_gang_lookup
  98. * radix_tree_gang_lookup_slot
  99. * radix_tree_gang_lookup_tag
  100. * radix_tree_gang_lookup_tag_slot
  101. * radix_tree_tagged
  102. *
  103. * The first 7 functions are able to be called locklessly, using RCU. The
  104. * caller must ensure calls to these functions are made within rcu_read_lock()
  105. * regions. Other readers (lock-free or otherwise) and modifications may be
  106. * running concurrently.
  107. *
  108. * It is still required that the caller manage the synchronization and lifetimes
  109. * of the items. So if RCU lock-free lookups are used, typically this would mean
  110. * that the items have their own locks, or are amenable to lock-free access; and
  111. * that the items are freed by RCU (or only freed after having been deleted from
  112. * the radix tree *and* a synchronize_rcu() grace period).
  113. *
  114. * (Note, rcu_assign_pointer and rcu_dereference are not needed to control
  115. * access to data items when inserting into or looking up from the radix tree)
  116. *
  117. * Note that the value returned by radix_tree_tag_get() may not be relied upon
  118. * if only the RCU read lock is held. Functions to set/clear tags and to
  119. * delete nodes running concurrently with it may affect its result such that
  120. * two consecutive reads in the same locked section may return different
  121. * values. If reliability is required, modification functions must also be
  122. * excluded from concurrency.
  123. *
  124. * radix_tree_tagged is able to be called without locking or RCU.
  125. */
  126. /**
  127. * radix_tree_deref_slot - dereference a slot
  128. * @pslot: pointer to slot, returned by radix_tree_lookup_slot
  129. * Returns: item that was stored in that slot with any direct pointer flag
  130. * removed.
  131. *
  132. * For use with radix_tree_lookup_slot(). Caller must hold tree at least read
  133. * locked across slot lookup and dereference. Not required if write lock is
  134. * held (ie. items cannot be concurrently inserted).
  135. *
  136. * radix_tree_deref_retry must be used to confirm validity of the pointer if
  137. * only the read lock is held.
  138. */
  139. static inline void *radix_tree_deref_slot(void **pslot)
  140. {
  141. return rcu_dereference(*pslot);
  142. }
  143. /**
  144. * radix_tree_deref_slot_protected - dereference a slot without RCU lock but with tree lock held
  145. * @pslot: pointer to slot, returned by radix_tree_lookup_slot
  146. * Returns: item that was stored in that slot with any direct pointer flag
  147. * removed.
  148. *
  149. * Similar to radix_tree_deref_slot but only used during migration when a pages
  150. * mapping is being moved. The caller does not hold the RCU read lock but it
  151. * must hold the tree lock to prevent parallel updates.
  152. */
  153. static inline void *radix_tree_deref_slot_protected(void **pslot,
  154. spinlock_t *treelock)
  155. {
  156. return rcu_dereference_protected(*pslot, lockdep_is_held(treelock));
  157. }
  158. /**
  159. * radix_tree_deref_retry - check radix_tree_deref_slot
  160. * @arg: pointer returned by radix_tree_deref_slot
  161. * Returns: 0 if retry is not required, otherwise retry is required
  162. *
  163. * radix_tree_deref_retry must be used with radix_tree_deref_slot.
  164. */
  165. static inline int radix_tree_deref_retry(void *arg)
  166. {
  167. return unlikely((unsigned long)arg & RADIX_TREE_INDIRECT_PTR);
  168. }
  169. /**
  170. * radix_tree_exceptional_entry - radix_tree_deref_slot gave exceptional entry?
  171. * @arg: value returned by radix_tree_deref_slot
  172. * Returns: 0 if well-aligned pointer, non-0 if exceptional entry.
  173. */
  174. static inline int radix_tree_exceptional_entry(void *arg)
  175. {
  176. /* Not unlikely because radix_tree_exception often tested first */
  177. return (unsigned long)arg & RADIX_TREE_EXCEPTIONAL_ENTRY;
  178. }
  179. /**
  180. * radix_tree_exception - radix_tree_deref_slot returned either exception?
  181. * @arg: value returned by radix_tree_deref_slot
  182. * Returns: 0 if well-aligned pointer, non-0 if either kind of exception.
  183. */
  184. static inline int radix_tree_exception(void *arg)
  185. {
  186. return unlikely((unsigned long)arg &
  187. (RADIX_TREE_INDIRECT_PTR | RADIX_TREE_EXCEPTIONAL_ENTRY));
  188. }
  189. /**
  190. * radix_tree_replace_slot - replace item in a slot
  191. * @pslot: pointer to slot, returned by radix_tree_lookup_slot
  192. * @item: new item to store in the slot.
  193. *
  194. * For use with radix_tree_lookup_slot(). Caller must hold tree write locked
  195. * across slot lookup and replacement.
  196. */
  197. static inline void radix_tree_replace_slot(void **pslot, void *item)
  198. {
  199. BUG_ON(radix_tree_is_indirect_ptr(item));
  200. rcu_assign_pointer(*pslot, item);
  201. }
  202. int radix_tree_insert(struct radix_tree_root *, unsigned long, void *);
  203. void *radix_tree_lookup(struct radix_tree_root *, unsigned long);
  204. void **radix_tree_lookup_slot(struct radix_tree_root *, unsigned long);
  205. void *radix_tree_delete(struct radix_tree_root *, unsigned long);
  206. unsigned int
  207. radix_tree_gang_lookup(struct radix_tree_root *root, void **results,
  208. unsigned long first_index, unsigned int max_items);
  209. unsigned int radix_tree_gang_lookup_slot(struct radix_tree_root *root,
  210. void ***results, unsigned long *indices,
  211. unsigned long first_index, unsigned int max_items);
  212. unsigned long radix_tree_next_hole(struct radix_tree_root *root,
  213. unsigned long index, unsigned long max_scan);
  214. unsigned long radix_tree_prev_hole(struct radix_tree_root *root,
  215. unsigned long index, unsigned long max_scan);
  216. int radix_tree_preload(gfp_t gfp_mask);
  217. void radix_tree_init(void);
  218. void *radix_tree_tag_set(struct radix_tree_root *root,
  219. unsigned long index, unsigned int tag);
  220. void *radix_tree_tag_clear(struct radix_tree_root *root,
  221. unsigned long index, unsigned int tag);
  222. int radix_tree_tag_get(struct radix_tree_root *root,
  223. unsigned long index, unsigned int tag);
  224. unsigned int
  225. radix_tree_gang_lookup_tag(struct radix_tree_root *root, void **results,
  226. unsigned long first_index, unsigned int max_items,
  227. unsigned int tag);
  228. unsigned int
  229. radix_tree_gang_lookup_tag_slot(struct radix_tree_root *root, void ***results,
  230. unsigned long first_index, unsigned int max_items,
  231. unsigned int tag);
  232. unsigned long radix_tree_range_tag_if_tagged(struct radix_tree_root *root,
  233. unsigned long *first_indexp, unsigned long last_index,
  234. unsigned long nr_to_tag,
  235. unsigned int fromtag, unsigned int totag);
  236. int radix_tree_tagged(struct radix_tree_root *root, unsigned int tag);
  237. unsigned long radix_tree_locate_item(struct radix_tree_root *root, void *item);
  238. static inline void radix_tree_preload_end(void)
  239. {
  240. preempt_enable();
  241. }
  242. /**
  243. * struct radix_tree_iter - radix tree iterator state
  244. *
  245. * @index: index of current slot
  246. * @next_index: next-to-last index for this chunk
  247. * @tags: bit-mask for tag-iterating
  248. *
  249. * This radix tree iterator works in terms of "chunks" of slots. A chunk is a
  250. * subinterval of slots contained within one radix tree leaf node. It is
  251. * described by a pointer to its first slot and a struct radix_tree_iter
  252. * which holds the chunk's position in the tree and its size. For tagged
  253. * iteration radix_tree_iter also holds the slots' bit-mask for one chosen
  254. * radix tree tag.
  255. */
  256. struct radix_tree_iter {
  257. unsigned long index;
  258. unsigned long next_index;
  259. unsigned long tags;
  260. };
  261. #define RADIX_TREE_ITER_TAG_MASK 0x00FF /* tag index in lower byte */
  262. #define RADIX_TREE_ITER_TAGGED 0x0100 /* lookup tagged slots */
  263. #define RADIX_TREE_ITER_CONTIG 0x0200 /* stop at first hole */
  264. /**
  265. * radix_tree_iter_init - initialize radix tree iterator
  266. *
  267. * @iter: pointer to iterator state
  268. * @start: iteration starting index
  269. * Returns: NULL
  270. */
  271. static __always_inline void **
  272. radix_tree_iter_init(struct radix_tree_iter *iter, unsigned long start)
  273. {
  274. /*
  275. * Leave iter->tags uninitialized. radix_tree_next_chunk() will fill it
  276. * in the case of a successful tagged chunk lookup. If the lookup was
  277. * unsuccessful or non-tagged then nobody cares about ->tags.
  278. *
  279. * Set index to zero to bypass next_index overflow protection.
  280. * See the comment in radix_tree_next_chunk() for details.
  281. */
  282. iter->index = 0;
  283. iter->next_index = start;
  284. return NULL;
  285. }
  286. /**
  287. * radix_tree_next_chunk - find next chunk of slots for iteration
  288. *
  289. * @root: radix tree root
  290. * @iter: iterator state
  291. * @flags: RADIX_TREE_ITER_* flags and tag index
  292. * Returns: pointer to chunk first slot, or NULL if there no more left
  293. *
  294. * This function looks up the next chunk in the radix tree starting from
  295. * @iter->next_index. It returns a pointer to the chunk's first slot.
  296. * Also it fills @iter with data about chunk: position in the tree (index),
  297. * its end (next_index), and constructs a bit mask for tagged iterating (tags).
  298. */
  299. void **radix_tree_next_chunk(struct radix_tree_root *root,
  300. struct radix_tree_iter *iter, unsigned flags);
  301. /**
  302. * radix_tree_chunk_size - get current chunk size
  303. *
  304. * @iter: pointer to radix tree iterator
  305. * Returns: current chunk size
  306. */
  307. static __always_inline unsigned
  308. radix_tree_chunk_size(struct radix_tree_iter *iter)
  309. {
  310. return iter->next_index - iter->index;
  311. }
  312. /**
  313. * radix_tree_next_slot - find next slot in chunk
  314. *
  315. * @slot: pointer to current slot
  316. * @iter: pointer to interator state
  317. * @flags: RADIX_TREE_ITER_*, should be constant
  318. * Returns: pointer to next slot, or NULL if there no more left
  319. *
  320. * This function updates @iter->index in the case of a successful lookup.
  321. * For tagged lookup it also eats @iter->tags.
  322. */
  323. static __always_inline void **
  324. radix_tree_next_slot(void **slot, struct radix_tree_iter *iter, unsigned flags)
  325. {
  326. if (flags & RADIX_TREE_ITER_TAGGED) {
  327. iter->tags >>= 1;
  328. if (likely(iter->tags & 1ul)) {
  329. iter->index++;
  330. return slot + 1;
  331. }
  332. if (!(flags & RADIX_TREE_ITER_CONTIG) && likely(iter->tags)) {
  333. unsigned offset = __ffs(iter->tags);
  334. iter->tags >>= offset;
  335. iter->index += offset + 1;
  336. return slot + offset + 1;
  337. }
  338. } else {
  339. unsigned size = radix_tree_chunk_size(iter) - 1;
  340. while (size--) {
  341. slot++;
  342. iter->index++;
  343. if (likely(*slot))
  344. return slot;
  345. if (flags & RADIX_TREE_ITER_CONTIG)
  346. break;
  347. }
  348. }
  349. return NULL;
  350. }
  351. /**
  352. * radix_tree_for_each_chunk - iterate over chunks
  353. *
  354. * @slot: the void** variable for pointer to chunk first slot
  355. * @root: the struct radix_tree_root pointer
  356. * @iter: the struct radix_tree_iter pointer
  357. * @start: iteration starting index
  358. * @flags: RADIX_TREE_ITER_* and tag index
  359. *
  360. * Locks can be released and reacquired between iterations.
  361. */
  362. #define radix_tree_for_each_chunk(slot, root, iter, start, flags) \
  363. for (slot = radix_tree_iter_init(iter, start) ; \
  364. (slot = radix_tree_next_chunk(root, iter, flags)) ;)
  365. /**
  366. * radix_tree_for_each_chunk_slot - iterate over slots in one chunk
  367. *
  368. * @slot: the void** variable, at the beginning points to chunk first slot
  369. * @iter: the struct radix_tree_iter pointer
  370. * @flags: RADIX_TREE_ITER_*, should be constant
  371. *
  372. * This macro is designed to be nested inside radix_tree_for_each_chunk().
  373. * @slot points to the radix tree slot, @iter->index contains its index.
  374. */
  375. #define radix_tree_for_each_chunk_slot(slot, iter, flags) \
  376. for (; slot ; slot = radix_tree_next_slot(slot, iter, flags))
  377. /**
  378. * radix_tree_for_each_slot - iterate over non-empty slots
  379. *
  380. * @slot: the void** variable for pointer to slot
  381. * @root: the struct radix_tree_root pointer
  382. * @iter: the struct radix_tree_iter pointer
  383. * @start: iteration starting index
  384. *
  385. * @slot points to radix tree slot, @iter->index contains its index.
  386. */
  387. #define radix_tree_for_each_slot(slot, root, iter, start) \
  388. for (slot = radix_tree_iter_init(iter, start) ; \
  389. slot || (slot = radix_tree_next_chunk(root, iter, 0)) ; \
  390. slot = radix_tree_next_slot(slot, iter, 0))
  391. /**
  392. * radix_tree_for_each_contig - iterate over contiguous slots
  393. *
  394. * @slot: the void** variable for pointer to slot
  395. * @root: the struct radix_tree_root pointer
  396. * @iter: the struct radix_tree_iter pointer
  397. * @start: iteration starting index
  398. *
  399. * @slot points to radix tree slot, @iter->index contains its index.
  400. */
  401. #define radix_tree_for_each_contig(slot, root, iter, start) \
  402. for (slot = radix_tree_iter_init(iter, start) ; \
  403. slot || (slot = radix_tree_next_chunk(root, iter, \
  404. RADIX_TREE_ITER_CONTIG)) ; \
  405. slot = radix_tree_next_slot(slot, iter, \
  406. RADIX_TREE_ITER_CONTIG))
  407. /**
  408. * radix_tree_for_each_tagged - iterate over tagged slots
  409. *
  410. * @slot: the void** variable for pointer to slot
  411. * @root: the struct radix_tree_root pointer
  412. * @iter: the struct radix_tree_iter pointer
  413. * @start: iteration starting index
  414. * @tag: tag index
  415. *
  416. * @slot points to radix tree slot, @iter->index contains its index.
  417. */
  418. #define radix_tree_for_each_tagged(slot, root, iter, start, tag) \
  419. for (slot = radix_tree_iter_init(iter, start) ; \
  420. slot || (slot = radix_tree_next_chunk(root, iter, \
  421. RADIX_TREE_ITER_TAGGED | tag)) ; \
  422. slot = radix_tree_next_slot(slot, iter, \
  423. RADIX_TREE_ITER_TAGGED))
  424. #endif /* _LINUX_RADIX_TREE_H */