14102adabSPaul E. McKenney /* 24102adabSPaul E. McKenney * Read-Copy Update definitions shared among RCU implementations. 34102adabSPaul E. McKenney * 44102adabSPaul E. McKenney * This program is free software; you can redistribute it and/or modify 54102adabSPaul E. McKenney * it under the terms of the GNU General Public License as published by 64102adabSPaul E. McKenney * the Free Software Foundation; either version 2 of the License, or 74102adabSPaul E. McKenney * (at your option) any later version. 84102adabSPaul E. McKenney * 94102adabSPaul E. McKenney * This program is distributed in the hope that it will be useful, 104102adabSPaul E. McKenney * but WITHOUT ANY WARRANTY; without even the implied warranty of 114102adabSPaul E. McKenney * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 124102adabSPaul E. McKenney * GNU General Public License for more details. 134102adabSPaul E. McKenney * 144102adabSPaul E. McKenney * You should have received a copy of the GNU General Public License 1587de1cfdSPaul E. McKenney * along with this program; if not, you can access it online at 1687de1cfdSPaul E. McKenney * http://www.gnu.org/licenses/gpl-2.0.html. 174102adabSPaul E. McKenney * 184102adabSPaul E. McKenney * Copyright IBM Corporation, 2011 194102adabSPaul E. McKenney * 204102adabSPaul E. McKenney * Author: Paul E. McKenney <paulmck@linux.vnet.ibm.com> 214102adabSPaul E. McKenney */ 224102adabSPaul E. McKenney 234102adabSPaul E. McKenney #ifndef __LINUX_RCU_H 244102adabSPaul E. McKenney #define __LINUX_RCU_H 254102adabSPaul E. McKenney 265cb5c6e1SPaul Gortmaker #include <trace/events/rcu.h> 274102adabSPaul E. McKenney #ifdef CONFIG_RCU_TRACE 284102adabSPaul E. McKenney #define RCU_TRACE(stmt) stmt 294102adabSPaul E. McKenney #else /* #ifdef CONFIG_RCU_TRACE */ 304102adabSPaul E. McKenney #define RCU_TRACE(stmt) 314102adabSPaul E. McKenney #endif /* #else #ifdef CONFIG_RCU_TRACE */ 324102adabSPaul E. McKenney 334102adabSPaul E. McKenney /* 344102adabSPaul E. McKenney * Process-level increment to ->dynticks_nesting field. This allows for 354102adabSPaul E. McKenney * architectures that use half-interrupts and half-exceptions from 364102adabSPaul E. McKenney * process context. 374102adabSPaul E. McKenney * 384102adabSPaul E. McKenney * DYNTICK_TASK_NEST_MASK defines a field of width DYNTICK_TASK_NEST_WIDTH 394102adabSPaul E. McKenney * that counts the number of process-based reasons why RCU cannot 404102adabSPaul E. McKenney * consider the corresponding CPU to be idle, and DYNTICK_TASK_NEST_VALUE 414102adabSPaul E. McKenney * is the value used to increment or decrement this field. 424102adabSPaul E. McKenney * 434102adabSPaul E. McKenney * The rest of the bits could in principle be used to count interrupts, 444102adabSPaul E. McKenney * but this would mean that a negative-one value in the interrupt 454102adabSPaul E. McKenney * field could incorrectly zero out the DYNTICK_TASK_NEST_MASK field. 464102adabSPaul E. McKenney * We therefore provide a two-bit guard field defined by DYNTICK_TASK_MASK 474102adabSPaul E. McKenney * that is set to DYNTICK_TASK_FLAG upon initial exit from idle. 484102adabSPaul E. McKenney * The DYNTICK_TASK_EXIT_IDLE value is thus the combined value used upon 494102adabSPaul E. McKenney * initial exit from idle. 504102adabSPaul E. McKenney */ 514102adabSPaul E. McKenney #define DYNTICK_TASK_NEST_WIDTH 7 524102adabSPaul E. McKenney #define DYNTICK_TASK_NEST_VALUE ((LLONG_MAX >> DYNTICK_TASK_NEST_WIDTH) + 1) 534102adabSPaul E. McKenney #define DYNTICK_TASK_NEST_MASK (LLONG_MAX - DYNTICK_TASK_NEST_VALUE + 1) 544102adabSPaul E. McKenney #define DYNTICK_TASK_FLAG ((DYNTICK_TASK_NEST_VALUE / 8) * 2) 554102adabSPaul E. McKenney #define DYNTICK_TASK_MASK ((DYNTICK_TASK_NEST_VALUE / 8) * 3) 564102adabSPaul E. McKenney #define DYNTICK_TASK_EXIT_IDLE (DYNTICK_TASK_NEST_VALUE + \ 574102adabSPaul E. McKenney DYNTICK_TASK_FLAG) 584102adabSPaul E. McKenney 592e8c28c2SPaul E. McKenney 602e8c28c2SPaul E. McKenney /* 612e8c28c2SPaul E. McKenney * Grace-period counter management. 622e8c28c2SPaul E. McKenney */ 632e8c28c2SPaul E. McKenney 64*031aeee0SPaul E. McKenney #define RCU_SEQ_CTR_SHIFT 1 65*031aeee0SPaul E. McKenney #define RCU_SEQ_STATE_MASK ((1 << RCU_SEQ_CTR_SHIFT) - 1) 66*031aeee0SPaul E. McKenney 67*031aeee0SPaul E. McKenney /* 68*031aeee0SPaul E. McKenney * Return the counter portion of a sequence number previously returned 69*031aeee0SPaul E. McKenney * by rcu_seq_snap() or rcu_seq_current(). 70*031aeee0SPaul E. McKenney */ 71*031aeee0SPaul E. McKenney static inline unsigned long rcu_seq_ctr(unsigned long s) 72*031aeee0SPaul E. McKenney { 73*031aeee0SPaul E. McKenney return s >> RCU_SEQ_CTR_SHIFT; 74*031aeee0SPaul E. McKenney } 75*031aeee0SPaul E. McKenney 76*031aeee0SPaul E. McKenney /* 77*031aeee0SPaul E. McKenney * Return the state portion of a sequence number previously returned 78*031aeee0SPaul E. McKenney * by rcu_seq_snap() or rcu_seq_current(). 79*031aeee0SPaul E. McKenney */ 80*031aeee0SPaul E. McKenney static inline int rcu_seq_state(unsigned long s) 81*031aeee0SPaul E. McKenney { 82*031aeee0SPaul E. McKenney return s & RCU_SEQ_STATE_MASK; 83*031aeee0SPaul E. McKenney } 84*031aeee0SPaul E. McKenney 852e8c28c2SPaul E. McKenney /* Adjust sequence number for start of update-side operation. */ 862e8c28c2SPaul E. McKenney static inline void rcu_seq_start(unsigned long *sp) 872e8c28c2SPaul E. McKenney { 882e8c28c2SPaul E. McKenney WRITE_ONCE(*sp, *sp + 1); 892e8c28c2SPaul E. McKenney smp_mb(); /* Ensure update-side operation after counter increment. */ 90*031aeee0SPaul E. McKenney WARN_ON_ONCE(rcu_seq_state(*sp) != 1); 912e8c28c2SPaul E. McKenney } 922e8c28c2SPaul E. McKenney 932e8c28c2SPaul E. McKenney /* Adjust sequence number for end of update-side operation. */ 942e8c28c2SPaul E. McKenney static inline void rcu_seq_end(unsigned long *sp) 952e8c28c2SPaul E. McKenney { 962e8c28c2SPaul E. McKenney smp_mb(); /* Ensure update-side operation before counter increment. */ 97*031aeee0SPaul E. McKenney WARN_ON_ONCE(!rcu_seq_state(*sp)); 98*031aeee0SPaul E. McKenney WRITE_ONCE(*sp, (*sp | RCU_SEQ_STATE_MASK) + 1); 992e8c28c2SPaul E. McKenney } 1002e8c28c2SPaul E. McKenney 1012e8c28c2SPaul E. McKenney /* Take a snapshot of the update side's sequence number. */ 1022e8c28c2SPaul E. McKenney static inline unsigned long rcu_seq_snap(unsigned long *sp) 1032e8c28c2SPaul E. McKenney { 1042e8c28c2SPaul E. McKenney unsigned long s; 1052e8c28c2SPaul E. McKenney 106*031aeee0SPaul E. McKenney s = (READ_ONCE(*sp) + 2 * RCU_SEQ_STATE_MASK + 1) & ~RCU_SEQ_STATE_MASK; 1072e8c28c2SPaul E. McKenney smp_mb(); /* Above access must not bleed into critical section. */ 1082e8c28c2SPaul E. McKenney return s; 1092e8c28c2SPaul E. McKenney } 1102e8c28c2SPaul E. McKenney 1118660b7d8SPaul E. McKenney /* Return the current value the update side's sequence number, no ordering. */ 1128660b7d8SPaul E. McKenney static inline unsigned long rcu_seq_current(unsigned long *sp) 1138660b7d8SPaul E. McKenney { 1148660b7d8SPaul E. McKenney return READ_ONCE(*sp); 1158660b7d8SPaul E. McKenney } 1168660b7d8SPaul E. McKenney 1172e8c28c2SPaul E. McKenney /* 1182e8c28c2SPaul E. McKenney * Given a snapshot from rcu_seq_snap(), determine whether or not a 1192e8c28c2SPaul E. McKenney * full update-side operation has occurred. 1202e8c28c2SPaul E. McKenney */ 1212e8c28c2SPaul E. McKenney static inline bool rcu_seq_done(unsigned long *sp, unsigned long s) 1222e8c28c2SPaul E. McKenney { 1232e8c28c2SPaul E. McKenney return ULONG_CMP_GE(READ_ONCE(*sp), s); 1242e8c28c2SPaul E. McKenney } 1252e8c28c2SPaul E. McKenney 1264102adabSPaul E. McKenney /* 1274102adabSPaul E. McKenney * debug_rcu_head_queue()/debug_rcu_head_unqueue() are used internally 1284102adabSPaul E. McKenney * by call_rcu() and rcu callback execution, and are therefore not part of the 1294102adabSPaul E. McKenney * RCU API. Leaving in rcupdate.h because they are used by all RCU flavors. 1304102adabSPaul E. McKenney */ 1314102adabSPaul E. McKenney 1324102adabSPaul E. McKenney #ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD 1334102adabSPaul E. McKenney # define STATE_RCU_HEAD_READY 0 1344102adabSPaul E. McKenney # define STATE_RCU_HEAD_QUEUED 1 1354102adabSPaul E. McKenney 1364102adabSPaul E. McKenney extern struct debug_obj_descr rcuhead_debug_descr; 1374102adabSPaul E. McKenney 1384102adabSPaul E. McKenney static inline int debug_rcu_head_queue(struct rcu_head *head) 1394102adabSPaul E. McKenney { 1404102adabSPaul E. McKenney int r1; 1414102adabSPaul E. McKenney 1424102adabSPaul E. McKenney r1 = debug_object_activate(head, &rcuhead_debug_descr); 1434102adabSPaul E. McKenney debug_object_active_state(head, &rcuhead_debug_descr, 1444102adabSPaul E. McKenney STATE_RCU_HEAD_READY, 1454102adabSPaul E. McKenney STATE_RCU_HEAD_QUEUED); 1464102adabSPaul E. McKenney return r1; 1474102adabSPaul E. McKenney } 1484102adabSPaul E. McKenney 1494102adabSPaul E. McKenney static inline void debug_rcu_head_unqueue(struct rcu_head *head) 1504102adabSPaul E. McKenney { 1514102adabSPaul E. McKenney debug_object_active_state(head, &rcuhead_debug_descr, 1524102adabSPaul E. McKenney STATE_RCU_HEAD_QUEUED, 1534102adabSPaul E. McKenney STATE_RCU_HEAD_READY); 1544102adabSPaul E. McKenney debug_object_deactivate(head, &rcuhead_debug_descr); 1554102adabSPaul E. McKenney } 1564102adabSPaul E. McKenney #else /* !CONFIG_DEBUG_OBJECTS_RCU_HEAD */ 1574102adabSPaul E. McKenney static inline int debug_rcu_head_queue(struct rcu_head *head) 1584102adabSPaul E. McKenney { 1594102adabSPaul E. McKenney return 0; 1604102adabSPaul E. McKenney } 1614102adabSPaul E. McKenney 1624102adabSPaul E. McKenney static inline void debug_rcu_head_unqueue(struct rcu_head *head) 1634102adabSPaul E. McKenney { 1644102adabSPaul E. McKenney } 1654102adabSPaul E. McKenney #endif /* #else !CONFIG_DEBUG_OBJECTS_RCU_HEAD */ 1664102adabSPaul E. McKenney 167bd73a7f5STeodora Baluta void kfree(const void *); 1684102adabSPaul E. McKenney 169406e3e53SPaul E. McKenney /* 170406e3e53SPaul E. McKenney * Reclaim the specified callback, either by invoking it (non-lazy case) 171406e3e53SPaul E. McKenney * or freeing it directly (lazy case). Return true if lazy, false otherwise. 172406e3e53SPaul E. McKenney */ 1734102adabSPaul E. McKenney static inline bool __rcu_reclaim(const char *rn, struct rcu_head *head) 1744102adabSPaul E. McKenney { 1754102adabSPaul E. McKenney unsigned long offset = (unsigned long)head->func; 1764102adabSPaul E. McKenney 17724ef659aSPaul E. McKenney rcu_lock_acquire(&rcu_callback_map); 1784102adabSPaul E. McKenney if (__is_kfree_rcu_offset(offset)) { 179dffd06a7SPaul E. McKenney RCU_TRACE(trace_rcu_invoke_kfree_callback(rn, head, offset);) 1804102adabSPaul E. McKenney kfree((void *)head - offset); 18124ef659aSPaul E. McKenney rcu_lock_release(&rcu_callback_map); 182406e3e53SPaul E. McKenney return true; 1834102adabSPaul E. McKenney } else { 184dffd06a7SPaul E. McKenney RCU_TRACE(trace_rcu_invoke_callback(rn, head);) 1854102adabSPaul E. McKenney head->func(head); 18624ef659aSPaul E. McKenney rcu_lock_release(&rcu_callback_map); 187406e3e53SPaul E. McKenney return false; 1884102adabSPaul E. McKenney } 1894102adabSPaul E. McKenney } 1904102adabSPaul E. McKenney 1914102adabSPaul E. McKenney #ifdef CONFIG_RCU_STALL_COMMON 1924102adabSPaul E. McKenney 1934102adabSPaul E. McKenney extern int rcu_cpu_stall_suppress; 1944102adabSPaul E. McKenney int rcu_jiffies_till_stall_check(void); 1954102adabSPaul E. McKenney 1964102adabSPaul E. McKenney #endif /* #ifdef CONFIG_RCU_STALL_COMMON */ 1974102adabSPaul E. McKenney 1984102adabSPaul E. McKenney /* 1994102adabSPaul E. McKenney * Strings used in tracepoints need to be exported via the 2004102adabSPaul E. McKenney * tracing system such that tools like perf and trace-cmd can 2014102adabSPaul E. McKenney * translate the string address pointers to actual text. 2024102adabSPaul E. McKenney */ 2034102adabSPaul E. McKenney #define TPS(x) tracepoint_string(x) 2044102adabSPaul E. McKenney 205aa23c6fbSPranith Kumar void rcu_early_boot_tests(void); 20652d7e48bSPaul E. McKenney void rcu_test_sync_prims(void); 207aa23c6fbSPranith Kumar 2085f6130faSLai Jiangshan /* 2095f6130faSLai Jiangshan * This function really isn't for public consumption, but RCU is special in 2105f6130faSLai Jiangshan * that context switches can allow the state machine to make progress. 2115f6130faSLai Jiangshan */ 2125f6130faSLai Jiangshan extern void resched_cpu(int cpu); 2135f6130faSLai Jiangshan 2142b34c43cSPaul E. McKenney #if defined(SRCU) || !defined(TINY_RCU) 2152b34c43cSPaul E. McKenney 2162b34c43cSPaul E. McKenney #include <linux/rcu_node_tree.h> 2172b34c43cSPaul E. McKenney 2182b34c43cSPaul E. McKenney extern int rcu_num_lvls; 219e95d68d2SPaul E. McKenney extern int num_rcu_lvl[]; 2202b34c43cSPaul E. McKenney extern int rcu_num_nodes; 2212b34c43cSPaul E. McKenney static bool rcu_fanout_exact; 2222b34c43cSPaul E. McKenney static int rcu_fanout_leaf; 2232b34c43cSPaul E. McKenney 2242b34c43cSPaul E. McKenney /* 2252b34c43cSPaul E. McKenney * Compute the per-level fanout, either using the exact fanout specified 2262b34c43cSPaul E. McKenney * or balancing the tree, depending on the rcu_fanout_exact boot parameter. 2272b34c43cSPaul E. McKenney */ 2282b34c43cSPaul E. McKenney static inline void rcu_init_levelspread(int *levelspread, const int *levelcnt) 2292b34c43cSPaul E. McKenney { 2302b34c43cSPaul E. McKenney int i; 2312b34c43cSPaul E. McKenney 2322b34c43cSPaul E. McKenney if (rcu_fanout_exact) { 2332b34c43cSPaul E. McKenney levelspread[rcu_num_lvls - 1] = rcu_fanout_leaf; 2342b34c43cSPaul E. McKenney for (i = rcu_num_lvls - 2; i >= 0; i--) 2352b34c43cSPaul E. McKenney levelspread[i] = RCU_FANOUT; 2362b34c43cSPaul E. McKenney } else { 2372b34c43cSPaul E. McKenney int ccur; 2382b34c43cSPaul E. McKenney int cprv; 2392b34c43cSPaul E. McKenney 2402b34c43cSPaul E. McKenney cprv = nr_cpu_ids; 2412b34c43cSPaul E. McKenney for (i = rcu_num_lvls - 1; i >= 0; i--) { 2422b34c43cSPaul E. McKenney ccur = levelcnt[i]; 2432b34c43cSPaul E. McKenney levelspread[i] = (cprv + ccur - 1) / ccur; 2442b34c43cSPaul E. McKenney cprv = ccur; 2452b34c43cSPaul E. McKenney } 2462b34c43cSPaul E. McKenney } 2472b34c43cSPaul E. McKenney } 2482b34c43cSPaul E. McKenney 249efbe451dSPaul E. McKenney /* 250efbe451dSPaul E. McKenney * Do a full breadth-first scan of the rcu_node structures for the 251efbe451dSPaul E. McKenney * specified rcu_state structure. 252efbe451dSPaul E. McKenney */ 253efbe451dSPaul E. McKenney #define rcu_for_each_node_breadth_first(rsp, rnp) \ 254efbe451dSPaul E. McKenney for ((rnp) = &(rsp)->node[0]; \ 255efbe451dSPaul E. McKenney (rnp) < &(rsp)->node[rcu_num_nodes]; (rnp)++) 256efbe451dSPaul E. McKenney 257efbe451dSPaul E. McKenney /* 258efbe451dSPaul E. McKenney * Do a breadth-first scan of the non-leaf rcu_node structures for the 259efbe451dSPaul E. McKenney * specified rcu_state structure. Note that if there is a singleton 260efbe451dSPaul E. McKenney * rcu_node tree with but one rcu_node structure, this loop is a no-op. 261efbe451dSPaul E. McKenney */ 262efbe451dSPaul E. McKenney #define rcu_for_each_nonleaf_node_breadth_first(rsp, rnp) \ 263efbe451dSPaul E. McKenney for ((rnp) = &(rsp)->node[0]; \ 264efbe451dSPaul E. McKenney (rnp) < (rsp)->level[rcu_num_lvls - 1]; (rnp)++) 265efbe451dSPaul E. McKenney 266efbe451dSPaul E. McKenney /* 267efbe451dSPaul E. McKenney * Scan the leaves of the rcu_node hierarchy for the specified rcu_state 268efbe451dSPaul E. McKenney * structure. Note that if there is a singleton rcu_node tree with but 269efbe451dSPaul E. McKenney * one rcu_node structure, this loop -will- visit the rcu_node structure. 270efbe451dSPaul E. McKenney * It is still a leaf node, even if it is also the root node. 271efbe451dSPaul E. McKenney */ 272efbe451dSPaul E. McKenney #define rcu_for_each_leaf_node(rsp, rnp) \ 273efbe451dSPaul E. McKenney for ((rnp) = (rsp)->level[rcu_num_lvls - 1]; \ 274efbe451dSPaul E. McKenney (rnp) < &(rsp)->node[rcu_num_nodes]; (rnp)++) 275efbe451dSPaul E. McKenney 276efbe451dSPaul E. McKenney /* 277efbe451dSPaul E. McKenney * Iterate over all possible CPUs in a leaf RCU node. 278efbe451dSPaul E. McKenney */ 279efbe451dSPaul E. McKenney #define for_each_leaf_node_possible_cpu(rnp, cpu) \ 280efbe451dSPaul E. McKenney for ((cpu) = cpumask_next(rnp->grplo - 1, cpu_possible_mask); \ 281efbe451dSPaul E. McKenney cpu <= rnp->grphi; \ 282efbe451dSPaul E. McKenney cpu = cpumask_next((cpu), cpu_possible_mask)) 283efbe451dSPaul E. McKenney 2842b34c43cSPaul E. McKenney #endif /* #if defined(SRCU) || !defined(TINY_RCU) */ 2852b34c43cSPaul E. McKenney 2864102adabSPaul E. McKenney #endif /* __LINUX_RCU_H */ 287