cesiumdb 0.1.0

Blazing fast, persistent key-value store for Rust
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

use std::sync::{
    Arc,
    Mutex,
};

use cesiumdb::{
    Db,
    DbOptions,
};
use stability_framework::{
    ShadowVerifier,
    StabilityConfig,
    run_stability_test_final_verify_only,
};
use tempfile::TempDir;

mod stability_framework;

#[test]
fn stability_mixed_debug_final_verify() {
    let temp_dir = TempDir::new().unwrap();
    let mut opts = DbOptions::default();
    opts.data_dir(temp_dir.path().to_path_buf());

    let db = Db::open(opts);
    let verifier = Arc::new(Mutex::new(ShadowVerifier::new()));

    let config = StabilityConfig {
        duration_secs: 60,
        num_writers: 4,
        num_readers: 4,
        num_scanners: 0,
        key_space: 500_000,
        value_size: 1024,
        write_rate_hz: 1500,
        verification_interval_ms: 1000,
        delete_probability: 0.1,
    };

    let metrics = run_stability_test_final_verify_only(db.clone(), verifier.clone(), config);

    println!("Results:");
    println!("  Writes: {}", metrics.total_writes);
    println!("  Reads: {}", metrics.total_reads);
    println!("  Deletes: {}", metrics.total_deletes);
    println!("  Verification passes: {}", metrics.verification_passes);
    println!(
        "  Verification failures during run: {}",
        metrics.verification_failures
    );
    if let Some(space_amp) = metrics.space_amp {
        println!("  Space amp: {:.2}x", space_amp);
    }

    let mut v = verifier.lock().unwrap();
    println!("Final expected count: {}", v.expected_key_count());

    // Final verification after all workers stopped
    let sample_count = (500_000 / 100).max(100);
    let sample_ok = v.verify_random_sample(&db, sample_count);
    let deletes_ok = v.verify_deletes(&db);

    println!("Final sample verification: {}", sample_ok);
    println!("Final delete verification: {}", deletes_ok);
    println!("Final errors: {:?}", v.errors);

    assert!(
        sample_ok,
        "Final sample verification failed: {:?}",
        v.errors
    );
    assert!(
        deletes_ok,
        "Final delete verification failed: {:?}",
        v.errors
    );
    assert!(v.is_clean(), "Shadow verifier has errors: {:?}", v.errors);
}