Paul E. McKenney | 29c00b4 | 2011-06-17 15:53:19 -0700 | [diff] [blame] | 1 | /* |
| 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 |
| 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, 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 E. McKenney | e99033c | 2011-06-21 00:13:44 -0700 | [diff] [blame] | 26 | #ifdef CONFIG_RCU_TRACE |
| 27 | #define RCU_TRACE(stmt) stmt |
| 28 | #else /* #ifdef CONFIG_RCU_TRACE */ |
| 29 | #define RCU_TRACE(stmt) |
| 30 | #endif /* #else #ifdef CONFIG_RCU_TRACE */ |
| 31 | |
Paul E. McKenney | 29c00b4 | 2011-06-17 15:53:19 -0700 | [diff] [blame] | 32 | /* |
Paul E. McKenney | 4145fa7 | 2011-10-31 15:01:54 -0700 | [diff] [blame] | 33 | * Process-level increment to ->dynticks_nesting field. This allows for |
| 34 | * architectures that use half-interrupts and half-exceptions from |
| 35 | * process context. |
Paul E. McKenney | 29e37d8 | 2011-11-17 16:55:56 -0800 | [diff] [blame] | 36 | * |
| 37 | * DYNTICK_TASK_NEST_MASK defines a field of width DYNTICK_TASK_NEST_WIDTH |
| 38 | * that counts the number of process-based reasons why RCU cannot |
| 39 | * consider the corresponding CPU to be idle, and DYNTICK_TASK_NEST_VALUE |
| 40 | * is the value used to increment or decrement this field. |
| 41 | * |
| 42 | * The rest of the bits could in principle be used to count interrupts, |
| 43 | * but this would mean that a negative-one value in the interrupt |
| 44 | * field could incorrectly zero out the DYNTICK_TASK_NEST_MASK field. |
| 45 | * We therefore provide a two-bit guard field defined by DYNTICK_TASK_MASK |
| 46 | * that is set to DYNTICK_TASK_FLAG upon initial exit from idle. |
| 47 | * The DYNTICK_TASK_EXIT_IDLE value is thus the combined value used upon |
| 48 | * initial exit from idle. |
Paul E. McKenney | 4145fa7 | 2011-10-31 15:01:54 -0700 | [diff] [blame] | 49 | */ |
Paul E. McKenney | 29e37d8 | 2011-11-17 16:55:56 -0800 | [diff] [blame] | 50 | #define DYNTICK_TASK_NEST_WIDTH 7 |
| 51 | #define DYNTICK_TASK_NEST_VALUE ((LLONG_MAX >> DYNTICK_TASK_NEST_WIDTH) + 1) |
| 52 | #define DYNTICK_TASK_NEST_MASK (LLONG_MAX - DYNTICK_TASK_NEST_VALUE + 1) |
| 53 | #define DYNTICK_TASK_FLAG ((DYNTICK_TASK_NEST_VALUE / 8) * 2) |
| 54 | #define DYNTICK_TASK_MASK ((DYNTICK_TASK_NEST_VALUE / 8) * 3) |
| 55 | #define DYNTICK_TASK_EXIT_IDLE (DYNTICK_TASK_NEST_VALUE + \ |
| 56 | DYNTICK_TASK_FLAG) |
Paul E. McKenney | 4145fa7 | 2011-10-31 15:01:54 -0700 | [diff] [blame] | 57 | |
| 58 | /* |
Paul E. McKenney | 29c00b4 | 2011-06-17 15:53:19 -0700 | [diff] [blame] | 59 | * debug_rcu_head_queue()/debug_rcu_head_unqueue() are used internally |
| 60 | * by call_rcu() and rcu callback execution, and are therefore not part of the |
| 61 | * RCU API. Leaving in rcupdate.h because they are used by all RCU flavors. |
| 62 | */ |
| 63 | |
| 64 | #ifdef CONFIG_DEBUG_OBJECTS_RCU_HEAD |
| 65 | # define STATE_RCU_HEAD_READY 0 |
| 66 | # define STATE_RCU_HEAD_QUEUED 1 |
| 67 | |
| 68 | extern struct debug_obj_descr rcuhead_debug_descr; |
| 69 | |
Paul E. McKenney | ae15018 | 2013-04-23 13:20:57 -0700 | [diff] [blame] | 70 | static inline int debug_rcu_head_queue(struct rcu_head *head) |
Paul E. McKenney | 29c00b4 | 2011-06-17 15:53:19 -0700 | [diff] [blame] | 71 | { |
Paul E. McKenney | ae15018 | 2013-04-23 13:20:57 -0700 | [diff] [blame] | 72 | int r1; |
| 73 | |
| 74 | r1 = debug_object_activate(head, &rcuhead_debug_descr); |
Paul E. McKenney | 29c00b4 | 2011-06-17 15:53:19 -0700 | [diff] [blame] | 75 | debug_object_active_state(head, &rcuhead_debug_descr, |
| 76 | STATE_RCU_HEAD_READY, |
| 77 | STATE_RCU_HEAD_QUEUED); |
Paul E. McKenney | ae15018 | 2013-04-23 13:20:57 -0700 | [diff] [blame] | 78 | return r1; |
Paul E. McKenney | 29c00b4 | 2011-06-17 15:53:19 -0700 | [diff] [blame] | 79 | } |
| 80 | |
| 81 | static inline void debug_rcu_head_unqueue(struct rcu_head *head) |
| 82 | { |
| 83 | debug_object_active_state(head, &rcuhead_debug_descr, |
| 84 | STATE_RCU_HEAD_QUEUED, |
| 85 | STATE_RCU_HEAD_READY); |
| 86 | debug_object_deactivate(head, &rcuhead_debug_descr); |
| 87 | } |
| 88 | #else /* !CONFIG_DEBUG_OBJECTS_RCU_HEAD */ |
Paul E. McKenney | ae15018 | 2013-04-23 13:20:57 -0700 | [diff] [blame] | 89 | static inline int debug_rcu_head_queue(struct rcu_head *head) |
Paul E. McKenney | 29c00b4 | 2011-06-17 15:53:19 -0700 | [diff] [blame] | 90 | { |
Paul E. McKenney | ae15018 | 2013-04-23 13:20:57 -0700 | [diff] [blame] | 91 | return 0; |
Paul E. McKenney | 29c00b4 | 2011-06-17 15:53:19 -0700 | [diff] [blame] | 92 | } |
| 93 | |
| 94 | static inline void debug_rcu_head_unqueue(struct rcu_head *head) |
| 95 | { |
| 96 | } |
| 97 | #endif /* #else !CONFIG_DEBUG_OBJECTS_RCU_HEAD */ |
| 98 | |
| 99 | extern void kfree(const void *); |
| 100 | |
Steven Rostedt (Red Hat) | e66c33d | 2013-07-12 16:50:28 -0400 | [diff] [blame] | 101 | static inline bool __rcu_reclaim(const char *rn, struct rcu_head *head) |
Paul E. McKenney | 29c00b4 | 2011-06-17 15:53:19 -0700 | [diff] [blame] | 102 | { |
| 103 | unsigned long offset = (unsigned long)head->func; |
| 104 | |
| 105 | if (__is_kfree_rcu_offset(offset)) { |
Paul E. McKenney | d4c08f2 | 2011-06-25 06:36:56 -0700 | [diff] [blame] | 106 | RCU_TRACE(trace_rcu_invoke_kfree_callback(rn, head, offset)); |
Paul E. McKenney | 29c00b4 | 2011-06-17 15:53:19 -0700 | [diff] [blame] | 107 | kfree((void *)head - offset); |
Paul E. McKenney | 486e259 | 2012-01-06 14:11:30 -0800 | [diff] [blame] | 108 | return 1; |
Paul E. McKenney | 29c00b4 | 2011-06-17 15:53:19 -0700 | [diff] [blame] | 109 | } else { |
Paul E. McKenney | d4c08f2 | 2011-06-25 06:36:56 -0700 | [diff] [blame] | 110 | RCU_TRACE(trace_rcu_invoke_callback(rn, head)); |
Paul E. McKenney | 29c00b4 | 2011-06-17 15:53:19 -0700 | [diff] [blame] | 111 | head->func(head); |
Paul E. McKenney | 486e259 | 2012-01-06 14:11:30 -0800 | [diff] [blame] | 112 | return 0; |
Paul E. McKenney | 29c00b4 | 2011-06-17 15:53:19 -0700 | [diff] [blame] | 113 | } |
| 114 | } |
| 115 | |
Antti P Miettinen | 3705b88 | 2012-10-05 09:59:15 +0300 | [diff] [blame] | 116 | extern int rcu_expedited; |
| 117 | |
Paul E. McKenney | 6bfc09e | 2012-10-19 12:49:17 -0700 | [diff] [blame] | 118 | #ifdef CONFIG_RCU_STALL_COMMON |
| 119 | |
| 120 | extern int rcu_cpu_stall_suppress; |
| 121 | int rcu_jiffies_till_stall_check(void); |
| 122 | |
| 123 | #endif /* #ifdef CONFIG_RCU_STALL_COMMON */ |
| 124 | |
Paul E. McKenney | 29c00b4 | 2011-06-17 15:53:19 -0700 | [diff] [blame] | 125 | #endif /* __LINUX_RCU_H */ |