miri::concurrency::sync

Macro declare_id

Source
macro_rules! declare_id {
    ($name: ident) => { ... };
}
Expand description

We cannot use the newtype_index! macro because we have to use 0 as a sentinel value meaning that the identifier is not assigned. This is because the pthreads static initializers initialize memory with zeros (see the src/shims/sync.rs file).