o3 0.33.1

shared-nothing primitives
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

use buffer::Read as _;
use hold::{Choice, scope::Deferred};

use crate::{
    buffer,
    buffer::{hold, resident, storage},
};

/// One deferred range with its retention policy and resident ceiling locked.
#[must_use]
pub struct Bound<'input, 'd, R: buffer::Source + 'input> {
    input: (R::View<'input>, &'input resident::Budget<'d>),
    choice: Choice,
}

impl<'input, 'd, R: buffer::Source + 'input> Bound<'input, 'd, R> {
    pub fn as_slice(&self) -> &'input [u8] {
        self.input.0.as_slice()
    }

    pub fn is_empty(&self) -> bool {
        self.len() == 0
    }

    pub fn len(&self) -> usize {
        self.as_slice().len()
    }

    pub fn defer(self) -> Deferred<'input, 'd, R> {
        Deferred { input: self.input }
    }
}

impl<'input, 'd, R: hold::raw::Retain<'d> + 'input> Deferred<'input, 'd, R> {
    pub fn bind(self, policy: hold::Policy) -> Bound<'input, 'd, R> {
        let logical = self.len();
        let choice = policy.choose(logical, || R::charge(&self.input.0).resident_bytes);
        let Deferred { input } = self;
        Bound { input, choice }
    }
}

impl<'input, 'd, R: hold::raw::Retain<'d> + 'input> Bound<'input, 'd, R> {
    /// Maximum resident bytes produced when this exact bound is retained.
    pub fn ceiling(&self) -> usize {
        match self.choice {
            Choice::Empty => 0,
            Choice::Copy => self.len(),
            Choice::Share => self.len().max(R::charge(&self.input.0).resident_bytes),
        }
    }

    pub fn try_retain(self) -> Result<hold::Retained<'d>, (Self, hold::Error)> {
        self.choice
            .try_retain::<R>(&self.input.0, self.input.1)
            .map_err(|error| (self, error))
    }

    /// Retains this range and ends the bound if resident admission fails.
    pub fn try_into(self) -> Result<resident::Shared<'d>, hold::Error> {
        self.choice
            .try_retain::<R>(&self.input.0, self.input.1)
            .map(hold::Retained::into_shared)
    }
}

const _: () = {
    let word = size_of::<usize>();
    assert!(size_of::<Bound<'static, 'static, storage::Shared>>() == 5 * word);
    assert!(size_of::<Option<Bound<'static, 'static, storage::Shared>>>() == 5 * word);
    assert!(size_of::<Result<resident::Shared<'static>, hold::Error>>() == 5 * word);
    assert!(
        size_of::<
            Result<
                hold::Retained<'static>,
                (Bound<'static, 'static, storage::Shared>, hold::Error),
            >,
        >() == 9 * word
    );
};