From 6c42ac2726fe8fa0fbb09ac9ffd9753965459881 Mon Sep 17 00:00:00 2001 From: Jason Volk Date: Tue, 17 Dec 2024 22:34:09 +0000 Subject: [PATCH] add num_workers() convenience to core metrics Signed-off-by: Jason Volk --- src/core/metrics/mod.rs | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/src/core/metrics/mod.rs b/src/core/metrics/mod.rs index d5f937d7..f2022166 100644 --- a/src/core/metrics/mod.rs +++ b/src/core/metrics/mod.rs @@ -66,8 +66,16 @@ impl Metrics { .expect("next interval") } + #[inline] pub fn task_root(&self) -> Option<&TaskMonitor> { self.task_monitor.as_ref() } + #[inline] + pub fn num_workers(&self) -> usize { + self.runtime_metrics() + .map_or(0, runtime::RuntimeMetrics::num_workers) + } + + #[inline] pub fn runtime_metrics(&self) -> Option<&runtime::RuntimeMetrics> { self.runtime_metrics.as_ref() }