rcupdate.h 14 KB

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