haematite 0.7.0

Content-addressed, branchable, actor-native storage engine
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

use super::handle::ShardCommandKind;

const EXPECTED_VARIANTS: [&str; 22] = [
    "Get",
    "GetRaw",
    "Put",
    "Delete",
    "DeleteIfExpired",
    "Commit",
    "Range",
    "HasLiveInRange",
    "Append",
    "ReadValue",
    "Cas",
    "ApplyDurable",
    "ApplyDurableTombstone",
    "ApplyDurableBatch",
    "RecordPromise",
    "RecordOwnerEpoch",
    "ReserveMinted",
    "ReadPromiseState",
    "ExportReachable",
    "MergeAdopt",
    "ScanSequences",
    "Shutdown",
];

#[derive(Clone, Copy, Debug, PartialEq, Eq)]
enum Disposition {
    ReadOnly,
    PutExpiring,
    PutNonExpiring,
    Remove,
    PhysicalRecheck,
    AppendExpiring,
    AppendNonExpiring,
    RawOverwrite,
    DurableExpiring,
    DurableNonExpiring,
    DurableTombstone,
    DurableBatch,
    Metadata,
    BulkRebuild,
    Invalidate,
}

fn classify(kind: &ShardCommandKind) -> Disposition {
    match kind {
        ShardCommandKind::Get { .. }
        | ShardCommandKind::GetRaw { .. }
        | ShardCommandKind::Commit { .. }
        | ShardCommandKind::Range { .. }
        | ShardCommandKind::HasLiveInRange(..)
        | ShardCommandKind::ReadValue { .. }
        | ShardCommandKind::ReadPromiseState { .. }
        | ShardCommandKind::ExportReachable { .. }
        | ShardCommandKind::ScanSequences { .. } => Disposition::ReadOnly,
        ShardCommandKind::Put { ttl: Some(_), .. } => Disposition::PutExpiring,
        ShardCommandKind::Put { ttl: None, .. } => Disposition::PutNonExpiring,
        ShardCommandKind::Delete { .. } => Disposition::Remove,
        ShardCommandKind::DeleteIfExpired { .. } => Disposition::PhysicalRecheck,
        ShardCommandKind::Append { ttl: Some(_), .. } => Disposition::AppendExpiring,
        ShardCommandKind::Append { ttl: None, .. } => Disposition::AppendNonExpiring,
        ShardCommandKind::Cas { .. } => Disposition::RawOverwrite,
        ShardCommandKind::ApplyDurable { ttl: Some(_), .. } => Disposition::DurableExpiring,
        ShardCommandKind::ApplyDurable { ttl: None, .. } => Disposition::DurableNonExpiring,
        ShardCommandKind::ApplyDurableTombstone { .. } => Disposition::DurableTombstone,
        ShardCommandKind::ApplyDurableBatch { items, .. } => {
            let _contains_expiring = items.iter().any(|item| item.3.is_some());
            let _contains_non_expiring = items.iter().any(|item| item.3.is_none());
            Disposition::DurableBatch
        }
        ShardCommandKind::RecordPromise { .. }
        | ShardCommandKind::RecordOwnerEpoch { .. }
        | ShardCommandKind::ReserveMinted { .. } => Disposition::Metadata,
        ShardCommandKind::MergeAdopt { .. } => Disposition::BulkRebuild,
        ShardCommandKind::Shutdown { .. } => Disposition::Invalidate,
    }
}

fn declared_variants() -> Vec<&'static str> {
    let source = include_str!("handle.rs");
    let mut variants = Vec::new();
    let mut depth = 0_i32;
    let mut in_enum = false;
    for line in source.lines() {
        if !in_enum {
            if line.contains("enum ShardCommandKind {") {
                in_enum = true;
                depth = 1;
            }
            continue;
        }
        let trimmed = line.trim();
        if depth == 1
            && let Some(first) = trimmed.as_bytes().first()
            && first.is_ascii_uppercase()
        {
            let end = trimmed.find(['{', '(', ',']).unwrap_or(trimmed.len());
            variants.push(trimmed[..end].trim());
        }
        depth += i32::try_from(line.matches('{').count()).unwrap_or(i32::MAX);
        depth -= i32::try_from(line.matches('}').count()).unwrap_or(i32::MAX);
        if depth == 0 {
            break;
        }
    }
    variants
}

#[test]
fn shard_command_expiry_disposition_census_is_total() {
    let classifier: fn(&ShardCommandKind) -> Disposition = classify;
    let _ = classifier;
    assert_eq!(declared_variants(), EXPECTED_VARIANTS);
    assert_eq!(EXPECTED_VARIANTS.len(), 22);
}