Skip to main content

elevator_core/dispatch/
destination.rs

1//! Hall-call destination dispatch ("DCS").
2//!
3//! Destination dispatch assigns each rider to a specific car at hall-call
4//! time (when their destination is first known) and the assignment is
5//! **sticky** — it never changes for the rider's lifetime, and no other car
6//! will pick them up. The controller minimizes each rider's own travel time,
7//! using a simple cost model:
8//!
9//! ```text
10//! J(C) = pickup_time(C, origin)
11//!      + ride_time(origin, dest)
12//!      + stop_penalty * new_stops_added(C, origin, dest)
13//! ```
14//!
15//! Assignments are recorded as an [`AssignedCar`] extension component on the
16//! rider; the loading filter in `crate::systems::loading` consults this to
17//! enforce the stickiness invariant.
18//!
19//! This is a sim — not a faithful reproduction of any vendor's controller.
20//! Each assigned car's [`DestinationQueue`](crate::components::DestinationQueue)
21//! is rebuilt every dispatch tick from the set of live sticky commitments
22//! (waiting riders contribute origin + dest; riding riders contribute dest)
23//! and arranged into a direction-aware two-run (plus fallback third-run)
24//! monotone sequence so the car visits stops in sweep order rather than
25//! in the order assignments arrived.
26
27use std::collections::HashSet;
28
29use serde::{Deserialize, Serialize};
30
31use crate::components::{DestinationQueue, Direction, ElevatorPhase, TransportMode};
32use crate::entity::EntityId;
33use crate::world::{ExtKey, World};
34
35use super::{DispatchManifest, DispatchStrategy, ElevatorGroup, RankContext};
36
37/// Sticky rider → car assignment produced by [`DestinationDispatch`].
38///
39/// Stored as an extension component on the rider entity. Once set, the
40/// assignment is never mutated; the loading phase uses it to enforce
41/// that only the assigned car may board the rider.
42#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
43pub struct AssignedCar(pub EntityId);
44
45/// Typed extension key for [`AssignedCar`] storage.
46pub const ASSIGNED_CAR_KEY: ExtKey<AssignedCar> = ExtKey::new("assigned_car");
47
48/// Hall-call destination dispatch (DCS).
49///
50/// ## API shape
51///
52/// Uses [`DispatchStrategy::pre_dispatch`] to write sticky
53/// [`AssignedCar`] extensions and rebuild each car's committed stop
54/// queue during a `&mut World` phase. [`DispatchStrategy::rank`] then
55/// routes each car to its own queue front and returns `None` for every
56/// other stop, so the group-wide Hungarian assignment trivially pairs
57/// each car with the stop it has already committed to.
58pub struct DestinationDispatch {
59    /// Weight for per-stop door overhead in the cost function. A positive
60    /// value biases assignments toward cars whose route change adds no
61    /// fresh stops; set via [`with_stop_penalty`](Self::with_stop_penalty).
62    ///
63    /// Units: ticks per newly-added stop. `None` ⇒ derive from the car's
64    /// own door timings (~`open + 2 * transition`).
65    stop_penalty: Option<f64>,
66}
67
68impl DestinationDispatch {
69    /// Create a new `DestinationDispatch` with defaults.
70    #[must_use]
71    pub const fn new() -> Self {
72        Self { stop_penalty: None }
73    }
74
75    /// Override the fresh-stop penalty (ticks per new stop added to a
76    /// car's committed route when it picks this rider up).
77    #[must_use]
78    pub const fn with_stop_penalty(mut self, penalty: f64) -> Self {
79        self.stop_penalty = Some(penalty);
80        self
81    }
82}
83
84impl Default for DestinationDispatch {
85    fn default() -> Self {
86        Self::new()
87    }
88}
89
90impl DispatchStrategy for DestinationDispatch {
91    fn pre_dispatch(
92        &mut self,
93        group: &ElevatorGroup,
94        manifest: &DispatchManifest,
95        world: &mut World,
96    ) {
97        // DCS requires the group to be in `HallCallMode::Destination` — that
98        // mode is what makes the kiosk-style "rider announces destination
99        // at press time" assumption hold. In Classic collective-control
100        // mode destinations aren't known until riders board, so running
101        // DCS there would commit assignments based on information a real
102        // controller wouldn't have. Early-return makes DCS a no-op for
103        // misconfigured groups; pair it with the right mode to activate.
104        if group.hall_call_mode() != super::HallCallMode::Destination {
105            return;
106        }
107
108        // Candidate cars in this group that are operable for dispatch.
109        let candidate_cars: Vec<EntityId> = group
110            .elevator_entities()
111            .iter()
112            .copied()
113            .filter(|eid| !world.is_disabled(*eid))
114            .filter(|eid| {
115                !world
116                    .service_mode(*eid)
117                    .is_some_and(|m| m.is_dispatch_excluded())
118            })
119            .filter(|eid| world.elevator(*eid).is_some())
120            .collect();
121
122        if candidate_cars.is_empty() {
123            return;
124        }
125
126        // Collect unassigned waiting riders in this group.
127        let mut pending: Vec<(EntityId, EntityId, EntityId, f64)> = Vec::new();
128        for (_, riders) in manifest.iter_waiting_stops() {
129            for info in riders {
130                if world.ext::<AssignedCar>(info.id).is_some() {
131                    continue; // sticky
132                }
133                let Some(dest) = info.destination else {
134                    continue;
135                };
136                let Some(route) = world.route(info.id) else {
137                    continue;
138                };
139                let Some(leg) = route.current() else {
140                    continue;
141                };
142                let group_ok = match leg.via {
143                    TransportMode::Group(g) => g == group.id(),
144                    TransportMode::Line(l) => group.lines().iter().any(|li| li.entity() == l),
145                    TransportMode::Walk => false,
146                };
147                if !group_ok {
148                    continue;
149                }
150                pending.push((info.id, leg.from, dest, info.weight.value()));
151            }
152        }
153        pending.sort_by_key(|(rid, ..)| *rid);
154
155        // Pre-compute committed-load per car (riders aboard + already-
156        // assigned waiting riders not yet boarded). Used by cost function
157        // to discourage piling more riders onto an already-full car.
158        let mut committed_load: std::collections::BTreeMap<EntityId, f64> =
159            std::collections::BTreeMap::new();
160        for (rid, rider) in world.iter_riders() {
161            use crate::components::RiderPhase;
162            // Count riders whose weight is "committed" to a specific car:
163            // actively aboard (Boarding/Riding) or still-Waiting with a
164            // sticky assignment. Terminal phases (Exiting, Arrived,
165            // Abandoned, Resident, Walking) must not contribute — AssignedCar
166            // is sticky and never cleared, so including them would permanently
167            // inflate the former car's committed load over long runs.
168            let car = match rider.phase() {
169                RiderPhase::Riding(c) | RiderPhase::Boarding(c) => Some(c),
170                RiderPhase::Waiting => world.ext::<AssignedCar>(rid).map(|AssignedCar(c)| c),
171                _ => None,
172            };
173            if let Some(c) = car {
174                *committed_load.entry(c).or_insert(0.0) += rider.weight.value();
175            }
176        }
177
178        for (rid, origin, dest, weight) in pending {
179            let best = candidate_cars
180                .iter()
181                .filter_map(|&eid| {
182                    let car = world.elevator(eid)?;
183                    if car.restricted_stops().contains(&dest)
184                        || car.restricted_stops().contains(&origin)
185                    {
186                        return None;
187                    }
188                    if car.weight_capacity().value() > 0.0 && weight > car.weight_capacity().value()
189                    {
190                        return None;
191                    }
192                    let com = committed_load.get(&eid).copied().unwrap_or(0.0);
193                    let cost = self.compute_cost(eid, origin, dest, world, com);
194                    if cost.is_finite() {
195                        Some((eid, cost))
196                    } else {
197                        None
198                    }
199                })
200                .min_by(|a, b| a.1.total_cmp(&b.1))
201                .map(|(eid, _)| eid);
202
203            let Some(car_eid) = best else {
204                continue;
205            };
206            world.insert_ext(rid, AssignedCar(car_eid), ASSIGNED_CAR_KEY);
207            *committed_load.entry(car_eid).or_insert(0.0) += weight;
208        }
209
210        // Rebuild each candidate car's destination queue from the current
211        // set of sticky commitments, arranged in direction-aware two-run
212        // monotone order. This is the source of truth per tick and avoids
213        // incremental-insertion drift (duplicates, orphaned entries).
214        for &car_eid in &candidate_cars {
215            rebuild_car_queue(world, car_eid);
216        }
217    }
218
219    fn rank(&mut self, ctx: &RankContext<'_>) -> Option<f64> {
220        // The queue is the source of truth — route each car strictly to
221        // its own queue front. Every other stop is unavailable for this
222        // car, so the Hungarian assignment reduces to the identity match
223        // between each car and the stop it has already committed to.
224        let front = ctx
225            .world
226            .destination_queue(ctx.car)
227            .and_then(DestinationQueue::front)?;
228        if front == ctx.stop { Some(0.0) } else { None }
229    }
230}
231
232impl DestinationDispatch {
233    /// Compute the assignment cost of sending car `eid` to pick up a rider
234    /// whose route is `origin → dest`.
235    fn compute_cost(
236        &self,
237        eid: EntityId,
238        origin: EntityId,
239        dest: EntityId,
240        world: &World,
241        committed_load: f64,
242    ) -> f64 {
243        let Some(car) = world.elevator(eid) else {
244            return f64::INFINITY;
245        };
246        if car.max_speed().value() <= 0.0 {
247            return f64::INFINITY;
248        }
249
250        let Some(car_pos) = world.position(eid).map(|p| p.value) else {
251            return f64::INFINITY;
252        };
253        let Some(origin_pos) = world.stop_position(origin) else {
254            return f64::INFINITY;
255        };
256        let Some(dest_pos) = world.stop_position(dest) else {
257            return f64::INFINITY;
258        };
259
260        let door_overhead = f64::from(car.door_transition_ticks() * 2 + car.door_open_ticks());
261        let penalty = self.stop_penalty.unwrap_or_else(|| door_overhead.max(1.0));
262
263        // Pickup time: direct distance + per-stop door overhead for each
264        // committed stop that lies between the car and the origin.
265        let pickup_dist = (car_pos - origin_pos).abs();
266        let pickup_travel = pickup_dist / car.max_speed().value();
267        let intervening_committed = world.destination_queue(eid).map_or(0usize, |q| {
268            let (lo, hi) = if car_pos < origin_pos {
269                (car_pos, origin_pos)
270            } else {
271                (origin_pos, car_pos)
272            };
273            q.queue()
274                .iter()
275                .filter_map(|s| world.stop_position(*s))
276                .filter(|p| *p > lo + 1e-9 && *p < hi - 1e-9)
277                .count()
278        });
279        let pickup_time = (intervening_committed as f64).mul_add(door_overhead, pickup_travel);
280
281        // Ride time: origin → dest travel + door overhead at origin pickup.
282        let ride_dist = (origin_pos - dest_pos).abs();
283        let ride_time = ride_dist / car.max_speed().value() + door_overhead;
284
285        // Fresh stops added: 0, 1, or 2 depending on whether origin/dest
286        // are already queued for this car.
287        let existing: Vec<EntityId> = world
288            .destination_queue(eid)
289            .map_or_else(Vec::new, |q| q.queue().to_vec());
290        let mut new_stops = 0f64;
291        if !existing.contains(&origin) {
292            new_stops += 1.0;
293        }
294        if !existing.contains(&dest) && dest != origin {
295            new_stops += 1.0;
296        }
297
298        // Idle bias: empty cars get a small bonus so the load spreads.
299        let idle_bonus = if car.phase() == ElevatorPhase::Idle && car.riders().is_empty() {
300            -0.1 * pickup_travel
301        } else {
302            0.0
303        };
304
305        // Load bias: include both aboard and already-assigned-but-waiting
306        // riders so dispatch spreads load even before any boarding happens.
307        let load_penalty = if car.weight_capacity().value() > 0.0 {
308            let effective = car.current_load().value().max(committed_load);
309            let ratio = (effective / car.weight_capacity().value()).min(2.0);
310            ratio * door_overhead * 4.0
311        } else {
312            0.0
313        };
314
315        pickup_time + ride_time + penalty * new_stops + idle_bonus + load_penalty
316    }
317}
318
319/// Rebuild `car_eid`'s destination queue from all live sticky commitments.
320///
321/// Scans all riders assigned to this car and collects the set of stops it
322/// must visit:
323///   - waiting riders contribute both their origin and destination,
324///   - riding/boarding riders contribute just their destination (origin
325///     already visited).
326///
327/// The stops are then arranged into a two-run monotone sequence: the
328/// current sweep (in the car's current direction) followed by the reverse
329/// sweep. A third run is appended when a rider's trip reverses the sweep
330/// twice (origin behind, dest ahead of origin in the original sweep).
331#[allow(clippy::too_many_lines)]
332fn rebuild_car_queue(world: &mut crate::world::World, car_eid: EntityId) {
333    use crate::components::RiderPhase;
334
335    // Local type for gathered (origin?, dest) trips.
336    struct Trip {
337        origin: Option<EntityId>,
338        dest: EntityId,
339    }
340
341    let Some(car) = world.elevator(car_eid) else {
342        return;
343    };
344    let car_pos = world.position(car_eid).map_or(0.0, |p| p.value);
345    let sweep_up = match car.direction() {
346        Direction::Up | Direction::Either => true,
347        Direction::Down => false,
348    };
349
350    // Skip inserting a stop the car is currently parked at and loading.
351    let at_stop_loading: Option<EntityId> = {
352        let stopped_here = !matches!(
353            car.phase(),
354            ElevatorPhase::MovingToStop(_) | ElevatorPhase::Repositioning(_)
355        );
356        if stopped_here {
357            world.find_stop_at_position(car_pos)
358        } else {
359            None
360        }
361    };
362
363    // Gather (origin?, dest) pairs from all sticky-assigned riders for this car.
364    let mut trips: Vec<Trip> = Vec::new();
365    for (rid, rider) in world.iter_riders() {
366        let Some(AssignedCar(assigned)) = world.ext::<AssignedCar>(rid) else {
367            continue;
368        };
369        if assigned != car_eid {
370            continue;
371        }
372        let Some(dest) = world
373            .route(rid)
374            .and_then(crate::components::Route::current_destination)
375        else {
376            continue;
377        };
378        match rider.phase() {
379            RiderPhase::Waiting => {
380                let origin = world
381                    .route(rid)
382                    .and_then(|r| r.current().map(|leg| leg.from));
383                // Strip origin if car is parked at it right now.
384                let origin = origin.filter(|o| Some(*o) != at_stop_loading);
385                trips.push(Trip { origin, dest });
386            }
387            RiderPhase::Boarding(_) | RiderPhase::Riding(_) => {
388                trips.push(Trip { origin: None, dest });
389            }
390            _ => {}
391        }
392    }
393
394    if trips.is_empty() {
395        if let Some(q) = world.destination_queue_mut(car_eid) {
396            q.clear();
397        }
398        return;
399    }
400
401    // Bucket each stop into up to three runs based on the car's direction:
402    //   run1 = current sweep (same direction as car)
403    //   run2 = reverse sweep
404    //   run3 = second sweep in the original direction (for trips whose
405    //          origin is behind the sweep but dest is further in it)
406    let mut run1: Vec<(EntityId, f64)> = Vec::new();
407    let mut run2: Vec<(EntityId, f64)> = Vec::new();
408    let mut run3: Vec<(EntityId, f64)> = Vec::new();
409
410    let in_run1 = |sp: f64| -> bool {
411        if sweep_up {
412            sp >= car_pos - 1e-9
413        } else {
414            sp <= car_pos + 1e-9
415        }
416    };
417
418    let push_unique = |v: &mut Vec<(EntityId, f64)>, s: EntityId, p: f64| {
419        if !v.iter().any(|(e, _)| *e == s) {
420            v.push((s, p));
421        }
422    };
423
424    for trip in &trips {
425        let dp = world.stop_position(trip.dest).unwrap_or(car_pos);
426        if let Some(o) = trip.origin {
427            let op = world.stop_position(o).unwrap_or(car_pos);
428            let o_in_run1 = in_run1(op);
429            let d_in_run1 = in_run1(dp);
430            if o_in_run1 {
431                push_unique(&mut run1, o, op);
432                if d_in_run1 {
433                    // Both in run1: dest must be further in sweep than origin.
434                    let d_fits = if sweep_up {
435                        dp >= op - 1e-9
436                    } else {
437                        dp <= op + 1e-9
438                    };
439                    if d_fits {
440                        push_unique(&mut run1, trip.dest, dp);
441                    } else {
442                        // Dest is behind origin in sweep: needs reverse run.
443                        push_unique(&mut run2, trip.dest, dp);
444                    }
445                } else {
446                    push_unique(&mut run2, trip.dest, dp);
447                }
448            } else {
449                // Origin is behind sweep: both go in reverse/second run.
450                push_unique(&mut run2, o, op);
451                if d_in_run1 {
452                    // Origin behind, dest ahead: need a third sweep.
453                    push_unique(&mut run3, trip.dest, dp);
454                } else {
455                    // Both behind sweep. Within reverse run, order dest
456                    // after origin (dest further into reverse direction).
457                    let d_further = if sweep_up {
458                        dp <= op + 1e-9
459                    } else {
460                        dp >= op - 1e-9
461                    };
462                    if d_further {
463                        push_unique(&mut run2, trip.dest, dp);
464                    } else {
465                        push_unique(&mut run3, trip.dest, dp);
466                    }
467                }
468            }
469        } else {
470            // No origin: just drop off. Place dest in whichever run contains it.
471            if in_run1(dp) {
472                push_unique(&mut run1, trip.dest, dp);
473            } else {
474                push_unique(&mut run2, trip.dest, dp);
475            }
476        }
477    }
478
479    // Sort each run monotonically.
480    if sweep_up {
481        run1.sort_by(|a, b| a.1.total_cmp(&b.1));
482        run2.sort_by(|a, b| b.1.total_cmp(&a.1));
483        run3.sort_by(|a, b| a.1.total_cmp(&b.1));
484    } else {
485        run1.sort_by(|a, b| b.1.total_cmp(&a.1));
486        run2.sort_by(|a, b| a.1.total_cmp(&b.1));
487        run3.sort_by(|a, b| b.1.total_cmp(&a.1));
488    }
489
490    let mut out: Vec<EntityId> = Vec::with_capacity(run1.len() + run2.len() + run3.len());
491    out.extend(run1.into_iter().map(|(e, _)| e));
492    out.extend(run2.into_iter().map(|(e, _)| e));
493    out.extend(run3.into_iter().map(|(e, _)| e));
494    let mut seen = HashSet::with_capacity(out.len());
495    out.retain(|e| seen.insert(*e));
496
497    if let Some(q) = world.destination_queue_mut(car_eid) {
498        q.replace(out);
499    }
500}