File size: 2,368 Bytes
195a426 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 |
//! Benchmark for incremental scoring performance.
//!
//! Run with: cargo run --release -p employee-scheduling --bin bench
use employee_scheduling::{constraints, demo_data};
use solverforge::TypedScoreDirector;
use std::time::Instant;
fn main() {
let schedule = demo_data::generate(demo_data::DemoData::Large);
let n_shifts = schedule.shifts.len();
let n_employees = schedule.employees.len();
println!("Benchmark: Incremental Scoring (Fluent API)");
println!(" Shifts: {}", n_shifts);
println!(" Employees: {}", n_employees);
println!();
let constraint_set = constraints::create_fluent_constraints();
let mut director = TypedScoreDirector::new(schedule, constraint_set);
// Initialize
let init_start = Instant::now();
let initial_score = director.calculate_score();
println!("Initial score: {} ({:?})", initial_score, init_start.elapsed());
println!();
// Benchmark: deterministic do/undo cycle for each shift×employee combination
// This measures pure incremental scoring throughput
let bench_start = Instant::now();
let mut moves: u64 = 0;
for shift_idx in 0..n_shifts {
let old_idx = director.working_solution().shifts[shift_idx].employee_idx;
for emp_idx in 0..n_employees {
// Do move
director.before_variable_changed(shift_idx);
director.working_solution_mut().shifts[shift_idx].employee_idx = Some(emp_idx);
director.after_variable_changed(shift_idx);
let _ = director.get_score();
moves += 1;
// Undo move
director.before_variable_changed(shift_idx);
director.working_solution_mut().shifts[shift_idx].employee_idx = old_idx;
director.after_variable_changed(shift_idx);
let _ = director.get_score();
moves += 1;
}
}
let elapsed = bench_start.elapsed();
let moves_per_sec = moves as f64 / elapsed.as_secs_f64();
println!("Results:");
println!(" Moves: {}", moves);
println!(" Time: {:.2?}", elapsed);
println!(" Moves/sec: {:.0}", moves_per_sec);
// Verify score unchanged after all do/undo cycles
let final_score = director.get_score();
assert_eq!(initial_score, final_score, "Score corrupted!");
println!(" Final score: {} (verified)", final_score);
}
|