From: "Dominik Rusovac" <d.rusovac@proxmox.com>
To: "Daniel Kral" <d.kral@proxmox.com>, <pve-devel@lists.proxmox.com>
Subject: Re: [RFC proxmox 4/5] resource-scheduling: implement rebalancing migration selection
Date: Mon, 09 Mar 2026 14:32:51 +0100 [thread overview]
Message-ID: <DGYAFS4DDSPR.1NB1BSYR0HIAQ@proxmox.com> (raw)
In-Reply-To: <20260217141437.584852-5-d.kral@proxmox.com>
Nice work! Here are my thoughts and some things I noticed.
On Tue Feb 17, 2026 at 3:13 PM CET, Daniel Kral wrote:
> Assuming that a service will hold the same dynamic resource usage on a
> new node as on the previous node, score possible migrations, where:
>
> - the cluster node imbalance is minimal (bruteforce), or
>
> - the shifted root mean square and maximum resource usages of the cpu
> and memory is minimal across the cluster nodes (TOPSIS).
>
> Signed-off-by: Daniel Kral <d.kral@proxmox.com>
> ---
> score_best_balancing_migrations() and select_best_balancing_migration()
> are separate because there could be future improvements for the single
> select, but might be unnecessary and redundant (especially since we need
> to expose it at perlmod and PVE::HA::Usage::{Dynamic,Static} twice).
Regarding future improvements for the "single select", providing an
`imbalance_threshold` to use for early termination may pay off
performance-wise, e.g., something along the lines of:
pub fn select_best_balancing_migration<I>(
&self,
candidates: I,
imbalance_threshold: Option<f64>
) -> Option<ScoredMigration>
where
I: IntoIterator<Item = MigrationCandidate>,
{
let threshold = imbalance_threshold.unwrap_or(0.0);
let mut scored_migrations = BinaryHeap::new();
for candidate in candidates {
let imbalance = self.node_imbalance_with_migration(&candidate);
let migration = ScoredMigration {
migration: candidate.into(),
imbalance,
};
if imbalance <= threshold {
return Some(migration);
}
scored_migrations.push(migration);
}
scored_migrations.pop()
}
>
[snip]
> +fn calculate_node_loads(nodes: &[NodeStats]) -> Vec<f64> {
> + nodes.iter().map(|stats| stats.load()).collect()
> +}
> +
> +/// Returns the load imbalance among the nodes.
> +///
> +/// The load balance is measured as the statistical dispersion of the individual node loads.
> +///
> +/// The current implementation uses the dimensionless coefficient of variation, which expresses the
> +/// standard deviation in relation to the average mean of the node loads. Additionally, the
> +/// coefficient of variation is not robust, which is
Parts of the docs are missing, it seems.
> +fn calculate_node_imbalance(nodes: &[NodeStats]) -> f64 {
> + let node_count = nodes.len();
> + let node_loads = calculate_node_loads(nodes);
> +
> + let load_sum = node_loads
> + .iter()
> + .fold(0.0, |sum, node_load| sum + node_load);
To increase readability, consider:
let load_sum = node_loads.iter().sum::<f64>();
> +
> + // load_sum is guaranteed to be 0.0 for empty nodes
> + if load_sum == 0.0 {
> + 0.0
> + } else {
> + let load_mean = load_sum / node_count as f64;
> +
> + let squared_diff_sum = node_loads
> + .iter()
> + .fold(0.0, |sum, node_load| sum + (node_load - load_mean).powi(2));
> + let load_sd = (squared_diff_sum / node_count as f64).sqrt();
> +
> + load_sd / load_mean
> + }
> }
[0] Considering where this function is used, expecting a
designated closure that is used to map `NodeUsage` onto `f64` seems
to be more convenient, e.g.:
fn calculate_node_imbalance(
nodes: &[NodeUsage],
to_load: impl FnMut(&NodeUsage) -> f64,
) -> f64 {
let node_count = nodes.len();
let node_loads = nodes.iter().map(to_load).collect::<Vec<_>>();
// ...
}
>
[snip]
> + fn node_stats(&self) -> Vec<NodeStats> {
> + self.nodes.iter().map(|node| node.stats).collect()
> + }
> +
> + /// Returns the individual node loads.
> + pub fn node_loads(&self) -> Vec<(String, f64)> {
> + self.nodes
> + .iter()
> + .map(|node| (node.name.to_string(), node.stats.load()))
> + .collect()
> + }
> +
> + /// Returns the load imbalance among the nodes.
> + ///
> + /// See [`calculate_node_imbalance`] for more information.
> + pub fn node_imbalance(&self) -> f64 {
> + let node_stats = self.node_stats();
> +
> + calculate_node_imbalance(&node_stats)
> + }
Regarding [0], passing a closure compresses two iterations into one, e.g.:
pub fn node_imbalance(&self) -> f64 {
calculate_node_imbalance(&self.nodes, |node| node.stats.load())
}
> +
> + /// Returns the load imbalance among the nodes as if a specific service was moved.
> + ///
> + /// See [`calculate_node_imbalance`] for more information.
> + pub fn node_imbalance_with_migration(&self, migration: &MigrationCandidate) -> f64 {
> + let mut new_node_stats = Vec::with_capacity(self.nodes.len());
> +
> + self.nodes.iter().for_each(|node| {
> + let mut new_stats = node.stats;
> +
> + if node.name == migration.source_node {
> + new_stats.remove_running_service(&migration.stats);
> + } else if node.name == migration.target_node {
> + new_stats.add_running_service(&migration.stats);
> + }
> +
> + new_node_stats.push(new_stats);
> + });
> +
> + calculate_node_imbalance(&new_node_stats)
> + }
Same here regarding [0], e.g.:
pub fn node_imbalance_with_migration(&self, migration: &MigrationCandidate) -> f64 {
calculate_node_imbalance_some(&self.nodes, |node| {
let mut new_stats = node.stats;
if node.name == migration.source_node {
new_stats.remove_running_service(&migration.stats);
} else if node.name == migration.target_node {
new_stats.add_running_service(&migration.stats);
}
new_stats.load()
})
}
> +
> + /// Score the service motions by the best node imbalance improvement with exhaustive search.
> + pub fn score_best_balancing_migrations<I>(
> + &self,
> + candidates: I,
> + limit: usize,
> + ) -> Result<Vec<ScoredMigration>, Error>
Does this really have to return a `Result`? It uses no try operator and
provides no error handling.
> + where
> + I: IntoIterator<Item = MigrationCandidate>,
> + {
> + let mut scored_migrations = candidates
> + .into_iter()
> + .map(|candidate| {
> + let imbalance = self.node_imbalance_with_migration(&candidate);
> +
> + ScoredMigration {
> + migration: candidate.into(),
> + imbalance,
> + }
> + })
> + .collect::<BinaryHeap<_>>();
> +
> + let mut best_alternatives = Vec::new();
Since `limit` declares the capacity of `best_alternatives`, consider:
let mut best_alternatives = Vec::with_capacity(limit);
> +
> + // BinaryHeap::into_iter_sorted() is still in nightly unfortunately
> + while best_alternatives.len() < limit {
> + match scored_migrations.pop() {
> + Some(alternative) => best_alternatives.push(alternative),
> + None => break,
> + }
> + }
> +
> + Ok(best_alternatives)
> + }
next prev parent reply other threads:[~2026-03-09 13:33 UTC|newest]
Thread overview: 47+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-02-17 14:13 [RFC PATCH-SERIES many 00/36] dynamic scheduler + load rebalancer Daniel Kral
2026-02-17 14:13 ` [RFC proxmox 1/5] resource-scheduling: move score_nodes_to_start_service to scheduler crate Daniel Kral
2026-02-17 14:13 ` [RFC proxmox 2/5] resource-scheduling: introduce generic cluster usage implementation Daniel Kral
2026-03-09 13:38 ` Dominik Rusovac
2026-03-10 10:41 ` Daniel Kral
2026-02-17 14:13 ` [RFC proxmox 3/5] resource-scheduling: add dynamic node and service stats Daniel Kral
2026-02-17 14:13 ` [RFC proxmox 4/5] resource-scheduling: implement rebalancing migration selection Daniel Kral
2026-03-09 13:32 ` Dominik Rusovac [this message]
2026-03-10 10:40 ` Daniel Kral
2026-03-11 8:21 ` Dominik Rusovac
2026-02-17 14:13 ` [RFC proxmox 5/5] resource-scheduling: implement Add and Default for {Dynamic,Static}ServiceStats Daniel Kral
2026-02-17 14:14 ` [RFC perl-rs 1/6] pve-rs: resource scheduling: use generic cluster usage implementation Daniel Kral
2026-02-17 14:14 ` [RFC perl-rs 2/6] pve-rs: resource scheduling: create service_nodes hashset from array Daniel Kral
2026-02-17 14:14 ` [RFC perl-rs 3/6] pve-rs: resource scheduling: store service stats independently of node Daniel Kral
2026-02-17 14:14 ` [RFC perl-rs 4/6] pve-rs: resource scheduling: expose auto rebalancing methods Daniel Kral
2026-02-17 14:14 ` [RFC perl-rs 5/6] pve-rs: resource scheduling: move pve_static into resource_scheduling module Daniel Kral
2026-02-17 14:14 ` [RFC perl-rs 6/6] pve-rs: resource scheduling: implement pve_dynamic bindings Daniel Kral
2026-02-17 14:14 ` [RFC cluster 1/2] datacenter config: add dynamic load scheduler option Daniel Kral
2026-02-18 11:06 ` Maximiliano Sandoval
2026-02-17 14:14 ` [RFC cluster 2/2] datacenter config: add auto rebalancing options Daniel Kral
2026-02-18 11:15 ` Maximiliano Sandoval
2026-02-17 14:14 ` [RFC ha-manager 01/21] rename static node stats to be consistent with similar interfaces Daniel Kral
2026-02-17 14:14 ` [RFC ha-manager 02/21] resources: remove redundant load_config fallback for static config Daniel Kral
2026-02-17 14:14 ` [RFC ha-manager 03/21] remove redundant service_node and migration_target parameter Daniel Kral
2026-02-17 14:14 ` [RFC ha-manager 04/21] factor out common pve to ha resource type mapping Daniel Kral
2026-02-17 14:14 ` [RFC ha-manager 05/21] derive static service stats while filling the service stats repository Daniel Kral
2026-02-17 14:14 ` [RFC ha-manager 06/21] test: make static service usage explicit for all resources Daniel Kral
2026-02-17 14:14 ` [RFC ha-manager 07/21] make static service stats indexable by sid Daniel Kral
2026-02-17 14:14 ` [RFC ha-manager 08/21] move static service stats repository to PVE::HA::Usage::Static Daniel Kral
2026-02-17 14:14 ` [RFC ha-manager 09/21] usage: augment service stats with node and state information Daniel Kral
2026-02-17 14:14 ` [RFC ha-manager 10/21] include running non-HA resources in the scheduler's accounting Daniel Kral
2026-02-17 14:14 ` [RFC ha-manager 11/21] env, resources: add dynamic node and service stats abstraction Daniel Kral
2026-02-17 14:14 ` [RFC ha-manager 12/21] env: pve2: implement dynamic node and service stats Daniel Kral
2026-02-17 14:14 ` [RFC ha-manager 13/21] sim: hardware: pass correct types for static stats Daniel Kral
2026-02-17 14:14 ` [RFC ha-manager 14/21] sim: hardware: factor out static stats' default values Daniel Kral
2026-02-17 14:14 ` [RFC ha-manager 15/21] sim: hardware: rewrite set-static-stats Daniel Kral
2026-02-17 14:14 ` [RFC ha-manager 16/21] sim: hardware: add set-dynamic-stats for services Daniel Kral
2026-02-17 14:14 ` [RFC ha-manager 17/21] usage: add dynamic usage scheduler Daniel Kral
2026-02-17 14:14 ` [RFC ha-manager 18/21] manager: rename execute_migration to queue_resource_motion Daniel Kral
2026-02-17 14:14 ` [RFC ha-manager 19/21] manager: update_crs_scheduler_mode: factor out crs config Daniel Kral
2026-02-17 14:14 ` [RFC ha-manager 20/21] implement automatic rebalancing Daniel Kral
2026-02-17 14:14 ` [RFC ha-manager 21/21] test: add basic automatic rebalancing system test cases Daniel Kral
2026-02-17 14:14 ` [RFC manager 1/2] ui: dc/options: add dynamic load scheduler option Daniel Kral
2026-02-18 11:10 ` Maximiliano Sandoval
2026-02-17 14:14 ` [RFC manager 2/2] ui: dc/options: add auto rebalancing options Daniel Kral
2026-03-12 16:24 ` [RFC PATCH-SERIES many 00/36] dynamic scheduler + load rebalancer DERUMIER, Alexandre
2026-03-13 9:35 ` Daniel Kral
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=DGYAFS4DDSPR.1NB1BSYR0HIAQ@proxmox.com \
--to=d.rusovac@proxmox.com \
--cc=d.kral@proxmox.com \
--cc=pve-devel@lists.proxmox.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.