linkrs-storage 0.1.0

Storage engine with CSR and memory-mapped containers
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
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125

use super::*;

#[test]
fn layout_version_is_monotonic_and_domain_evidence_tracks_numeric_ids() {
    use crate::StorageReader;

    let mut storage = create_test_storage();
    setup_space(&mut storage);
    setup_person_tag(&mut storage);

    let initial = storage.layout_version();
    assert!(initial > 0, "layout version starts at a non-zero value");

    // Before any writes the domain is unproven.
    assert!(storage.vertex_id_domain("test_space").is_none());

    // Insert numeric vertex ids: domain evidence appears and covers them.
    for id in [1i64, 10, 100] {
        storage
            .insert_vertex(
                "test_space",
                Vertex::new(
                    VertexId::try_from_int64(id).expect("test vertex id"),
                    Tag::new(
                        "Person".to_string(),
                        [("name".into(), Value::string(format!("p{id}")))]
                            .into_iter()
                            .collect(),
                    ),
                ),
            )
            .expect("insert numeric vertex");
    }
    let domain = storage
        .vertex_id_domain("test_space")
        .expect("numeric-only space must prove its vertex-id domain");
    assert_eq!(domain.start, 1);
    assert_eq!(domain.end, 101);

    // A non-numeric string id is fail-closed in an integer space: the
    // space's vid_type is the only normalization authority, and "alice"
    // cannot become an integer.
    let rejected = storage.insert_vertex(
        "test_space",
        Vertex::new(
            VertexId::try_from_string("alice").expect("test vertex id"),
            Tag::new(
                "Person".to_string(),
                [("name".into(), Value::string("Alice"))]
                    .into_iter()
                    .collect(),
            ),
        ),
    );
    assert!(
        rejected.is_err(),
        "a string vertex id must be rejected in an integer space"
    );
    assert!(
        storage.vertex_id_domain("test_space").is_some(),
        "the rejected write must not disturb the numeric domain evidence"
    );
}

#[test]
fn layout_version_bumps_after_compaction_and_restore() {
    use crate::StorageReader;

    let (temp_dir, mut storage) = create_persistent_storage();
    setup_space(&mut storage);
    setup_person_tag(&mut storage);

    for id in 1..=10i64 {
        storage
            .insert_vertex(
                "test_space",
                Vertex::new(
                    VertexId::try_from_int64(id).expect("test vertex id"),
                    Tag::new(
                        "Person".to_string(),
                        [("name".into(), Value::string(format!("p{id}")))]
                            .into_iter()
                            .collect(),
                    ),
                ),
            )
            .expect("insert vertex");
    }

    let before_compact = storage.layout_version();

    // Run a compact maintenance pass via the public admin API.
    storage
        .compact(&linkrs_core::types::CompactConfig {
            enable_structure_compaction: true,
            ..Default::default()
        })
        .expect("compact should succeed");

    let after_compact = storage.layout_version();
    assert!(
        after_compact > before_compact,
        "compaction must bump the layout version ({before_compact} -> {after_compact})"
    );

    // The domain evidence survives a save/reload round-trip.
    storage.save_to_disk().expect("save to disk");
    let domain_before = storage.vertex_id_domain("test_space");

    drop(storage);
    let mut reloaded =
        GraphStorage::new_with_path(temp_dir.path().to_path_buf()).expect("reload storage");
    reloaded.load_from_disk().expect("load from disk");

    let domain_after = reloaded.vertex_id_domain("test_space");
    assert_eq!(
        domain_after, domain_before,
        "vertex-id domain evidence must be rebuilt after restore"
    );
    assert!(domain_after.is_some());
    assert!(
        reloaded.layout_version() > 1,
        "restore must bump the fresh instance's layout version"
    );
}