sched: Improve cache locality of RSEQ concurrency IDs for intermittent workloads

commit 223baf9d17 ("sched: Fix performance regression introduced by mm_cid")
introduced a per-mm/cpu current concurrency id (mm_cid), which keeps
a reference to the concurrency id allocated for each CPU. This reference
expires shortly after a 100ms delay.

These per-CPU references keep the per-mm-cid data cache-local in
situations where threads are running at least once on each CPU within
each 100ms window, thus keeping the per-cpu reference alive.

However, intermittent workloads behaving in bursts spaced by more than
100ms on each CPU exhibit bad cache locality and degraded performance
compared to purely per-cpu data indexing, because concurrency IDs are
allocated over various CPUs and cores, therefore losing cache locality
of the associated data.

Introduce the following changes to improve per-mm-cid cache locality:

- Add a "recent_cid" field to the per-mm/cpu mm_cid structure to keep
  track of which mm_cid value was last used, and use it as a hint to
  attempt re-allocating the same concurrency ID the next time this
  mm/cpu needs to allocate a concurrency ID,

- Add a per-mm CPUs allowed mask, which keeps track of the union of
  CPUs allowed for all threads belonging to this mm. This cpumask is
  only set during the lifetime of the mm, never cleared, so it
  represents the union of all the CPUs allowed since the beginning of
  the mm lifetime (note that the mm_cpumask() is really arch-specific
  and tailored to the TLB flush needs, and is thus _not_ a viable
  approach for this),

- Add a per-mm nr_cpus_allowed to keep track of the weight of the
  per-mm CPUs allowed mask (for fast access),

- Add a per-mm max_nr_cid to keep track of the highest number of
  concurrency IDs allocated for the mm. This is used for expanding the
  concurrency ID allocation within the upper bound defined by:

    min(mm->nr_cpus_allowed, mm->mm_users)

  When the next unused CID value reaches this threshold, stop trying
  to expand the cid allocation and use the first available cid value
  instead.

  Spreading allocation to use all the cid values within the range

    [ 0, min(mm->nr_cpus_allowed, mm->mm_users) - 1 ]

  improves cache locality while preserving mm_cid compactness within the
  expected user limits,

- In __mm_cid_try_get, only return cid values within the range
  [ 0, mm->nr_cpus_allowed ] rather than [ 0, nr_cpu_ids ]. This
  prevents allocating cids above the number of allowed cpus in
  rare scenarios where cid allocation races with a concurrent
  remote-clear of the per-mm/cpu cid. This improvement is made
  possible by the addition of the per-mm CPUs allowed mask,

- In sched_mm_cid_migrate_to, use mm->nr_cpus_allowed rather than
  t->nr_cpus_allowed. This criterion was really meant to compare
  the number of mm->mm_users to the number of CPUs allowed for the
  entire mm. Therefore, the prior comparison worked fine when all
  threads shared the same CPUs allowed mask, but not so much in
  scenarios where those threads have different masks (e.g. each
  thread pinned to a single CPU). This improvement is made
  possible by the addition of the per-mm CPUs allowed mask.

* Benchmarks

Each thread increments 16kB worth of 8-bit integers in bursts, with
a configurable delay between each thread's execution. Each thread run
one after the other (no threads run concurrently). The order of
thread execution in the sequence is random. The thread execution
sequence begins again after all threads have executed. The 16kB areas
are allocated with rseq_mempool and indexed by either cpu_id, mm_cid
(not cache-local), or cache-local mm_cid. Each thread is pinned to its
own core.

Testing configurations:

8-core/1-L3:        Use 8 cores within a single L3
24-core/24-L3:      Use 24 cores, 1 core per L3
192-core/24-L3:     Use 192 cores (all cores in the system)
384-thread/24-L3:   Use 384 HW threads (all HW threads in the system)

Intermittent workload delays between threads: 200ms, 10ms.

Hardware:

CPU(s):                   384
  On-line CPU(s) list:    0-383
Vendor ID:                AuthenticAMD
  Model name:             AMD EPYC 9654 96-Core Processor
    Thread(s) per core:   2
    Core(s) per socket:   96
    Socket(s):            2
