xref: /linux-6.15/include/linux/srcutree.h (revision 4e6ea4ef)
1d8be8173SPaul E. McKenney /*
2d8be8173SPaul E. McKenney  * Sleepable Read-Copy Update mechanism for mutual exclusion,
3d8be8173SPaul E. McKenney  *	tree variant.
4d8be8173SPaul E. McKenney  *
5d8be8173SPaul E. McKenney  * This program is free software; you can redistribute it and/or modify
6d8be8173SPaul E. McKenney  * it under the terms of the GNU General Public License as published by
7d8be8173SPaul E. McKenney  * the Free Software Foundation; either version 2 of the License, or
8d8be8173SPaul E. McKenney  * (at your option) any later version.
9d8be8173SPaul E. McKenney  *
10d8be8173SPaul E. McKenney  * This program is distributed in the hope that it will be useful,
11d8be8173SPaul E. McKenney  * but WITHOUT ANY WARRANTY; without even the implied warranty of
12d8be8173SPaul E. McKenney  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13d8be8173SPaul E. McKenney  * GNU General Public License for more details.
14d8be8173SPaul E. McKenney  *
15d8be8173SPaul E. McKenney  * You should have received a copy of the GNU General Public License
16d8be8173SPaul E. McKenney  * along with this program; if not, you can access it online at
17d8be8173SPaul E. McKenney  * http://www.gnu.org/licenses/gpl-2.0.html.
18d8be8173SPaul E. McKenney  *
19d8be8173SPaul E. McKenney  * Copyright (C) IBM Corporation, 2017
20d8be8173SPaul E. McKenney  *
21d8be8173SPaul E. McKenney  * Author: Paul McKenney <[email protected]>
22d8be8173SPaul E. McKenney  */
23d8be8173SPaul E. McKenney 
24d8be8173SPaul E. McKenney #ifndef _LINUX_SRCU_TREE_H
25d8be8173SPaul E. McKenney #define _LINUX_SRCU_TREE_H
26d8be8173SPaul E. McKenney 
27da915ad5SPaul E. McKenney #include <linux/rcu_node_tree.h>
28da915ad5SPaul E. McKenney #include <linux/completion.h>
29da915ad5SPaul E. McKenney 
30da915ad5SPaul E. McKenney struct srcu_node;
31da915ad5SPaul E. McKenney struct srcu_struct;
32da915ad5SPaul E. McKenney 
33da915ad5SPaul E. McKenney /*
34da915ad5SPaul E. McKenney  * Per-CPU structure feeding into leaf srcu_node, similar in function
35da915ad5SPaul E. McKenney  * to rcu_node.
36da915ad5SPaul E. McKenney  */
37da915ad5SPaul E. McKenney struct srcu_data {
38da915ad5SPaul E. McKenney 	/* Read-side state. */
39da915ad5SPaul E. McKenney 	unsigned long srcu_lock_count[2];	/* Locks per CPU. */
40da915ad5SPaul E. McKenney 	unsigned long srcu_unlock_count[2];	/* Unlocks per CPU. */
41da915ad5SPaul E. McKenney 
42da915ad5SPaul E. McKenney 	/* Update-side state. */
43d6331980SPaul E. McKenney 	spinlock_t __private lock ____cacheline_internodealigned_in_smp;
44da915ad5SPaul E. McKenney 	struct rcu_segcblist srcu_cblist;	/* List of callbacks.*/
45da915ad5SPaul E. McKenney 	unsigned long srcu_gp_seq_needed;	/* Furthest future GP needed. */
461e9a038bSPaul E. McKenney 	unsigned long srcu_gp_seq_needed_exp;	/* Furthest future exp GP. */
47da915ad5SPaul E. McKenney 	bool srcu_cblist_invoking;		/* Invoking these CBs? */
48da915ad5SPaul E. McKenney 	struct delayed_work work;		/* Context for CB invoking. */
49da915ad5SPaul E. McKenney 	struct rcu_head srcu_barrier_head;	/* For srcu_barrier() use. */
50da915ad5SPaul E. McKenney 	struct srcu_node *mynode;		/* Leaf srcu_node. */
51c7e88067SPaul E. McKenney 	unsigned long grpmask;			/* Mask for leaf srcu_node */
52c7e88067SPaul E. McKenney 						/*  ->srcu_data_have_cbs[]. */
53da915ad5SPaul E. McKenney 	int cpu;
54da915ad5SPaul E. McKenney 	struct srcu_struct *sp;
55d8be8173SPaul E. McKenney };
56d8be8173SPaul E. McKenney 
57da915ad5SPaul E. McKenney /*
58da915ad5SPaul E. McKenney  * Node in SRCU combining tree, similar in function to rcu_data.
59da915ad5SPaul E. McKenney  */
60da915ad5SPaul E. McKenney struct srcu_node {
61d6331980SPaul E. McKenney 	spinlock_t __private lock;
62da915ad5SPaul E. McKenney 	unsigned long srcu_have_cbs[4];		/* GP seq for children */
63da915ad5SPaul E. McKenney 						/*  having CBs, but only */
64da915ad5SPaul E. McKenney 						/*  is > ->srcu_gq_seq. */
65c7e88067SPaul E. McKenney 	unsigned long srcu_data_have_cbs[4];	/* Which srcu_data structs */
66c7e88067SPaul E. McKenney 						/*  have CBs for given GP? */
671e9a038bSPaul E. McKenney 	unsigned long srcu_gp_seq_needed_exp;	/* Furthest future exp GP. */
68da915ad5SPaul E. McKenney 	struct srcu_node *srcu_parent;		/* Next up in tree. */
69da915ad5SPaul E. McKenney 	int grplo;				/* Least CPU for node. */
70da915ad5SPaul E. McKenney 	int grphi;				/* Biggest CPU for node. */
71da915ad5SPaul E. McKenney };
72da915ad5SPaul E. McKenney 
73da915ad5SPaul E. McKenney /*
74da915ad5SPaul E. McKenney  * Per-SRCU-domain structure, similar in function to rcu_state.
75da915ad5SPaul E. McKenney  */
76d8be8173SPaul E. McKenney struct srcu_struct {
77da915ad5SPaul E. McKenney 	struct srcu_node node[NUM_RCU_NODES];	/* Combining tree. */
78da915ad5SPaul E. McKenney 	struct srcu_node *level[RCU_NUM_LVLS + 1];
79da915ad5SPaul E. McKenney 						/* First node at each level. */
80da915ad5SPaul E. McKenney 	struct mutex srcu_cb_mutex;		/* Serialize CB preparation. */
81d6331980SPaul E. McKenney 	spinlock_t __private lock;		/* Protect counters */
82da915ad5SPaul E. McKenney 	struct mutex srcu_gp_mutex;		/* Serialize GP work. */
83da915ad5SPaul E. McKenney 	unsigned int srcu_idx;			/* Current rdr array element. */
84da915ad5SPaul E. McKenney 	unsigned long srcu_gp_seq;		/* Grace-period seq #. */
85da915ad5SPaul E. McKenney 	unsigned long srcu_gp_seq_needed;	/* Latest gp_seq needed. */
861e9a038bSPaul E. McKenney 	unsigned long srcu_gp_seq_needed_exp;	/* Furthest future exp GP. */
8722607d66SPaul E. McKenney 	unsigned long srcu_last_gp_end;		/* Last GP end timestamp (ns) */
88da915ad5SPaul E. McKenney 	struct srcu_data __percpu *sda;		/* Per-CPU srcu_data array. */
89da915ad5SPaul E. McKenney 	unsigned long srcu_barrier_seq;		/* srcu_barrier seq #. */
90da915ad5SPaul E. McKenney 	struct mutex srcu_barrier_mutex;	/* Serialize barrier ops. */
91da915ad5SPaul E. McKenney 	struct completion srcu_barrier_completion;
92da915ad5SPaul E. McKenney 						/* Awaken barrier rq at end. */
93da915ad5SPaul E. McKenney 	atomic_t srcu_barrier_cpu_cnt;		/* # CPUs not yet posting a */
94da915ad5SPaul E. McKenney 						/*  callback for the barrier */
95da915ad5SPaul E. McKenney 						/*  operation. */
96d8be8173SPaul E. McKenney 	struct delayed_work work;
97d8be8173SPaul E. McKenney #ifdef CONFIG_DEBUG_LOCK_ALLOC
98d8be8173SPaul E. McKenney 	struct lockdep_map dep_map;
99d8be8173SPaul E. McKenney #endif /* #ifdef CONFIG_DEBUG_LOCK_ALLOC */
100d8be8173SPaul E. McKenney };
101d8be8173SPaul E. McKenney 
102da915ad5SPaul E. McKenney /* Values for state variable (bottom bits of ->srcu_gp_seq). */
103d8be8173SPaul E. McKenney #define SRCU_STATE_IDLE		0
104d8be8173SPaul E. McKenney #define SRCU_STATE_SCAN1	1
105d8be8173SPaul E. McKenney #define SRCU_STATE_SCAN2	2
106d8be8173SPaul E. McKenney 
1079c80172bSSebastian Andrzej Siewior #define __SRCU_STRUCT_INIT(name, pcpu_name)				\
108d8be8173SPaul E. McKenney {									\
1099c80172bSSebastian Andrzej Siewior 	.sda = &pcpu_name,						\
110d6331980SPaul E. McKenney 	.lock = __SPIN_LOCK_UNLOCKED(name.lock),			\
111e0fcba9aSPaul E. McKenney 	.srcu_gp_seq_needed = -1UL,					\
112*4e6ea4efSPaul E. McKenney 	.work = __DELAYED_WORK_INITIALIZER(name.work, NULL, 0),		\
113d8be8173SPaul E. McKenney 	__SRCU_DEP_MAP_INIT(name)					\
114d8be8173SPaul E. McKenney }
115d8be8173SPaul E. McKenney 
116d8be8173SPaul E. McKenney /*
117d8be8173SPaul E. McKenney  * Define and initialize a srcu struct at build time.
118d8be8173SPaul E. McKenney  * Do -not- call init_srcu_struct() nor cleanup_srcu_struct() on it.
119d8be8173SPaul E. McKenney  *
120d8be8173SPaul E. McKenney  * Note that although DEFINE_STATIC_SRCU() hides the name from other
121d8be8173SPaul E. McKenney  * files, the per-CPU variable rules nevertheless require that the
122d8be8173SPaul E. McKenney  * chosen name be globally unique.  These rules also prohibit use of
123d8be8173SPaul E. McKenney  * DEFINE_STATIC_SRCU() within a function.  If these rules are too
124d8be8173SPaul E. McKenney  * restrictive, declare the srcu_struct manually.  For example, in
125d8be8173SPaul E. McKenney  * each file:
126d8be8173SPaul E. McKenney  *
127d8be8173SPaul E. McKenney  *	static struct srcu_struct my_srcu;
128d8be8173SPaul E. McKenney  *
129d8be8173SPaul E. McKenney  * Then, before the first use of each my_srcu, manually initialize it:
130d8be8173SPaul E. McKenney  *
131d8be8173SPaul E. McKenney  *	init_srcu_struct(&my_srcu);
132d8be8173SPaul E. McKenney  *
133d8be8173SPaul E. McKenney  * See include/linux/percpu-defs.h for the rules on per-CPU variables.
134d8be8173SPaul E. McKenney  */
135d8be8173SPaul E. McKenney #define __DEFINE_SRCU(name, is_static)					\
136da915ad5SPaul E. McKenney 	static DEFINE_PER_CPU(struct srcu_data, name##_srcu_data);\
1379c80172bSSebastian Andrzej Siewior 	is_static struct srcu_struct name = __SRCU_STRUCT_INIT(name, name##_srcu_data)
138d8be8173SPaul E. McKenney #define DEFINE_SRCU(name)		__DEFINE_SRCU(name, /* not static */)
139d8be8173SPaul E. McKenney #define DEFINE_STATIC_SRCU(name)	__DEFINE_SRCU(name, static)
140d8be8173SPaul E. McKenney 
141d8be8173SPaul E. McKenney void synchronize_srcu_expedited(struct srcu_struct *sp);
142d8be8173SPaul E. McKenney void srcu_barrier(struct srcu_struct *sp);
143115a1a52SPaul E. McKenney void srcu_torture_stats_print(struct srcu_struct *sp, char *tt, char *tf);
144d8be8173SPaul E. McKenney 
145d8be8173SPaul E. McKenney #endif
146