Skip to main content

DualKernel

ctfs::core::kernel

Struct DualKernel 

Source 
#[repr(C, align(64))]
pub struct DualKernel<I1: Invariant + Copy, I2: Invariant + Copy> {
    pub frontier: FrontierState,
    pub state1: StateCell,
    pub state2: StateCell,
    pub inv1: I1,
    pub inv2: I2,
}

Fields§

§frontier: FrontierState§state1: StateCell§state2: StateCell§inv1: I1§inv2: I2

Implementations§

Source§

impl<I1: Invariant + Copy, I2: Invariant + Copy> DualKernel<I1, I2>

Source

pub fn new(inv1: I1, state1: StateCell, inv2: I2, state2: StateCell) -> Self

Source

pub fn admit( &mut self, fact_id: &FactId, deps: &[FactId], payload1: &[u8], payload2: &[u8], ) -> Result<(), AdmitError>

Source

pub fn query(&self, requirement: &CausalClock) -> bool

Source

pub fn clock(&self) -> &CausalClock

Auto Trait Implementations§

§

impl<I1, I2> Freeze for DualKernel<I1, I2>
where I1: Freeze, I2: Freeze,

§

impl<I1, I2> RefUnwindSafe for DualKernel<I1, I2>
where I1: RefUnwindSafe, I2: RefUnwindSafe,

§

impl<I1, I2> Send for DualKernel<I1, I2>
where I1: Send, I2: Send,

§

impl<I1, I2> Sync for DualKernel<I1, I2>
where I1: Sync, I2: Sync,

§

impl<I1, I2> Unpin for DualKernel<I1, I2>
where I1: Unpin, I2: Unpin,

§

impl<I1, I2> UnwindSafe for DualKernel<I1, I2>
where I1: UnwindSafe, I2: UnwindSafe,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.