Caches (sum of all):
  L1d:                    6 MiB (192 instances)
  L1i:                    6 MiB (192 instances)
  L2:                     192 MiB (192 instances)
  L3:                     768 MiB (24 instances)

Each result is an average of 5 test runs. The cache-local speedup
is calculated as: (cache-local mm_cid) / (mm_cid).

Intermittent workload delay: 200ms

                     per-cpu     mm_cid    cache-local mm_cid    cache-local speedup
                         (ns)      (ns)                  (ns)
8-core/1-L3             1374      19289                  1336            14.4x
24-core/24-L3           2423      26721                  1594            16.7x
192-core/24-L3          2291      15826                  2153             7.3x
384-thread/24-L3        1874      13234                  1907             6.9x

Intermittent workload delay: 10ms

                     per-cpu     mm_cid    cache-local mm_cid    cache-local speedup
                         (ns)      (ns)                  (ns)
8-core/1-L3               662       756                   686             1.1x
24-core/24-L3            1378      3648                  1035             3.5x
192-core/24-L3           1439     10833                  1482             7.3x
384-thread/24-L3         1503     10570                  1556             6.8x

[ This deprecates the prior "sched: NUMA-aware per-memory-map concurrency IDs"
  patch series with a simpler and more general approach. ]

[ This patch applies on top of v6.12-rc1. ]

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Acked-by: Marco Elver <elver@google.com>
Link: https://lore.kernel.org/lkml/20240823185946.418340-1-mathieu.desnoyers@efficios.com/
This commit is contained in:
Mathieu Desnoyers 2024-10-09 09:50:07 -04:00 committed by Peter Zijlstra
parent 8e113df990
commit 7e019dcc47
5 changed files with 112 additions and 34 deletions

View File

