harmos-runtime 0.1.13

Harmos runtime: managed state, undo, recovery, background work and typed streams.
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
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77

/* ***
 *
 * Harmos
 *
 * SPDX-License-Identifier: Apache-2.0
 *
 * ***
 */

// Measure The Deterministic Double Run Oracle

/* === Modules === */

#[path = "../../tests/support/simulation.rs"]
mod oracle;
#[path = "../../tests/support/mod.rs"]
mod support;

/* === Re-Exports === */

/* === Imports === */

extern crate harmos_runtime as harmos;

use criterion::Criterion;
use harmos_runtime::Runtime;
use std::hint::black_box;
use support::{Bank, Ledger};

// Standard Library Imports

// Third Party Imports

// Local Imports

/* === Constants === */

/* === Macros === */

criterion::criterion_group!(benches, benchmarks);
criterion::criterion_main!(benches);

/* === Type Aliases === */

/* === Structs === */

/* === Enums === */

/* === Traits === */

/* === Implementations === */

/* === Public Functions === */

/* === Private Functions === */

fn benchmarks(criterion: &mut Criterion) {
    criterion.bench_function("simulation/double_run_identity", |bench| {
        bench.iter(|| {
            let make = || {
                let sim = Runtime::<Bank>::simulate_with(Ledger::default(), (), 42, |setup| {
                    setup.settings().register(support::catalog()).register(support::streams());
                    oracle::configure(setup);
                })
                .unwrap();
                oracle::scripted(sim)
            };
            let first = make();
            let second = make();
            first.assert_same(&second);
            assert_eq!(first.trace(), second.trace());
            black_box((first, second));
        });
    });
}

/* === Tests === */