xref: /linux/kernel/sched/ext/types.h (revision 11260c335ec6071af5543aef73000b28f041c124)
1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3  * Early sched_ext type definitions.
4  *
5  * Copyright (c) 2026 Meta Platforms, Inc. and affiliates.
6  * Copyright (c) 2026 Tejun Heo <tj@kernel.org>
7  */
8 #ifndef _KERNEL_SCHED_EXT_TYPES_H
9 #define _KERNEL_SCHED_EXT_TYPES_H
10 
11 #include <linux/types.h>
12 #include <linux/jiffies.h>
13 #include <linux/overflow.h>
14 #include <linux/time64.h>
15 #include <linux/sched/topology.h>
16 
17 enum scx_consts {
18 	SCX_DSP_DFL_MAX_BATCH		= 32,
19 	SCX_DSP_MAX_LOOPS		= 32,
20 	SCX_WATCHDOG_MAX_TIMEOUT	= 30 * HZ,
21 
22 	/* rescue knob defaults and limits, see scx_rescue_timerfn() */
23 	SCX_RESCUE_DFL_BW_PPT		= 20,		/* parts per thousand, 2% */
24 	SCX_RESCUE_MAX_BW_PPT		= 250,		/* 25% */
25 	SCX_RESCUE_DISABLE		= U32_MAX,	/* disables rescue */
26 	SCX_RESCUE_DFL_QUANTUM_US	= 5000,
27 	SCX_RESCUE_MIN_QUANTUM_US	= 1000,
28 	SCX_RESCUE_MAX_QUANTUM_US	= 100000,
29 	SCX_RESCUE_MIN_SLICE_US		= 1000,		/* floor of the divided slice */
30 	SCX_RESCUE_OVERLOAD_MULT	= 16,		/* overload threshold in funding periods */
31 	SCX_RESCUE_MIN_OVERLOAD_MS	= 1000,
32 	SCX_RESCUE_MAX_OVERLOAD_MS	= 15000,
33 
34 	/* per-CPU chunk size for p->scx.tid allocation, see scx_alloc_tid() */
35 	SCX_TID_CHUNK			= 1024,
36 
37 	SCX_EXIT_BT_LEN			= 64,
38 	SCX_EXIT_MSG_LEN		= 1024,
39 	SCX_EXIT_DUMP_DFL_LEN		= 32768,
40 
41 	SCX_CPUPERF_ONE			= SCHED_CAPACITY_SCALE,
42 
43 	/*
44 	 * Iterating all tasks may take a while. Periodically drop
45 	 * scx_tasks_lock to avoid causing e.g. CSD and RCU stalls.
46 	 */
47 	SCX_TASK_ITER_BATCH		= 32,
48 
49 	SCX_BYPASS_HOST_NTH		= 2,
50 
51 	SCX_BYPASS_LB_DFL_INTV_US	= 500 * USEC_PER_MSEC,
52 	SCX_BYPASS_LB_DONOR_PCT		= 125,
53 	SCX_BYPASS_LB_MIN_DELTA_DIV	= 4,
54 	SCX_BYPASS_LB_BATCH		= 256,
55 
56 	SCX_REENQ_MAX_REPEAT		= 256,
57 
58 	SCX_SUB_MAX_DEPTH		= 4,
59 };
60 
61 /*
62  * Per-cid topology info. For each topology level (core, LLC, node) and shard,
63  * records the first cid in the unit and its global index. Global indices are
64  * consecutive integers assigned in cid-walk order, so e.g. core_idx ranges over
65  * [0, nr_cores_at_init) with no gaps. No-topo cids have core/LLC/node fields
66  * set to -1 but always have valid shard assignments.
67  *
68  * Shards are contiguous CID ranges used as scalable locking/work domains for
69  * sub-scheduler operations. By default each LLC becomes one shard, split into
70  * smaller shards if the LLC exceeds the target size. No-topo cids are packed
71  * into their own max-sized shards.
72  *
73  * @core_cid: first cid of this cid's core (smt-sibling group)
74  * @core_idx: global index of that core, in [0, nr_cores_at_init)
75  * @llc_cid: first cid of this cid's LLC
76  * @llc_idx: global index of that LLC, in [0, nr_llcs_at_init)
77  * @node_cid: first cid of this cid's NUMA node
78  * @node_idx: global index of that node, in [0, nr_nodes_at_init)
79  * @shard_cid: first cid of this cid's shard
80  * @shard_idx: global index of that shard, in [0, scx_nr_cid_shards)
81  */
82 struct scx_cid_topo {
83 	s32 core_cid;
84 	s32 core_idx;
85 	s32 llc_cid;
86 	s32 llc_idx;
87 	s32 node_cid;
88 	s32 node_idx;
89 	s32 shard_cid;
90 	s32 shard_idx;
91 };
92 
93 enum scx_cid_consts {
94 	SCX_CID_SHARD_SIZE_DFL		= 24,
95 	SCX_CID_SHARD_MAX_CPUS		= 512,
96 };
97 
98 /*
99  * Per-shard metadata for O(1) shard->cid-range lookup.
100  *
101  * @base_cid: first cid of the shard
102  * @nr_cids: number of cids in the shard
103  */
104 struct scx_cid_shard {
105 	s32			base_cid;
106 	s32			nr_cids;
107 };
108 
109 /*
110  * cmask: variable-length, base-windowed bitmap over cid space
111  * -----------------------------------------------------------
112  *
113  * A cmask covers the cid range [base, base + nr_cids). bits[] is aligned to the
114  * global 64-cid grid: bits[0] spans [base & ~63, (base & ~63) + 64), so the
115  * first (base & 63) bits of bits[0] are head padding and the trailing bits of
116  * the last active word past base + nr_cids are tail padding. Both stay zero;
117  * all mutating helpers preserve that. Words past the last active word are not
118  * read by any helper and have no constraint.
119  *
120  * Grid alignment means two cmasks always address bits[] against the same global
121  * 64-cid windows, so cross-cmask word ops (AND, OR, ...) reduce to
122  *
123  *	dst->bits[i] OP= src->bits[i - delta]
124  *
125  * with no bit-shifting, regardless of how the two bases relate mod 64.
126  */
127 struct scx_cmask {
128 	u32 base;
129 	u32 nr_cids;
130 	u32 alloc_words;
131 	u64 bits[];
132 };
133 
134 /*
135  * Number of u64 words of bits[] storage that covers @nr_cids regardless of base
136  * alignment. The +1 absorbs up to 63 bits of head padding when base is not
137  * 64-aligned - always allocating one extra word beats branching on base or
138  * splitting the compute. The u64 cast keeps the +63 from wrapping when @nr_cids
139  * is near U32_MAX, so callers bounds-checking the result against @alloc_words
140  * catch the overflow instead of seeing a small value.
141  */
142 #define SCX_CMASK_NR_WORDS(nr_cids)	((u32)(((u64)(nr_cids) + 63) / 64 + 1))
143 
144 /**
145  * __SCX_CMASK_DEFINE - Define an on-stack cmask with explicit storage capacity
146  * @NAME: variable name to define
147  * @BASE: first cid of the active range
148  * @NR_CIDS: active range length
149  * @ALLOC_CIDS: storage capacity in cids, at least @NR_CIDS
150  *
151  * @NAME aliases zero-initialized storage with the active range set to
152  * [BASE, BASE + NR_CIDS). Use scx_cmask_reframe() to reshape later, up to
153  * @ALLOC_CIDS.
154  */
155 #define __SCX_CMASK_DEFINE(NAME, BASE, NR_CIDS, ALLOC_CIDS)			\
156 	_DEFINE_FLEX(struct scx_cmask, NAME, bits, SCX_CMASK_NR_WORDS(ALLOC_CIDS), \
157 		     = { .base = (BASE),					\
158 			 .nr_cids = (NR_CIDS),					\
159 			 .alloc_words = SCX_CMASK_NR_WORDS(ALLOC_CIDS) })
160 
161 /**
162  * SCX_CMASK_DEFINE - Define an on-stack cmask on tight storage
163  * @NAME: variable name to define
164  * @BASE: first cid of the active range
165  * @NR_CIDS: active range length, also storage capacity
166  *
167  * @NAME aliases zero-initialized storage with the active range and storage
168  * both [BASE, BASE + NR_CIDS).
169  */
170 #define SCX_CMASK_DEFINE(NAME, BASE, NR_CIDS)					\
171 	__SCX_CMASK_DEFINE(NAME, BASE, NR_CIDS, NR_CIDS)
172 
173 /**
174  * SCX_CMASK_DEFINE_SHARD - Define an on-stack cmask sized to one shard
175  * @NAME: variable name to define
176  * @BASE: first cid of the active range
177  * @NR_CIDS: active range length, must be <= SCX_CID_SHARD_MAX_CPUS
178  *
179  * Storage is fixed at SCX_CID_SHARD_MAX_CPUS, active range framed by
180  * (BASE, NR_CIDS). Passing NR_CIDS > SCX_CID_SHARD_MAX_CPUS leaves the
181  * cmask claiming more bits than storage holds and subsequent cmask
182  * operations will overrun.
183  */
184 #define SCX_CMASK_DEFINE_SHARD(NAME, BASE, NR_CIDS)				\
185 	__SCX_CMASK_DEFINE(NAME, BASE, NR_CIDS, SCX_CID_SHARD_MAX_CPUS)
186 
187 /*
188  * scx_cmask_ref: validated reference to a BPF-arena cmask.
189  *
190  * scx_cmask_ref_init() snapshots @base/@nr_cids. The snapshot is what
191  * downstream code uses for sizing - the live header can be mutated concurrently
192  * by BPF.
193  *
194  * scx_cmask_ref_shard() reads one shard into a cmask. scx_cmask_ref_or() and
195  * scx_cmask_ref_copy() write back into the referenced arena cmask, bounded by
196  * the snapshot.
197  *
198  * Typical input use:
199  *
200  *	struct scx_cmask_ref ref;
201  *	SCX_CMASK_DEFINE(shard, 0, SCX_CID_SHARD_MAX_CPUS);
202  *	s32 idx, ret;
203  *
204  *	ret = scx_cmask_ref_init(sch, src, &ref);
205  *	if (ret < 0)
206  *		return ret;
207  *
208  *	for (idx = ref.shard_first; idx < ref.shard_end; idx++) {
209  *		scx_cmask_ref_shard(&ref, idx, shard);
210  *		if (!shard->nr_cids)
211  *			continue;
212  *		... use idx and shard ...
213  *	}
214  */
215 struct scx_cmask_ref {
216 	struct scx_sched	*sch;
217 	struct scx_cmask	*src;
218 	u32			base;
219 	u32			nr_cids;
220 	s32			shard_first;
221 	s32			shard_end;
222 };
223 
224 #endif /* _KERNEL_SCHED_EXT_TYPES_H */
225