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: 44+ 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-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
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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox