silicera 0.1.1

Hardware-native program specialization for AMD Zen — core discovery, measurement, and HNEP
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

//! Property tests for fingerprint determinism.

use proptest::prelude::*;
use silicera::fingerprint::Fingerprint;
use silicera::knowledge::Microarch;
use silicera::topology::{ComputeDomain, CoreNode, Package, ThreadNode, TopologyGraph};

proptest! {
    #[test]
    fn fingerprint_rejects_non_slc(s in "[A-Za-z0-9]{0,40}") {
        prop_assume!(!s.starts_with("SLC:"));
        prop_assert!(Fingerprint::parse(&s).is_err());
    }

    #[test]
    fn topo_hash_deterministic(cores in 1u32..8) {
        let mut g = TopologyGraph::new();
        let mut pkg = Package { id: 0, domains: vec![] };
        let mut dom = ComputeDomain {
            id: 0,
            cores: vec![],
            shared_caches: vec![],
        };
        for i in 0..cores {
            dom.cores.push(CoreNode {
                id: i,
                threads: vec![ThreadNode { id: 0, apic_id: i }],
                l1i_bytes: 32768,
                l1d_bytes: 49152,
                l2_bytes: 1048576,
            });
        }
        pkg.domains.push(dom);
        g.packages.push(pkg);
        let a = Fingerprint::from_topology(Microarch::Zen5, 0x1A, 0x44, 0, &g);
        let b = Fingerprint::from_topology(Microarch::Zen5, 0x1A, 0x44, 0, &g);
        prop_assert_eq!(a, b);
    }
}