rcupdate.h 35 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957
  1. /*
  2. * Read-Copy Update mechanism for mutual exclusion
  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, write to the Free Software
  16. * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
  17. *
  18. * Copyright IBM Corporation, 2001
  19. *
  20. * Author: Dipankar Sarma <dipankar@in.ibm.com>
  21. *
  22. * Based on the original work by Paul McKenney <paulmck@us.ibm.com>
  23. * and inputs from Rusty Russell, Andrea Arcangeli and Andi Kleen.
  24. * Papers:
  25. * http://www.rdrop.com/users/paulmck/paper/rclockpdcsproof.pdf
  26. * http://lse.sourceforge.net/locking/rclock_OLS.2001.05.01c.sc.pdf (OLS2001)
  27. *
  28. * For detailed explanation of Read-Copy Update mechanism see -
  29. * http://lse.sourceforge.net/locking/rcupdate.html
  30. *
  31. */
  32. #ifndef __LINUX_RCUPDATE_H
  33. #define __LINUX_RCUPDATE_H
  34. #include <linux/types.h>
  35. #include <linux/cache.h>
  36. #include <linux/spinlock.h>
  37. #include <linux/threads.h>
  38. #include <linux/cpumask.h>
  39. #include <linux/seqlock.h>
  40. #include <linux/lockdep.h>
  41. #include <linux/completion.h>
  42. #include <linux/debugobjects.h>
  43. #include <linux/bug.h>
  44. #include <linux/compiler.h>
  45. #ifdef CONFIG_RCU_TORTURE_TEST
  46. extern int rcutorture_runnable; /* for sysctl */
  47. #endif /* #ifdef CONFIG_RCU_TORTURE_TEST */
  48. #if defined(CONFIG_TREE_RCU) || defined(CONFIG_TREE_PREEMPT_RCU)
  49. extern void rcutorture_record_test_transition(void);
  50. extern void rcutorture_record_progress(unsigned long vernum);
  51. extern void do_trace_rcu_torture_read(char *rcutorturename,
  52. struct rcu_head *rhp);
  53. #else
  54. static inline void rcutorture_record_test_transition(void)
  55. {
  56. }
  57. static inline void rcutorture_record_progress(unsigned long vernum)
  58. {
  59. }
  60. #ifdef CONFIG_RCU_TRACE
  61. extern void do_trace_rcu_torture_read(char *rcutorturename,
  62. struct rcu_head *rhp);
  63. #else
  64. #define do_trace_rcu_torture_read(rcutorturename, rhp) do { } while (0)
  65. #endif
  66. #endif
  67. #define UINT_CMP_GE(a, b) (UINT_MAX / 2 >= (a) - (b))
  68. #define UINT_CMP_LT(a, b) (UINT_MAX / 2 < (a) - (b))
  69. #define ULONG_CMP_GE(a, b) (ULONG_MAX / 2 >= (a) - (b))
  70. #define ULONG_CMP_LT(a, b) (ULONG_MAX / 2 < (a) - (b))
  71. /* Exported common interfaces */
  72. #ifdef CONFIG_PREEMPT_RCU
  73. /**
  74. * call_rcu() - Queue an RCU callback for invocation after a grace period.
  75. * @head: structure to be used for queueing the RCU updates.
  76. * @func: actual callback function to be invoked after the grace period
  77. *
  78. * The callback function will be invoked some time after a full grace
  79. * period elapses, in other words after all pre-existing RCU read-side
  80. * critical sections have completed. However, the callback function
  81. * might well execute concurrently with RCU read-side critical sections
  82. * that started after call_rcu() was invoked. RCU read-side critical
  83. * sections are delimited by rcu_read_lock() and rcu_read_unlock(),
  84. * and may be nested.
  85. */
  86. extern void call_rcu(struct rcu_head *head,
  87. void (*func)(struct rcu_head *head));
  88. #else /* #ifdef CONFIG_PREEMPT_RCU */
  89. /* In classic RCU, call_rcu() is just call_rcu_sched(). */
  90. #define call_rcu call_rcu_sched
  91. #endif /* #else #ifdef CONFIG_PREEMPT_RCU */
  92. /**
  93. * call_rcu_bh() - Queue an RCU for invocation after a quicker grace period.
  94. * @head: structure to be used for queueing the RCU updates.
  95. * @func: actual callback function to be invoked after the grace period
  96. *
  97. * The callback function will be invoked some time after a full grace
  98. * period elapses, in other words after all currently executing RCU
  99. * read-side critical sections have completed. call_rcu_bh() assumes
  100. * that the read-side critical sections end on completion of a softirq
  101. * handler. This means that read-side critical sections in process
  102. * context must not be interrupted by softirqs. This interface is to be
  103. * used when most of the read-side critical sections are in softirq context.
  104. * RCU read-side critical sections are delimited by :
  105. * - rcu_read_lock() and rcu_read_unlock(), if in interrupt context.
  106. * OR
  107. * - rcu_read_lock_bh() and rcu_read_unlock_bh(), if in process context.
  108. * These may be nested.
  109. */
  110. extern void call_rcu_bh(struct rcu_head *head,
  111. void (*func)(struct rcu_head *head));
  112. /**
  113. * call_rcu_sched() - Queue an RCU for invocation after sched grace period.
  114. * @head: structure to be used for queueing the RCU updates.
  115. * @func: actual callback function to be invoked after the grace period
  116. *
  117. * The callback function will be invoked some time after a full grace
  118. * period elapses, in other words after all currently executing RCU
  119. * read-side critical sections have completed. call_rcu_sched() assumes
  120. * that the read-side critical sections end on enabling of preemption
  121. * or on voluntary preemption.
  122. * RCU read-side critical sections are delimited by :
  123. * - rcu_read_lock_sched() and rcu_read_unlock_sched(),
  124. * OR
  125. * anything that disables preemption.
  126. * These may be nested.
  127. */
  128. extern void call_rcu_sched(struct rcu_head *head,
  129. void (*func)(struct rcu_head *rcu));
  130. extern void synchronize_sched(void);
  131. #ifdef CONFIG_PREEMPT_RCU
  132. extern void __rcu_read_lock(void);
  133. extern void __rcu_read_unlock(void);
  134. extern void rcu_read_unlock_special(struct task_struct *t);
  135. void synchronize_rcu(void);
  136. /*
  137. * Defined as a macro as it is a very low level header included from
  138. * areas that don't even know about current. This gives the rcu_read_lock()
  139. * nesting depth, but makes sense only if CONFIG_PREEMPT_RCU -- in other
  140. * types of kernel builds, the rcu_read_lock() nesting depth is unknowable.
  141. */
  142. #define rcu_preempt_depth() (current->rcu_read_lock_nesting)
  143. #else /* #ifdef CONFIG_PREEMPT_RCU */
  144. static inline void __rcu_read_lock(void)
  145. {
  146. preempt_disable();
  147. }
  148. static inline void __rcu_read_unlock(void)
  149. {
  150. preempt_enable();
  151. }
  152. static inline void synchronize_rcu(void)
  153. {
  154. synchronize_sched();
  155. }
  156. static inline int rcu_preempt_depth(void)
  157. {
  158. return 0;
  159. }
  160. #endif /* #else #ifdef CONFIG_PREEMPT_RCU */
  161. /* Internal to kernel */
  162. extern void rcu_sched_qs(int cpu);
  163. extern void rcu_bh_qs(int cpu);
  164. extern void rcu_check_callbacks(int cpu, int user);
  165. struct notifier_block;
  166. extern void rcu_idle_enter(void);
  167. extern void rcu_idle_exit(void);
  168. extern void rcu_irq_enter(void);
  169. extern void rcu_irq_exit(void);
  170. extern void rcu_user_enter(void);
  171. extern void rcu_user_exit(void);
  172. extern void exit_rcu(void);
  173. /**
  174. * RCU_NONIDLE - Indicate idle-loop code that needs RCU readers
  175. * @a: Code that RCU needs to pay attention to.
  176. *
  177. * RCU, RCU-bh, and RCU-sched read-side critical sections are forbidden
  178. * in the inner idle loop, that is, between the rcu_idle_enter() and
  179. * the rcu_idle_exit() -- RCU will happily ignore any such read-side
  180. * critical sections. However, things like powertop need tracepoints
  181. * in the inner idle loop.
  182. *
  183. * This macro provides the way out: RCU_NONIDLE(do_something_with_RCU())
  184. * will tell RCU that it needs to pay attending, invoke its argument
  185. * (in this example, a call to the do_something_with_RCU() function),
  186. * and then tell RCU to go back to ignoring this CPU. It is permissible
  187. * to nest RCU_NONIDLE() wrappers, but the nesting level is currently
  188. * quite limited. If deeper nesting is required, it will be necessary
  189. * to adjust DYNTICK_TASK_NESTING_VALUE accordingly.
  190. */
  191. #define RCU_NONIDLE(a) \
  192. do { \
  193. rcu_irq_enter(); \
  194. do { a; } while (0); \
  195. rcu_irq_exit(); \
  196. } while (0)
  197. /*
  198. * Infrastructure to implement the synchronize_() primitives in
  199. * TREE_RCU and rcu_barrier_() primitives in TINY_RCU.
  200. */
  201. typedef void call_rcu_func_t(struct rcu_head *head,
  202. void (*func)(struct rcu_head *head));
  203. void wait_rcu_gp(call_rcu_func_t crf);
  204. #if defined(CONFIG_TREE_RCU) || defined(CONFIG_TREE_PREEMPT_RCU)
  205. #include <linux/rcutree.h>
  206. #elif defined(CONFIG_TINY_RCU) || defined(CONFIG_TINY_PREEMPT_RCU)
  207. #include <linux/rcutiny.h>
  208. #else
  209. #error "Unknown RCU implementation specified to kernel configuration"
  210. #endif
  211. /*
  212. * init_rcu_head_on_stack()/destroy_rcu_head_on_stack() are needed for dynamic
  213. * initialization and destruction of rcu_head on the stack. rcu_head structures
  214. * allocated dynamically in the heap or defined statically don't need any
  215. * initialization.
  216. */
  217. #ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD
  218. extern void init_rcu_head_on_stack(struct rcu_head *head);
  219. extern void destroy_rcu_head_on_stack(struct rcu_head *head);
  220. #else /* !CONFIG_DEBUG_OBJECTS_RCU_HEAD */
  221. static inline void init_rcu_head_on_stack(struct rcu_head *head)
  222. {
  223. }
  224. static inline void destroy_rcu_head_on_stack(struct rcu_head *head)
  225. {
  226. }
  227. #endif /* #else !CONFIG_DEBUG_OBJECTS_RCU_HEAD */
  228. #if defined(CONFIG_DEBUG_LOCK_ALLOC) || defined(CONFIG_SMP)
  229. extern int rcu_is_cpu_idle(void);
  230. #endif /* #if defined(CONFIG_DEBUG_LOCK_ALLOC) || defined(CONFIG_SMP) */
  231. #if defined(CONFIG_HOTPLUG_CPU) && defined(CONFIG_PROVE_RCU)
  232. bool rcu_lockdep_current_cpu_online(void);
  233. #else /* #if defined(CONFIG_HOTPLUG_CPU) && defined(CONFIG_PROVE_RCU) */
  234. static inline bool rcu_lockdep_current_cpu_online(void)
  235. {
  236. return 1;
  237. }
  238. #endif /* #else #if defined(CONFIG_HOTPLUG_CPU) && defined(CONFIG_PROVE_RCU) */
  239. #ifdef CONFIG_DEBUG_LOCK_ALLOC
  240. static inline void rcu_lock_acquire(struct lockdep_map *map)
  241. {
  242. lock_acquire(map, 0, 0, 2, 1, NULL, _THIS_IP_);
  243. }
  244. static inline void rcu_lock_release(struct lockdep_map *map)
  245. {
  246. lock_release(map, 1, _THIS_IP_);
  247. }
  248. extern struct lockdep_map rcu_lock_map;
  249. extern struct lockdep_map rcu_bh_lock_map;
  250. extern struct lockdep_map rcu_sched_lock_map;
  251. extern int debug_lockdep_rcu_enabled(void);
  252. /**
  253. * rcu_read_lock_held() - might we be in RCU read-side critical section?
  254. *
  255. * If CONFIG_DEBUG_LOCK_ALLOC is selected, returns nonzero iff in an RCU
  256. * read-side critical section. In absence of CONFIG_DEBUG_LOCK_ALLOC,
  257. * this assumes we are in an RCU read-side critical section unless it can
  258. * prove otherwise. This is useful for debug checks in functions that
  259. * require that they be called within an RCU read-side critical section.
  260. *
  261. * Checks debug_lockdep_rcu_enabled() to prevent false positives during boot
  262. * and while lockdep is disabled.
  263. *
  264. * Note that rcu_read_lock() and the matching rcu_read_unlock() must
  265. * occur in the same context, for example, it is illegal to invoke
  266. * rcu_read_unlock() in process context if the matching rcu_read_lock()
  267. * was invoked from within an irq handler.
  268. *
  269. * Note that rcu_read_lock() is disallowed if the CPU is either idle or
  270. * offline from an RCU perspective, so check for those as well.
  271. */
  272. static inline int rcu_read_lock_held(void)
  273. {
  274. if (!debug_lockdep_rcu_enabled())
  275. return 1;
  276. if (rcu_is_cpu_idle())
  277. return 0;
  278. if (!rcu_lockdep_current_cpu_online())
  279. return 0;
  280. return lock_is_held(&rcu_lock_map);
  281. }
  282. /*
  283. * rcu_read_lock_bh_held() is defined out of line to avoid #include-file
  284. * hell.
  285. */
  286. extern int rcu_read_lock_bh_held(void);
  287. /**
  288. * rcu_read_lock_sched_held() - might we be in RCU-sched read-side critical section?
  289. *
  290. * If CONFIG_DEBUG_LOCK_ALLOC is selected, returns nonzero iff in an
  291. * RCU-sched read-side critical section. In absence of
  292. * CONFIG_DEBUG_LOCK_ALLOC, this assumes we are in an RCU-sched read-side
  293. * critical section unless it can prove otherwise. Note that disabling
  294. * of preemption (including disabling irqs) counts as an RCU-sched
  295. * read-side critical section. This is useful for debug checks in functions
  296. * that required that they be called within an RCU-sched read-side
  297. * critical section.
  298. *
  299. * Check debug_lockdep_rcu_enabled() to prevent false positives during boot
  300. * and while lockdep is disabled.
  301. *
  302. * Note that if the CPU is in the idle loop from an RCU point of
  303. * view (ie: that we are in the section between rcu_idle_enter() and
  304. * rcu_idle_exit()) then rcu_read_lock_held() returns false even if the CPU
  305. * did an rcu_read_lock(). The reason for this is that RCU ignores CPUs
  306. * that are in such a section, considering these as in extended quiescent
  307. * state, so such a CPU is effectively never in an RCU read-side critical
  308. * section regardless of what RCU primitives it invokes. This state of
  309. * affairs is required --- we need to keep an RCU-free window in idle
  310. * where the CPU may possibly enter into low power mode. This way we can
  311. * notice an extended quiescent state to other CPUs that started a grace
  312. * period. Otherwise we would delay any grace period as long as we run in
  313. * the idle task.
  314. *
  315. * Similarly, we avoid claiming an SRCU read lock held if the current
  316. * CPU is offline.
  317. */
  318. #ifdef CONFIG_PREEMPT_COUNT
  319. static inline int rcu_read_lock_sched_held(void)
  320. {
  321. int lockdep_opinion = 0;
  322. if (!debug_lockdep_rcu_enabled())
  323. return 1;
  324. if (rcu_is_cpu_idle())
  325. return 0;
  326. if (!rcu_lockdep_current_cpu_online())
  327. return 0;
  328. if (debug_locks)
  329. lockdep_opinion = lock_is_held(&rcu_sched_lock_map);
  330. return lockdep_opinion || preempt_count() != 0 || irqs_disabled();
  331. }
  332. #else /* #ifdef CONFIG_PREEMPT_COUNT */
  333. static inline int rcu_read_lock_sched_held(void)
  334. {
  335. return 1;
  336. }
  337. #endif /* #else #ifdef CONFIG_PREEMPT_COUNT */
  338. #else /* #ifdef CONFIG_DEBUG_LOCK_ALLOC */
  339. # define rcu_lock_acquire(a) do { } while (0)
  340. # define rcu_lock_release(a) do { } while (0)
  341. static inline int rcu_read_lock_held(void)
  342. {
  343. return 1;
  344. }
  345. static inline int rcu_read_lock_bh_held(void)
  346. {
  347. return 1;
  348. }
  349. #ifdef CONFIG_PREEMPT_COUNT
  350. static inline int rcu_read_lock_sched_held(void)
  351. {
  352. return preempt_count() != 0 || irqs_disabled();
  353. }
  354. #else /* #ifdef CONFIG_PREEMPT_COUNT */
  355. static inline int rcu_read_lock_sched_held(void)
  356. {
  357. return 1;
  358. }
  359. #endif /* #else #ifdef CONFIG_PREEMPT_COUNT */
  360. #endif /* #else #ifdef CONFIG_DEBUG_LOCK_ALLOC */
  361. #ifdef CONFIG_PROVE_RCU
  362. extern int rcu_my_thread_group_empty(void);
  363. /**
  364. * rcu_lockdep_assert - emit lockdep splat if specified condition not met
  365. * @c: condition to check
  366. * @s: informative message
  367. */
  368. #define rcu_lockdep_assert(c, s) \
  369. do { \
  370. static bool __section(.data.unlikely) __warned; \
  371. if (debug_lockdep_rcu_enabled() && !__warned && !(c)) { \
  372. __warned = true; \
  373. lockdep_rcu_suspicious(__FILE__, __LINE__, s); \
  374. } \
  375. } while (0)
  376. #if defined(CONFIG_PROVE_RCU) && !defined(CONFIG_PREEMPT_RCU)
  377. static inline void rcu_preempt_sleep_check(void)
  378. {
  379. rcu_lockdep_assert(!lock_is_held(&rcu_lock_map),
  380. "Illegal context switch in RCU read-side critical section");
  381. }
  382. #else /* #ifdef CONFIG_PROVE_RCU */
  383. static inline void rcu_preempt_sleep_check(void)
  384. {
  385. }
  386. #endif /* #else #ifdef CONFIG_PROVE_RCU */
  387. #define rcu_sleep_check() \
  388. do { \
  389. rcu_preempt_sleep_check(); \
  390. rcu_lockdep_assert(!lock_is_held(&rcu_bh_lock_map), \
  391. "Illegal context switch in RCU-bh" \
  392. " read-side critical section"); \
  393. rcu_lockdep_assert(!lock_is_held(&rcu_sched_lock_map), \
  394. "Illegal context switch in RCU-sched"\
  395. " read-side critical section"); \
  396. } while (0)
  397. #else /* #ifdef CONFIG_PROVE_RCU */
  398. #define rcu_lockdep_assert(c, s) do { } while (0)
  399. #define rcu_sleep_check() do { } while (0)
  400. #endif /* #else #ifdef CONFIG_PROVE_RCU */
  401. /*
  402. * Helper functions for rcu_dereference_check(), rcu_dereference_protected()
  403. * and rcu_assign_pointer(). Some of these could be folded into their
  404. * callers, but they are left separate in order to ease introduction of
  405. * multiple flavors of pointers to match the multiple flavors of RCU
  406. * (e.g., __rcu_bh, * __rcu_sched, and __srcu), should this make sense in
  407. * the future.
  408. */
  409. #ifdef __CHECKER__
  410. #define rcu_dereference_sparse(p, space) \
  411. ((void)(((typeof(*p) space *)p) == p))
  412. #else /* #ifdef __CHECKER__ */
  413. #define rcu_dereference_sparse(p, space)
  414. #endif /* #else #ifdef __CHECKER__ */
  415. #define __rcu_access_pointer(p, space) \
  416. ({ \
  417. typeof(*p) *_________p1 = (typeof(*p)*__force )ACCESS_ONCE(p); \
  418. rcu_dereference_sparse(p, space); \
  419. ((typeof(*p) __force __kernel *)(_________p1)); \
  420. })
  421. #define __rcu_dereference_check(p, c, space) \
  422. ({ \
  423. typeof(*p) *_________p1 = (typeof(*p)*__force )ACCESS_ONCE(p); \
  424. rcu_lockdep_assert(c, "suspicious rcu_dereference_check()" \
  425. " usage"); \
  426. rcu_dereference_sparse(p, space); \
  427. smp_read_barrier_depends(); \
  428. ((typeof(*p) __force __kernel *)(_________p1)); \
  429. })
  430. #define __rcu_dereference_protected(p, c, space) \
  431. ({ \
  432. rcu_lockdep_assert(c, "suspicious rcu_dereference_protected()" \
  433. " usage"); \
  434. rcu_dereference_sparse(p, space); \
  435. ((typeof(*p) __force __kernel *)(p)); \
  436. })
  437. #define __rcu_access_index(p, space) \
  438. ({ \
  439. typeof(p) _________p1 = ACCESS_ONCE(p); \
  440. rcu_dereference_sparse(p, space); \
  441. (_________p1); \
  442. })
  443. #define __rcu_dereference_index_check(p, c) \
  444. ({ \
  445. typeof(p) _________p1 = ACCESS_ONCE(p); \
  446. rcu_lockdep_assert(c, \
  447. "suspicious rcu_dereference_index_check()" \
  448. " usage"); \
  449. smp_read_barrier_depends(); \
  450. (_________p1); \
  451. })
  452. #define __rcu_assign_pointer(p, v, space) \
  453. do { \
  454. smp_wmb(); \
  455. (p) = (typeof(*v) __force space *)(v); \
  456. } while (0)
  457. /**
  458. * rcu_access_pointer() - fetch RCU pointer with no dereferencing
  459. * @p: The pointer to read
  460. *
  461. * Return the value of the specified RCU-protected pointer, but omit the
  462. * smp_read_barrier_depends() and keep the ACCESS_ONCE(). This is useful
  463. * when the value of this pointer is accessed, but the pointer is not
  464. * dereferenced, for example, when testing an RCU-protected pointer against
  465. * NULL. Although rcu_access_pointer() may also be used in cases where
  466. * update-side locks prevent the value of the pointer from changing, you
  467. * should instead use rcu_dereference_protected() for this use case.
  468. *
  469. * It is also permissible to use rcu_access_pointer() when read-side
  470. * access to the pointer was removed at least one grace period ago, as
  471. * is the case in the context of the RCU callback that is freeing up
  472. * the data, or after a synchronize_rcu() returns. This can be useful
  473. * when tearing down multi-linked structures after a grace period
  474. * has elapsed.
  475. */
  476. #define rcu_access_pointer(p) __rcu_access_pointer((p), __rcu)
  477. /**
  478. * rcu_dereference_check() - rcu_dereference with debug checking
  479. * @p: The pointer to read, prior to dereferencing
  480. * @c: The conditions under which the dereference will take place
  481. *
  482. * Do an rcu_dereference(), but check that the conditions under which the
  483. * dereference will take place are correct. Typically the conditions
  484. * indicate the various locking conditions that should be held at that
  485. * point. The check should return true if the conditions are satisfied.
  486. * An implicit check for being in an RCU read-side critical section
  487. * (rcu_read_lock()) is included.
  488. *
  489. * For example:
  490. *
  491. * bar = rcu_dereference_check(foo->bar, lockdep_is_held(&foo->lock));
  492. *
  493. * could be used to indicate to lockdep that foo->bar may only be dereferenced
  494. * if either rcu_read_lock() is held, or that the lock required to replace
  495. * the bar struct at foo->bar is held.
  496. *
  497. * Note that the list of conditions may also include indications of when a lock
  498. * need not be held, for example during initialisation or destruction of the
  499. * target struct:
  500. *
  501. * bar = rcu_dereference_check(foo->bar, lockdep_is_held(&foo->lock) ||
  502. * atomic_read(&foo->usage) == 0);
  503. *
  504. * Inserts memory barriers on architectures that require them
  505. * (currently only the Alpha), prevents the compiler from refetching
  506. * (and from merging fetches), and, more importantly, documents exactly
  507. * which pointers are protected by RCU and checks that the pointer is
  508. * annotated as __rcu.
  509. */
  510. #define rcu_dereference_check(p, c) \
  511. __rcu_dereference_check((p), rcu_read_lock_held() || (c), __rcu)
  512. /**
  513. * rcu_dereference_bh_check() - rcu_dereference_bh with debug checking
  514. * @p: The pointer to read, prior to dereferencing
  515. * @c: The conditions under which the dereference will take place
  516. *
  517. * This is the RCU-bh counterpart to rcu_dereference_check().
  518. */
  519. #define rcu_dereference_bh_check(p, c) \
  520. __rcu_dereference_check((p), rcu_read_lock_bh_held() || (c), __rcu)
  521. /**
  522. * rcu_dereference_sched_check() - rcu_dereference_sched with debug checking
  523. * @p: The pointer to read, prior to dereferencing
  524. * @c: The conditions under which the dereference will take place
  525. *
  526. * This is the RCU-sched counterpart to rcu_dereference_check().
  527. */
  528. #define rcu_dereference_sched_check(p, c) \
  529. __rcu_dereference_check((p), rcu_read_lock_sched_held() || (c), \
  530. __rcu)
  531. #define rcu_dereference_raw(p) rcu_dereference_check(p, 1) /*@@@ needed? @@@*/
  532. /**
  533. * rcu_access_index() - fetch RCU index with no dereferencing
  534. * @p: The index to read
  535. *
  536. * Return the value of the specified RCU-protected index, but omit the
  537. * smp_read_barrier_depends() and keep the ACCESS_ONCE(). This is useful
  538. * when the value of this index is accessed, but the index is not
  539. * dereferenced, for example, when testing an RCU-protected index against
  540. * -1. Although rcu_access_index() may also be used in cases where
  541. * update-side locks prevent the value of the index from changing, you
  542. * should instead use rcu_dereference_index_protected() for this use case.
  543. */
  544. #define rcu_access_index(p) __rcu_access_index((p), __rcu)
  545. /**
  546. * rcu_dereference_index_check() - rcu_dereference for indices with debug checking
  547. * @p: The pointer to read, prior to dereferencing
  548. * @c: The conditions under which the dereference will take place
  549. *
  550. * Similar to rcu_dereference_check(), but omits the sparse checking.
  551. * This allows rcu_dereference_index_check() to be used on integers,
  552. * which can then be used as array indices. Attempting to use
  553. * rcu_dereference_check() on an integer will give compiler warnings
  554. * because the sparse address-space mechanism relies on dereferencing
  555. * the RCU-protected pointer. Dereferencing integers is not something
  556. * that even gcc will put up with.
  557. *
  558. * Note that this function does not implicitly check for RCU read-side
  559. * critical sections. If this function gains lots of uses, it might
  560. * make sense to provide versions for each flavor of RCU, but it does
  561. * not make sense as of early 2010.
  562. */
  563. #define rcu_dereference_index_check(p, c) \
  564. __rcu_dereference_index_check((p), (c))
  565. /**
  566. * rcu_dereference_protected() - fetch RCU pointer when updates prevented
  567. * @p: The pointer to read, prior to dereferencing
  568. * @c: The conditions under which the dereference will take place
  569. *
  570. * Return the value of the specified RCU-protected pointer, but omit
  571. * both the smp_read_barrier_depends() and the ACCESS_ONCE(). This
  572. * is useful in cases where update-side locks prevent the value of the
  573. * pointer from changing. Please note that this primitive does -not-
  574. * prevent the compiler from repeating this reference or combining it
  575. * with other references, so it should not be used without protection
  576. * of appropriate locks.
  577. *
  578. * This function is only for update-side use. Using this function
  579. * when protected only by rcu_read_lock() will result in infrequent
  580. * but very ugly failures.
  581. */
  582. #define rcu_dereference_protected(p, c) \
  583. __rcu_dereference_protected((p), (c), __rcu)
  584. /**
  585. * rcu_dereference() - fetch RCU-protected pointer for dereferencing
  586. * @p: The pointer to read, prior to dereferencing
  587. *
  588. * This is a simple wrapper around rcu_dereference_check().
  589. */
  590. #define rcu_dereference(p) rcu_dereference_check(p, 0)
  591. /**
  592. * rcu_dereference_bh() - fetch an RCU-bh-protected pointer for dereferencing
  593. * @p: The pointer to read, prior to dereferencing
  594. *
  595. * Makes rcu_dereference_check() do the dirty work.
  596. */
  597. #define rcu_dereference_bh(p) rcu_dereference_bh_check(p, 0)
  598. /**
  599. * rcu_dereference_sched() - fetch RCU-sched-protected pointer for dereferencing
  600. * @p: The pointer to read, prior to dereferencing
  601. *
  602. * Makes rcu_dereference_check() do the dirty work.
  603. */
  604. #define rcu_dereference_sched(p) rcu_dereference_sched_check(p, 0)
  605. /**
  606. * rcu_read_lock() - mark the beginning of an RCU read-side critical section
  607. *
  608. * When synchronize_rcu() is invoked on one CPU while other CPUs
  609. * are within RCU read-side critical sections, then the
  610. * synchronize_rcu() is guaranteed to block until after all the other
  611. * CPUs exit their critical sections. Similarly, if call_rcu() is invoked
  612. * on one CPU while other CPUs are within RCU read-side critical
  613. * sections, invocation of the corresponding RCU callback is deferred
  614. * until after the all the other CPUs exit their critical sections.
  615. *
  616. * Note, however, that RCU callbacks are permitted to run concurrently
  617. * with new RCU read-side critical sections. One way that this can happen
  618. * is via the following sequence of events: (1) CPU 0 enters an RCU
  619. * read-side critical section, (2) CPU 1 invokes call_rcu() to register
  620. * an RCU callback, (3) CPU 0 exits the RCU read-side critical section,
  621. * (4) CPU 2 enters a RCU read-side critical section, (5) the RCU
  622. * callback is invoked. This is legal, because the RCU read-side critical
  623. * section that was running concurrently with the call_rcu() (and which
  624. * therefore might be referencing something that the corresponding RCU
  625. * callback would free up) has completed before the corresponding
  626. * RCU callback is invoked.
  627. *
  628. * RCU read-side critical sections may be nested. Any deferred actions
  629. * will be deferred until the outermost RCU read-side critical section
  630. * completes.
  631. *
  632. * You can avoid reading and understanding the next paragraph by
  633. * following this rule: don't put anything in an rcu_read_lock() RCU
  634. * read-side critical section that would block in a !PREEMPT kernel.
  635. * But if you want the full story, read on!
  636. *
  637. * In non-preemptible RCU implementations (TREE_RCU and TINY_RCU), it
  638. * is illegal to block while in an RCU read-side critical section. In
  639. * preemptible RCU implementations (TREE_PREEMPT_RCU and TINY_PREEMPT_RCU)
  640. * in CONFIG_PREEMPT kernel builds, RCU read-side critical sections may
  641. * be preempted, but explicit blocking is illegal. Finally, in preemptible
  642. * RCU implementations in real-time (CONFIG_PREEMPT_RT) kernel builds,
  643. * RCU read-side critical sections may be preempted and they may also
  644. * block, but only when acquiring spinlocks that are subject to priority
  645. * inheritance.
  646. */
  647. static inline void rcu_read_lock(void)
  648. {
  649. __rcu_read_lock();
  650. __acquire(RCU);
  651. rcu_lock_acquire(&rcu_lock_map);
  652. rcu_lockdep_assert(!rcu_is_cpu_idle(),
  653. "rcu_read_lock() used illegally while idle");
  654. }
  655. /*
  656. * So where is rcu_write_lock()? It does not exist, as there is no
  657. * way for writers to lock out RCU readers. This is a feature, not
  658. * a bug -- this property is what provides RCU's performance benefits.
  659. * Of course, writers must coordinate with each other. The normal
  660. * spinlock primitives work well for this, but any other technique may be
  661. * used as well. RCU does not care how the writers keep out of each
  662. * others' way, as long as they do so.
  663. */
  664. /**
  665. * rcu_read_unlock() - marks the end of an RCU read-side critical section.
  666. *
  667. * See rcu_read_lock() for more information.
  668. */
  669. static inline void rcu_read_unlock(void)
  670. {
  671. rcu_lockdep_assert(!rcu_is_cpu_idle(),
  672. "rcu_read_unlock() used illegally while idle");
  673. rcu_lock_release(&rcu_lock_map);
  674. __release(RCU);
  675. __rcu_read_unlock();
  676. }
  677. /**
  678. * rcu_read_lock_bh() - mark the beginning of an RCU-bh critical section
  679. *
  680. * This is equivalent of rcu_read_lock(), but to be used when updates
  681. * are being done using call_rcu_bh() or synchronize_rcu_bh(). Since
  682. * both call_rcu_bh() and synchronize_rcu_bh() consider completion of a
  683. * softirq handler to be a quiescent state, a process in RCU read-side
  684. * critical section must be protected by disabling softirqs. Read-side
  685. * critical sections in interrupt context can use just rcu_read_lock(),
  686. * though this should at least be commented to avoid confusing people
  687. * reading the code.
  688. *
  689. * Note that rcu_read_lock_bh() and the matching rcu_read_unlock_bh()
  690. * must occur in the same context, for example, it is illegal to invoke
  691. * rcu_read_unlock_bh() from one task if the matching rcu_read_lock_bh()
  692. * was invoked from some other task.
  693. */
  694. static inline void rcu_read_lock_bh(void)
  695. {
  696. local_bh_disable();
  697. __acquire(RCU_BH);
  698. rcu_lock_acquire(&rcu_bh_lock_map);
  699. rcu_lockdep_assert(!rcu_is_cpu_idle(),
  700. "rcu_read_lock_bh() used illegally while idle");
  701. }
  702. /*
  703. * rcu_read_unlock_bh - marks the end of a softirq-only RCU critical section
  704. *
  705. * See rcu_read_lock_bh() for more information.
  706. */
  707. static inline void rcu_read_unlock_bh(void)
  708. {
  709. rcu_lockdep_assert(!rcu_is_cpu_idle(),
  710. "rcu_read_unlock_bh() used illegally while idle");
  711. rcu_lock_release(&rcu_bh_lock_map);
  712. __release(RCU_BH);
  713. local_bh_enable();
  714. }
  715. /**
  716. * rcu_read_lock_sched() - mark the beginning of a RCU-sched critical section
  717. *
  718. * This is equivalent of rcu_read_lock(), but to be used when updates
  719. * are being done using call_rcu_sched() or synchronize_rcu_sched().
  720. * Read-side critical sections can also be introduced by anything that
  721. * disables preemption, including local_irq_disable() and friends.
  722. *
  723. * Note that rcu_read_lock_sched() and the matching rcu_read_unlock_sched()
  724. * must occur in the same context, for example, it is illegal to invoke
  725. * rcu_read_unlock_sched() from process context if the matching
  726. * rcu_read_lock_sched() was invoked from an NMI handler.
  727. */
  728. static inline void rcu_read_lock_sched(void)
  729. {
  730. preempt_disable();
  731. __acquire(RCU_SCHED);
  732. rcu_lock_acquire(&rcu_sched_lock_map);
  733. rcu_lockdep_assert(!rcu_is_cpu_idle(),
  734. "rcu_read_lock_sched() used illegally while idle");
  735. }
  736. /* Used by lockdep and tracing: cannot be traced, cannot call lockdep. */
  737. static inline notrace void rcu_read_lock_sched_notrace(void)
  738. {
  739. preempt_disable_notrace();
  740. __acquire(RCU_SCHED);
  741. }
  742. /*
  743. * rcu_read_unlock_sched - marks the end of a RCU-classic critical section
  744. *
  745. * See rcu_read_lock_sched for more information.
  746. */
  747. static inline void rcu_read_unlock_sched(void)
  748. {
  749. rcu_lockdep_assert(!rcu_is_cpu_idle(),
  750. "rcu_read_unlock_sched() used illegally while idle");
  751. rcu_lock_release(&rcu_sched_lock_map);
  752. __release(RCU_SCHED);
  753. preempt_enable();
  754. }
  755. /* Used by lockdep and tracing: cannot be traced, cannot call lockdep. */
  756. static inline notrace void rcu_read_unlock_sched_notrace(void)
  757. {
  758. __release(RCU_SCHED);
  759. preempt_enable_notrace();
  760. }
  761. /**
  762. * rcu_assign_pointer() - assign to RCU-protected pointer
  763. * @p: pointer to assign to
  764. * @v: value to assign (publish)
  765. *
  766. * Assigns the specified value to the specified RCU-protected
  767. * pointer, ensuring that any concurrent RCU readers will see
  768. * any prior initialization.
  769. *
  770. * Inserts memory barriers on architectures that require them
  771. * (which is most of them), and also prevents the compiler from
  772. * reordering the code that initializes the structure after the pointer
  773. * assignment. More importantly, this call documents which pointers
  774. * will be dereferenced by RCU read-side code.
  775. *
  776. * In some special cases, you may use RCU_INIT_POINTER() instead
  777. * of rcu_assign_pointer(). RCU_INIT_POINTER() is a bit faster due
  778. * to the fact that it does not constrain either the CPU or the compiler.
  779. * That said, using RCU_INIT_POINTER() when you should have used
  780. * rcu_assign_pointer() is a very bad thing that results in
  781. * impossible-to-diagnose memory corruption. So please be careful.
  782. * See the RCU_INIT_POINTER() comment header for details.
  783. */
  784. #define rcu_assign_pointer(p, v) \
  785. __rcu_assign_pointer((p), (v), __rcu)
  786. /**
  787. * RCU_INIT_POINTER() - initialize an RCU protected pointer
  788. *
  789. * Initialize an RCU-protected pointer in special cases where readers
  790. * do not need ordering constraints on the CPU or the compiler. These
  791. * special cases are:
  792. *
  793. * 1. This use of RCU_INIT_POINTER() is NULLing out the pointer -or-
  794. * 2. The caller has taken whatever steps are required to prevent
  795. * RCU readers from concurrently accessing this pointer -or-
  796. * 3. The referenced data structure has already been exposed to
  797. * readers either at compile time or via rcu_assign_pointer() -and-
  798. * a. You have not made -any- reader-visible changes to
  799. * this structure since then -or-
  800. * b. It is OK for readers accessing this structure from its
  801. * new location to see the old state of the structure. (For
  802. * example, the changes were to statistical counters or to
  803. * other state where exact synchronization is not required.)
  804. *
  805. * Failure to follow these rules governing use of RCU_INIT_POINTER() will
  806. * result in impossible-to-diagnose memory corruption. As in the structures
  807. * will look OK in crash dumps, but any concurrent RCU readers might
  808. * see pre-initialized values of the referenced data structure. So
  809. * please be very careful how you use RCU_INIT_POINTER()!!!
  810. *
  811. * If you are creating an RCU-protected linked structure that is accessed
  812. * by a single external-to-structure RCU-protected pointer, then you may
  813. * use RCU_INIT_POINTER() to initialize the internal RCU-protected
  814. * pointers, but you must use rcu_assign_pointer() to initialize the
  815. * external-to-structure pointer -after- you have completely initialized
  816. * the reader-accessible portions of the linked structure.
  817. */
  818. #define RCU_INIT_POINTER(p, v) \
  819. do { \
  820. p = (typeof(*v) __force __rcu *)(v); \
  821. } while (0)
  822. /**
  823. * RCU_POINTER_INITIALIZER() - statically initialize an RCU protected pointer
  824. *
  825. * GCC-style initialization for an RCU-protected pointer in a structure field.
  826. */
  827. #define RCU_POINTER_INITIALIZER(p, v) \
  828. .p = (typeof(*v) __force __rcu *)(v)
  829. /*
  830. * Does the specified offset indicate that the corresponding rcu_head
  831. * structure can be handled by kfree_rcu()?
  832. */
  833. #define __is_kfree_rcu_offset(offset) ((offset) < 4096)
  834. /*
  835. * Helper macro for kfree_rcu() to prevent argument-expansion eyestrain.
  836. */
  837. #define __kfree_rcu(head, offset) \
  838. do { \
  839. BUILD_BUG_ON(!__is_kfree_rcu_offset(offset)); \
  840. kfree_call_rcu(head, (void (*)(struct rcu_head *))(unsigned long)(offset)); \
  841. } while (0)
  842. /**
  843. * kfree_rcu() - kfree an object after a grace period.
  844. * @ptr: pointer to kfree
  845. * @rcu_head: the name of the struct rcu_head within the type of @ptr.
  846. *
  847. * Many rcu callbacks functions just call kfree() on the base structure.
  848. * These functions are trivial, but their size adds up, and furthermore
  849. * when they are used in a kernel module, that module must invoke the
  850. * high-latency rcu_barrier() function at module-unload time.
  851. *
  852. * The kfree_rcu() function handles this issue. Rather than encoding a
  853. * function address in the embedded rcu_head structure, kfree_rcu() instead
  854. * encodes the offset of the rcu_head structure within the base structure.
  855. * Because the functions are not allowed in the low-order 4096 bytes of
  856. * kernel virtual memory, offsets up to 4095 bytes can be accommodated.
  857. * If the offset is larger than 4095 bytes, a compile-time error will
  858. * be generated in __kfree_rcu(). If this error is triggered, you can
  859. * either fall back to use of call_rcu() or rearrange the structure to
  860. * position the rcu_head structure into the first 4096 bytes.
  861. *
  862. * Note that the allowable offset might decrease in the future, for example,
  863. * to allow something like kmem_cache_free_rcu().
  864. *
  865. * The BUILD_BUG_ON check must not involve any function calls, hence the
  866. * checks are done in macros here.
  867. */
  868. #define kfree_rcu(ptr, rcu_head) \
  869. __kfree_rcu(&((ptr)->rcu_head), offsetof(typeof(*(ptr)), rcu_head))
  870. #endif /* __LINUX_RCUPDATE_H */