rcupdate.h 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457
  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/cache.h>
  35. #include <linux/spinlock.h>
  36. #include <linux/threads.h>
  37. #include <linux/cpumask.h>
  38. #include <linux/seqlock.h>
  39. #include <linux/lockdep.h>
  40. #include <linux/completion.h>
  41. #ifdef CONFIG_RCU_TORTURE_TEST
  42. extern int rcutorture_runnable; /* for sysctl */
  43. #endif /* #ifdef CONFIG_RCU_TORTURE_TEST */
  44. /**
  45. * struct rcu_head - callback structure for use with RCU
  46. * @next: next update requests in a list
  47. * @func: actual update function to call after the grace period.
  48. */
  49. struct rcu_head {
  50. struct rcu_head *next;
  51. void (*func)(struct rcu_head *head);
  52. };
  53. /* Exported common interfaces */
  54. extern void synchronize_rcu_bh(void);
  55. extern void synchronize_sched(void);
  56. extern void rcu_barrier(void);
  57. extern void rcu_barrier_bh(void);
  58. extern void rcu_barrier_sched(void);
  59. extern void synchronize_sched_expedited(void);
  60. extern int sched_expedited_torture_stats(char *page);
  61. /* Internal to kernel */
  62. extern void rcu_init(void);
  63. extern int rcu_scheduler_active;
  64. extern void rcu_scheduler_starting(void);
  65. #if defined(CONFIG_TREE_RCU) || defined(CONFIG_TREE_PREEMPT_RCU)
  66. #include <linux/rcutree.h>
  67. #elif defined(CONFIG_TINY_RCU)
  68. #include <linux/rcutiny.h>
  69. #else
  70. #error "Unknown RCU implementation specified to kernel configuration"
  71. #endif
  72. #define RCU_HEAD_INIT { .next = NULL, .func = NULL }
  73. #define RCU_HEAD(head) struct rcu_head head = RCU_HEAD_INIT
  74. #define INIT_RCU_HEAD(ptr) do { \
  75. (ptr)->next = NULL; (ptr)->func = NULL; \
  76. } while (0)
  77. #ifdef CONFIG_DEBUG_LOCK_ALLOC
  78. extern struct lockdep_map rcu_lock_map;
  79. # define rcu_read_acquire() \
  80. lock_acquire(&rcu_lock_map, 0, 0, 2, 1, NULL, _THIS_IP_)
  81. # define rcu_read_release() lock_release(&rcu_lock_map, 1, _THIS_IP_)
  82. extern struct lockdep_map rcu_bh_lock_map;
  83. # define rcu_read_acquire_bh() \
  84. lock_acquire(&rcu_bh_lock_map, 0, 0, 2, 1, NULL, _THIS_IP_)
  85. # define rcu_read_release_bh() lock_release(&rcu_bh_lock_map, 1, _THIS_IP_)
  86. extern struct lockdep_map rcu_sched_lock_map;
  87. # define rcu_read_acquire_sched() \
  88. lock_acquire(&rcu_sched_lock_map, 0, 0, 2, 1, NULL, _THIS_IP_)
  89. # define rcu_read_release_sched() \
  90. lock_release(&rcu_sched_lock_map, 1, _THIS_IP_)
  91. static inline int debug_lockdep_rcu_enabled(void)
  92. {
  93. return likely(rcu_scheduler_active && debug_locks);
  94. }
  95. /**
  96. * rcu_read_lock_held - might we be in RCU read-side critical section?
  97. *
  98. * If CONFIG_PROVE_LOCKING is selected and enabled, returns nonzero iff in
  99. * an RCU read-side critical section. In absence of CONFIG_PROVE_LOCKING,
  100. * this assumes we are in an RCU read-side critical section unless it can
  101. * prove otherwise.
  102. *
  103. * Check rcu_scheduler_active to prevent false positives during boot.
  104. */
  105. static inline int rcu_read_lock_held(void)
  106. {
  107. if (!debug_lockdep_rcu_enabled())
  108. return 1;
  109. return lock_is_held(&rcu_lock_map);
  110. }
  111. /*
  112. * rcu_read_lock_bh_held() is defined out of line to avoid #include-file
  113. * hell.
  114. */
  115. extern int rcu_read_lock_bh_held(void);
  116. /**
  117. * rcu_read_lock_sched_held - might we be in RCU-sched read-side critical section?
  118. *
  119. * If CONFIG_PROVE_LOCKING is selected and enabled, returns nonzero iff in an
  120. * RCU-sched read-side critical section. In absence of CONFIG_PROVE_LOCKING,
  121. * this assumes we are in an RCU-sched read-side critical section unless it
  122. * can prove otherwise. Note that disabling of preemption (including
  123. * disabling irqs) counts as an RCU-sched read-side critical section.
  124. *
  125. * Check rcu_scheduler_active to prevent false positives during boot.
  126. */
  127. #ifdef CONFIG_PREEMPT
  128. static inline int rcu_read_lock_sched_held(void)
  129. {
  130. int lockdep_opinion = 0;
  131. if (!debug_lockdep_rcu_enabled())
  132. return 1;
  133. if (debug_locks)
  134. lockdep_opinion = lock_is_held(&rcu_sched_lock_map);
  135. return lockdep_opinion || preempt_count() != 0;
  136. }
  137. #else /* #ifdef CONFIG_PREEMPT */
  138. static inline int rcu_read_lock_sched_held(void)
  139. {
  140. return 1;
  141. }
  142. #endif /* #else #ifdef CONFIG_PREEMPT */
  143. #else /* #ifdef CONFIG_DEBUG_LOCK_ALLOC */
  144. # define rcu_read_acquire() do { } while (0)
  145. # define rcu_read_release() do { } while (0)
  146. # define rcu_read_acquire_bh() do { } while (0)
  147. # define rcu_read_release_bh() do { } while (0)
  148. # define rcu_read_acquire_sched() do { } while (0)
  149. # define rcu_read_release_sched() do { } while (0)
  150. static inline int rcu_read_lock_held(void)
  151. {
  152. return 1;
  153. }
  154. static inline int rcu_read_lock_bh_held(void)
  155. {
  156. return 1;
  157. }
  158. #ifdef CONFIG_PREEMPT
  159. static inline int rcu_read_lock_sched_held(void)
  160. {
  161. return !rcu_scheduler_active || preempt_count() != 0;
  162. }
  163. #else /* #ifdef CONFIG_PREEMPT */
  164. static inline int rcu_read_lock_sched_held(void)
  165. {
  166. return 1;
  167. }
  168. #endif /* #else #ifdef CONFIG_PREEMPT */
  169. #endif /* #else #ifdef CONFIG_DEBUG_LOCK_ALLOC */
  170. #ifdef CONFIG_PROVE_RCU
  171. /**
  172. * rcu_dereference_check - rcu_dereference with debug checking
  173. *
  174. * Do an rcu_dereference(), but check that the context is correct.
  175. * For example, rcu_dereference_check(gp, rcu_read_lock_held()) to
  176. * ensure that the rcu_dereference_check() executes within an RCU
  177. * read-side critical section. It is also possible to check for
  178. * locks being held, for example, by using lockdep_is_held().
  179. */
  180. #define rcu_dereference_check(p, c) \
  181. ({ \
  182. if (debug_lockdep_rcu_enabled() && !(c)) \
  183. lockdep_rcu_dereference(__FILE__, __LINE__); \
  184. rcu_dereference_raw(p); \
  185. })
  186. #else /* #ifdef CONFIG_PROVE_RCU */
  187. #define rcu_dereference_check(p, c) rcu_dereference_raw(p)
  188. #endif /* #else #ifdef CONFIG_PROVE_RCU */
  189. /**
  190. * rcu_read_lock - mark the beginning of an RCU read-side critical section.
  191. *
  192. * When synchronize_rcu() is invoked on one CPU while other CPUs
  193. * are within RCU read-side critical sections, then the
  194. * synchronize_rcu() is guaranteed to block until after all the other
  195. * CPUs exit their critical sections. Similarly, if call_rcu() is invoked
  196. * on one CPU while other CPUs are within RCU read-side critical
  197. * sections, invocation of the corresponding RCU callback is deferred
  198. * until after the all the other CPUs exit their critical sections.
  199. *
  200. * Note, however, that RCU callbacks are permitted to run concurrently
  201. * with RCU read-side critical sections. One way that this can happen
  202. * is via the following sequence of events: (1) CPU 0 enters an RCU
  203. * read-side critical section, (2) CPU 1 invokes call_rcu() to register
  204. * an RCU callback, (3) CPU 0 exits the RCU read-side critical section,
  205. * (4) CPU 2 enters a RCU read-side critical section, (5) the RCU
  206. * callback is invoked. This is legal, because the RCU read-side critical
  207. * section that was running concurrently with the call_rcu() (and which
  208. * therefore might be referencing something that the corresponding RCU
  209. * callback would free up) has completed before the corresponding
  210. * RCU callback is invoked.
  211. *
  212. * RCU read-side critical sections may be nested. Any deferred actions
  213. * will be deferred until the outermost RCU read-side critical section
  214. * completes.
  215. *
  216. * It is illegal to block while in an RCU read-side critical section.
  217. */
  218. static inline void rcu_read_lock(void)
  219. {
  220. __rcu_read_lock();
  221. __acquire(RCU);
  222. rcu_read_acquire();
  223. }
  224. /*
  225. * So where is rcu_write_lock()? It does not exist, as there is no
  226. * way for writers to lock out RCU readers. This is a feature, not
  227. * a bug -- this property is what provides RCU's performance benefits.
  228. * Of course, writers must coordinate with each other. The normal
  229. * spinlock primitives work well for this, but any other technique may be
  230. * used as well. RCU does not care how the writers keep out of each
  231. * others' way, as long as they do so.
  232. */
  233. /**
  234. * rcu_read_unlock - marks the end of an RCU read-side critical section.
  235. *
  236. * See rcu_read_lock() for more information.
  237. */
  238. static inline void rcu_read_unlock(void)
  239. {
  240. rcu_read_release();
  241. __release(RCU);
  242. __rcu_read_unlock();
  243. }
  244. /**
  245. * rcu_read_lock_bh - mark the beginning of a softirq-only RCU critical section
  246. *
  247. * This is equivalent of rcu_read_lock(), but to be used when updates
  248. * are being done using call_rcu_bh(). Since call_rcu_bh() callbacks
  249. * consider completion of a softirq handler to be a quiescent state,
  250. * a process in RCU read-side critical section must be protected by
  251. * disabling softirqs. Read-side critical sections in interrupt context
  252. * can use just rcu_read_lock().
  253. *
  254. */
  255. static inline void rcu_read_lock_bh(void)
  256. {
  257. __rcu_read_lock_bh();
  258. __acquire(RCU_BH);
  259. rcu_read_acquire_bh();
  260. }
  261. /*
  262. * rcu_read_unlock_bh - marks the end of a softirq-only RCU critical section
  263. *
  264. * See rcu_read_lock_bh() for more information.
  265. */
  266. static inline void rcu_read_unlock_bh(void)
  267. {
  268. rcu_read_release_bh();
  269. __release(RCU_BH);
  270. __rcu_read_unlock_bh();
  271. }
  272. /**
  273. * rcu_read_lock_sched - mark the beginning of a RCU-classic critical section
  274. *
  275. * Should be used with either
  276. * - synchronize_sched()
  277. * or
  278. * - call_rcu_sched() and rcu_barrier_sched()
  279. * on the write-side to insure proper synchronization.
  280. */
  281. static inline void rcu_read_lock_sched(void)
  282. {
  283. preempt_disable();
  284. __acquire(RCU_SCHED);
  285. rcu_read_acquire_sched();
  286. }
  287. /* Used by lockdep and tracing: cannot be traced, cannot call lockdep. */
  288. static inline notrace void rcu_read_lock_sched_notrace(void)
  289. {
  290. preempt_disable_notrace();
  291. __acquire(RCU_SCHED);
  292. }
  293. /*
  294. * rcu_read_unlock_sched - marks the end of a RCU-classic critical section
  295. *
  296. * See rcu_read_lock_sched for more information.
  297. */
  298. static inline void rcu_read_unlock_sched(void)
  299. {
  300. rcu_read_release_sched();
  301. __release(RCU_SCHED);
  302. preempt_enable();
  303. }
  304. /* Used by lockdep and tracing: cannot be traced, cannot call lockdep. */
  305. static inline notrace void rcu_read_unlock_sched_notrace(void)
  306. {
  307. __release(RCU_SCHED);
  308. preempt_enable_notrace();
  309. }
  310. /**
  311. * rcu_dereference_raw - fetch an RCU-protected pointer
  312. *
  313. * The caller must be within some flavor of RCU read-side critical
  314. * section, or must be otherwise preventing the pointer from changing,
  315. * for example, by holding an appropriate lock. This pointer may later
  316. * be safely dereferenced. It is the caller's responsibility to have
  317. * done the right thing, as this primitive does no checking of any kind.
  318. *
  319. * Inserts memory barriers on architectures that require them
  320. * (currently only the Alpha), and, more importantly, documents
  321. * exactly which pointers are protected by RCU.
  322. */
  323. #define rcu_dereference_raw(p) ({ \
  324. typeof(p) _________p1 = ACCESS_ONCE(p); \
  325. smp_read_barrier_depends(); \
  326. (_________p1); \
  327. })
  328. /**
  329. * rcu_dereference - fetch an RCU-protected pointer, checking for RCU
  330. *
  331. * Makes rcu_dereference_check() do the dirty work.
  332. */
  333. #define rcu_dereference(p) \
  334. rcu_dereference_check(p, rcu_read_lock_held())
  335. /**
  336. * rcu_dereference_bh - fetch an RCU-protected pointer, checking for RCU-bh
  337. *
  338. * Makes rcu_dereference_check() do the dirty work.
  339. */
  340. #define rcu_dereference_bh(p) \
  341. rcu_dereference_check(p, rcu_read_lock_bh_held())
  342. /**
  343. * rcu_dereference_sched - fetch RCU-protected pointer, checking for RCU-sched
  344. *
  345. * Makes rcu_dereference_check() do the dirty work.
  346. */
  347. #define rcu_dereference_sched(p) \
  348. rcu_dereference_check(p, rcu_read_lock_sched_held())
  349. /**
  350. * rcu_assign_pointer - assign (publicize) a pointer to a newly
  351. * initialized structure that will be dereferenced by RCU read-side
  352. * critical sections. Returns the value assigned.
  353. *
  354. * Inserts memory barriers on architectures that require them
  355. * (pretty much all of them other than x86), and also prevents
  356. * the compiler from reordering the code that initializes the
  357. * structure after the pointer assignment. More importantly, this
  358. * call documents which pointers will be dereferenced by RCU read-side
  359. * code.
  360. */
  361. #define rcu_assign_pointer(p, v) \
  362. ({ \
  363. if (!__builtin_constant_p(v) || \
  364. ((v) != NULL)) \
  365. smp_wmb(); \
  366. (p) = (v); \
  367. })
  368. /* Infrastructure to implement the synchronize_() primitives. */
  369. struct rcu_synchronize {
  370. struct rcu_head head;
  371. struct completion completion;
  372. };
  373. extern void wakeme_after_rcu(struct rcu_head *head);
  374. /**
  375. * call_rcu - Queue an RCU callback for invocation after a grace period.
  376. * @head: structure to be used for queueing the RCU updates.
  377. * @func: actual update function to be invoked after the grace period
  378. *
  379. * The update function will be invoked some time after a full grace
  380. * period elapses, in other words after all currently executing RCU
  381. * read-side critical sections have completed. RCU read-side critical
  382. * sections are delimited by rcu_read_lock() and rcu_read_unlock(),
  383. * and may be nested.
  384. */
  385. extern void call_rcu(struct rcu_head *head,
  386. void (*func)(struct rcu_head *head));
  387. /**
  388. * call_rcu_bh - Queue an RCU for invocation after a quicker grace period.
  389. * @head: structure to be used for queueing the RCU updates.
  390. * @func: actual update function to be invoked after the grace period
  391. *
  392. * The update function will be invoked some time after a full grace
  393. * period elapses, in other words after all currently executing RCU
  394. * read-side critical sections have completed. call_rcu_bh() assumes
  395. * that the read-side critical sections end on completion of a softirq
  396. * handler. This means that read-side critical sections in process
  397. * context must not be interrupted by softirqs. This interface is to be
  398. * used when most of the read-side critical sections are in softirq context.
  399. * RCU read-side critical sections are delimited by :
  400. * - rcu_read_lock() and rcu_read_unlock(), if in interrupt context.
  401. * OR
  402. * - rcu_read_lock_bh() and rcu_read_unlock_bh(), if in process context.
  403. * These may be nested.
  404. */
  405. extern void call_rcu_bh(struct rcu_head *head,
  406. void (*func)(struct rcu_head *head));
  407. #endif /* __LINUX_RCUPDATE_H */