struct Epoll {
interest_list: RefCell<BTreeMap<(FdId, i32), Rc<RefCell<EpollEventInterest>>>>,
ready_list: Rc<ReadyList>,
thread_id: RefCell<Vec<ThreadId>>,
}
Expand description
An Epoll
file descriptor connects file handles and epoll events
Fields§
§interest_list: RefCell<BTreeMap<(FdId, i32), Rc<RefCell<EpollEventInterest>>>>
A map of EpollEventInterests registered under this epoll instance. Each entry is differentiated using FdId and file descriptor value.
ready_list: Rc<ReadyList>
A map of EpollEventInstance that will be returned when epoll_wait
is called.
Similar to interest_list, the entry is also differentiated using FdId
and file descriptor value.
thread_id: RefCell<Vec<ThreadId>>
A list of thread ids blocked on this epoll instance.
Implementations§
Trait Implementations§
Source§impl FileDescription for Epoll
impl FileDescription for Epoll
fn name(&self) -> &'static str
fn close<'tcx>( self: Box<Self>, _communicate_allowed: bool, _ecx: &mut MiriInterpCx<'tcx>, ) -> InterpResult<'tcx, Result<()>>
fn as_unix(&self) -> &dyn UnixFileDescription
Source§fn read<'tcx>(
&self,
_self_ref: &FileDescriptionRef,
_communicate_allowed: bool,
_ptr: Pointer,
_len: usize,
_dest: &MPlaceTy<'tcx>,
_ecx: &mut MiriInterpCx<'tcx>,
) -> InterpResult<'tcx>
fn read<'tcx>( &self, _self_ref: &FileDescriptionRef, _communicate_allowed: bool, _ptr: Pointer, _len: usize, _dest: &MPlaceTy<'tcx>, _ecx: &mut MiriInterpCx<'tcx>, ) -> InterpResult<'tcx>
Reads as much as possible into the given buffer
ptr
.
len
indicates how many bytes we should try to read.
dest
is where the return value should be stored: number of bytes read, or -1
in case of error.Source§fn write<'tcx>(
&self,
_self_ref: &FileDescriptionRef,
_communicate_allowed: bool,
_ptr: Pointer,
_len: usize,
_dest: &MPlaceTy<'tcx>,
_ecx: &mut MiriInterpCx<'tcx>,
) -> InterpResult<'tcx>
fn write<'tcx>( &self, _self_ref: &FileDescriptionRef, _communicate_allowed: bool, _ptr: Pointer, _len: usize, _dest: &MPlaceTy<'tcx>, _ecx: &mut MiriInterpCx<'tcx>, ) -> InterpResult<'tcx>
Writes as much as possible from the given buffer
ptr
.
len
indicates how many bytes we should try to write.
dest
is where the return value should be stored: number of bytes written, or -1
in case of error.Source§fn seek<'tcx>(
&self,
_communicate_allowed: bool,
_offset: SeekFrom,
) -> InterpResult<'tcx, Result<u64>>
fn seek<'tcx>( &self, _communicate_allowed: bool, _offset: SeekFrom, ) -> InterpResult<'tcx, Result<u64>>
Seeks to the given offset (which can be relative to the beginning, end, or current position).
Returns the new position from the start of the stream.
fn metadata<'tcx>(&self) -> InterpResult<'tcx, Result<Metadata>>
fn is_tty(&self, _communicate_allowed: bool) -> bool
Source§impl UnixFileDescription for Epoll
impl UnixFileDescription for Epoll
Source§fn pread<'tcx>(
&self,
_communicate_allowed: bool,
_offset: u64,
_ptr: Pointer,
_len: usize,
_dest: &MPlaceTy<'tcx>,
_ecx: &mut MiriInterpCx<'tcx>,
) -> InterpResult<'tcx>
fn pread<'tcx>( &self, _communicate_allowed: bool, _offset: u64, _ptr: Pointer, _len: usize, _dest: &MPlaceTy<'tcx>, _ecx: &mut MiriInterpCx<'tcx>, ) -> InterpResult<'tcx>
Reads as much as possible into the given buffer
ptr
from a given offset.
len
indicates how many bytes we should try to read.
dest
is where the return value should be stored: number of bytes read, or -1
in case of error.Source§fn pwrite<'tcx>(
&self,
_communicate_allowed: bool,
_ptr: Pointer,
_len: usize,
_offset: u64,
_dest: &MPlaceTy<'tcx>,
_ecx: &mut MiriInterpCx<'tcx>,
) -> InterpResult<'tcx>
fn pwrite<'tcx>( &self, _communicate_allowed: bool, _ptr: Pointer, _len: usize, _offset: u64, _dest: &MPlaceTy<'tcx>, _ecx: &mut MiriInterpCx<'tcx>, ) -> InterpResult<'tcx>
Writes as much as possible from the given buffer
ptr
starting at a given offset.
ptr
is the pointer to the user supplied read buffer.
len
indicates how many bytes we should try to write.
dest
is where the return value should be stored: number of bytes written, or -1
in case of error.fn flock<'tcx>( &self, _communicate_allowed: bool, _op: FlockOp, ) -> InterpResult<'tcx, Result<()>>
Source§fn get_epoll_ready_events<'tcx>(&self) -> InterpResult<'tcx, EpollReadyEvents>
fn get_epoll_ready_events<'tcx>(&self) -> InterpResult<'tcx, EpollReadyEvents>
Check the readiness of file description.
Auto Trait Implementations§
impl !Freeze for Epoll
impl !RefUnwindSafe for Epoll
impl !Send for Epoll
impl !Sync for Epoll
impl Unpin for Epoll
impl !UnwindSafe for Epoll
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 72 bytes