Skip to main content

FutexTable

Struct FutexTable 

Source
pub struct FutexTable { /* private fields */ }
Expand description

A kernel-wide table of futexes sharded across NUM_BUCKETS hash buckets.

Each 32-bit aligned address in an address space can potentially have an associated futex that userspace can wait upon. Both private (FUTEX_PRIVATE_FLAG) and shared futexes share this table via FutexKeyValue. Each bucket holds intrusive doubly-linked lists of stack-allocated waiter nodes for internal waiters (wait, wait_boot, and lock_pi), eliminating per-process table allocations and per-wait heap allocations.

Implementations§

Source§

impl FutexTable

Source

pub fn wait_boot<Key: FutexKey>( &self, current_task: &CurrentTask, addr: UserAddress, value: u32, mask: u32, deadline: BootInstant, timer_slack: BootDuration, ) -> Result<(), Errno>

Wait on the futex at the given address given a boot deadline.

See FUTEX_WAIT when passed a deadline in CLOCK_REALTIME.

Source

pub fn wait<Key: FutexKey>( &self, current_task: &CurrentTask, addr: UserAddress, value: u32, mask: u32, deadline: MonotonicInstant, ) -> Result<(), Errno>

Wait on the futex at the given address.

See FUTEX_WAIT.

Source

pub fn wake<Key: FutexKey>( &self, task: &Task, addr: UserAddress, count: usize, mask: u32, ) -> Result<usize, Errno>

Wake the given number of waiters on futex at the given address. Returns the number of waiters actually woken.

See FUTEX_WAKE.

Source

pub fn requeue<Key: FutexKey>( &self, current_task: &CurrentTask, addr: UserAddress, wake_count: usize, requeue_count: usize, new_addr: UserAddress, expected_value: Option<u32>, ) -> Result<usize, Errno>

Requeue the waiters to another address.

See FUTEX_CMP_REQUEUE

Source

pub fn get_rt_mutex_priority_boost(&self, owner_tid: u32) -> Option<i64>

Returns the highest priority (lowest numerical task_prio value) among waiters blocked on any RT-Mutex currently owned by owner_tid, including transitive priority boosts.

Source

pub fn lock_pi<Key: FutexKey>( &self, current_task: &CurrentTask, addr: UserAddress, deadline: MonotonicInstant, ) -> Result<(), Errno>

Lock the futex at the given address.

See FUTEX_LOCK_PI.

Source

pub fn unlock_pi<Key: FutexKey>( &self, current_task: &CurrentTask, addr: UserAddress, ) -> Result<(), Errno>

Unlock the futex at the given address.

See FUTEX_UNLOCK_PI.

Source

pub fn external_wait( &self, memory: MemoryObject, offset: u64, value: u32, mask: u32, ) -> Result<(Arc<()>, Receiver<()>), Errno>

Wait on the futex at the given offset in the memory.

Returns a receiver that will be signaled when the futex is woken, and an Arc<()> token that must be kept alive by the caller for the duration of the wait. If the caller drops the token (e.g., if the external client disconnects), the waiter is marked as stale and will be garbage-collected by the next futex operation on this bucket.

See FUTEX_WAIT.

Source

pub fn external_wake( &self, memory: MemoryObject, offset: u64, count: usize, mask: u32, ) -> Result<usize, Errno>

Wake the given number of waiters on futex at the given offset in the memory. Returns the number of waiters actually woken.

See FUTEX_WAKE.

Source

pub fn external_requeue( &self, first_memory: MemoryObject, first_offset: u64, second_memory: Option<MemoryObject>, second_offset: u64, wake_count: usize, requeue_count: usize, expected_value: Option<u32>, ) -> Result<usize, Errno>

Trait Implementations§

Source§

impl Default for FutexTable

Source§

fn default() -> Self

Returns the “default value” for a type. Read more

Auto Trait Implementations§

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> AsAny for T
where T: Any,

Source§

fn as_any(&self) -> &(dyn Any + 'static)

Source§

fn type_name(&self) -> &'static str

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<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<T, D> Encode<Ambiguous1, D> for T
where D: ResourceDialect,

Source§

unsafe fn encode( self, _encoder: &mut Encoder<'_, D>, _offset: usize, _depth: Depth, ) -> Result<(), Error>

Encodes the object into the encoder’s buffers. Any handles stored in the object are swapped for Handle::INVALID. Read more
Source§

impl<T, D> Encode<Ambiguous2, D> for T
where D: ResourceDialect,

Source§

unsafe fn encode( self, _encoder: &mut Encoder<'_, D>, _offset: usize, _depth: Depth, ) -> Result<(), Error>

Encodes the object into the encoder’s buffers. Any handles stored in the object are swapped for Handle::INVALID. Read more
§

impl<F, N> FidlIntoNative<Box<N>> for F
where F: FidlIntoNative<N>,

§

fn fidl_into_native(self) -> Box<N>

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> InstanceFromServiceTransport<T> for T

§

fn from_service_transport(handle: T) -> T

Converts the given service transport handle of type T to [Self]
Source§

impl<T, U> Into32<U> for T
where U: MultiArchFrom<T>,

Source§

fn into_32(self) -> U

Source§

impl<T, U> Into64<U> for T
where U: MultiArchFrom<T>,

Source§

fn into_64(self) -> U

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> IntoAny for T
where T: 'static + Send + Sync,

Source§

fn into_any(self: Arc<T>) -> Arc<dyn Any + Send + Sync> ⓘ

Cast the given object into a dyn std::any::Any.
Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
§

impl<T, U> IntoExt<U> for T
where U: FromExt<T>,

§

fn into_ext(self) -> U

Performs the conversion.
Source§

impl<T, U> IntoFidl<U> for T
where U: FromFidl<T>,

Source§

fn into_fidl(self) -> U

Source§

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

Source§

fn from_64(value: T) -> U

Source§

fn from_32(value: T) -> U

§

impl<T> Pointable for T

§

const ALIGN: usize

The alignment of pointer.
§

type Init = T

The type for initializers.
§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
Source§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

§

impl<E> RunsTransport<Mpsc> for E

§

impl<E> RunsTransport<Mpsc> for E
where E: RunsTransport<Mpsc>,

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

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

Source§

type Error = !

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

fn try_from(value: U) -> Result<T, !>

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.
§

impl<T, U> TryIntoExt<U> for T
where U: TryFromExt<T>,

§

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

§

fn try_into_ext(self) -> Result<U, <T as TryIntoExt<U>>::Error>

Tries to perform the conversion.
§

impl<St> WithTag for St

§

fn tagged<T>(self, tag: T) -> Tagged<T, St> ⓘ

Produce a new stream from this one which yields item tupled with a constant tag