Enum memmap2::UncheckedAdvice

#[repr(i32)]
pub enum UncheckedAdvice {
    DontNeed = 4,
    Free = 5,
    FreeReusable = 7,
    FreeReuse = 8,
}

Values supported by [Mmap::unsafe_advise][crate::Mmap::unsafe_advise] and [MmapMut::unsafe_advise][crate::MmapMut::unsafe_advise] functions.

These flags can be passed to the madvise (2) system call and effects on the mapped pages which are conceptually writes, i.e. the change the observable contents of these pages which implies undefined behaviour if the mapping is still borrowed.

Hence, these potentially unsafe flags must be used with the unsafe methods and the programmer has to justify that the code does not keep any borrows of the mapping active while the mapped pages are updated by the kernel’s memory management subsystem.

Variants

DontNeed = 4

MADV_DONTNEED

Do not expect access in the near future. (For the time being, the application is finished with the given range, so the kernel can free resources associated with it.)

After a successful MADV_DONTNEED operation, the semantics of memory access in the specified region are changed: subsequent accesses of pages in the range will succeed, but will result in either repopulating the memory contents from the up-to-date contents of the underlying mapped file (for shared file mappings, shared anonymous mappings, and shmem-based techniques such as System V shared memory segments) or zero-fill-on-demand pages for anonymous private mappings.

Note that, when applied to shared mappings, MADV_DONTNEED might not lead to immediate freeing of the pages in the range. The kernel is free to delay freeing the pages until an appropriate moment. The resident set size (RSS) of the calling process will be immediately reduced however.

MADV_DONTNEED cannot be applied to locked pages, Huge TLB pages, or VM_PFNMAP pages. (Pages marked with the kernel- internal VM_PFNMAP flag are special memory areas that are not managed by the virtual memory subsystem. Such pages are typically created by device drivers that map the pages into user space.)

Safety

Using the returned value with conceptually write to the mapped pages, i.e. borrowing the mapping when the pages are freed results in undefined behaviour.

Free = 5

MADV_FREE - Linux (since Linux 4.5) and Darwin

The application no longer requires the pages in the range specified by addr and len. The kernel can thus free these pages, but the freeing could be delayed until memory pressure occurs. For each of the pages that has been marked to be freed but has not yet been freed, the free operation will be canceled if the caller writes into the page. After a successful MADV_FREE operation, any stale data (i.e., dirty, unwritten pages) will be lost when the kernel frees the pages. However, subsequent writes to pages in the range will succeed and then kernel cannot free those dirtied pages, so that the caller can always see just written data. If there is no subsequent write, the kernel can free the pages at any time. Once pages in the range have been freed, the caller will see zero-fill- on-demand pages upon subsequent page references.

The MADV_FREE operation can be applied only to private anonymous pages (see mmap(2)). In Linux before version 4.12, when freeing pages on a swapless system, the pages in the given range are freed instantly, regardless of memory pressure.

Safety

Using the returned value with conceptually write to the mapped pages, i.e. borrowing the mapping while the pages are still being freed results in undefined behaviour.

FreeReusable = 7

MADV_FREE_REUSABLE - Darwin only

Behaves like MADV_FREE, but the freed pages are accounted for in the RSS of the process.

Safety

Using the returned value with conceptually write to the mapped pages, i.e. borrowing the mapping while the pages are still being freed results in undefined behaviour.

FreeReuse = 8

MADV_FREE_REUSE - Darwin only

Marks a memory region previously freed by MADV_FREE_REUSABLE as non-reusable, accounts for the pages in the RSS of the process. Pages that have been freed will be replaced by zero-filled pages on demand, other pages will be left as is.

Safety

Using the returned value with conceptually write to the mapped pages, i.e. borrowing the mapping while the pages are still being freed results in undefined behaviour.

Trait Implementations

impl Clone for UncheckedAdvice

fn clone(&self) -> UncheckedAdvice

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for UncheckedAdvice

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for UncheckedAdvice

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for UncheckedAdvice

fn eq(&self, other: &UncheckedAdvice) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for UncheckedAdvice

impl Eq for UncheckedAdvice

impl StructuralEq for UncheckedAdvice

impl StructuralPartialEq for UncheckedAdvice