Trait creusot_contracts::std::os::unix::thread::JoinHandleExt

1.9.0 · source · 
pub trait JoinHandleExt {
    // Required methods
    fn as_pthread_t(&self) -> u64;
    fn into_pthread_t(self) -> u64;
}
Available on Unix only.
Expand description

Unix-specific extensions to JoinHandle.

Required Methods§

1.9.0 · source

fn as_pthread_t(&self) -> u64

Extracts the raw pthread_t without taking ownership

1.9.0 · source

fn into_pthread_t(self) -> u64

Consumes the thread, returning the raw pthread_t

This function transfers ownership of the underlying pthread_t to the caller. Callers are then the unique owners of the pthread_t and must either detach or join the pthread_t once it’s no longer needed.

Implementors§

1.9.0 · source§

impl<T> JoinHandleExt for JoinHandle<T>