rcutree_plugin.h 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615
  1. /*
  2. * Read-Copy Update mechanism for mutual exclusion (tree-based version)
  3. * Internal non-public definitions that provide either classic
  4. * or preemptable semantics.
  5. *
  6. * This program is free software; you can redistribute it and/or modify
  7. * it under the terms of the GNU General Public License as published by
  8. * the Free Software Foundation; either version 2 of the License, or
  9. * (at your option) any later version.
  10. *
  11. * This program is distributed in the hope that it will be useful,
  12. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  13. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  14. * GNU General Public License for more details.
  15. *
  16. * You should have received a copy of the GNU General Public License
  17. * along with this program; if not, write to the Free Software
  18. * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
  19. *
  20. * Copyright Red Hat, 2009
  21. * Copyright IBM Corporation, 2009
  22. *
  23. * Author: Ingo Molnar <mingo@elte.hu>
  24. * Paul E. McKenney <paulmck@linux.vnet.ibm.com>
  25. */
  26. #ifdef CONFIG_TREE_PREEMPT_RCU
  27. struct rcu_state rcu_preempt_state = RCU_STATE_INITIALIZER(rcu_preempt_state);
  28. DEFINE_PER_CPU(struct rcu_data, rcu_preempt_data);
  29. /*
  30. * Tell them what RCU they are running.
  31. */
  32. static inline void rcu_bootup_announce(void)
  33. {
  34. printk(KERN_INFO
  35. "Experimental preemptable hierarchical RCU implementation.\n");
  36. }
  37. /*
  38. * Return the number of RCU-preempt batches processed thus far
  39. * for debug and statistics.
  40. */
  41. long rcu_batches_completed_preempt(void)
  42. {
  43. return rcu_preempt_state.completed;
  44. }
  45. EXPORT_SYMBOL_GPL(rcu_batches_completed_preempt);
  46. /*
  47. * Return the number of RCU batches processed thus far for debug & stats.
  48. */
  49. long rcu_batches_completed(void)
  50. {
  51. return rcu_batches_completed_preempt();
  52. }
  53. EXPORT_SYMBOL_GPL(rcu_batches_completed);
  54. /*
  55. * Record a preemptable-RCU quiescent state for the specified CPU. Note
  56. * that this just means that the task currently running on the CPU is
  57. * not in a quiescent state. There might be any number of tasks blocked
  58. * while in an RCU read-side critical section.
  59. */
  60. static void rcu_preempt_qs(int cpu)
  61. {
  62. struct rcu_data *rdp = &per_cpu(rcu_preempt_data, cpu);
  63. rdp->passed_quiesc_completed = rdp->completed;
  64. barrier();
  65. rdp->passed_quiesc = 1;
  66. }
  67. /*
  68. * We have entered the scheduler, and the current task might soon be
  69. * context-switched away from. If this task is in an RCU read-side
  70. * critical section, we will no longer be able to rely on the CPU to
  71. * record that fact, so we enqueue the task on the appropriate entry
  72. * of the blocked_tasks[] array. The task will dequeue itself when
  73. * it exits the outermost enclosing RCU read-side critical section.
  74. * Therefore, the current grace period cannot be permitted to complete
  75. * until the blocked_tasks[] entry indexed by the low-order bit of
  76. * rnp->gpnum empties.
  77. *
  78. * Caller must disable preemption.
  79. */
  80. static void rcu_preempt_note_context_switch(int cpu)
  81. {
  82. struct task_struct *t = current;
  83. unsigned long flags;
  84. int phase;
  85. struct rcu_data *rdp;
  86. struct rcu_node *rnp;
  87. if (t->rcu_read_lock_nesting &&
  88. (t->rcu_read_unlock_special & RCU_READ_UNLOCK_BLOCKED) == 0) {
  89. /* Possibly blocking in an RCU read-side critical section. */
  90. rdp = rcu_preempt_state.rda[cpu];
  91. rnp = rdp->mynode;
  92. spin_lock_irqsave(&rnp->lock, flags);
  93. t->rcu_read_unlock_special |= RCU_READ_UNLOCK_BLOCKED;
  94. t->rcu_blocked_node = rnp;
  95. /*
  96. * If this CPU has already checked in, then this task
  97. * will hold up the next grace period rather than the
  98. * current grace period. Queue the task accordingly.
  99. * If the task is queued for the current grace period
  100. * (i.e., this CPU has not yet passed through a quiescent
  101. * state for the current grace period), then as long
  102. * as that task remains queued, the current grace period
  103. * cannot end.
  104. *
  105. * But first, note that the current CPU must still be
  106. * on line!
  107. */
  108. WARN_ON_ONCE((rdp->grpmask & rnp->qsmaskinit) == 0);
  109. WARN_ON_ONCE(!list_empty(&t->rcu_node_entry));
  110. phase = (rnp->gpnum + !(rnp->qsmask & rdp->grpmask)) & 0x1;
  111. list_add(&t->rcu_node_entry, &rnp->blocked_tasks[phase]);
  112. spin_unlock_irqrestore(&rnp->lock, flags);
  113. }
  114. /*
  115. * Either we were not in an RCU read-side critical section to
  116. * begin with, or we have now recorded that critical section
  117. * globally. Either way, we can now note a quiescent state
  118. * for this CPU. Again, if we were in an RCU read-side critical
  119. * section, and if that critical section was blocking the current
  120. * grace period, then the fact that the task has been enqueued
  121. * means that we continue to block the current grace period.
  122. */
  123. rcu_preempt_qs(cpu);
  124. local_irq_save(flags);
  125. t->rcu_read_unlock_special &= ~RCU_READ_UNLOCK_NEED_QS;
  126. local_irq_restore(flags);
  127. }
  128. /*
  129. * Tree-preemptable RCU implementation for rcu_read_lock().
  130. * Just increment ->rcu_read_lock_nesting, shared state will be updated
  131. * if we block.
  132. */
  133. void __rcu_read_lock(void)
  134. {
  135. ACCESS_ONCE(current->rcu_read_lock_nesting)++;
  136. barrier(); /* needed if we ever invoke rcu_read_lock in rcutree.c */
  137. }
  138. EXPORT_SYMBOL_GPL(__rcu_read_lock);
  139. /*
  140. * Check for preempted RCU readers blocking the current grace period
  141. * for the specified rcu_node structure. If the caller needs a reliable
  142. * answer, it must hold the rcu_node's ->lock.
  143. */
  144. static int rcu_preempted_readers(struct rcu_node *rnp)
  145. {
  146. return !list_empty(&rnp->blocked_tasks[rnp->gpnum & 0x1]);
  147. }
  148. static void rcu_read_unlock_special(struct task_struct *t)
  149. {
  150. int empty;
  151. unsigned long flags;
  152. unsigned long mask;
  153. struct rcu_node *rnp;
  154. int special;
  155. /* NMI handlers cannot block and cannot safely manipulate state. */
  156. if (in_nmi())
  157. return;
  158. local_irq_save(flags);
  159. /*
  160. * If RCU core is waiting for this CPU to exit critical section,
  161. * let it know that we have done so.
  162. */
  163. special = t->rcu_read_unlock_special;
  164. if (special & RCU_READ_UNLOCK_NEED_QS) {
  165. t->rcu_read_unlock_special &= ~RCU_READ_UNLOCK_NEED_QS;
  166. rcu_preempt_qs(smp_processor_id());
  167. }
  168. /* Hardware IRQ handlers cannot block. */
  169. if (in_irq()) {
  170. local_irq_restore(flags);
  171. return;
  172. }
  173. /* Clean up if blocked during RCU read-side critical section. */
  174. if (special & RCU_READ_UNLOCK_BLOCKED) {
  175. t->rcu_read_unlock_special &= ~RCU_READ_UNLOCK_BLOCKED;
  176. /*
  177. * Remove this task from the list it blocked on. The
  178. * task can migrate while we acquire the lock, but at
  179. * most one time. So at most two passes through loop.
  180. */
  181. for (;;) {
  182. rnp = t->rcu_blocked_node;
  183. spin_lock(&rnp->lock); /* irqs already disabled. */
  184. if (rnp == t->rcu_blocked_node)
  185. break;
  186. spin_unlock(&rnp->lock); /* irqs remain disabled. */
  187. }
  188. empty = !rcu_preempted_readers(rnp);
  189. list_del_init(&t->rcu_node_entry);
  190. t->rcu_blocked_node = NULL;
  191. /*
  192. * If this was the last task on the current list, and if
  193. * we aren't waiting on any CPUs, report the quiescent state.
  194. * Note that both cpu_quiet_msk_finish() and cpu_quiet_msk()
  195. * drop rnp->lock and restore irq.
  196. */
  197. if (!empty && rnp->qsmask == 0 &&
  198. !rcu_preempted_readers(rnp)) {
  199. struct rcu_node *rnp_p;
  200. if (rnp->parent == NULL) {
  201. /* Only one rcu_node in the tree. */
  202. cpu_quiet_msk_finish(&rcu_preempt_state, flags);
  203. return;
  204. }
  205. /* Report up the rest of the hierarchy. */
  206. mask = rnp->grpmask;
  207. spin_unlock_irqrestore(&rnp->lock, flags);
  208. rnp_p = rnp->parent;
  209. spin_lock_irqsave(&rnp_p->lock, flags);
  210. WARN_ON_ONCE(rnp->qsmask);
  211. cpu_quiet_msk(mask, &rcu_preempt_state, rnp_p, flags);
  212. return;
  213. }
  214. spin_unlock(&rnp->lock);
  215. }
  216. local_irq_restore(flags);
  217. }
  218. /*
  219. * Tree-preemptable RCU implementation for rcu_read_unlock().
  220. * Decrement ->rcu_read_lock_nesting. If the result is zero (outermost
  221. * rcu_read_unlock()) and ->rcu_read_unlock_special is non-zero, then
  222. * invoke rcu_read_unlock_special() to clean up after a context switch
  223. * in an RCU read-side critical section and other special cases.
  224. */
  225. void __rcu_read_unlock(void)
  226. {
  227. struct task_struct *t = current;
  228. barrier(); /* needed if we ever invoke rcu_read_unlock in rcutree.c */
  229. if (--ACCESS_ONCE(t->rcu_read_lock_nesting) == 0 &&
  230. unlikely(ACCESS_ONCE(t->rcu_read_unlock_special)))
  231. rcu_read_unlock_special(t);
  232. }
  233. EXPORT_SYMBOL_GPL(__rcu_read_unlock);
  234. #ifdef CONFIG_RCU_CPU_STALL_DETECTOR
  235. /*
  236. * Scan the current list of tasks blocked within RCU read-side critical
  237. * sections, printing out the tid of each.
  238. */
  239. static void rcu_print_task_stall(struct rcu_node *rnp)
  240. {
  241. unsigned long flags;
  242. struct list_head *lp;
  243. int phase;
  244. struct task_struct *t;
  245. if (rcu_preempted_readers(rnp)) {
  246. spin_lock_irqsave(&rnp->lock, flags);
  247. phase = rnp->gpnum & 0x1;
  248. lp = &rnp->blocked_tasks[phase];
  249. list_for_each_entry(t, lp, rcu_node_entry)
  250. printk(" P%d", t->pid);
  251. spin_unlock_irqrestore(&rnp->lock, flags);
  252. }
  253. }
  254. #endif /* #ifdef CONFIG_RCU_CPU_STALL_DETECTOR */
  255. /*
  256. * Check that the list of blocked tasks for the newly completed grace
  257. * period is in fact empty. It is a serious bug to complete a grace
  258. * period that still has RCU readers blocked! This function must be
  259. * invoked -before- updating this rnp's ->gpnum, and the rnp's ->lock
  260. * must be held by the caller.
  261. */
  262. static void rcu_preempt_check_blocked_tasks(struct rcu_node *rnp)
  263. {
  264. WARN_ON_ONCE(rcu_preempted_readers(rnp));
  265. WARN_ON_ONCE(rnp->qsmask);
  266. }
  267. #ifdef CONFIG_HOTPLUG_CPU
  268. /*
  269. * Handle tasklist migration for case in which all CPUs covered by the
  270. * specified rcu_node have gone offline. Move them up to the root
  271. * rcu_node. The reason for not just moving them to the immediate
  272. * parent is to remove the need for rcu_read_unlock_special() to
  273. * make more than two attempts to acquire the target rcu_node's lock.
  274. *
  275. * The caller must hold rnp->lock with irqs disabled.
  276. */
  277. static void rcu_preempt_offline_tasks(struct rcu_state *rsp,
  278. struct rcu_node *rnp,
  279. struct rcu_data *rdp)
  280. {
  281. int i;
  282. struct list_head *lp;
  283. struct list_head *lp_root;
  284. struct rcu_node *rnp_root = rcu_get_root(rsp);
  285. struct task_struct *tp;
  286. if (rnp == rnp_root) {
  287. WARN_ONCE(1, "Last CPU thought to be offlined?");
  288. return; /* Shouldn't happen: at least one CPU online. */
  289. }
  290. WARN_ON_ONCE(rnp != rdp->mynode &&
  291. (!list_empty(&rnp->blocked_tasks[0]) ||
  292. !list_empty(&rnp->blocked_tasks[1])));
  293. /*
  294. * Move tasks up to root rcu_node. Rely on the fact that the
  295. * root rcu_node can be at most one ahead of the rest of the
  296. * rcu_nodes in terms of gp_num value. This fact allows us to
  297. * move the blocked_tasks[] array directly, element by element.
  298. */
  299. for (i = 0; i < 2; i++) {
  300. lp = &rnp->blocked_tasks[i];
  301. lp_root = &rnp_root->blocked_tasks[i];
  302. while (!list_empty(lp)) {
  303. tp = list_entry(lp->next, typeof(*tp), rcu_node_entry);
  304. spin_lock(&rnp_root->lock); /* irqs already disabled */
  305. list_del(&tp->rcu_node_entry);
  306. tp->rcu_blocked_node = rnp_root;
  307. list_add(&tp->rcu_node_entry, lp_root);
  308. spin_unlock(&rnp_root->lock); /* irqs remain disabled */
  309. }
  310. }
  311. }
  312. /*
  313. * Do CPU-offline processing for preemptable RCU.
  314. */
  315. static void rcu_preempt_offline_cpu(int cpu)
  316. {
  317. __rcu_offline_cpu(cpu, &rcu_preempt_state);
  318. }
  319. #endif /* #ifdef CONFIG_HOTPLUG_CPU */
  320. /*
  321. * Check for a quiescent state from the current CPU. When a task blocks,
  322. * the task is recorded in the corresponding CPU's rcu_node structure,
  323. * which is checked elsewhere.
  324. *
  325. * Caller must disable hard irqs.
  326. */
  327. static void rcu_preempt_check_callbacks(int cpu)
  328. {
  329. struct task_struct *t = current;
  330. if (t->rcu_read_lock_nesting == 0) {
  331. t->rcu_read_unlock_special &= ~RCU_READ_UNLOCK_NEED_QS;
  332. rcu_preempt_qs(cpu);
  333. return;
  334. }
  335. if (per_cpu(rcu_preempt_data, cpu).qs_pending)
  336. t->rcu_read_unlock_special |= RCU_READ_UNLOCK_NEED_QS;
  337. }
  338. /*
  339. * Process callbacks for preemptable RCU.
  340. */
  341. static void rcu_preempt_process_callbacks(void)
  342. {
  343. __rcu_process_callbacks(&rcu_preempt_state,
  344. &__get_cpu_var(rcu_preempt_data));
  345. }
  346. /*
  347. * Queue a preemptable-RCU callback for invocation after a grace period.
  348. */
  349. void call_rcu(struct rcu_head *head, void (*func)(struct rcu_head *rcu))
  350. {
  351. __call_rcu(head, func, &rcu_preempt_state);
  352. }
  353. EXPORT_SYMBOL_GPL(call_rcu);
  354. /*
  355. * Check to see if there is any immediate preemptable-RCU-related work
  356. * to be done.
  357. */
  358. static int rcu_preempt_pending(int cpu)
  359. {
  360. return __rcu_pending(&rcu_preempt_state,
  361. &per_cpu(rcu_preempt_data, cpu));
  362. }
  363. /*
  364. * Does preemptable RCU need the CPU to stay out of dynticks mode?
  365. */
  366. static int rcu_preempt_needs_cpu(int cpu)
  367. {
  368. return !!per_cpu(rcu_preempt_data, cpu).nxtlist;
  369. }
  370. /**
  371. * rcu_barrier - Wait until all in-flight call_rcu() callbacks complete.
  372. */
  373. void rcu_barrier(void)
  374. {
  375. _rcu_barrier(&rcu_preempt_state, call_rcu);
  376. }
  377. EXPORT_SYMBOL_GPL(rcu_barrier);
  378. /*
  379. * Initialize preemptable RCU's per-CPU data.
  380. */
  381. static void __cpuinit rcu_preempt_init_percpu_data(int cpu)
  382. {
  383. rcu_init_percpu_data(cpu, &rcu_preempt_state, 1);
  384. }
  385. /*
  386. * Move preemptable RCU's callbacks to ->orphan_cbs_list.
  387. */
  388. static void rcu_preempt_send_cbs_to_orphanage(void)
  389. {
  390. rcu_send_cbs_to_orphanage(&rcu_preempt_state);
  391. }
  392. /*
  393. * Initialize preemptable RCU's state structures.
  394. */
  395. static void __init __rcu_init_preempt(void)
  396. {
  397. RCU_INIT_FLAVOR(&rcu_preempt_state, rcu_preempt_data);
  398. }
  399. /*
  400. * Check for a task exiting while in a preemptable-RCU read-side
  401. * critical section, clean up if so. No need to issue warnings,
  402. * as debug_check_no_locks_held() already does this if lockdep
  403. * is enabled.
  404. */
  405. void exit_rcu(void)
  406. {
  407. struct task_struct *t = current;
  408. if (t->rcu_read_lock_nesting == 0)
  409. return;
  410. t->rcu_read_lock_nesting = 1;
  411. rcu_read_unlock();
  412. }
  413. #else /* #ifdef CONFIG_TREE_PREEMPT_RCU */
  414. /*
  415. * Tell them what RCU they are running.
  416. */
  417. static inline void rcu_bootup_announce(void)
  418. {
  419. printk(KERN_INFO "Hierarchical RCU implementation.\n");
  420. }
  421. /*
  422. * Return the number of RCU batches processed thus far for debug & stats.
  423. */
  424. long rcu_batches_completed(void)
  425. {
  426. return rcu_batches_completed_sched();
  427. }
  428. EXPORT_SYMBOL_GPL(rcu_batches_completed);
  429. /*
  430. * Because preemptable RCU does not exist, we never have to check for
  431. * CPUs being in quiescent states.
  432. */
  433. static void rcu_preempt_note_context_switch(int cpu)
  434. {
  435. }
  436. /*
  437. * Because preemptable RCU does not exist, there are never any preempted
  438. * RCU readers.
  439. */
  440. static int rcu_preempted_readers(struct rcu_node *rnp)
  441. {
  442. return 0;
  443. }
  444. #ifdef CONFIG_RCU_CPU_STALL_DETECTOR
  445. /*
  446. * Because preemptable RCU does not exist, we never have to check for
  447. * tasks blocked within RCU read-side critical sections.
  448. */
  449. static void rcu_print_task_stall(struct rcu_node *rnp)
  450. {
  451. }
  452. #endif /* #ifdef CONFIG_RCU_CPU_STALL_DETECTOR */
  453. /*
  454. * Because there is no preemptable RCU, there can be no readers blocked,
  455. * so there is no need to check for blocked tasks. So check only for
  456. * bogus qsmask values.
  457. */
  458. static void rcu_preempt_check_blocked_tasks(struct rcu_node *rnp)
  459. {
  460. WARN_ON_ONCE(rnp->qsmask);
  461. }
  462. #ifdef CONFIG_HOTPLUG_CPU
  463. /*
  464. * Because preemptable RCU does not exist, it never needs to migrate
  465. * tasks that were blocked within RCU read-side critical sections.
  466. */
  467. static void rcu_preempt_offline_tasks(struct rcu_state *rsp,
  468. struct rcu_node *rnp,
  469. struct rcu_data *rdp)
  470. {
  471. }
  472. /*
  473. * Because preemptable RCU does not exist, it never needs CPU-offline
  474. * processing.
  475. */
  476. static void rcu_preempt_offline_cpu(int cpu)
  477. {
  478. }
  479. #endif /* #ifdef CONFIG_HOTPLUG_CPU */
  480. /*
  481. * Because preemptable RCU does not exist, it never has any callbacks
  482. * to check.
  483. */
  484. static void rcu_preempt_check_callbacks(int cpu)
  485. {
  486. }
  487. /*
  488. * Because preemptable RCU does not exist, it never has any callbacks
  489. * to process.
  490. */
  491. static void rcu_preempt_process_callbacks(void)
  492. {
  493. }
  494. /*
  495. * In classic RCU, call_rcu() is just call_rcu_sched().
  496. */
  497. void call_rcu(struct rcu_head *head, void (*func)(struct rcu_head *rcu))
  498. {
  499. call_rcu_sched(head, func);
  500. }
  501. EXPORT_SYMBOL_GPL(call_rcu);
  502. /*
  503. * Because preemptable RCU does not exist, it never has any work to do.
  504. */
  505. static int rcu_preempt_pending(int cpu)
  506. {
  507. return 0;
  508. }
  509. /*
  510. * Because preemptable RCU does not exist, it never needs any CPU.
  511. */
  512. static int rcu_preempt_needs_cpu(int cpu)
  513. {
  514. return 0;
  515. }
  516. /*
  517. * Because preemptable RCU does not exist, rcu_barrier() is just
  518. * another name for rcu_barrier_sched().
  519. */
  520. void rcu_barrier(void)
  521. {
  522. rcu_barrier_sched();
  523. }
  524. EXPORT_SYMBOL_GPL(rcu_barrier);
  525. /*
  526. * Because preemptable RCU does not exist, there is no per-CPU
  527. * data to initialize.
  528. */
  529. static void __cpuinit rcu_preempt_init_percpu_data(int cpu)
  530. {
  531. }
  532. /*
  533. * Because there is no preemptable RCU, there are no callbacks to move.
  534. */
  535. static void rcu_preempt_send_cbs_to_orphanage(void)
  536. {
  537. }
  538. /*
  539. * Because preemptable RCU does not exist, it need not be initialized.
  540. */
  541. static void __init __rcu_init_preempt(void)
  542. {
  543. }
  544. #endif /* #else #ifdef CONFIG_TREE_PREEMPT_RCU */