@ -990,7 +990,7 @@ static int exec_mmap(struct mm_struct *mm)
active_mm = tsk->active_mm; active_mm = tsk->active_mm;
tsk->active_mm = mm; tsk->active_mm = mm;
tsk->mm = mm; tsk->mm = mm;
mm_init_cid(mm); mm_init_cid(mm, tsk);
/* /*
* This prevents preemption while active_mm is being loaded and * This prevents preemption while active_mm is being loaded and
* it and mm are being updated, which could cause problems for * it and mm are being updated, which could cause problems for

View File

@ -782,6 +782,7 @@ struct vm_area_struct {
struct mm_cid { struct mm_cid {
u64 time; u64 time;
int cid; int cid;
int recent_cid;
}; };
#endif #endif
@ -852,6 +853,27 @@ struct mm_struct {
* When the next mm_cid scan is due (in jiffies). * When the next mm_cid scan is due (in jiffies).
*/ */
unsigned long mm_cid_next_scan; unsigned long mm_cid_next_scan;
/**
* @nr_cpus_allowed: Number of CPUs allowed for mm.
*
* Number of CPUs allowed in the union of all mm's
* threads allowed CPUs.
*/
unsigned int nr_cpus_allowed;
/**
* @max_nr_cid: Maximum number of concurrency IDs allocated.
*
* Track the highest number of concurrency IDs allocated for the
* mm.
*/
atomic_t max_nr_cid;
/**
* @cpus_allowed_lock: Lock protecting mm cpus_allowed.
*
* Provide mutual exclusion for mm cpus_allowed and
* mm nr_cpus_allowed updates.
*/
raw_spinlock_t cpus_allowed_lock;
#endif #endif
#ifdef CONFIG_MMU #ifdef CONFIG_MMU
atomic_long_t pgtables_bytes; /* size of all page tables */ atomic_long_t pgtables_bytes; /* size of all page tables */
@ -1170,18 +1192,30 @@ static inline int mm_cid_clear_lazy_put(int cid)
return cid & ~MM_CID_LAZY_PUT; return cid & ~MM_CID_LAZY_PUT;
} }
/*
* mm_cpus_allowed: Union of all mm's threads allowed CPUs.
*/
static inline cpumask_t *mm_cpus_allowed(struct mm_struct *mm)
{
unsigned long bitmap = (unsigned long)mm;
bitmap += offsetof(struct mm_struct, cpu_bitmap);
/* Skip cpu_bitmap */
bitmap += cpumask_size();
return (struct cpumask *)bitmap;
}
/* Accessor for struct mm_struct's cidmask. */ /* Accessor for struct mm_struct's cidmask. */
static inline cpumask_t *mm_cidmask(struct mm_struct *mm) static inline cpumask_t *mm_cidmask(struct mm_struct *mm)
{ {
unsigned long cid_bitmap = (unsigned long)mm; unsigned long cid_bitmap = (unsigned long)mm_cpus_allowed(mm);
cid_bitmap += offsetof(struct mm_struct, cpu_bitmap); /* Skip mm_cpus_allowed */
/* Skip cpu_bitmap */
cid_bitmap += cpumask_size(); cid_bitmap += cpumask_size();
return (struct cpumask *)cid_bitmap; return (struct cpumask *)cid_bitmap;
} }
static inline void mm_init_cid(struct mm_struct *mm) static inline void mm_init_cid(struct mm_struct *mm, struct task_struct *p)
{ {
int i; int i;
@ -1189,17 +1223,22 @@ static inline void mm_init_cid(struct mm_struct *mm)
struct mm_cid *pcpu_cid = per_cpu_ptr(mm->pcpu_cid, i); struct mm_cid *pcpu_cid = per_cpu_ptr(mm->pcpu_cid, i);
pcpu_cid->cid = MM_CID_UNSET; pcpu_cid->cid = MM_CID_UNSET;
pcpu_cid->recent_cid = MM_CID_UNSET;
pcpu_cid->time = 0; pcpu_cid->time = 0;
} }
mm->nr_cpus_allowed = p->nr_cpus_allowed;
atomic_set(&mm->max_nr_cid, 0);
raw_spin_lock_init(&mm->cpus_allowed_lock);
cpumask_copy(mm_cpus_allowed(mm), &p->cpus_mask);
cpumask_clear(mm_cidmask(mm)); cpumask_clear(mm_cidmask(mm));
} }
static inline int mm_alloc_cid_noprof(struct mm_struct *mm) static inline int mm_alloc_cid_noprof(struct mm_struct *mm, struct task_struct *p)
{ {
mm->pcpu_cid = alloc_percpu_noprof(struct mm_cid); mm->pcpu_cid = alloc_percpu_noprof(struct mm_cid);
if (!mm->pcpu_cid) if (!mm->pcpu_cid)
return -ENOMEM; return -ENOMEM;
mm_init_cid(mm); mm_init_cid(mm, p);
return 0; return 0;
} }
#define mm_alloc_cid(...) alloc_hooks(mm_alloc_cid_noprof(__VA_ARGS__)) #define mm_alloc_cid(...) alloc_hooks(mm_alloc_cid_noprof(__VA_ARGS__))
@ -1212,16 +1251,31 @@ static inline void mm_destroy_cid(struct mm_struct *mm)
static inline unsigned int mm_cid_size(void) static inline unsigned int mm_cid_size(void)
{ {
return cpumask_size(); return 2 * cpumask_size(); /* mm_cpus_allowed(), mm_cidmask(). */
}
static inline void mm_set_cpus_allowed(struct mm_struct *mm, const struct cpumask *cpumask)
{
struct cpumask *mm_allowed = mm_cpus_allowed(mm);
if (!mm)
return;
/* The mm_cpus_allowed is the union of each thread allowed CPUs masks. */
raw_spin_lock(&mm->cpus_allowed_lock);
cpumask_or(mm_allowed, mm_allowed, cpumask);
WRITE_ONCE(mm->nr_cpus_allowed, cpumask_weight(mm_allowed));
raw_spin_unlock(&mm->cpus_allowed_lock);
} }
#else /* CONFIG_SCHED_MM_CID */ #else /* CONFIG_SCHED_MM_CID */
static inline void mm_init_cid(struct mm_struct *mm) { } static inline void mm_init_cid(struct mm_struct *mm, struct task_struct *p) { }
static inline int mm_alloc_cid(struct mm_struct *mm) { return 0; } static inline int mm_alloc_cid(struct mm_struct *mm, struct task_struct *p) { return 0; }
static inline void mm_destroy_cid(struct mm_struct *mm) { } static inline void mm_destroy_cid(struct mm_struct *mm) { }
static inline unsigned int mm_cid_size(void) static inline unsigned int mm_cid_size(void)
{ {
return 0; return 0;
} }
static inline void mm_set_cpus_allowed(struct mm_struct *mm, const struct cpumask *cpumask) { }
#endif /* CONFIG_SCHED_MM_CID */ #endif /* CONFIG_SCHED_MM_CID */
struct mmu_gather; struct mmu_gather;

