laddu-memory 0.21.4

Amplitude analysis tools for Rust
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

//! Public memory planning and reservation workflow.

use laddu_memory::{MemoryBudget, MemoryState};

#[test]
fn public_workflow_reserves_and_releases_memory() {
    let state = MemoryState::discover();
    state.override_device_capacity("test", "Test", 1_000, Some(500));
    let pool = state.pool("test", MemoryBudget::bytes(300)).unwrap();
    let lease = pool.reserve(200).unwrap();
    assert_eq!(
        (lease.bytes(), pool.reserved(), pool.remaining()),
        (200, 200, 100)
    );
    drop(lease);
    assert_eq!(
        (pool.reserved(), pool.remaining(), pool.high_water()),
        (0, 300, 200)
    );
}