Compare commits

..
3 Commits
Author SHA1 Message Date
Eric Coissac 98dba1802d Implement NUMA topology detection and CPU budget capping
Release / create-release (push) Successful in 2m30s
ci.yml / build (pull_request) Successful in 3m50s
Release / build-linux-x86_64 (push) Successful in 8m23s
Release / build-macos-arm64 (push) Successful in 1m57s
This change introduces logic to detect NUMA topology, calculate per-node worker limits based on available CPU cores, and cap resource allocation to ensure worker counts respect the physical capacity of each node.
2026-09-11 07:22:35 +02:00
coissac dd4285b269 Merge pull request 'Introduce CPU budget and dynamic thread limiting' (#73) from push-lztkokoxqpuw into main
Reviewed-on: #73
2026-09-10 15:10:19 +00:00
Eric Coissac b66a488277 Introduce CPU budget and dynamic thread limiting
Release / create-release (push) Successful in 3m4s
ci.yml / build (pull_request) Successful in 4m17s
Release / build-linux-x86_64 (push) Successful in 8m11s
Release / build-macos-arm64 (push) Successful in 2m2s
This change implements mechanisms to enforce resource limits based on the available CPU budget, including setting a hard CPU ceiling and calculating effective thread counts for CLI, query, and superkmer operations.
2026-09-10 17:08:32 +02:00
11 changed files with 153 additions and 45 deletions
+2 -1
View File
@@ -1480,7 +1480,7 @@ dependencies = [
[[package]] [[package]]
name = "obikmer" name = "obikmer"
version = "1.3.1" version = "1.3.3"
dependencies = [ dependencies = [
"clap", "clap",
"csv", "csv",
@@ -1504,6 +1504,7 @@ dependencies = [
"obiread", "obiread",
"obiskbuilder", "obiskbuilder",
"obisys", "obisys",
"rayon",
"serde", "serde",
"serde_yaml", "serde_yaml",
"tracing", "tracing",
+2 -1
View File
@@ -1,6 +1,6 @@
[package] [package]
name = "obikmer" name = "obikmer"
version = "1.3.1" version = "1.3.3"
edition = "2024" edition = "2024"
[[bin]] [[bin]]
@@ -28,6 +28,7 @@ obikrope = { path = "../obikrope" }
obifastwrite = { path = "../obifastwrite" } obifastwrite = { path = "../obifastwrite" }
obiskbuilder = { path = "../obiskbuilder" } obiskbuilder = { path = "../obiskbuilder" }
clap = { version = "4", features = ["derive"] } clap = { version = "4", features = ["derive"] }
rayon = "1"
csv = "1" csv = "1"
ndarray = "0.17" ndarray = "0.17"
serde = { version = "1", features = ["derive"] } serde = { version = "1", features = ["derive"] }
+11 -2
View File
@@ -34,7 +34,9 @@ pub struct CommonArgs {
#[arg(short, long, default_value_t = 256)] #[arg(short, long, default_value_t = 256)]
pub partitions: usize, pub partitions: usize,
/// Number of worker threads /// Number of worker threads. Silently clamped to the process CPU budget
/// (see the global `--cpu-max`); use it to run with *fewer* threads than
/// the budget, never more.
#[arg( #[arg(
short = 'T', short = 'T',
long, long,
@@ -85,9 +87,16 @@ impl CommonArgs {
} }
} }
/// Worker-thread count actually used: `--threads` clamped to the
/// process-wide CPU budget (`obisys::cpu_budget`, itself bounded by the
/// global `--cpu-max`).
pub fn effective_threads(&self) -> usize {
self.threads.min(obisys::cpu_budget()).max(1)
}
pub fn effective_max_open(&self) -> usize { pub fn effective_max_open(&self) -> usize {
self.max_open_files self.max_open_files
.unwrap_or_else(|| (self.threads / 4).max(1)) .unwrap_or_else(|| (self.effective_threads() / 4).max(1))
.max(1) .max(1)
} }
+1 -1
View File
@@ -243,7 +243,7 @@ pub fn run(args: IndexArgs) {
// ── Stage 1: scatter ───────────────────────────────────────────────────── // ── Stage 1: scatter ─────────────────────────────────────────────────────
if current_state(&idx) < IndexState::Scattered { if current_state(&idx) < IndexState::Scattered {
let n_workers = args.common.threads.max(1); let n_workers = args.common.effective_threads();
let max_open = args.common.effective_max_open(); let max_open = args.common.effective_max_open();
let t = Stage::start("scatter"); let t = Stage::start("scatter");
+11 -3
View File
@@ -63,7 +63,9 @@ pub struct QueryArgs {
#[arg(short = 'z', long)] #[arg(short = 'z', long)]
pub findere_z: Option<usize>, pub findere_z: Option<usize>,
/// Number of worker threads /// Number of worker threads. Silently clamped to the process CPU budget
/// (see the global `--cpu-max`); use it to run with *fewer* threads than
/// the budget, never more.
#[arg( #[arg(
short = 'T', short = 'T',
long, long,
@@ -83,9 +85,15 @@ pub struct QueryArgs {
} }
impl QueryArgs { impl QueryArgs {
/// `--threads` clamped to the process-wide CPU budget
/// (`obisys::cpu_budget`, bounded by the global `--cpu-max`).
pub fn effective_threads(&self) -> usize {
self.threads.min(obisys::cpu_budget()).max(1)
}
pub fn effective_max_open(&self) -> usize { pub fn effective_max_open(&self) -> usize {
self.max_open_files self.max_open_files
.unwrap_or_else(|| (self.threads / 4).max(1)) .unwrap_or_else(|| (self.effective_threads() / 4).max(1))
.max(1) .max(1)
} }
} }
@@ -131,7 +139,7 @@ pub fn run(args: QueryArgs) {
let genomes = Arc::new(genomes); let genomes = Arc::new(genomes);
let n_partitions = idx.n_partitions(); let n_partitions = idx.n_partitions();
let with_counts = idx.meta().config.with_counts; let with_counts = idx.meta().config.with_counts;
let n_workers = args.threads.max(1); let n_workers = args.effective_threads();
// Every partition/layer the query might touch is opened once, up front, // Every partition/layer the query might touch is opened once, up front,
// and shared (via Arc) across every `obipipeline` worker — a query pass // and shared (via Arc) across every `obipipeline` worker — a query pass
+1 -1
View File
@@ -43,7 +43,7 @@ pub fn run(args: SuperkmerArgs) {
let theta = args.common.theta; let theta = args.common.theta;
let level_max = args.common.level_max; let level_max = args.common.level_max;
let partition_bits = partitions_to_bits(args.common.partitions); let partition_bits = partitions_to_bits(args.common.partitions);
let n_workers = args.common.threads.max(1); let n_workers = args.common.effective_threads();
let max_open = args.common.effective_max_open(); let max_open = args.common.effective_max_open();
set_k(k); set_k(k);
+20
View File
@@ -2,11 +2,19 @@ mod cli;
mod cmd; mod cmd;
use clap::{Parser, Subcommand}; use clap::{Parser, Subcommand};
use tracing::warn;
use tracing_subscriber::{EnvFilter, fmt}; use tracing_subscriber::{EnvFilter, fmt};
#[derive(Parser)] #[derive(Parser)]
#[command(name = "obikmer2", about = "DNA k-mer tools", version)] #[command(name = "obikmer2", about = "DNA k-mer tools", version)]
struct Cli { struct Cli {
/// Hard ceiling on the number of CPU cores the process may use — bounds
/// both the command's worker pool and every internal rayon pool.
/// Can only lower the budget, never raise it above the cores actually
/// available to the process. Defaults to that available count.
#[arg(long, global = true, value_name = "N")]
cpu_max: Option<usize>,
#[command(subcommand)] #[command(subcommand)]
command: Commands, command: Commands,
} }
@@ -53,6 +61,18 @@ fn main() {
.init(); .init();
let cli = Cli::parse(); let cli = Cli::parse();
// Install the CPU ceiling before anything sizes a thread pool.
if let Some(n) = cli.cpu_max {
obisys::set_cpu_cap(n);
}
if let Err(e) = rayon::ThreadPoolBuilder::new()
.num_threads(obisys::cpu_budget())
.build_global()
{
warn!("could not configure the global rayon pool: {e}");
}
match cli.command { match cli.command {
Commands::Index(args) => cmd::index::run(args), Commands::Index(args) => cmd::index::run(args),
Commands::Superkmer(args) => cmd::superkmer::run(args), Commands::Superkmer(args) => cmd::superkmer::run(args),
+4 -1
View File
@@ -12,5 +12,8 @@ pub use budget::MemoryBudget;
pub use lock::DirLock; pub use lock::DirLock;
pub use numa::PartitionRunner; pub use numa::PartitionRunner;
pub use progress::{Progress, TracedBar, progress_bar, spinner}; pub use progress::{Progress, TracedBar, progress_bar, spinner};
pub use resources::{CpuSample, IoSample, available_memory_bytes, effective_parallelism, peak_rss_bytes}; pub use resources::{
CpuSample, IoSample, available_memory_bytes, cpu_budget, effective_parallelism, peak_rss_bytes,
set_cpu_cap,
};
pub use stage::{Reporter, Stage, StageStats}; pub use stage::{Reporter, Stage, StageStats};
+19 -13
View File
@@ -41,9 +41,10 @@ struct NodeConfig {
/// growth always targets a specific node rather than whichever dormant /// growth always targets a specific node rather than whichever dormant
/// worker happens to wake up first on a shared channel. Growth (both the /// worker happens to wake up first on a shared channel. Growth (both the
/// initial count and each subsequent step) is expressed as a fraction of /// initial count and each subsequent step) is expressed as a fraction of
/// `workers_per_node`, applied identically to every node, so the pace of /// each node's own worker cap, applied per node, so the pace of ramp-up
/// ramp-up depends on node size rather than node count — a single-NUMA-node /// depends on that node's size rather than the node count — a
/// (UMA) machine ramps just as fast as an 8-node one. /// single-NUMA-node (UMA) machine ramps just as fast as an 8-node one, and a
/// `--cpu-max`-emptied node simply never ramps.
/// ///
/// # Termination /// # Termination
/// ///
@@ -63,22 +64,27 @@ impl PartitionRunner {
} }
/// Detect topology and build. Always succeeds. /// Detect topology and build. Always succeeds.
///
/// Each node's worker count is its own (`--cpu-max`-budgeted) CPU count,
/// not a single value shared across nodes — `build()` can leave some
/// nodes with fewer cores than others (or none at all) once the process
/// CPU budget is smaller than the raw hardware topology, and spawning a
/// uniform worker count per node regardless would silently exceed that
/// budget on the emptied-out nodes.
pub fn new() -> Self { pub fn new() -> Self {
let ns = build(); let ns = build();
let wpn = ns.workers_per_node();
debug!( debug!(
"PartitionRunner: {} node(s) × {} worker(s)/node max", "PartitionRunner: {} node(s), {:?} core(s)/node",
ns.pools.len(), ns.pools.len(),
wpn, ns.cpus_per_node.iter().map(Vec::len).collect::<Vec<_>>(),
); );
let nodes = ns let nodes = ns
.pools .pools
.into_iter() .into_iter()
.zip(ns.cpus_per_node) .zip(ns.cpus_per_node)
.map(|(pool, cpu_ids)| NodeConfig { .map(|(pool, cpu_ids)| {
pool, let max_workers = cpu_ids.len();
cpu_ids, NodeConfig { pool, cpu_ids, max_workers }
max_workers: wpn,
}) })
.collect(); .collect();
Self { nodes } Self { nodes }
@@ -113,9 +119,9 @@ impl PartitionRunner {
/// Run `f(i)` for every index in `order`. /// Run `f(i)` for every index in `order`.
/// ///
/// Workers are pre-spawned dormant and activated adaptively, per node: /// Workers are pre-spawned dormant and activated adaptively, per node:
/// `(workers_per_node / INITIAL_DIVISOR).max(1)` are woken immediately on /// `(node's max_workers / INITIAL_DIVISOR).max(1)` are woken immediately
/// every node, then `(workers_per_node / GROWTH_DIVISOR).max(1)` more per /// on every node, then `(node's max_workers / GROWTH_DIVISOR).max(1)`
/// node each time the check below fires. A timer thread fires that check /// more per node each time the check below fires. A timer thread fires that check
/// every `TIMER_SECS` seconds; each completed partition resets that timer /// every `TIMER_SECS` seconds; each completed partition resets that timer
/// (forcing an immediate check) and also triggers its own inline check. A /// (forcing an immediate check) and also triggers its own inline check. A
/// growth step happens whenever CPU efficiency grows by at least /// growth step happens whenever CPU efficiency grows by at least
+55 -22
View File
@@ -19,22 +19,22 @@ pub struct NumaSetup {
pub cpus_per_node: Vec<Vec<usize>>, pub cpus_per_node: Vec<Vec<usize>>,
} }
impl NumaSetup {
/// Maximum worker slots per node (one per physical core in the node).
pub fn workers_per_node(&self) -> usize {
self.cpus_per_node
.first()
.map(|c| c.len().max(1))
.unwrap_or(1)
}
}
/// Detect NUMA topology and build per-node Rayon pools. /// Detect NUMA topology and build per-node Rayon pools.
/// Always succeeds: falls back to a single synthetic UMA node on failure. /// Always succeeds: falls back to a single synthetic UMA node on failure.
///
/// Every node's CPU list — and therefore its Rayon pool's thread count — is
/// capped against [`crate::cpu_budget`] (the process-wide ceiling set by
/// `--cpu-max`, or the cgroup/host default when unset) via
/// [`cap_to_budget`]. Sizing the pool itself, not just the outer worker
/// count layered on top in [`super::runner::PartitionRunner`], matters
/// because callers query `rayon::current_num_threads()` from *inside* a
/// pool-installed closure to size further internal parallelism — that call
/// only sees the requested budget if the pool itself was built that small.
#[cfg(feature = "numa")] #[cfg(feature = "numa")]
pub fn build() -> NumaSetup { pub fn build() -> NumaSetup {
let budget = crate::cpu_budget();
if let Ok(topology) = Topology::new() { if let Ok(topology) = Topology::new() {
let nodes: Vec<Vec<usize>> = topology let mut nodes: Vec<Vec<usize>> = topology
.objects_with_type(ObjectType::NUMANode) .objects_with_type(ObjectType::NUMANode)
.filter_map(|obj| obj.cpuset()) .filter_map(|obj| obj.cpuset())
.map(|cpuset| { .map(|cpuset| {
@@ -47,15 +47,23 @@ pub fn build() -> NumaSetup {
.collect(); .collect();
if nodes.len() > 1 { if nodes.len() > 1 {
cap_to_budget(&mut nodes, budget);
if let Some(pools) = nodes if let Some(pools) = nodes
.iter() .iter()
.map(|cpus| build_pool(cpus).map(|p| Some(Arc::new(p)))) .map(|cpus| {
if cpus.is_empty() {
Some(None)
} else {
build_pool(cpus).map(|p| Some(Arc::new(p)))
}
})
.collect::<Option<Vec<_>>>() .collect::<Option<Vec<_>>>()
{ {
debug!( debug!(
"NUMA topology: {} node(s), {} core(s)/node", "NUMA topology: {} node(s), {} core(s)/node, budget {}",
nodes.len(), nodes.len(),
nodes.first().map_or(0, |v| v.len()), nodes.first().map_or(0, |v| v.len()),
budget,
); );
return NumaSetup { return NumaSetup {
pools, pools,
@@ -65,8 +73,17 @@ pub fn build() -> NumaSetup {
} }
} }
// UMA fallback: single synthetic node, all cores, no pool, no pinning. // UMA fallback: single synthetic node, budget-capped cores, no pool, no pinning.
let n_cores = crate::effective_parallelism(); debug!("UMA: single synthetic node, {} core(s)", budget);
NumaSetup {
pools: vec![None],
cpus_per_node: vec![(0..budget).collect()],
}
}
#[cfg(not(feature = "numa"))]
pub fn build() -> NumaSetup {
let n_cores = crate::cpu_budget();
debug!("UMA: single synthetic node, {} core(s)", n_cores); debug!("UMA: single synthetic node, {} core(s)", n_cores);
NumaSetup { NumaSetup {
pools: vec![None], pools: vec![None],
@@ -74,13 +91,29 @@ pub fn build() -> NumaSetup {
} }
} }
#[cfg(not(feature = "numa"))] /// Trims each NUMA node's CPU list, in place, so the total across all nodes
pub fn build() -> NumaSetup { /// never exceeds `budget` — floor-split evenly across nodes. No-op when the
let n_cores = crate::effective_parallelism(); /// topology already fits within `budget`. When `budget` is smaller than the
debug!("UMA: single synthetic node, {} core(s)", n_cores); /// number of nodes, the trailing nodes are emptied entirely (one core each
NumaSetup { /// to as many leading nodes as `budget` allows) rather than every node
pools: vec![None], /// keeping a token core that would collectively blow the budget.
cpus_per_node: vec![(0..n_cores).collect()], #[cfg(feature = "numa")]
fn cap_to_budget(nodes: &mut [Vec<usize>], budget: usize) {
let total: usize = nodes.iter().map(Vec::len).sum();
if budget >= total || nodes.is_empty() {
return;
}
let per_node = (budget / nodes.len()).max(1);
for cpus in nodes.iter_mut() {
cpus.truncate(per_node);
}
let mut used = 0;
for cpus in nodes.iter_mut() {
if used >= budget {
cpus.clear();
} else {
used += cpus.len();
}
} }
} }
+27
View File
@@ -1,3 +1,4 @@
use std::sync::OnceLock;
use std::time::Instant; use std::time::Instant;
use libc::{RUSAGE_SELF, getrusage, rusage, timeval}; use libc::{RUSAGE_SELF, getrusage, rusage, timeval};
@@ -120,6 +121,32 @@ pub fn effective_parallelism() -> usize {
host host
} }
// ── Process-wide CPU budget (hard ceiling) ───────────────────────────────────
static CPU_CAP: OnceLock<usize> = OnceLock::new();
/// Install a hard ceiling on the number of cores the process may use.
///
/// The value is clamped to `[1, effective_parallelism()]` — a cap can only
/// lower the budget, never raise it above what the process is actually
/// allowed to run on. First call wins; later calls are ignored.
///
/// Call this once at startup (before sizing any worker pool or the global
/// rayon pool) when the user passes an explicit `--cpu-max`.
pub fn set_cpu_cap(n: usize) {
let capped = n.clamp(1, effective_parallelism());
let _ = CPU_CAP.set(capped);
}
/// The process-wide CPU budget: the ceiling set via [`set_cpu_cap`] if any,
/// otherwise [`effective_parallelism`].
///
/// Every worker pool and the global rayon pool must size themselves against
/// this value rather than calling [`effective_parallelism`] directly.
pub fn cpu_budget() -> usize {
CPU_CAP.get().copied().unwrap_or_else(effective_parallelism)
}
/// cgroup v2 (unified hierarchy): reads `cpu.max` ("<quota> <period>", or /// cgroup v2 (unified hierarchy): reads `cpu.max` ("<quota> <period>", or
/// "max <period>" when unlimited) for the current process's cgroup, rounded /// "max <period>" when unlimited) for the current process's cgroup, rounded
/// up to whole cores. Returns `None` if unlimited or on any parse error. /// up to whole cores. Returns `None` if unlimited or on any parse error.