ic-backup 0.7.0

Host-side snapshot backup and same-release recovery for Internet Computer canisters
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

//! Public typed byte binding and local recovery; no remote snapshot effect is claimed.

mod support;

use ic_backup::{
    model::{
        attempt_journal::{
            AttemptJournalRecordError, ObservationOutcomeRecord, ObservationReceiptRequest,
        },
        ic_request::{
            IcManagementMethodRecord, IcManagementRequest, IcManagementRequestRecord,
            MAX_IC_REQUEST_RECORD_BYTES,
        },
        operation_plan::OperationPlanRecord,
    },
    ops::persistence::{
        AttemptJournalError, AttemptJournalGuard, BackupLayoutGuard, create_json_durable,
        create_operation_plan, read_json, read_operation_plan,
    },
};
use serde_json::json;
use std::fs;

fn request(method: IcManagementMethodRecord) -> IcManagementRequestRecord {
    IcManagementRequestRecord::new(IcManagementRequest {
        method,
        target: "renrk-eyaaa-aaaaa-aaada-cai".into(),
        snapshot_id: None,
    })
    .expect("typed closed host-ingress request")
}
fn plan(request: &IcManagementRequestRecord) -> OperationPlanRecord {
    serde_json::from_value(json!({
        "version": 1,
        "context": {"network": "ab".repeat(32), "caller": "2vxsx-fae", "release": "cd".repeat(32)},
        "inventory": {"version": 1, "targets": [{"canister_id": request.target(), "parent_canister_id": null, "role": null, "module_hash": null}]},
        "selected_targets": [request.target()],
        "graph": {"version": 1, "nodes": [{"operation_sequence": 7, "depends_on": []}]},
        "operations": [{"operation_sequence": 7, "target": request.target(), "request": request.digest().hash(), "budget": {"mutations": 1, "observations": 1}}],
        "budget": {"mutations": 1, "observations": 1}
    })).expect("original byte-bound local plan")
}

#[test]
fn preserves_typed_payload_and_independent_observation_allowance_through_reopen() {
    let root = support::temp_root("ic-backup-public-wire");
    let layout = BackupLayoutGuard::acquire(&root).expect("local exclusion");
    let wire = request(IcManagementMethodRecord::TakeCanisterSnapshot);
    let plan = plan(&wire);
    let intent = plan.digest();
    create_operation_plan(&layout, &plan).expect("retained original intent");
    let path = root.join("request.json");
    // Generic bounded JSON ops retain codec declarations. This fixture does not
    // introduce a runner request layout or an authority/dispatch persistence API.
    create_json_durable(&path, &wire).expect("retain exact typed declaration");
    let original_bytes = fs::read(&path).expect("retained declaration bytes");
    let authority = plan.attempt_authority(7).expect("original authority");
    wire.validate_mutation_binding(authority.binding())
        .expect("exact bytes bound before local reservation");
    let mut journal =
        AttemptJournalGuard::create(&layout, authority).expect("original finite ledger");
    let mutation = journal
        .reserve_mutation()
        .expect("consume locally, without dispatch");
    drop(journal);
    drop(layout);

    let layout = BackupLayoutGuard::acquire(&root).expect("new local owner");
    let plan = read_operation_plan(&layout, &intent).expect("same original plan");
    let retained: IcManagementRequestRecord =
        read_json(&path, MAX_IC_REQUEST_RECORD_BYTES).expect("bounded current wire owner");
    assert_eq!(retained, wire);
    assert_eq!(retained.arguments(), wire.arguments());
    let authority = plan.attempt_authority(7).expect("same issued allowance");
    retained
        .validate_mutation_binding(authority.binding())
        .expect("same payload method/routing/bytes");
    let mut journal =
        AttemptJournalGuard::open(&layout, &authority).expect("spent pending original mutation");
    let observer = request(IcManagementMethodRecord::ListCanisterSnapshots);
    let digest = observer.digest();
    observer
        .validate_observation_binding(authority.binding(), &digest)
        .expect("same target with independent observer payload");
    let observation = journal
        .reserve_observation(mutation, digest.hash())
        .expect("consume separate allowance without remote observation");
    journal
        .record_observation(ObservationReceiptRequest {
            attempt: observation,
            request: digest.hash().into(),
            outcome: ObservationOutcomeRecord::Uncertain,
            evidence: "12".repeat(32),
        })
        .expect("caller-qualified settled local fixture, without IC proof");
    let view = journal.record().expect("retained accounting").view();
    assert_eq!(view.mutations_used, 1);
    assert_eq!(view.observations_used, 1);
    assert_eq!(view.mutations_remaining, 0);
    assert_eq!(view.observations_remaining, 0);
    assert_eq!(view.pending_mutation, Some(mutation));
    assert_eq!(view.pending_observation, None);
    assert!(
        matches!(journal.reserve_mutation(), Err(AttemptJournalError::Record(AttemptJournalRecordError::MutationPending { attempt })) if attempt == mutation)
    );
    assert!(create_json_durable(&path, &observer).is_err());
    assert_eq!(
        fs::read(&path).expect("unchanged wire evidence"),
        original_bytes
    );
    drop(journal);
    drop(layout);
    fs::remove_dir_all(root).expect("clean successful local fixture");
}