1use crate::{
2 db::{
3 Db, EntityName,
4 data::{DataKey, StorageKey},
5 index::IndexKey,
6 },
7 error::InternalError,
8 traits::CanisterKind,
9 value::Value,
10};
11use candid::CandidType;
12use serde::{Deserialize, Serialize};
13use std::collections::BTreeMap;
14
15#[derive(CandidType, Clone, Debug, Default, Deserialize, Serialize)]
21pub struct StorageReport {
22 pub storage_data: Vec<DataStoreSnapshot>,
23 pub storage_index: Vec<IndexStoreSnapshot>,
24 pub entity_storage: Vec<EntitySnapshot>,
25 pub corrupted_keys: u64,
26 pub corrupted_entries: u64,
27}
28
29#[derive(CandidType, Clone, Debug, Default, Deserialize, Serialize)]
35pub struct DataStoreSnapshot {
36 pub path: String,
37 pub entries: u64,
38 pub memory_bytes: u64,
39}
40
41#[derive(CandidType, Clone, Debug, Default, Deserialize, Serialize)]
47pub struct IndexStoreSnapshot {
48 pub path: String,
49 pub entries: u64,
50 pub user_entries: u64,
51 pub system_entries: u64,
52 pub memory_bytes: u64,
53}
54
55#[derive(CandidType, Clone, Debug, Default, Deserialize, Serialize)]
61pub struct EntitySnapshot {
62 pub store: String,
64
65 pub path: String,
67
68 pub entries: u64,
70
71 pub memory_bytes: u64,
73
74 pub min_key: Option<Value>,
76
77 pub max_key: Option<Value>,
79}
80
81#[derive(Default)]
87struct EntityStats {
88 entries: u64,
89 memory_bytes: u64,
90 min_key: Option<StorageKey>,
91 max_key: Option<StorageKey>,
92}
93
94impl EntityStats {
95 fn update(&mut self, dk: &DataKey, value_len: u64) {
96 self.entries = self.entries.saturating_add(1);
97 self.memory_bytes = self
98 .memory_bytes
99 .saturating_add(DataKey::entry_size_bytes(value_len));
100
101 let k = dk.storage_key();
102
103 match &mut self.min_key {
104 Some(min) if k < *min => *min = k,
105 None => self.min_key = Some(k),
106 _ => {}
107 }
108
109 match &mut self.max_key {
110 Some(max) if k > *max => *max = k,
111 None => self.max_key = Some(k),
112 _ => {}
113 }
114 }
115}
116
117pub(crate) fn storage_report<C: CanisterKind>(
119 db: &Db<C>,
120 name_to_path: &[(&'static str, &'static str)],
121) -> Result<StorageReport, InternalError> {
122 db.ensure_recovered_state()?;
123 let name_map: BTreeMap<&'static str, &str> = name_to_path.iter().copied().collect();
125 let mut data = Vec::new();
126 let mut index = Vec::new();
127 let mut entity_storage: Vec<EntitySnapshot> = Vec::new();
128 let mut corrupted_keys = 0u64;
129 let mut corrupted_entries = 0u64;
130
131 db.with_store_registry(|reg| {
132 let mut stores = reg.iter().collect::<Vec<_>>();
134 stores.sort_by_key(|(path, _)| *path);
135
136 for (path, store_handle) in stores {
137 store_handle.with_data(|store| {
139 data.push(DataStoreSnapshot {
140 path: path.to_string(),
141 entries: store.len(),
142 memory_bytes: store.memory_bytes(),
143 });
144
145 let mut by_entity: BTreeMap<EntityName, EntityStats> = BTreeMap::new();
147
148 for entry in store.iter() {
149 let Ok(dk) = DataKey::try_from_raw(entry.key()) else {
150 corrupted_keys = corrupted_keys.saturating_add(1);
151 continue;
152 };
153
154 let value_len = entry.value().len() as u64;
155
156 by_entity
157 .entry(*dk.entity_name())
158 .or_default()
159 .update(&dk, value_len);
160 }
161
162 for (entity_name, stats) in by_entity {
163 let path_name = name_map
164 .get(entity_name.as_str())
165 .copied()
166 .unwrap_or(entity_name.as_str());
167 entity_storage.push(EntitySnapshot {
168 store: path.to_string(),
169 path: path_name.to_string(),
170 entries: stats.entries,
171 memory_bytes: stats.memory_bytes,
172 min_key: stats.min_key.map(|key| key.as_value()),
173 max_key: stats.max_key.map(|key| key.as_value()),
174 });
175 }
176 });
177
178 store_handle.with_index(|store| {
180 let mut user_entries = 0u64;
181 let mut system_entries = 0u64;
182
183 for (key, value) in store.entries() {
184 let Ok(decoded_key) = IndexKey::try_from_raw(&key) else {
185 corrupted_entries = corrupted_entries.saturating_add(1);
186 continue;
187 };
188
189 if decoded_key.uses_system_namespace() {
190 system_entries = system_entries.saturating_add(1);
191 } else {
192 user_entries = user_entries.saturating_add(1);
193 }
194
195 if value.validate().is_err() {
196 corrupted_entries = corrupted_entries.saturating_add(1);
197 }
198 }
199
200 index.push(IndexStoreSnapshot {
201 path: path.to_string(),
202 entries: store.len(),
203 user_entries,
204 system_entries,
205 memory_bytes: store.memory_bytes(),
206 });
207 });
208 }
209 });
210
211 entity_storage.sort_by(|left, right| {
214 (left.store.as_str(), left.path.as_str()).cmp(&(right.store.as_str(), right.path.as_str()))
215 });
216
217 Ok(StorageReport {
218 storage_data: data,
219 storage_index: index,
220 entity_storage,
221 corrupted_keys,
222 corrupted_entries,
223 })
224}
225
226#[cfg(test)]
231mod tests {
232 use crate::{
233 db::{
234 Db,
235 commit::{ensure_recovered_for_write, init_commit_store_for_tests},
236 data::{DataKey, DataStore, RawDataKey, RawRow, StorageKey},
237 identity::{EntityName, IndexName},
238 index::{IndexId, IndexKey, IndexKeyKind, IndexStore, RawIndexEntry, RawIndexKey},
239 registry::StoreRegistry,
240 },
241 test_support::test_memory,
242 traits::Storable,
243 };
244 use std::{borrow::Cow, cell::RefCell};
245
246 use super::{StorageReport, storage_report};
247
248 crate::test_canister! {
249 ident = DiagnosticsCanister,
250 }
251
252 const STORE_Z_PATH: &str = "diagnostics_tests::z_store";
253 const STORE_A_PATH: &str = "diagnostics_tests::a_store";
254 const SINGLE_ENTITY_NAME: &str = "diag_single_entity";
255 const SINGLE_ENTITY_PATH: &str = "diagnostics_tests::entity::single";
256 const FIRST_ENTITY_NAME: &str = "diag_first_entity";
257 const FIRST_ENTITY_PATH: &str = "diagnostics_tests::entity::first";
258 const SECOND_ENTITY_NAME: &str = "diag_second_entity";
259 const SECOND_ENTITY_PATH: &str = "diagnostics_tests::entity::second";
260 const MINMAX_ENTITY_NAME: &str = "diag_minmax_entity";
261 const MINMAX_ENTITY_PATH: &str = "diagnostics_tests::entity::minmax";
262 const VALID_ENTITY_NAME: &str = "diag_valid_entity";
263 const VALID_ENTITY_PATH: &str = "diagnostics_tests::entity::valid";
264
265 thread_local! {
266 static STORE_Z_DATA: RefCell<DataStore> = RefCell::new(DataStore::init(test_memory(153)));
267 static STORE_Z_INDEX: RefCell<IndexStore> = RefCell::new(IndexStore::init(test_memory(154)));
268 static STORE_A_DATA: RefCell<DataStore> = RefCell::new(DataStore::init(test_memory(155)));
269 static STORE_A_INDEX: RefCell<IndexStore> = RefCell::new(IndexStore::init(test_memory(156)));
270 static DIAGNOSTICS_REGISTRY: StoreRegistry = {
271 let mut registry = StoreRegistry::new();
272 registry
273 .register_store(STORE_Z_PATH, &STORE_Z_DATA, &STORE_Z_INDEX)
274 .expect("diagnostics test z-store registration should succeed");
275 registry
276 .register_store(STORE_A_PATH, &STORE_A_DATA, &STORE_A_INDEX)
277 .expect("diagnostics test a-store registration should succeed");
278 registry
279 };
280 }
281
282 static DB: Db<DiagnosticsCanister> = Db::new(&DIAGNOSTICS_REGISTRY);
283
284 fn with_data_store_mut<R>(path: &'static str, f: impl FnOnce(&mut DataStore) -> R) -> R {
285 DB.with_store_registry(|registry| {
286 registry
287 .try_get_store(path)
288 .map(|store_handle| store_handle.with_data_mut(f))
289 })
290 .expect("data store lookup should succeed")
291 }
292
293 fn with_index_store_mut<R>(path: &'static str, f: impl FnOnce(&mut IndexStore) -> R) -> R {
294 DB.with_store_registry(|registry| {
295 registry
296 .try_get_store(path)
297 .map(|store_handle| store_handle.with_index_mut(f))
298 })
299 .expect("index store lookup should succeed")
300 }
301
302 fn reset_stores() {
303 init_commit_store_for_tests().expect("commit store init should succeed");
304 ensure_recovered_for_write(&DB).expect("write-side recovery should succeed");
305 DB.with_store_registry(|registry| {
306 for (_, store_handle) in registry.iter() {
309 store_handle.with_data_mut(DataStore::clear);
310 store_handle.with_index_mut(IndexStore::clear);
311 }
312 });
313 }
314
315 fn insert_data_row(path: &'static str, entity_name: &str, key: StorageKey, row_len: usize) {
316 let entity =
317 EntityName::try_from_str(entity_name).expect("diagnostics test entity name is valid");
318 let raw_key = DataKey::raw_from_parts(entity, key)
319 .expect("diagnostics test data key should encode from valid parts");
320 let row_bytes = vec![0xAB; row_len.max(1)];
321 let raw_row = RawRow::try_new(row_bytes).expect("diagnostics test row should encode");
322
323 with_data_store_mut(path, |store| {
324 store.insert(raw_key, raw_row);
325 });
326 }
327
328 fn insert_corrupted_data_key(path: &'static str) {
329 let valid = DataKey::raw_from_parts(
330 EntityName::try_from_str(VALID_ENTITY_NAME).expect("valid test entity name"),
331 StorageKey::Int(1),
332 )
333 .expect("valid data key should encode");
334
335 let mut corrupted_bytes = valid.as_bytes().to_vec();
336 corrupted_bytes[0] = 0;
337 let corrupted_key = <RawDataKey as Storable>::from_bytes(Cow::Owned(corrupted_bytes));
338 let raw_row = RawRow::try_new(vec![0xCD]).expect("diagnostics test row should encode");
339
340 with_data_store_mut(path, |store| {
341 store.insert(corrupted_key, raw_row);
342 });
343 }
344
345 fn index_id(entity_name: &str, field: &str) -> IndexId {
346 let entity =
347 EntityName::try_from_str(entity_name).expect("diagnostics test entity name is valid");
348 let name = IndexName::try_from_parts(&entity, &[field])
349 .expect("diagnostics test index name should encode");
350
351 IndexId(name)
352 }
353
354 fn index_key(kind: IndexKeyKind, entity_name: &str, field: &str) -> RawIndexKey {
355 let id = index_id(entity_name, field);
356 IndexKey::empty_with_kind(&id, kind).to_raw()
357 }
358
359 fn insert_index_entry(path: &'static str, key: RawIndexKey, entry: RawIndexEntry) {
360 with_index_store_mut(path, |store| {
361 store.insert(key, entry);
362 });
363 }
364
365 fn diagnostics_report(name_to_path: &[(&'static str, &'static str)]) -> StorageReport {
366 storage_report(&DB, name_to_path).expect("diagnostics snapshot should succeed")
367 }
368
369 fn data_paths(report: &StorageReport) -> Vec<&str> {
370 report
371 .storage_data
372 .iter()
373 .map(|snapshot| snapshot.path.as_str())
374 .collect()
375 }
376
377 fn index_paths(report: &StorageReport) -> Vec<&str> {
378 report
379 .storage_index
380 .iter()
381 .map(|snapshot| snapshot.path.as_str())
382 .collect()
383 }
384
385 fn entity_store_paths(report: &StorageReport) -> Vec<(&str, &str)> {
386 report
387 .entity_storage
388 .iter()
389 .map(|snapshot| (snapshot.store.as_str(), snapshot.path.as_str()))
390 .collect()
391 }
392
393 #[test]
394 fn storage_report_empty_store_snapshot() {
395 reset_stores();
396
397 let report = diagnostics_report(&[]);
398
399 assert_eq!(report.corrupted_keys, 0);
400 assert_eq!(report.corrupted_entries, 0);
401 assert!(report.entity_storage.is_empty());
402
403 assert_eq!(data_paths(&report), vec![STORE_A_PATH, STORE_Z_PATH]);
404 assert_eq!(index_paths(&report), vec![STORE_A_PATH, STORE_Z_PATH]);
405 assert!(
406 report
407 .storage_data
408 .iter()
409 .all(|snapshot| snapshot.entries == 0)
410 );
411 assert!(
412 report
413 .storage_index
414 .iter()
415 .all(|snapshot| snapshot.entries == 0)
416 );
417 }
418
419 #[test]
420 fn storage_report_single_entity_multiple_rows() {
421 reset_stores();
422
423 insert_data_row(STORE_A_PATH, SINGLE_ENTITY_NAME, StorageKey::Int(3), 3);
424 insert_data_row(STORE_A_PATH, SINGLE_ENTITY_NAME, StorageKey::Int(1), 1);
425 insert_data_row(STORE_A_PATH, SINGLE_ENTITY_NAME, StorageKey::Int(2), 2);
426
427 let report = diagnostics_report(&[(SINGLE_ENTITY_NAME, SINGLE_ENTITY_PATH)]);
428 let entity_snapshot = report
429 .entity_storage
430 .iter()
431 .find(|snapshot| snapshot.store == STORE_A_PATH && snapshot.path == SINGLE_ENTITY_PATH)
432 .expect("single-entity snapshot should exist");
433
434 assert_eq!(entity_snapshot.entries, 3);
435 }
436
437 #[test]
438 fn storage_report_multiple_entities_in_same_store() {
439 reset_stores();
440
441 insert_data_row(STORE_A_PATH, FIRST_ENTITY_NAME, StorageKey::Int(10), 1);
442 insert_data_row(STORE_A_PATH, FIRST_ENTITY_NAME, StorageKey::Int(11), 1);
443 insert_data_row(STORE_A_PATH, SECOND_ENTITY_NAME, StorageKey::Int(20), 1);
444
445 let report = diagnostics_report(&[
446 (FIRST_ENTITY_NAME, FIRST_ENTITY_PATH),
447 (SECOND_ENTITY_NAME, SECOND_ENTITY_PATH),
448 ]);
449
450 let first = report
451 .entity_storage
452 .iter()
453 .find(|snapshot| snapshot.store == STORE_A_PATH && snapshot.path == FIRST_ENTITY_PATH)
454 .expect("first-entity snapshot should exist");
455 let second = report
456 .entity_storage
457 .iter()
458 .find(|snapshot| snapshot.store == STORE_A_PATH && snapshot.path == SECOND_ENTITY_PATH)
459 .expect("second-entity snapshot should exist");
460
461 assert_eq!(first.entries, 2);
462 assert_eq!(second.entries, 1);
463 }
464
465 #[test]
466 fn storage_report_entity_snapshots_are_sorted_by_store_then_path() {
467 reset_stores();
468
469 insert_data_row(STORE_Z_PATH, FIRST_ENTITY_NAME, StorageKey::Int(1), 1);
470 insert_data_row(STORE_A_PATH, SECOND_ENTITY_NAME, StorageKey::Int(2), 1);
471 insert_data_row(STORE_A_PATH, FIRST_ENTITY_NAME, StorageKey::Int(3), 1);
472
473 let report = diagnostics_report(&[
474 (FIRST_ENTITY_NAME, "diagnostics_tests::entity::z_first"),
475 (SECOND_ENTITY_NAME, "diagnostics_tests::entity::a_second"),
476 ]);
477
478 assert_eq!(
479 entity_store_paths(&report),
480 vec![
481 (STORE_A_PATH, "diagnostics_tests::entity::a_second"),
482 (STORE_A_PATH, "diagnostics_tests::entity::z_first"),
483 (STORE_Z_PATH, "diagnostics_tests::entity::z_first"),
484 ]
485 );
486 }
487
488 #[test]
489 fn storage_report_min_max_key_correctness() {
490 reset_stores();
491
492 insert_data_row(STORE_A_PATH, MINMAX_ENTITY_NAME, StorageKey::Int(9), 1);
493 insert_data_row(STORE_A_PATH, MINMAX_ENTITY_NAME, StorageKey::Int(-5), 1);
494 insert_data_row(STORE_A_PATH, MINMAX_ENTITY_NAME, StorageKey::Int(3), 1);
495
496 let report = diagnostics_report(&[(MINMAX_ENTITY_NAME, MINMAX_ENTITY_PATH)]);
497 let entity_snapshot = report
498 .entity_storage
499 .iter()
500 .find(|snapshot| snapshot.store == STORE_A_PATH && snapshot.path == MINMAX_ENTITY_PATH)
501 .expect("min/max snapshot should exist");
502
503 assert_eq!(
504 entity_snapshot.min_key,
505 Some(StorageKey::Int(-5).as_value())
506 );
507 assert_eq!(entity_snapshot.max_key, Some(StorageKey::Int(9).as_value()));
508 }
509
510 #[test]
511 fn storage_report_corrupted_key_detection() {
512 reset_stores();
513
514 insert_data_row(STORE_A_PATH, VALID_ENTITY_NAME, StorageKey::Int(7), 1);
515 insert_corrupted_data_key(STORE_A_PATH);
516
517 let report = diagnostics_report(&[(VALID_ENTITY_NAME, VALID_ENTITY_PATH)]);
518
519 assert_eq!(report.corrupted_keys, 1);
520 let entity_snapshot = report
521 .entity_storage
522 .iter()
523 .find(|snapshot| snapshot.store == STORE_A_PATH && snapshot.path == VALID_ENTITY_PATH)
524 .expect("valid-entity snapshot should exist");
525 assert_eq!(entity_snapshot.entries, 1);
526 }
527
528 #[test]
529 fn storage_report_corrupted_index_value_detection() {
530 reset_stores();
531
532 let key = index_key(IndexKeyKind::User, "diag_index_entity", "email");
533 let corrupted_entry = <RawIndexEntry as Storable>::from_bytes(Cow::Owned(vec![0, 0, 0, 0]));
534 insert_index_entry(STORE_A_PATH, key, corrupted_entry);
535
536 let report = diagnostics_report(&[]);
537 let index_snapshot = report
538 .storage_index
539 .iter()
540 .find(|snapshot| snapshot.path == STORE_A_PATH)
541 .expect("index snapshot should exist");
542
543 assert_eq!(report.corrupted_entries, 1);
544 assert_eq!(index_snapshot.entries, 1);
545 assert_eq!(index_snapshot.user_entries, 1);
546 assert_eq!(index_snapshot.system_entries, 0);
547 }
548
549 #[test]
550 fn storage_report_system_vs_user_namespace_split() {
551 reset_stores();
552
553 let user_key = index_key(IndexKeyKind::User, "diag_namespace_entity", "email");
554 let system_key = index_key(IndexKeyKind::System, "diag_namespace_entity", "email");
555 let user_entry =
556 RawIndexEntry::try_from_keys([StorageKey::Int(1)]).expect("user entry should encode");
557 let system_entry =
558 RawIndexEntry::try_from_keys([StorageKey::Int(2)]).expect("system entry should encode");
559 insert_index_entry(STORE_A_PATH, user_key, user_entry);
560 insert_index_entry(STORE_A_PATH, system_key, system_entry);
561
562 let report = diagnostics_report(&[]);
563 let index_snapshot = report
564 .storage_index
565 .iter()
566 .find(|snapshot| snapshot.path == STORE_A_PATH)
567 .expect("index snapshot should exist");
568
569 assert_eq!(report.corrupted_entries, 0);
570 assert_eq!(index_snapshot.entries, 2);
571 assert_eq!(index_snapshot.user_entries, 1);
572 assert_eq!(index_snapshot.system_entries, 1);
573 }
574}