[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-Id: <20220201192540.10439-1-mathieu.desnoyers@efficios.com>
Date: Tue, 1 Feb 2022 14:25:38 -0500
From: Mathieu Desnoyers <mathieu.desnoyers@...icios.com>
To: Peter Zijlstra <peterz@...radead.org>
Cc: linux-kernel@...r.kernel.org, Thomas Gleixner <tglx@...utronix.de>,
"Paul E . McKenney" <paulmck@...nel.org>,
Boqun Feng <boqun.feng@...il.com>,
"H . Peter Anvin" <hpa@...or.com>, Paul Turner <pjt@...gle.com>,
linux-api@...r.kernel.org,
Christian Brauner <christian.brauner@...ntu.com>,
Florian Weimer <fw@...eb.enyo.de>, David.Laight@...LAB.COM,
carlos@...hat.com, Peter Oskolkov <posk@...k.io>,
Mathieu Desnoyers <mathieu.desnoyers@...icios.com>
Subject: [RFC PATCH 1/3] Introduce per thread group current virtual cpu id
This feature allows the scheduler to expose a current virtual cpu id
to user-space. This virtual cpu id is within the possible cpus range,
and is temporarily (and uniquely) assigned while threads are actively
running within a thread group. If a thread group has fewer threads than
cores, or is limited to run on few cores concurrently through sched
affinity or cgroup cpusets, the virtual cpu ids will be values close
to 0, thus allowing efficient use of user-space memory for per-cpu
data structures.
This feature is meant to be exposed by a new rseq thread area field.
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@...icios.com>
---
fs/exec.c | 4 +++
include/linux/sched.h | 4 +++
include/linux/sched/signal.h | 49 ++++++++++++++++++++++++++++++++++++
init/Kconfig | 14 +++++++++++
kernel/sched/core.c | 2 ++
5 files changed, 73 insertions(+)
diff --git a/fs/exec.c b/fs/exec.c
index 79f2c9483302..bc9a8c5f17f4 100644
--- a/fs/exec.c
+++ b/fs/exec.c
@@ -1153,6 +1153,10 @@ static int de_thread(struct task_struct *tsk)
sig->group_exec_task = NULL;
sig->notify_count = 0;
+ /* Release possibly high vcpu id, get vcpu id 0. */
+ tg_vcpu_put(tsk);
+ tg_vcpu_get(tsk);
+
no_thread_group:
/* we have changed execution domain */
tsk->exit_signal = SIGCHLD;
diff --git a/include/linux/sched.h b/include/linux/sched.h
index 838c9e0b4cae..0f199daed26a 100644
--- a/include/linux/sched.h
+++ b/include/linux/sched.h
@@ -1300,6 +1300,10 @@ struct task_struct {
unsigned long rseq_event_mask;
#endif
+#ifdef CONFIG_SCHED_THREAD_GROUP_VCPU
+ int tg_vcpu; /* Current vcpu in thread group */
+#endif
+
struct tlbflush_unmap_batch tlb_ubc;
union {
diff --git a/include/linux/sched/signal.h b/include/linux/sched/signal.h
index b6ecb9fc4cd2..c87e7ad5a1ea 100644
--- a/include/linux/sched/signal.h
+++ b/include/linux/sched/signal.h
@@ -244,6 +244,12 @@ struct signal_struct {
* and may have inconsistent
* permissions.
*/
+#ifdef CONFIG_SCHED_THREAD_GROUP_VCPU
+ /*
+ * Mask of allocated vcpu ids within the thread group.
+ */
+ cpumask_t vcpu_mask;
+#endif
} __randomize_layout;
/*
@@ -742,4 +748,47 @@ static inline unsigned long rlimit_max(unsigned int limit)
return task_rlimit_max(current, limit);
}
+#ifdef CONFIG_SCHED_THREAD_GROUP_VCPU
+static inline void tg_vcpu_get(struct task_struct *t)
+{
+ struct cpumask *cpumask = &t->signal->vcpu_mask;
+ unsigned int vcpu;
+
+ if (t->flags & PF_KTHREAD)
+ return;
+ /* Atomically reserve lowest available vcpu number. */
+ do {
+ vcpu = cpumask_first_zero(cpumask);
+ WARN_ON_ONCE(vcpu >= nr_cpu_ids);
+ } while (cpumask_test_and_set_cpu(vcpu, cpumask));
+ t->tg_vcpu = vcpu;
+}
+
+static inline void tg_vcpu_put(struct task_struct *t)
+{
+ if (t->flags & PF_KTHREAD)
+ return;
+ cpumask_clear_cpu(t->tg_vcpu, &t->signal->vcpu_mask);
+ t->tg_vcpu = 0;
+}
+
+static inline int task_tg_vcpu_id(struct task_struct *t)
+{
+ return t->tg_vcpu;
+}
+#else
+static inline void tg_vcpu_get(struct task_struct *t) { }
+static inline void tg_vcpu_put(struct task_struct *t) { }
+static inline int task_tg_vcpu_id(struct task_struct *t)
+{
+ /*
+ * Use the processor id as a fall-back when the thread group vcpu
+ * feature is disabled. This provides functional per-cpu data structure
+ * accesses in user-space, althrough it won't provide the memory usage
+ * benefits.
+ */
+ return raw_smp_processor_id();
+}
+#endif
+
#endif /* _LINUX_SCHED_SIGNAL_H */
diff --git a/init/Kconfig b/init/Kconfig
index e9119bf54b1f..5f72b4212a33 100644
--- a/init/Kconfig
+++ b/init/Kconfig
@@ -1023,6 +1023,20 @@ config RT_GROUP_SCHED
endif #CGROUP_SCHED
+config SCHED_THREAD_GROUP_VCPU
+ bool "Provide per-thread-group virtual cpu id"
+ depends on SMP
+ default n
+ help
+ This feature allows the scheduler to expose a current virtual cpu id
+ to user-space. This virtual cpu id is within the possible cpus range,
+ and is temporarily (and uniquely) assigned while threads are actively
+ running within a thread group. If a thread group has fewer threads than
+ cores, or is limited to run on few cores concurrently through sched
+ affinity or cgroup cpusets, the virtual cpu ids will be values close
+ to 0, thus allowing efficient use of user-space memory for per-cpu
+ data structures.
+
config UCLAMP_TASK_GROUP
bool "Utilization clamping per group of tasks"
depends on CGROUP_SCHED
diff --git a/kernel/sched/core.c b/kernel/sched/core.c
index 2e4ae00e52d1..2690e80977b1 100644
--- a/kernel/sched/core.c
+++ b/kernel/sched/core.c
@@ -4795,6 +4795,8 @@ prepare_task_switch(struct rq *rq, struct task_struct *prev,
sched_info_switch(rq, prev, next);
perf_event_task_sched_out(prev, next);
rseq_preempt(prev);
+ tg_vcpu_put(prev);
+ tg_vcpu_get(next);
fire_sched_out_preempt_notifiers(prev, next);
kmap_local_sched_out();
prepare_task(next);
--
2.17.1
Powered by blists - more mailing lists