descartes-core 0.1.1

Core DES framework
Documentation 
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

//! Tests that component and task IDs are deterministic under `SimulationConfig.seed`.

use descartes_core::{SimTime, Simulation, SimulationConfig};

#[test]
fn component_ids_are_deterministic_across_runs() {
    let mut a = Simulation::new(SimulationConfig { seed: 123 });
    let mut b = Simulation::new(SimulationConfig { seed: 123 });

    #[derive(Debug)]
    struct Noop;

    impl descartes_core::Component for Noop {
        type Event = ();

        fn process_event(
            &mut self,
            _self_id: descartes_core::Key<Self::Event>,
            _event: &Self::Event,
            _scheduler: &mut descartes_core::Scheduler,
        ) {
        }
    }

    let k1 = a.add_component(Noop);
    let k2 = a.add_component(Noop);

    let j1 = b.add_component(Noop);
    let j2 = b.add_component(Noop);

    assert_eq!(k1.id(), j1.id());
    assert_eq!(k2.id(), j2.id());
}

#[test]
fn task_ids_are_deterministic_across_runs() {
    fn schedule_two(handle: &descartes_core::SchedulerHandle) -> (descartes_core::TaskId, descartes_core::TaskId) {
        let a = handle.timeout(SimTime::zero(), |_| {}).id();
        let b = handle.timeout(SimTime::zero(), |_| {}).id();
        (a, b)
    }

    let sim1 = Simulation::new(SimulationConfig { seed: 999 });
    let sim2 = Simulation::new(SimulationConfig { seed: 999 });

    let h1 = sim1.scheduler_handle();
    let h2 = sim2.scheduler_handle();

    let (t1a, t1b) = schedule_two(&h1);
    let (t2a, t2b) = schedule_two(&h2);

    assert_eq!(t1a, t2a);
    assert_eq!(t1b, t2b);
}