Module tokio::util::ptr_expose
source · Expand description
Utility for helping miri understand our exposed pointers.
During normal execution, this module is equivalent to pointer casts. However, when running under miri, pointer casts are replaced with lookups in a hash map. This makes Tokio compatible with strict provenance when running under miri (which comes with a performance cost).