-
Notifications
You must be signed in to change notification settings - Fork 220
Expand file tree
/
Copy pathimmutable.rs
More file actions
156 lines (136 loc) · 4.62 KB
/
immutable.rs
File metadata and controls
156 lines (136 loc) · 4.62 KB
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
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
//! Immutable database types and helpers for the sync example.
use crate::{Hasher, Key, Translator, Value};
use commonware_cryptography::{Hasher as CryptoHasher, Sha256};
use commonware_runtime::{BufferPooler, Clock, Metrics, Storage};
use commonware_storage::{
journal::contiguous::variable::Config as VConfig,
merkle::{
journaled::Config as MmrConfig,
mmr::{self, Location, Proof},
},
qmdb::{
self,
immutable::{self, Config},
},
};
use commonware_utils::{NZUsize, NZU16, NZU64};
use std::{future::Future, num::NonZeroU64};
use tracing::error;
/// Database type alias.
pub type Database<E> = immutable::variable::Db<mmr::Family, E, Key, Value, Hasher, Translator>;
/// Operation type alias.
pub type Operation = immutable::variable::Operation<mmr::Family, Key, Value>;
/// Create a database configuration with appropriate partitioning for Immutable.
pub fn create_config(context: &impl BufferPooler) -> Config<Translator, VConfig<((), ())>> {
let page_cache = commonware_runtime::buffer::paged::CacheRef::from_pooler(
context,
NZU16!(2048),
NZUsize!(10),
);
Config {
merkle_config: MmrConfig {
journal_partition: "mmr-journal".into(),
metadata_partition: "mmr-metadata".into(),
items_per_blob: NZU64!(4096),
write_buffer: NZUsize!(4096),
thread_pool: None,
page_cache: page_cache.clone(),
},
log: VConfig {
partition: "log".into(),
items_per_section: NZU64!(4096),
compression: None,
codec_config: ((), ()),
write_buffer: NZUsize!(4096),
page_cache,
},
translator: commonware_storage::translator::EightCap,
}
}
/// Create deterministic test operations for demonstration purposes.
/// Generates Set operations and periodic Commit operations.
pub fn create_test_operations(count: usize, seed: u64) -> Vec<Operation> {
let mut operations = Vec::new();
let mut hasher = <Hasher as CryptoHasher>::new();
for i in 0..count {
let key = {
hasher.update(&i.to_be_bytes());
hasher.update(&seed.to_be_bytes());
hasher.finalize()
};
let value = {
hasher.update(&key);
hasher.update(b"value");
hasher.finalize()
};
operations.push(Operation::Set(key, value));
if (i + 1) % 10 == 0 {
operations.push(Operation::Commit(None, Location::new(0)));
}
}
// Always end with a commit
operations.push(Operation::Commit(Some(Sha256::fill(1)), Location::new(0)));
operations
}
impl<E> super::Syncable for Database<E>
where
E: Storage + Clock + Metrics,
{
type Family = mmr::Family;
type Operation = Operation;
fn create_test_operations(count: usize, seed: u64) -> Vec<Self::Operation> {
create_test_operations(count, seed)
}
async fn add_operations(
&mut self,
operations: Vec<Self::Operation>,
) -> Result<(), commonware_storage::qmdb::Error<mmr::Family>> {
if operations.last().is_none() || !operations.last().unwrap().is_commit() {
// Ignore bad inputs rather than return errors.
error!("operations must end with a commit");
return Ok(());
}
let mut batch = self.new_batch();
for operation in operations {
match operation {
Operation::Set(key, value) => {
batch = batch.set(key, value);
}
Operation::Commit(metadata, floor) => {
let merkleized = batch.merkleize(self, metadata, floor);
self.apply_batch(merkleized).await?;
self.commit().await?;
batch = self.new_batch();
}
}
}
Ok(())
}
fn root(&self) -> Key {
self.root()
}
async fn size(&self) -> Location {
self.bounds().await.end
}
async fn inactivity_floor(&self) -> Location {
self.inactivity_floor_loc()
}
fn historical_proof(
&self,
op_count: Location,
start_loc: Location,
max_ops: NonZeroU64,
) -> impl Future<Output = Result<(Proof<Key>, Vec<Self::Operation>), qmdb::Error<mmr::Family>>> + Send
{
self.historical_proof(op_count, start_loc, max_ops)
}
fn pinned_nodes_at(
&self,
loc: Location,
) -> impl Future<Output = Result<Vec<Key>, qmdb::Error<mmr::Family>>> + Send {
self.pinned_nodes_at(loc)
}
fn name() -> &'static str {
"immutable"
}
}