aedb 0.2.13

Embedded Rust storage engine with transactional commits, WAL durability, and snapshot-consistent reads
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
126

use std::fs;
use std::path::{Path, PathBuf};

fn assert_no_ambiguous_locals(file: &str, source: &str) {
    let banned = [
        "let len =",
        "let mut len =",
        "let idx =",
        "let mut idx =",
        "let index =",
        "let mut index =",
        "let size =",
        "let mut size =",
        "let offset =",
        "let mut offset =",
        "for idx in",
        "for index in",
        "for size in",
        "for offset in",
    ];
    for (line_number, line) in source.lines().enumerate() {
        for pattern in banned {
            assert!(
                !line.contains(pattern),
                "{file}:{} contains banned pattern `{pattern}`: {line}",
                line_number + 1
            );
        }
    }
}

fn collect_rust_files(root: &Path, out: &mut Vec<PathBuf>) {
    let Ok(entries) = fs::read_dir(root) else {
        return;
    };
    for entry in entries.flatten() {
        let path = entry.path();
        if path.is_dir() {
            collect_rust_files(&path, out);
            continue;
        }
        if path.extension().is_some_and(|ext| ext == "rs") {
            out.push(path);
        }
    }
}

#[test]
fn critical_modules_avoid_ambiguous_index_size_offset_len_bindings() {
    let files: [(&str, &str); 16] = [
        ("src/wal/frame.rs", include_str!("../src/wal/frame.rs")),
        ("src/wal/segment.rs", include_str!("../src/wal/segment.rs")),
        (
            "src/recovery/replay.rs",
            include_str!("../src/recovery/replay.rs"),
        ),
        (
            "src/recovery/scanner.rs",
            include_str!("../src/recovery/scanner.rs"),
        ),
        (
            "src/recovery/mod.rs",
            include_str!("../src/recovery/mod.rs"),
        ),
        (
            "src/checkpoint/loader.rs",
            include_str!("../src/checkpoint/loader.rs"),
        ),
        (
            "src/commit/executor/mod.rs",
            include_str!("../src/commit/executor/mod.rs"),
        ),
        (
            "src/commit/executor/internals.rs",
            include_str!("../src/commit/executor/internals.rs"),
        ),
        (
            "src/query/executor/mod.rs",
            include_str!("../src/query/executor/mod.rs"),
        ),
        (
            "src/query/operators.rs",
            include_str!("../src/query/operators.rs"),
        ),
        (
            "src/commit/validation.rs",
            include_str!("../src/commit/validation.rs"),
        ),
        (
            "src/commit/apply.rs",
            include_str!("../src/commit/apply.rs"),
        ),
        (
            "src/commit/executor/global_index.rs",
            include_str!("../src/commit/executor/global_index.rs"),
        ),
        (
            "src/storage/encoded_key.rs",
            include_str!("../src/storage/encoded_key.rs"),
        ),
        (
            "src/storage/keyspace.rs",
            include_str!("../src/storage/keyspace.rs"),
        ),
        (
            "src/storage/index.rs",
            include_str!("../src/storage/index.rs"),
        ),
    ];
    for (file, source) in files {
        assert_no_ambiguous_locals(file, source);
    }
}

#[test]
fn all_src_files_avoid_ambiguous_index_size_offset_len_bindings() {
    let src_root = Path::new(env!("CARGO_MANIFEST_DIR")).join("src");
    let mut files = Vec::new();
    collect_rust_files(&src_root, &mut files);
    files.sort();
    for file in files {
        let source = fs::read_to_string(&file).expect("read source file");
        let display = file.to_string_lossy().to_string();
        assert_no_ambiguous_locals(&display, &source);
    }
}