blob: a943b42a9cf796f60e94ae59dbf2070ddd0210d7 [file] [log] [blame]
Paul E. McKenney29c00b42011-06-17 15:53:19 -07001/*
2 * Read-Copy Update definitions shared among RCU implementations.
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
Paul E. McKenney87de1cf2013-12-03 10:02:52 -080015 * along with this program; if not, you can access it online at
16 * http://www.gnu.org/licenses/gpl-2.0.html.
Paul E. McKenney29c00b42011-06-17 15:53:19 -070017 *
18 * Copyright IBM Corporation, 2011
19 *
20 * Author: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
21 */
22
23#ifndef __LINUX_RCU_H
24#define __LINUX_RCU_H
25
Paul Gortmaker5cb5c6e2014-02-19 14:33:27 -050026#include <trace/events/rcu.h>
Paul E. McKenneye99033c2011-06-21 00:13:44 -070027#ifdef CONFIG_RCU_TRACE
28#define RCU_TRACE(stmt) stmt
29#else /* #ifdef CONFIG_RCU_TRACE */
30#define RCU_TRACE(stmt)
31#endif /* #else #ifdef CONFIG_RCU_TRACE */
32
Paul E. McKenney29c00b42011-06-17 15:53:19 -070033/*
Paul E. McKenney4145fa72011-10-31 15:01:54 -070034 * Process-level increment to ->dynticks_nesting field. This allows for
35 * architectures that use half-interrupts and half-exceptions from
36 * process context.
Paul E. McKenney29e37d82011-11-17 16:55:56 -080037 *
38 * DYNTICK_TASK_NEST_MASK defines a field of width DYNTICK_TASK_NEST_WIDTH
39 * that counts the number of process-based reasons why RCU cannot
40 * consider the corresponding CPU to be idle, and DYNTICK_TASK_NEST_VALUE
41 * is the value used to increment or decrement this field.
42 *
43 * The rest of the bits could in principle be used to count interrupts,
44 * but this would mean that a negative-one value in the interrupt
45 * field could incorrectly zero out the DYNTICK_TASK_NEST_MASK field.
46 * We therefore provide a two-bit guard field defined by DYNTICK_TASK_MASK
47 * that is set to DYNTICK_TASK_FLAG upon initial exit from idle.
48 * The DYNTICK_TASK_EXIT_IDLE value is thus the combined value used upon
49 * initial exit from idle.
Paul E. McKenney4145fa72011-10-31 15:01:54 -070050 */
Paul E. McKenney29e37d82011-11-17 16:55:56 -080051#define DYNTICK_TASK_NEST_WIDTH 7
52#define DYNTICK_TASK_NEST_VALUE ((LLONG_MAX >> DYNTICK_TASK_NEST_WIDTH) + 1)
53#define DYNTICK_TASK_NEST_MASK (LLONG_MAX - DYNTICK_TASK_NEST_VALUE + 1)
54#define DYNTICK_TASK_FLAG ((DYNTICK_TASK_NEST_VALUE / 8) * 2)
55#define DYNTICK_TASK_MASK ((DYNTICK_TASK_NEST_VALUE / 8) * 3)
56#define DYNTICK_TASK_EXIT_IDLE (DYNTICK_TASK_NEST_VALUE + \
57 DYNTICK_TASK_FLAG)
Paul E. McKenney4145fa72011-10-31 15:01:54 -070058
Paul E. McKenney2e8c28c2017-02-20 14:57:17 -080059
60/*
61 * Grace-period counter management.
62 */
63
64/* Adjust sequence number for start of update-side operation. */
65static inline void rcu_seq_start(unsigned long *sp)
66{
67 WRITE_ONCE(*sp, *sp + 1);
68 smp_mb(); /* Ensure update-side operation after counter increment. */
69 WARN_ON_ONCE(!(*sp & 0x1));
70}
71
72/* Adjust sequence number for end of update-side operation. */
73static inline void rcu_seq_end(unsigned long *sp)
74{
75 smp_mb(); /* Ensure update-side operation before counter increment. */
Dmitry Vyukovf010ed82017-03-05 12:17:31 -080076 WARN_ON_ONCE(!(*sp & 0x1));
Paul E. McKenney2e8c28c2017-02-20 14:57:17 -080077 WRITE_ONCE(*sp, *sp + 1);
Paul E. McKenney2e8c28c2017-02-20 14:57:17 -080078}
79
80/* Take a snapshot of the update side's sequence number. */
81static inline unsigned long rcu_seq_snap(unsigned long *sp)
82{
83 unsigned long s;
84
85 s = (READ_ONCE(*sp) + 3) & ~0x1;
86 smp_mb(); /* Above access must not bleed into critical section. */
87 return s;
88}
89
Paul E. McKenney8660b7d2017-03-13 16:48:18 -070090/* Return the current value the update side's sequence number, no ordering. */
91static inline unsigned long rcu_seq_current(unsigned long *sp)
92{
93 return READ_ONCE(*sp);
94}
95
Paul E. McKenney2e8c28c2017-02-20 14:57:17 -080096/*
97 * Given a snapshot from rcu_seq_snap(), determine whether or not a
98 * full update-side operation has occurred.
99 */
100static inline bool rcu_seq_done(unsigned long *sp, unsigned long s)
101{
102 return ULONG_CMP_GE(READ_ONCE(*sp), s);
103}
104
Paul E. McKenney4145fa72011-10-31 15:01:54 -0700105/*
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700106 * debug_rcu_head_queue()/debug_rcu_head_unqueue() are used internally
107 * by call_rcu() and rcu callback execution, and are therefore not part of the
108 * RCU API. Leaving in rcupdate.h because they are used by all RCU flavors.
109 */
110
111#ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD
112# define STATE_RCU_HEAD_READY 0
113# define STATE_RCU_HEAD_QUEUED 1
114
115extern struct debug_obj_descr rcuhead_debug_descr;
116
Paul E. McKenneyae150182013-04-23 13:20:57 -0700117static inline int debug_rcu_head_queue(struct rcu_head *head)
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700118{
Paul E. McKenneyae150182013-04-23 13:20:57 -0700119 int r1;
120
121 r1 = debug_object_activate(head, &rcuhead_debug_descr);
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700122 debug_object_active_state(head, &rcuhead_debug_descr,
123 STATE_RCU_HEAD_READY,
124 STATE_RCU_HEAD_QUEUED);
Paul E. McKenneyae150182013-04-23 13:20:57 -0700125 return r1;
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700126}
127
128static inline void debug_rcu_head_unqueue(struct rcu_head *head)
129{
130 debug_object_active_state(head, &rcuhead_debug_descr,
131 STATE_RCU_HEAD_QUEUED,
132 STATE_RCU_HEAD_READY);
133 debug_object_deactivate(head, &rcuhead_debug_descr);
134}
135#else /* !CONFIG_DEBUG_OBJECTS_RCU_HEAD */
Paul E. McKenneyae150182013-04-23 13:20:57 -0700136static inline int debug_rcu_head_queue(struct rcu_head *head)
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700137{
Paul E. McKenneyae150182013-04-23 13:20:57 -0700138 return 0;
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700139}
140
141static inline void debug_rcu_head_unqueue(struct rcu_head *head)
142{
143}
144#endif /* #else !CONFIG_DEBUG_OBJECTS_RCU_HEAD */
145
Teodora Balutabd73a7f2013-11-11 17:11:24 +0200146void kfree(const void *);
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700147
Paul E. McKenney406e3e52014-06-23 13:48:28 -0700148/*
149 * Reclaim the specified callback, either by invoking it (non-lazy case)
150 * or freeing it directly (lazy case). Return true if lazy, false otherwise.
151 */
Steven Rostedt (Red Hat)e66c33d2013-07-12 16:50:28 -0400152static inline bool __rcu_reclaim(const char *rn, struct rcu_head *head)
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700153{
154 unsigned long offset = (unsigned long)head->func;
155
Paul E. McKenney24ef6592013-10-28 09:22:24 -0700156 rcu_lock_acquire(&rcu_callback_map);
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700157 if (__is_kfree_rcu_offset(offset)) {
Paul E. McKenneydffd06a2017-01-23 11:55:43 -0800158 RCU_TRACE(trace_rcu_invoke_kfree_callback(rn, head, offset);)
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700159 kfree((void *)head - offset);
Paul E. McKenney24ef6592013-10-28 09:22:24 -0700160 rcu_lock_release(&rcu_callback_map);
Paul E. McKenney406e3e52014-06-23 13:48:28 -0700161 return true;
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700162 } else {
Paul E. McKenneydffd06a2017-01-23 11:55:43 -0800163 RCU_TRACE(trace_rcu_invoke_callback(rn, head);)
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700164 head->func(head);
Paul E. McKenney24ef6592013-10-28 09:22:24 -0700165 rcu_lock_release(&rcu_callback_map);
Paul E. McKenney406e3e52014-06-23 13:48:28 -0700166 return false;
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700167 }
168}
169
Paul E. McKenney6bfc09e2012-10-19 12:49:17 -0700170#ifdef CONFIG_RCU_STALL_COMMON
171
172extern int rcu_cpu_stall_suppress;
173int rcu_jiffies_till_stall_check(void);
174
175#endif /* #ifdef CONFIG_RCU_STALL_COMMON */
176
Paul E. McKenney0d752922013-08-17 18:08:37 -0700177/*
178 * Strings used in tracepoints need to be exported via the
179 * tracing system such that tools like perf and trace-cmd can
180 * translate the string address pointers to actual text.
181 */
182#define TPS(x) tracepoint_string(x)
183
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400184void rcu_early_boot_tests(void);
Paul E. McKenney52d7e482017-01-10 02:28:26 -0800185void rcu_test_sync_prims(void);
Pranith Kumaraa23c6fbc2014-09-19 11:32:29 -0400186
Lai Jiangshan5f6130f2014-12-09 17:53:34 +0800187/*
188 * This function really isn't for public consumption, but RCU is special in
189 * that context switches can allow the state machine to make progress.
190 */
191extern void resched_cpu(int cpu);
192
Paul E. McKenney29c00b42011-06-17 15:53:19 -0700193#endif /* __LINUX_RCU_H */