bacnet-server 0.15.0

BACnet server: APDU dispatch and service handlers
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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108

use super::*;

const SERVICES: [ConfirmedServiceChoice; 10] = [
    ConfirmedServiceChoice::WRITE_PROPERTY,
    ConfirmedServiceChoice::WRITE_PROPERTY_MULTIPLE,
    ConfirmedServiceChoice::CREATE_OBJECT,
    ConfirmedServiceChoice::DELETE_OBJECT,
    ConfirmedServiceChoice::ADD_LIST_ELEMENT,
    ConfirmedServiceChoice::REMOVE_LIST_ELEMENT,
    ConfirmedServiceChoice::ATOMIC_WRITE_FILE,
    ConfirmedServiceChoice::SUBSCRIBE_COV,
    ConfirmedServiceChoice::SUBSCRIBE_COV_PROPERTY,
    ConfirmedServiceChoice::SUBSCRIBE_COV_PROPERTY_MULTIPLE,
];

fn rows(c: MutationDecisionCounters) -> [MutationServiceCounters; 10] {
    [
        c.write_property,
        c.write_property_multiple,
        c.create_object,
        c.delete_object,
        c.add_list_element,
        c.remove_list_element,
        c.atomic_write_file,
        c.subscribe_cov,
        c.subscribe_cov_property,
        c.subscribe_cov_property_multiple,
    ]
}

#[test]
fn mutation_counters_fixed_shape_exactness_and_saturation() {
    let store = MutationDecisions::default();
    assert_eq!(
        rows(store.snapshot()),
        [MutationServiceCounters::default(); 10]
    );
    for (index, service) in SERVICES.into_iter().enumerate() {
        for _ in 0..=index {
            store.record(service, MutationDecision::Allow);
            store.record(service, MutationDecision::Deny);
            store.record(service, MutationDecision::PolicyDeny);
        }
    }
    for (index, row) in rows(store.snapshot()).into_iter().enumerate() {
        let n = index as u64 + 1;
        assert_eq!(
            row,
            MutationServiceCounters {
                allow_total: n,
                deny_total: 2 * n,
                policy_deny_total: n,
            }
        );
    }
    let before = store.snapshot();
    store.record(
        ConfirmedServiceChoice::READ_PROPERTY,
        MutationDecision::PolicyDeny,
    );
    assert_eq!(store.snapshot(), before);
    for row in &store.0 {
        for counter in row {
            counter.store(u64::MAX - 1, Ordering::Relaxed);
        }
    }
    for _ in 0..3 {
        for service in SERVICES {
            store.record(service, MutationDecision::Allow);
            store.record(service, MutationDecision::Deny);
            store.record(service, MutationDecision::PolicyDeny);
        }
    }
    assert_eq!(
        rows(store.snapshot()),
        [MutationServiceCounters {
            allow_total: u64::MAX,
            deny_total: u64::MAX,
            policy_deny_total: u64::MAX,
        }; 10]
    );
}

#[test]
fn mutation_counters_concurrent_quiescent_totals_are_exact() {
    let store = MutationDecisions::default();
    std::thread::scope(|scope| {
        for _ in 0..8 {
            scope.spawn(|| {
                for _ in 0..100 {
                    for service in SERVICES {
                        store.record(service, MutationDecision::Allow);
                        store.record(service, MutationDecision::Deny);
                        store.record(service, MutationDecision::PolicyDeny);
                    }
                }
            });
        }
    });
    assert_eq!(
        rows(store.snapshot()),
        [MutationServiceCounters {
            allow_total: 800,
            deny_total: 1600,
            policy_deny_total: 800,
        }; 10]
    );
}