Skip to main content

ic_memory/runtime/
mod.rs

1mod admission;
2#[cfg(test)]
3mod admission_tests;
4mod adoption;
5#[cfg(test)]
6mod adoption_tests;
7mod allocations;
8mod backing;
9mod config;
10mod diagnostics;
11mod error;
12#[cfg(any(test, feature = "test-support"))]
13#[path = "../testing/diagnostics.rs"]
14pub mod fixture_diagnostics;
15mod layout;
16mod policy;
17
18#[cfg(test)]
19mod allocation_tests;
20#[cfg(test)]
21mod growth_tests;
22#[cfg(test)]
23#[expect(
24    unsafe_code,
25    reason = "exercise raw reads with valid uninitialized destinations"
26)]
27mod read_tests;
28#[cfg(test)]
29mod request_tests;
30#[cfg(test)]
31mod tests;
32
33pub use admission::{BootstrapAdmission, BootstrapAdmissionError};
34pub use adoption::RuntimeAdoptionError;
35
36pub use allocations::{
37    MemoryAllocation, MemoryAllocationSummary, MemoryAllocations, MemoryBindingSummary,
38};
39pub use backing::RuntimeMemory;
40pub use config::MemoryManagerConfig;
41pub use error::{
42    MemoryResolutionError, RuntimeBootstrapError, RuntimeConstructionError, RuntimeDiagnosticError,
43    RuntimeGrowError, RuntimeOpenError,
44};
45pub use layout::MemoryManagerLayoutError;
46pub use policy::GenericAllocationPolicy;
47
48use crate::{
49    LedgerCommitStore, PolicyIdentity, RuntimeBootstrapPolicy, STABLE_CELL_VALUE_OFFSET,
50    StableCellLedgerError,
51    requests::SealedDeclarationSnapshot,
52    slot::MEMORY_MANAGER_LEDGER_ID,
53    stable_cell::{EncodedLedgerRecord, decode_stable_cell_commit_store_from_memory},
54};
55use ic_stable_structures::{
56    Cell, Memory,
57    memory_manager::{MemoryId, MemoryManager},
58};
59
60use std::rc::Rc;
61
62enum RuntimeLifecycle {
63    Unbootstrapped,
64    Bootstrapped {
65        allocations: Vec<crate::AllocationDeclaration>,
66        generation: u64,
67        binding: RuntimeBootstrapBinding,
68    },
69}
70
71struct RuntimeBootstrapBinding {
72    source: SealedDeclarationSnapshot,
73    policy_identity: PolicyIdentity,
74    pool: crate::MemoryAllocationPool,
75}
76
77///
78/// MemoryRuntime
79///
80/// Canonical owner of allocation bootstrap state for one backing memory.
81///
82/// The runtime owns its `MemoryManager`, allocation-ledger persistence, bootstrap
83/// lifecycle, committed allocation capability, opens, and diagnostics. Static
84/// linked-program declarations are supplied separately as one immutable
85/// [`SealedDeclarationSnapshot`].
86///
87/// Each bootstrap attempt fallibly decodes its ledger record from persisted
88/// memory. Capacity-checked writes use `Cell`; diagnostics also read persisted
89/// memory directly.
90///
91/// `M` needs only [`Memory`]. The runtime does not require the backing memory
92/// to be `Send`, `Sync`, `Clone`, or `'static`.
93///
94/// The host must supply exclusive backing custody: no other runtime, manager or
95/// raw IO may access the same backing while this runtime or any of its leases
96/// lives. Aliases hidden behind a generic [`Memory`] cannot be detected here.
97/// Drop every lease and the runtime before constructing a replacement on retained
98/// backing. Opens are exclusive within this runtime, including across warm
99/// bootstrap and authority verification.
100///
101
102pub struct MemoryRuntime<M: Memory> {
103    memory_manager: MemoryManager<Rc<M>>,
104    // Shared backing, immutable geometry and live accounting belong to growth.
105    // Handles reserve physical capacity; the manager owns bucket metadata.
106    growth: Rc<backing::GrowthState<M>>,
107    lifecycle: RuntimeLifecycle,
108}
109
110impl<M: Memory> MemoryRuntime<M> {
111    /// Construct an unbootstrapped runtime without overwriting foreign memory.
112    ///
113    /// Empty backing memory is initialized as an
114    /// `ic_stable_structures::MemoryManager`. Nonempty memory must pass bounded
115    /// validation of the current manager header, bucket table, and extents; otherwise
116    /// construction returns a typed error before the manager can
117    /// write its header or allocation table. A pre-grown blank memory is
118    /// nonempty and is therefore rejected rather than assumed disposable.
119    ///
120    /// # Errors
121    ///
122    /// Returns [`RuntimeConstructionError::ForeignMemory`] for nonempty memory
123    /// without `MemoryManager` magic, or
124    /// [`RuntimeConstructionError::UnsupportedMemoryManagerVersion`] when the
125    /// magic is recognized but the layout version is not current. Invalid
126    /// metadata returns [`RuntimeConstructionError::Layout`]. Refused fresh
127    /// metadata growth returns [`RuntimeConstructionError::Growth`] without
128    /// writes, allowing the same backing memory to be retried. Reopening honors
129    /// the actual persisted bucket size; only fresh memory uses 128 pages.
130    pub fn new(memory: M) -> Result<Self, RuntimeConstructionError> {
131        Self::construct(memory, None)
132    }
133
134    /// Construct with an explicit immutable bucket policy. Existing memory must
135    /// match exactly; mismatches fail before manager initialization or writes.
136    ///
137    /// # Errors
138    ///
139    /// Returns the construction errors described by [`Self::new`], or
140    /// [`RuntimeConstructionError::BucketSizeMismatch`] when existing geometry
141    /// differs from `config`.
142    pub fn new_with_config(
143        memory: M,
144        config: MemoryManagerConfig,
145    ) -> Result<Self, RuntimeConstructionError> {
146        Self::construct(memory, Some(config))
147    }
148
149    fn construct(
150        memory: M,
151        requested: Option<MemoryManagerConfig>,
152    ) -> Result<Self, RuntimeConstructionError> {
153        if cfg!(target_endian = "big") {
154            return Err(MemoryManagerLayoutError::UnsupportedByteOrder.into());
155        }
156        let (bucket_size_pages, allocated_buckets) = if memory.size() == 0 {
157            // Reserve the metadata page before the dependency writes its header.
158            // This fresh allocation is owned here; caller-supplied nonempty
159            // memory still passes the layout checks below before any writes.
160            if memory.grow(1) == -1 {
161                return Err(RuntimeGrowError::BackingRefused {
162                    additional_pages: 1,
163                }
164                .into());
165            }
166            (requested.unwrap_or_default().bucket_size_pages(), 0)
167        } else {
168            let measured = layout::read(&memory)?;
169            let actual = measured.bucket_pages;
170            if let Some(config) = requested {
171                check_bucket_size(actual, config)?;
172            }
173            (actual, measured.allocated_buckets)
174        };
175        let backing = Rc::new(memory);
176        let growth = Rc::new(backing::GrowthState {
177            backing: Rc::clone(&backing),
178            bucket_size_pages,
179            allocated_buckets: std::cell::RefCell::new(allocated_buckets),
180            open_slots: [const { std::cell::Cell::new(0) }; 4],
181        });
182        Ok(Self {
183            memory_manager: MemoryManager::init_with_bucket_size(
184                Rc::clone(&backing),
185                bucket_size_pages,
186            ),
187            growth,
188            lifecycle: RuntimeLifecycle::Unbootstrapped,
189        })
190    }
191
192    /// Return the immutable bucket configuration bound to this runtime's manager.
193    #[must_use]
194    pub fn memory_manager_config(&self) -> MemoryManagerConfig {
195        // Construction has already validated the nonzero persisted setting.
196        MemoryManagerConfig::from_validated(self.growth.bucket_size_pages)
197    }
198
199    /// Return whether this runtime has published committed allocation authority.
200    #[must_use]
201    pub const fn is_bootstrapped(&self) -> bool {
202        matches!(self.lifecycle, RuntimeLifecycle::Bootstrapped { .. })
203    }
204
205    /// Bootstrap this backing memory from one immutable declaration snapshot.
206    ///
207    /// Recovery, metadata admission, logical resolution, policy evaluation,
208    /// staging, persistence and binding publication are local to this runtime.
209    /// A repeated call is idempotent only when the sealed declaration snapshot,
210    /// canonical host pool and [`RuntimeBootstrapPolicy::runtime_bootstrap_identity`] match the
211    /// successful bootstrap. A mismatch returns a typed error without
212    /// advancing the durable generation or re-evaluating policy.
213    /// Independently sealed snapshots match when their canonical contents are equal.
214    ///
215    /// # Panics
216    ///
217    /// Panics if a private runtime or encoding invariant is broken, or backing
218    /// memory or a policy callback panics.
219    pub fn bootstrap<P: RuntimeBootstrapPolicy>(
220        &mut self,
221        declarations: &SealedDeclarationSnapshot,
222        pool: &crate::MemoryAllocationPool,
223        policy: &P,
224    ) -> Result<u64, RuntimeBootstrapError<P::Error>> {
225        let policy_identity = policy.runtime_bootstrap_identity();
226        match &self.lifecycle {
227            RuntimeLifecycle::Unbootstrapped => {
228                self.bootstrap_unbootstrapped(declarations, pool, policy, policy_identity)?;
229            }
230            RuntimeLifecycle::Bootstrapped { binding, .. } => {
231                binding.validate(declarations, pool, &policy_identity)?;
232            }
233        }
234        match &self.lifecycle {
235            RuntimeLifecycle::Bootstrapped { generation, .. } => Ok(*generation),
236            RuntimeLifecycle::Unbootstrapped => {
237                unreachable!("successful bootstrap publishes committed allocations")
238            }
239        }
240    }
241
242    fn validate_pool_custody(
243        &self,
244        occupied: &[bool; crate::constants::MAX_ALLOCATIONS],
245        pool: &crate::MemoryAllocationPool,
246    ) -> Result<(), super::MemoryResolutionError> {
247        for id in 0..crate::MEMORY_MANAGER_INVALID_ID {
248            if pool.contains(id) && self.memory_size_pages(id) != 0 && !occupied[usize::from(id)] {
249                return Err(super::MemoryResolutionError::UnmanagedAllocation { id });
250            }
251        }
252        Ok(())
253    }
254
255    fn bootstrap_unbootstrapped<P: RuntimeBootstrapPolicy>(
256        &mut self,
257        declarations: &SealedDeclarationSnapshot,
258        pool: &crate::MemoryAllocationPool,
259        policy: &P,
260        policy_identity: PolicyIdentity,
261    ) -> Result<(), RuntimeBootstrapError<P::Error>> {
262        let mut memory = self
263            .memory(MEMORY_MANAGER_LEDGER_ID)
264            .expect("governance memory is not publicly leasable");
265        let mut record = decode_stable_cell_commit_store_from_memory(&memory)?;
266        let recovered = record.recover_or_genesis()?;
267        let occupied = recovered.ledger().occupied_slots();
268        self.validate_pool_custody(&occupied, pool)?;
269        if memory.size() == 0 {
270            // Empty memory decodes to an uninitialized record. Preserve fresh
271            // cell acquisition before admission without persisting genesis.
272            memory = write_ledger_cell(memory, &LedgerCommitStore::default())?;
273        }
274        let mut admission = BootstrapAdmission::new(recovered.ledger(), declarations, pool);
275        let preparation = policy.prepare_bootstrap(&mut admission);
276        let historical = admission.complete()?;
277        preparation.map_err(RuntimeBootstrapError::AdmissionPolicy)?;
278        let resolved = declarations.resolve(&recovered, &occupied, historical, pool)?;
279        let (generation, resolved) = {
280            let (staged, resolved) = crate::ledger::stage_generation(recovered, resolved, policy)?;
281            record.commit_generation(&staged)?;
282            (staged.current_generation(), resolved)
283        };
284        drop(write_ledger_cell(memory, &record)?);
285        // Publish application bindings only after the durable Cell write succeeds.
286        let mut allocations = resolved;
287        allocations.retain(|declaration| {
288            !crate::is_ic_memory_stable_key(declaration.stable_key().as_str())
289        });
290        self.lifecycle = RuntimeLifecycle::Bootstrapped {
291            allocations,
292            generation,
293            binding: RuntimeBootstrapBinding {
294                source: declarations.clone(),
295                policy_identity,
296                pool: pool.clone(),
297            },
298        };
299        Ok(())
300    }
301
302    /// Borrow this runtime's persisted application bindings without IO.
303    /// These passive views cannot open memory independently of the runtime.
304    pub fn committed_allocations(
305        &self,
306    ) -> Result<&[crate::AllocationDeclaration], RuntimeOpenError> {
307        match &self.lifecycle {
308            RuntimeLifecycle::Unbootstrapped => Err(RuntimeOpenError::NotBootstrapped),
309            RuntimeLifecycle::Bootstrapped { allocations, .. } => Ok(allocations),
310        }
311    }
312
313    /// Return the in-memory persisted generation without decoding the ledger.
314    pub const fn committed_generation(&self) -> Result<u64, RuntimeOpenError> {
315        match &self.lifecycle {
316            RuntimeLifecycle::Unbootstrapped => Err(RuntimeOpenError::NotBootstrapped),
317            RuntimeLifecycle::Bootstrapped { generation, .. } => Ok(*generation),
318        }
319    }
320
321    /// Borrow the host pool bound by successful bootstrap for host projections.
322    /// This is current policy, never evidence of historical ownership or free IDs.
323    pub const fn allocation_pool(&self) -> Result<&crate::MemoryAllocationPool, RuntimeOpenError> {
324        match &self.lifecycle {
325            RuntimeLifecycle::Unbootstrapped => Err(RuntimeOpenError::NotBootstrapped),
326            RuntimeLifecycle::Bootstrapped { binding, .. } => Ok(&binding.pool),
327        }
328    }
329
330    /// Lease by durable key using this runtime's persisted current bindings.
331    ///
332    /// A second live open returns [`RuntimeOpenError::AlreadyOpen`] without IO.
333    /// Dropping the handle, or a collection that owns it, permits reopening.
334    pub fn open_memory(&self, stable_key: &str) -> Result<RuntimeMemory<M>, RuntimeOpenError> {
335        self.memory(self.memory_id(stable_key)?)
336    }
337
338    /// Resolve an application key's committed ID without opening memory,
339    /// reading history, or changing the host's policy or bucket configuration.
340    pub fn memory_id(&self, stable_key: &str) -> Result<u8, RuntimeOpenError> {
341        crate::key::validate(stable_key)?;
342        if crate::is_ic_memory_stable_key(stable_key) {
343            return Err(RuntimeOpenError::ReservedStableKey {
344                stable_key: stable_key.to_string(),
345            });
346        }
347        let declaration =
348            crate::declaration::declaration_for_key(self.committed_allocations()?, stable_key)
349                .ok_or_else(|| RuntimeOpenError::StableKeyNotCommitted(stable_key.to_string()))?;
350        Ok(declaration.slot().id())
351    }
352
353    fn memory(&self, id: u8) -> Result<RuntimeMemory<M>, RuntimeOpenError> {
354        let word = &self.growth.open_slots[usize::from(id / 64)];
355        let mask = 1_u64 << (id % 64);
356        if word.get() & mask != 0 {
357            return Err(RuntimeOpenError::AlreadyOpen { id });
358        }
359        let memory = self.memory_manager.get(MemoryId::new(id));
360        word.set(word.get() | mask);
361        Ok(RuntimeMemory {
362            memory,
363            growth: Rc::clone(&self.growth),
364            id,
365        })
366    }
367
368    // Size-only observations need no handle carrying runtime growth authority.
369    fn memory_size_pages(&self, id: u8) -> u64 {
370        self.memory_manager.get(MemoryId::new(id)).size()
371    }
372
373    fn ledger_record_from_memory(&self) -> Result<LedgerCommitStore, StableCellLedgerError> {
374        // Decoding only reads; the manager handle retains backing lifetime
375        // without carrying the growth owner needed by writable runtime handles.
376        let memory = self
377            .memory_manager
378            .get(MemoryId::new(MEMORY_MANAGER_LEDGER_ID));
379        decode_stable_cell_commit_store_from_memory(&memory)
380    }
381}
382
383impl RuntimeBootstrapBinding {
384    fn validate<P>(
385        &self,
386        declarations: &SealedDeclarationSnapshot,
387        pool: &crate::MemoryAllocationPool,
388        policy_identity: &PolicyIdentity,
389    ) -> Result<(), RuntimeBootstrapError<P>> {
390        if &self.source != declarations {
391            return Err(RuntimeBootstrapError::DeclarationSnapshotMismatch);
392        }
393        if &self.pool != pool {
394            return Err(RuntimeBootstrapError::AllocationPoolMismatch);
395        }
396        if &self.policy_identity != policy_identity {
397            return Err(RuntimeBootstrapError::PolicyIdentityMismatch {
398                established: self.policy_identity,
399                requested: *policy_identity,
400            });
401        }
402        Ok(())
403    }
404}
405
406fn write_ledger_cell<M: Memory, P>(
407    memory: RuntimeMemory<M>,
408    record: &LedgerCommitStore,
409) -> Result<RuntimeMemory<M>, RuntimeBootstrapError<P>> {
410    let encoded = EncodedLedgerRecord::new(record).map_err(|value_size| {
411        RuntimeBootstrapError::StableCellLedgerWriteTooLarge { value_size }
412    })?;
413    let value_size = encoded.len();
414    // The record limit is below u32::MAX, including the eight-byte cell header.
415    let required_bytes = STABLE_CELL_VALUE_OFFSET + value_size as u64;
416    let available_bytes = memory.size().saturating_mul(crate::WASM_PAGE_SIZE_BYTES);
417    if required_bytes > available_bytes {
418        let grow_by = (required_bytes - available_bytes).div_ceil(crate::WASM_PAGE_SIZE_BYTES);
419        memory.grow(grow_by)?;
420    }
421    Ok(Cell::new(memory, encoded).into_memory())
422}
423
424const fn check_bucket_size(
425    actual: u16,
426    requested: MemoryManagerConfig,
427) -> Result<(), RuntimeConstructionError> {
428    if actual != requested.bucket_size_pages() {
429        return Err(RuntimeConstructionError::BucketSizeMismatch {
430            persisted: actual,
431            requested: requested.bucket_size_pages(),
432        });
433    }
434    Ok(())
435}