Struct miri::TlsData

pub struct TlsData<'tcx> { /* private fields */ }

Implementations

impl<'tcx> TlsData<'tcx>

pub fn create_tls_key( &mut self, dtor: Option<Instance<'tcx>>, max_size: Size ) -> InterpResult<'tcx, u128>

Generate a new TLS key with the given destructor. max_size determines the integer size the key has to fit in.

pub fn delete_tls_key(&mut self, key: u128) -> InterpResult<'tcx>

pub fn load_tls( &self, key: u128, thread_id: ThreadId, cx: &impl HasDataLayout ) -> InterpResult<'tcx, Scalar<Provenance>>

pub fn store_tls( &mut self, key: u128, thread_id: ThreadId, new_data: Scalar<Provenance>, cx: &impl HasDataLayout ) -> InterpResult<'tcx>

pub fn set_macos_thread_dtor( &mut self, thread: ThreadId, dtor: Instance<'tcx>, data: Scalar<Provenance> ) -> InterpResult<'tcx>

Set the thread wide destructor of the thread local storage for the given thread. This function is used to implement _tlv_atexit shim on MacOS.

Thread wide dtors are available only on MacOS. There is one destructor per thread as can be guessed from the following comment in the _tlv_atexit implementation:

NOTE: this does not need locks because it only operates on current thread data

Trait Implementations

impl<'tcx> Debug for TlsData<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> Default for TlsData<'tcx>

fn default() -> Self

Returns the “default value” for a type.

impl VisitProvenance for TlsData<'_>

fn visit_provenance(&self, visit: &mut VisitWith<'_>)