View File

@ -1298,7 +1298,7 @@ static struct mm_struct *mm_init(struct mm_struct *mm, struct task_struct *p,
if (init_new_context(p, mm)) if (init_new_context(p, mm))
goto fail_nocontext; goto fail_nocontext;
if (mm_alloc_cid(mm)) if (mm_alloc_cid(mm, p))
goto fail_cid; goto fail_cid;
if (percpu_counter_init_many(mm->rss_stat, 0, GFP_KERNEL_ACCOUNT, if (percpu_counter_init_many(mm->rss_stat, 0, GFP_KERNEL_ACCOUNT,

View File

@ -2696,6 +2696,7 @@ __do_set_cpus_allowed(struct task_struct *p, struct affinity_context *ctx)
put_prev_task(rq, p); put_prev_task(rq, p);
p->sched_class->set_cpus_allowed(p, ctx); p->sched_class->set_cpus_allowed(p, ctx);
mm_set_cpus_allowed(p->mm, ctx->new_mask);
if (queued) if (queued)
enqueue_task(rq, p, ENQUEUE_RESTORE | ENQUEUE_NOCLOCK); enqueue_task(rq, p, ENQUEUE_RESTORE | ENQUEUE_NOCLOCK);
@ -10243,6 +10244,7 @@ int __sched_mm_cid_migrate_from_try_steal_cid(struct rq *src_rq,
*/ */
if (!try_cmpxchg(&src_pcpu_cid->cid, &lazy_cid, MM_CID_UNSET)) if (!try_cmpxchg(&src_pcpu_cid->cid, &lazy_cid, MM_CID_UNSET))
return -1; return -1;
WRITE_ONCE(src_pcpu_cid->recent_cid, MM_CID_UNSET);
return src_cid; return src_cid;
} }
@ -10255,7 +10257,8 @@ void sched_mm_cid_migrate_to(struct rq *dst_rq, struct task_struct *t)
{ {
struct mm_cid *src_pcpu_cid, *dst_pcpu_cid; struct mm_cid *src_pcpu_cid, *dst_pcpu_cid;
struct mm_struct *mm = t->mm; struct mm_struct *mm = t->mm;
int src_cid, dst_cid, src_cpu; int src_cid, src_cpu;
bool dst_cid_is_set;
struct rq *src_rq; struct rq *src_rq;
lockdep_assert_rq_held(dst_rq); lockdep_assert_rq_held(dst_rq);
@ -10272,9 +10275,9 @@ void sched_mm_cid_migrate_to(struct rq *dst_rq, struct task_struct *t)
* allocation closest to 0 in cases where few threads migrate around * allocation closest to 0 in cases where few threads migrate around
* many CPUs. * many CPUs.
* *
* If destination cid is already set, we may have to just clear * If destination cid or recent cid is already set, we may have
* the src cid to ensure compactness in frequent migrations * to just clear the src cid to ensure compactness in frequent
* scenarios. * migrations scenarios.
* *
* It is not useful to clear the src cid when the number of threads is * It is not useful to clear the src cid when the number of threads is
* greater or equal to the number of allowed CPUs, because user-space * greater or equal to the number of allowed CPUs, because user-space
@ -10282,9 +10285,9 @@ void sched_mm_cid_migrate_to(struct rq *dst_rq, struct task_struct *t)
* allowed CPUs. * allowed CPUs.
*/ */
dst_pcpu_cid = per_cpu_ptr(mm->pcpu_cid, cpu_of(dst_rq)); dst_pcpu_cid = per_cpu_ptr(mm->pcpu_cid, cpu_of(dst_rq));
dst_cid = READ_ONCE(dst_pcpu_cid->cid); dst_cid_is_set = !mm_cid_is_unset(READ_ONCE(dst_pcpu_cid->cid)) ||
if (!mm_cid_is_unset(dst_cid) && !mm_cid_is_unset(READ_ONCE(dst_pcpu_cid->recent_cid));
atomic_read(&mm->mm_users) >= t->nr_cpus_allowed) if (dst_cid_is_set && atomic_read(&mm->mm_users) >= READ_ONCE(mm->nr_cpus_allowed))
return; return;
src_pcpu_cid = per_cpu_ptr(mm->pcpu_cid, src_cpu); src_pcpu_cid = per_cpu_ptr(mm->pcpu_cid, src_cpu);
src_rq = cpu_rq(src_cpu); src_rq = cpu_rq(src_cpu);
@ -10295,13 +10298,14 @@ void sched_mm_cid_migrate_to(struct rq *dst_rq, struct task_struct *t)
src_cid); src_cid);
if (src_cid == -1) if (src_cid == -1)
return; return;
if (!mm_cid_is_unset(dst_cid)) { if (dst_cid_is_set) {
__mm_cid_put(mm, src_cid); __mm_cid_put(mm, src_cid);
return; return;
} }
/* Move src_cid to dst cpu. */ /* Move src_cid to dst cpu. */
mm_cid_snapshot_time(dst_rq, mm); mm_cid_snapshot_time(dst_rq, mm);
WRITE_ONCE(dst_pcpu_cid->cid, src_cid); WRITE_ONCE(dst_pcpu_cid->cid, src_cid);
WRITE_ONCE(dst_pcpu_cid->recent_cid, src_cid);
} }
static void sched_mm_cid_remote_clear(struct mm_struct *mm, struct mm_cid *pcpu_cid, static void sched_mm_cid_remote_clear(struct mm_struct *mm, struct mm_cid *pcpu_cid,
@ -10540,7 +10544,7 @@ void sched_mm_cid_after_execve(struct task_struct *t)
* Matches barrier in sched_mm_cid_remote_clear_old(). * Matches barrier in sched_mm_cid_remote_clear_old().
*/ */
smp_mb(); smp_mb();
t->last_mm_cid = t->mm_cid = mm_cid_get(rq, mm); t->last_mm_cid = t->mm_cid = mm_cid_get(rq, t, mm);
} }
rseq_set_notify_resume(t); rseq_set_notify_resume(t);
} }

