nanvm-lib 0.1.1

NaNVM library
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

use super::{
    block::Block, block_header::BlockHeader, manager::Dealloc, object::Object,
    ref_counter_update::RefCounterUpdate,
};

use core::hash::Hash;

pub trait OptionalBlock: Copy + PartialEq + Hash {
    type BlockHeader: BlockHeader;
    fn is_ref(self) -> bool;
    unsafe fn try_get_block_header(self) -> Option<*const Self::BlockHeader>;
    unsafe fn delete(self, block_header: *mut Self::BlockHeader);
    unsafe fn ref_counter_update(self, i: RefCounterUpdate) -> Option<*mut Self::BlockHeader> {
        match self.try_get_block_header() {
            Some(header) if (*header).ref_counter_update(i) == 0 => Some(header as *const _ as _),
            _ => None,
        }
    }
}

impl<T: Object, D: Dealloc> OptionalBlock for *const Block<T, D> {
    type BlockHeader = D::BlockHeader;
    #[inline(always)]
    fn is_ref(self) -> bool {
        true
    }
    #[inline(always)]
    unsafe fn try_get_block_header(self) -> Option<*const Self::BlockHeader> {
        Some(&(*self).header)
    }
    #[inline(always)]
    unsafe fn delete(self, block_header: *mut Self::BlockHeader) {
        (*(block_header as *mut Block<T, D>)).delete();
    }
}