zacheryasc
402a106beb
Major feature addition. For full details read `./docs/development_history/DISTRIBUTION.md` Signed-off-by: Zachery Aaron Shores-Chmielewski <zacheryasc@gmail.com>
50 lines
1.7 KiB
Rust
50 lines
1.7 KiB
Rust
use simulation::gossip::sim::{run_simulation, GossipSimConfig};
|
|
use simulation::gossip::properties::{analyze, check_delivery_ratio, check_convergence_bound};
|
|
use simulation::topology::Topology;
|
|
|
|
fn main() {
|
|
let config = GossipSimConfig {
|
|
name: "ring-10-example".into(),
|
|
topology: Topology::Ring,
|
|
num_nodes: 10,
|
|
initial_data: (0..3)
|
|
.map(|i| (format!("key-{i}"), format!("value-{i}").into_bytes()))
|
|
.collect(),
|
|
num_rounds: 30,
|
|
ticks_per_round: 3,
|
|
heal_after_round: None,
|
|
num_threads: 1,
|
|
};
|
|
|
|
println!("Running gossip simulation: {}", config.name);
|
|
println!(
|
|
" topology={:?} nodes={} rounds={} keys={}",
|
|
config.topology,
|
|
config.num_nodes,
|
|
config.num_rounds,
|
|
config.initial_data.len(),
|
|
);
|
|
|
|
let trace = run_simulation(config);
|
|
let metrics = analyze(&trace);
|
|
|
|
println!("\nResults:");
|
|
println!(" delivery ratio: {:.1}%", metrics.delivery_ratio * 100.0);
|
|
println!(" atomic delivery: {}", metrics.atomic_delivery);
|
|
println!(
|
|
" convergence round: {}",
|
|
metrics
|
|
.convergence_round
|
|
.map(|r| r.to_string())
|
|
.unwrap_or_else(|| "never".into())
|
|
);
|
|
println!(" total pushes: {}", metrics.total_pushes);
|
|
println!(" redundant pushes: {}", metrics.redundant_pushes);
|
|
println!(" load balance CV: {:.3}", metrics.load_balance_cv);
|
|
|
|
let dr = check_delivery_ratio(&metrics, 1.0);
|
|
let cr = check_convergence_bound(&metrics, 20);
|
|
println!("\nProperty checks:");
|
|
println!(" delivery >= 100%: {}", if dr.passed { "PASS" } else { "FAIL" });
|
|
println!(" converge <= 20 rds: {}", if cr.passed { "PASS" } else { "FAIL" });
|
|
}
|