Struct SleepSemaphore

pub struct SleepSemaphore<T> {
    pub resource_pool: SyncUnsafeCell<T>,
    pub sema: AtomicU64,
    pub wait_room: SyncUnsafeCell<VecDeque<TaskId>>,
}

Fields

resource_pool: SyncUnsafeCell<T>

sema: AtomicU64

wait_room: SyncUnsafeCell<VecDeque<TaskId>>

Implementations

impl<T> SleepSemaphore<T>

pub const fn new(t: T) -> Self

unsafe fn wait(&self)

unsafe fn wakeup_one(&self)

pub unsafe fn get_pool_mut(&self) -> &mut T

Trait Implementations

impl<T, E> Semaphore<T, E> for SleepSemaphore<T>

where T: ResourceMan<E>, E: Copy + Clone,

fn p(&self) -> Option<E>

Probeer (try): the consumer end, tries to get resource, blocks on empty

fn v(&self, e: E)

Verhoog (increment): the producer end, increments the resource and must not block

unsafe fn p_unguarded(&self) -> Option<E>

if the semaphore is also to be accessed in the epilogue level, the L2 lock is already acquired.

unsafe fn v_unguarded(&self, e: E)

fn is_empty(&self) -> bool

must not block

fn is_full(&self) -> bool

must not block