Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/C/Linux/tools/testing/selftests/sched_ext/   (Open Source Betriebssystem Version 6.17.9©)  Datei vom 24.10.2025 mit Größe 3 kB image not shown  

Quelle  allowed_cpus.bpf.c   Sprache: C

 
// SPDX-License-Identifier: GPL-2.0
/*
 * A scheduler that validates the behavior of scx_bpf_select_cpu_and() by
 * selecting idle CPUs strictly within a subset of allowed CPUs.
 *
 * Copyright (c) 2025 Andrea Righi <arighi@nvidia.com>
 */


#include <scx/common.bpf.h>

char _license[] SEC("license") = "GPL";

UEI_DEFINE(uei);

private(PREF_CPUS) struct bpf_cpumask __kptr * allowed_cpumask;

static void
validate_idle_cpu(const struct task_struct *p, const struct cpumask *allowed, s32 cpu)
{
 if (scx_bpf_test_and_clear_cpu_idle(cpu))
  scx_bpf_error("CPU %d should be marked as busy", cpu);

 if (bpf_cpumask_subset(allowed, p->cpus_ptr) &&
     !bpf_cpumask_test_cpu(cpu, allowed))
  scx_bpf_error("CPU %d not in the allowed domain for %d (%s)",
         cpu, p->pid, p->comm);
}

s32 BPF_STRUCT_OPS(allowed_cpus_select_cpu,
     struct task_struct *p, s32 prev_cpu, u64 wake_flags)
{
 const struct cpumask *allowed;
 s32 cpu;

 allowed = cast_mask(allowed_cpumask);
 if (!allowed) {
  scx_bpf_error("allowed domain not initialized");
  return -EINVAL;
 }

 /*
 * Select an idle CPU strictly within the allowed domain.
 */

 cpu = scx_bpf_select_cpu_and(p, prev_cpu, wake_flags, allowed, 0);
 if (cpu >= 0) {
  validate_idle_cpu(p, allowed, cpu);
  scx_bpf_dsq_insert(p, SCX_DSQ_LOCAL, SCX_SLICE_DFL, 0);

  return cpu;
 }

 return prev_cpu;
}

void BPF_STRUCT_OPS(allowed_cpus_enqueue, struct task_struct *p, u64 enq_flags)
{
 const struct cpumask *allowed;
 s32 prev_cpu = scx_bpf_task_cpu(p), cpu;

 scx_bpf_dsq_insert(p, SCX_DSQ_GLOBAL, SCX_SLICE_DFL, 0);

 allowed = cast_mask(allowed_cpumask);
 if (!allowed) {
  scx_bpf_error("allowed domain not initialized");
  return;
 }

 /*
 * Use scx_bpf_select_cpu_and() to proactively kick an idle CPU
 * within @allowed_cpumask, usable by @p.
 */

 cpu = scx_bpf_select_cpu_and(p, prev_cpu, 0, allowed, 0);
 if (cpu >= 0) {
  validate_idle_cpu(p, allowed, cpu);
  scx_bpf_kick_cpu(cpu, SCX_KICK_IDLE);
 }
}

s32 BPF_STRUCT_OPS_SLEEPABLE(allowed_cpus_init)
{
 struct bpf_cpumask *mask;

 mask = bpf_cpumask_create();
 if (!mask)
  return -ENOMEM;

 mask = bpf_kptr_xchg(&allowed_cpumask, mask);
 if (mask)
  bpf_cpumask_release(mask);

 bpf_rcu_read_lock();

 /*
 * Assign the first online CPU to the allowed domain.
 */

 mask = allowed_cpumask;
 if (mask) {
  const struct cpumask *online = scx_bpf_get_online_cpumask();

  bpf_cpumask_set_cpu(bpf_cpumask_first(online), mask);
  scx_bpf_put_cpumask(online);
 }

 bpf_rcu_read_unlock();

 return 0;
}

void BPF_STRUCT_OPS(allowed_cpus_exit, struct scx_exit_info *ei)
{
 UEI_RECORD(uei, ei);
}

struct task_cpu_arg {
 pid_t pid;
};

SEC("syscall")
int select_cpu_from_user(struct task_cpu_arg *input)
{
 struct task_struct *p;
 int cpu;

 p = bpf_task_from_pid(input->pid);
 if (!p)
  return -EINVAL;

 bpf_rcu_read_lock();
 cpu = scx_bpf_select_cpu_and(p, bpf_get_smp_processor_id(), 0, p->cpus_ptr, 0);
 bpf_rcu_read_unlock();

 bpf_task_release(p);

 return cpu;
}

SEC(".struct_ops.link")
struct sched_ext_ops allowed_cpus_ops = {
 .select_cpu  = (void *)allowed_cpus_select_cpu,
 .enqueue  = (void *)allowed_cpus_enqueue,
 .init   = (void *)allowed_cpus_init,
 .exit   = (void *)allowed_cpus_exit,
 .name   = "allowed_cpus",
};

Messung V0.5
C=98 H=96 G=96

¤ Dauer der Verarbeitung: 0.4 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.