View File

@ -3596,24 +3596,41 @@ static inline void mm_cid_put(struct mm_struct *mm)
__mm_cid_put(mm, mm_cid_clear_lazy_put(cid)); __mm_cid_put(mm, mm_cid_clear_lazy_put(cid));
} }
static inline int __mm_cid_try_get(struct mm_struct *mm) static inline int __mm_cid_try_get(struct task_struct *t, struct mm_struct *mm)
{ {
struct cpumask *cpumask; struct cpumask *cidmask = mm_cidmask(mm);
int cid; struct mm_cid __percpu *pcpu_cid = mm->pcpu_cid;
int cid = __this_cpu_read(pcpu_cid->recent_cid);
cpumask = mm_cidmask(mm); /* Try to re-use recent cid. This improves cache locality. */
if (!mm_cid_is_unset(cid) && !cpumask_test_and_set_cpu(cid, cidmask))
return cid;
/* /*
* Expand cid allocation if the maximum number of concurrency
* IDs allocated (max_nr_cid) is below the number cpus allowed
* and number of threads. Expanding cid allocation as much as
* possible improves cache locality.
*/
cid = atomic_read(&mm->max_nr_cid);
while (cid < READ_ONCE(mm->nr_cpus_allowed) && cid < atomic_read(&mm->mm_users)) {
if (!atomic_try_cmpxchg(&mm->max_nr_cid, &cid, cid + 1))
continue;
if (!cpumask_test_and_set_cpu(cid, cidmask))
return cid;
}
/*
* Find the first available concurrency id.
* Retry finding first zero bit if the mask is temporarily * Retry finding first zero bit if the mask is temporarily
* filled. This only happens during concurrent remote-clear * filled. This only happens during concurrent remote-clear
* which owns a cid without holding a rq lock. * which owns a cid without holding a rq lock.
*/ */
for (;;) { for (;;) {
cid = cpumask_first_zero(cpumask); cid = cpumask_first_zero(cidmask);
if (cid < nr_cpu_ids) if (cid < READ_ONCE(mm->nr_cpus_allowed))
break; break;
cpu_relax(); cpu_relax();
} }
if (cpumask_test_and_set_cpu(cid, cpumask)) if (cpumask_test_and_set_cpu(cid, cidmask))
return -1; return -1;
return cid; return cid;
@ -3631,7 +3648,8 @@ static inline void mm_cid_snapshot_time(struct rq *rq, struct mm_struct *mm)
WRITE_ONCE(pcpu_cid->time, rq->clock); WRITE_ONCE(pcpu_cid->time, rq->clock);
} }
static inline int __mm_cid_get(struct rq *rq, struct mm_struct *mm) static inline int __mm_cid_get(struct rq *rq, struct task_struct *t,
struct mm_struct *mm)
{ {
int cid; int cid;
@ -3641,13 +3659,13 @@ static inline int __mm_cid_get(struct rq *rq, struct mm_struct *mm)
* guarantee forward progress. * guarantee forward progress.
*/ */
if (!READ_ONCE(use_cid_lock)) { if (!READ_ONCE(use_cid_lock)) {
cid = __mm_cid_try_get(mm); cid = __mm_cid_try_get(t, mm);
if (cid >= 0) if (cid >= 0)
goto end; goto end;
raw_spin_lock(&cid_lock); raw_spin_lock(&cid_lock);
} else { } else {
raw_spin_lock(&cid_lock); raw_spin_lock(&cid_lock);
cid = __mm_cid_try_get(mm); cid = __mm_cid_try_get(t, mm);
if (cid >= 0) if (cid >= 0)
goto unlock; goto unlock;
} }
@ -3667,7 +3685,7 @@ static inline int __mm_cid_get(struct rq *rq, struct mm_struct *mm)
* all newcoming allocations observe the use_cid_lock flag set. * all newcoming allocations observe the use_cid_lock flag set.
*/ */
do { do {
cid = __mm_cid_try_get(mm); cid = __mm_cid_try_get(t, mm);
cpu_relax(); cpu_relax();
} while (cid < 0); } while (cid < 0);
/* /*
@ -3684,7 +3702,8 @@ end:
return cid; return cid;
} }
static inline int mm_cid_get(struct rq *rq, struct mm_struct *mm) static inline int mm_cid_get(struct rq *rq, struct task_struct *t,
struct mm_struct *mm)
{ {
struct mm_cid __percpu *pcpu_cid = mm->pcpu_cid; struct mm_cid __percpu *pcpu_cid = mm->pcpu_cid;
struct cpumask *cpumask; struct cpumask *cpumask;
@ -3701,8 +3720,9 @@ static inline int mm_cid_get(struct rq *rq, struct mm_struct *mm)
if (try_cmpxchg(&this_cpu_ptr(pcpu_cid)->cid, &cid, MM_CID_UNSET)) if (try_cmpxchg(&this_cpu_ptr(pcpu_cid)->cid, &cid, MM_CID_UNSET))
__mm_cid_put(mm, mm_cid_clear_lazy_put(cid)); __mm_cid_put(mm, mm_cid_clear_lazy_put(cid));
} }
cid = __mm_cid_get(rq, mm); cid = __mm_cid_get(rq, t, mm);
__this_cpu_write(pcpu_cid->cid, cid); __this_cpu_write(pcpu_cid->cid, cid);
__this_cpu_write(pcpu_cid->recent_cid, cid);
return cid; return cid;
} }
@ -3755,7 +3775,7 @@ static inline void switch_mm_cid(struct rq *rq,
prev->mm_cid = -1; prev->mm_cid = -1;
} }
if (next->mm_cid_active) if (next->mm_cid_active)
next->last_mm_cid = next->mm_cid = mm_cid_get(rq, next->mm); next->last_mm_cid = next->mm_cid = mm_cid_get(rq, next, next->mm);
} }
#else /* !CONFIG_SCHED_MM_CID: */ #else /* !CONFIG_SCHED_MM_CID: */