rcu.h 8.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296
  1. /*
  2. * Read-Copy Update definitions shared among RCU implementations.
  3. *
  4. * This program is free software; you can redistribute it and/or modify
  5. * it under the terms of the GNU General Public License as published by
  6. * the Free Software Foundation; either version 2 of the License, or
  7. * (at your option) any later version.
  8. *
  9. * This program is distributed in the hope that it will be useful,
  10. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  11. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  12. * GNU General Public License for more details.
  13. *
  14. * You should have received a copy of the GNU General Public License
  15. * along with this program; if not, you can access it online at
  16. * http://www.gnu.org/licenses/gpl-2.0.html.
  17. *
  18. * Copyright IBM Corporation, 2011
  19. *
  20. * Author: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
  21. */
  22. #ifndef __LINUX_RCU_H
  23. #define __LINUX_RCU_H
  24. #include <trace/events/rcu.h>
  25. #ifdef CONFIG_RCU_TRACE
  26. #define RCU_TRACE(stmt) stmt
  27. #else /* #ifdef CONFIG_RCU_TRACE */
  28. #define RCU_TRACE(stmt)
  29. #endif /* #else #ifdef CONFIG_RCU_TRACE */
  30. /*
  31. * Process-level increment to ->dynticks_nesting field. This allows for
  32. * architectures that use half-interrupts and half-exceptions from
  33. * process context.
  34. *
  35. * DYNTICK_TASK_NEST_MASK defines a field of width DYNTICK_TASK_NEST_WIDTH
  36. * that counts the number of process-based reasons why RCU cannot
  37. * consider the corresponding CPU to be idle, and DYNTICK_TASK_NEST_VALUE
  38. * is the value used to increment or decrement this field.
  39. *
  40. * The rest of the bits could in principle be used to count interrupts,
  41. * but this would mean that a negative-one value in the interrupt
  42. * field could incorrectly zero out the DYNTICK_TASK_NEST_MASK field.
  43. * We therefore provide a two-bit guard field defined by DYNTICK_TASK_MASK
  44. * that is set to DYNTICK_TASK_FLAG upon initial exit from idle.
  45. * The DYNTICK_TASK_EXIT_IDLE value is thus the combined value used upon
  46. * initial exit from idle.
  47. */
  48. #define DYNTICK_TASK_NEST_WIDTH 7
  49. #define DYNTICK_TASK_NEST_VALUE ((LLONG_MAX >> DYNTICK_TASK_NEST_WIDTH) + 1)
  50. #define DYNTICK_TASK_NEST_MASK (LLONG_MAX - DYNTICK_TASK_NEST_VALUE + 1)
  51. #define DYNTICK_TASK_FLAG ((DYNTICK_TASK_NEST_VALUE / 8) * 2)
  52. #define DYNTICK_TASK_MASK ((DYNTICK_TASK_NEST_VALUE / 8) * 3)
  53. #define DYNTICK_TASK_EXIT_IDLE (DYNTICK_TASK_NEST_VALUE + \
  54. DYNTICK_TASK_FLAG)
  55. /*
  56. * Grace-period counter management.
  57. */
  58. #define RCU_SEQ_CTR_SHIFT 2
  59. #define RCU_SEQ_STATE_MASK ((1 << RCU_SEQ_CTR_SHIFT) - 1)
  60. /*
  61. * Return the counter portion of a sequence number previously returned
  62. * by rcu_seq_snap() or rcu_seq_current().
  63. */
  64. static inline unsigned long rcu_seq_ctr(unsigned long s)
  65. {
  66. return s >> RCU_SEQ_CTR_SHIFT;
  67. }
  68. /*
  69. * Return the state portion of a sequence number previously returned
  70. * by rcu_seq_snap() or rcu_seq_current().
  71. */
  72. static inline int rcu_seq_state(unsigned long s)
  73. {
  74. return s & RCU_SEQ_STATE_MASK;
  75. }
  76. /*
  77. * Set the state portion of the pointed-to sequence number.
  78. * The caller is responsible for preventing conflicting updates.
  79. */
  80. static inline void rcu_seq_set_state(unsigned long *sp, int newstate)
  81. {
  82. WARN_ON_ONCE(newstate & ~RCU_SEQ_STATE_MASK);
  83. WRITE_ONCE(*sp, (*sp & ~RCU_SEQ_STATE_MASK) + newstate);
  84. }
  85. /* Adjust sequence number for start of update-side operation. */
  86. static inline void rcu_seq_start(unsigned long *sp)
  87. {
  88. WRITE_ONCE(*sp, *sp + 1);
  89. smp_mb(); /* Ensure update-side operation after counter increment. */
  90. WARN_ON_ONCE(rcu_seq_state(*sp) != 1);
  91. }
  92. /* Adjust sequence number for end of update-side operation. */
  93. static inline void rcu_seq_end(unsigned long *sp)
  94. {
  95. smp_mb(); /* Ensure update-side operation before counter increment. */
  96. WARN_ON_ONCE(!rcu_seq_state(*sp));
  97. WRITE_ONCE(*sp, (*sp | RCU_SEQ_STATE_MASK) + 1);
  98. }
  99. /* Take a snapshot of the update side's sequence number. */
  100. static inline unsigned long rcu_seq_snap(unsigned long *sp)
  101. {
  102. unsigned long s;
  103. s = (READ_ONCE(*sp) + 2 * RCU_SEQ_STATE_MASK + 1) & ~RCU_SEQ_STATE_MASK;
  104. smp_mb(); /* Above access must not bleed into critical section. */
  105. return s;
  106. }
  107. /* Return the current value the update side's sequence number, no ordering. */
  108. static inline unsigned long rcu_seq_current(unsigned long *sp)
  109. {
  110. return READ_ONCE(*sp);
  111. }
  112. /*
  113. * Given a snapshot from rcu_seq_snap(), determine whether or not a
  114. * full update-side operation has occurred.
  115. */
  116. static inline bool rcu_seq_done(unsigned long *sp, unsigned long s)
  117. {
  118. return ULONG_CMP_GE(READ_ONCE(*sp), s);
  119. }
  120. /*
  121. * debug_rcu_head_queue()/debug_rcu_head_unqueue() are used internally
  122. * by call_rcu() and rcu callback execution, and are therefore not part of the
  123. * RCU API. Leaving in rcupdate.h because they are used by all RCU flavors.
  124. */
  125. #ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD
  126. # define STATE_RCU_HEAD_READY 0
  127. # define STATE_RCU_HEAD_QUEUED 1
  128. extern struct debug_obj_descr rcuhead_debug_descr;
  129. static inline int debug_rcu_head_queue(struct rcu_head *head)
  130. {
  131. int r1;
  132. r1 = debug_object_activate(head, &rcuhead_debug_descr);
  133. debug_object_active_state(head, &rcuhead_debug_descr,
  134. STATE_RCU_HEAD_READY,
  135. STATE_RCU_HEAD_QUEUED);
  136. return r1;
  137. }
  138. static inline void debug_rcu_head_unqueue(struct rcu_head *head)
  139. {
  140. debug_object_active_state(head, &rcuhead_debug_descr,
  141. STATE_RCU_HEAD_QUEUED,
  142. STATE_RCU_HEAD_READY);
  143. debug_object_deactivate(head, &rcuhead_debug_descr);
  144. }
  145. #else /* !CONFIG_DEBUG_OBJECTS_RCU_HEAD */
  146. static inline int debug_rcu_head_queue(struct rcu_head *head)
  147. {
  148. return 0;
  149. }
  150. static inline void debug_rcu_head_unqueue(struct rcu_head *head)
  151. {
  152. }
  153. #endif /* #else !CONFIG_DEBUG_OBJECTS_RCU_HEAD */
  154. void kfree(const void *);
  155. /*
  156. * Reclaim the specified callback, either by invoking it (non-lazy case)
  157. * or freeing it directly (lazy case). Return true if lazy, false otherwise.
  158. */
  159. static inline bool __rcu_reclaim(const char *rn, struct rcu_head *head)
  160. {
  161. unsigned long offset = (unsigned long)head->func;
  162. rcu_lock_acquire(&rcu_callback_map);
  163. if (__is_kfree_rcu_offset(offset)) {
  164. RCU_TRACE(trace_rcu_invoke_kfree_callback(rn, head, offset);)
  165. kfree((void *)head - offset);
  166. rcu_lock_release(&rcu_callback_map);
  167. return true;
  168. } else {
  169. RCU_TRACE(trace_rcu_invoke_callback(rn, head);)
  170. head->func(head);
  171. rcu_lock_release(&rcu_callback_map);
  172. return false;
  173. }
  174. }
  175. #ifdef CONFIG_RCU_STALL_COMMON
  176. extern int rcu_cpu_stall_suppress;
  177. int rcu_jiffies_till_stall_check(void);
  178. #endif /* #ifdef CONFIG_RCU_STALL_COMMON */
  179. /*
  180. * Strings used in tracepoints need to be exported via the
  181. * tracing system such that tools like perf and trace-cmd can
  182. * translate the string address pointers to actual text.
  183. */
  184. #define TPS(x) tracepoint_string(x)
  185. void rcu_early_boot_tests(void);
  186. void rcu_test_sync_prims(void);
  187. /*
  188. * This function really isn't for public consumption, but RCU is special in
  189. * that context switches can allow the state machine to make progress.
  190. */
  191. extern void resched_cpu(int cpu);
  192. #if defined(SRCU) || !defined(TINY_RCU)
  193. #include <linux/rcu_node_tree.h>
  194. extern int rcu_num_lvls;
  195. extern int num_rcu_lvl[];
  196. extern int rcu_num_nodes;
  197. static bool rcu_fanout_exact;
  198. static int rcu_fanout_leaf;
  199. /*
  200. * Compute the per-level fanout, either using the exact fanout specified
  201. * or balancing the tree, depending on the rcu_fanout_exact boot parameter.
  202. */
  203. static inline void rcu_init_levelspread(int *levelspread, const int *levelcnt)
  204. {
  205. int i;
  206. if (rcu_fanout_exact) {
  207. levelspread[rcu_num_lvls - 1] = rcu_fanout_leaf;
  208. for (i = rcu_num_lvls - 2; i >= 0; i--)
  209. levelspread[i] = RCU_FANOUT;
  210. } else {
  211. int ccur;
  212. int cprv;
  213. cprv = nr_cpu_ids;
  214. for (i = rcu_num_lvls - 1; i >= 0; i--) {
  215. ccur = levelcnt[i];
  216. levelspread[i] = (cprv + ccur - 1) / ccur;
  217. cprv = ccur;
  218. }
  219. }
  220. }
  221. /*
  222. * Do a full breadth-first scan of the rcu_node structures for the
  223. * specified rcu_state structure.
  224. */
  225. #define rcu_for_each_node_breadth_first(rsp, rnp) \
  226. for ((rnp) = &(rsp)->node[0]; \
  227. (rnp) < &(rsp)->node[rcu_num_nodes]; (rnp)++)
  228. /*
  229. * Do a breadth-first scan of the non-leaf rcu_node structures for the
  230. * specified rcu_state structure. Note that if there is a singleton
  231. * rcu_node tree with but one rcu_node structure, this loop is a no-op.
  232. */
  233. #define rcu_for_each_nonleaf_node_breadth_first(rsp, rnp) \
  234. for ((rnp) = &(rsp)->node[0]; \
  235. (rnp) < (rsp)->level[rcu_num_lvls - 1]; (rnp)++)
  236. /*
  237. * Scan the leaves of the rcu_node hierarchy for the specified rcu_state
  238. * structure. Note that if there is a singleton rcu_node tree with but
  239. * one rcu_node structure, this loop -will- visit the rcu_node structure.
  240. * It is still a leaf node, even if it is also the root node.
  241. */
  242. #define rcu_for_each_leaf_node(rsp, rnp) \
  243. for ((rnp) = (rsp)->level[rcu_num_lvls - 1]; \
  244. (rnp) < &(rsp)->node[rcu_num_nodes]; (rnp)++)
  245. /*
  246. * Iterate over all possible CPUs in a leaf RCU node.
  247. */
  248. #define for_each_leaf_node_possible_cpu(rnp, cpu) \
  249. for ((cpu) = cpumask_next(rnp->grplo - 1, cpu_possible_mask); \
  250. cpu <= rnp->grphi; \
  251. cpu = cpumask_next((cpu), cpu_possible_mask))
  252. #endif /* #if defined(SRCU) || !defined(TINY_RCU) */
  253. #endif /* __LINUX_RCU_H */