Documentation

Miri.Input.EvalThreadLocalSource

concurrency/thread.rs:629–667 on the actual EvalWorld. The existing ThreadManager map is authoritative and runtime.tls.statics retains its typed strict pointers for GC and thread-exit cleanup. Byte relocation, fresh identity, TLS-kind insertion, root addressing and publication operate on one machine; the legacy dual-memory insertAllocation adapter is not used.

source
@[reducible, inline]
abbrev Miri.Input.EvalThreadLocalSource.User (Os R P H D O Aff B Host : Type) :
Type
Equations
Instances For
    source
    @[reducible, inline]
    abbrev Miri.Input.EvalThreadLocalSource.Machine (Os R P H D O Aff B Host : Type) :
    Type
    Equations
    Instances For
      source
      @[reducible, inline]
      abbrev Miri.Input.EvalThreadLocalSource.M (Os R P H D O Aff B Host A : Type) :
      Type
      Equations
      Instances For
        source
        def Miri.Input.EvalThreadLocalSource.getOrCreate {Os R P H D O Aff B Host C : Type} (p : CompilerProviders.Prepared) (maximum : ABI.Size) (extras : Interpreter.MemoryExtras.Hooks Memory.MiriMemoryKind (User Os R P H D O Aff B Host) P) (leaves : EvalPointerSource.Leaves Os R P H D O Aff B Host C) (source : EvalPointerSource.Constructed Os R P H D O Aff B Host) (definition : MIR.DefId) :
        M Os R P H D O Aff B Host (Memory.Pointer Memory.Provenance)
        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          def Miri.Input.EvalThreadLocalSource.hook {Os R P H D O Aff B Host C : Type} (p : CompilerProviders.Prepared) (maximum : ABI.Size) (extras : Interpreter.MemoryExtras.Hooks Memory.MiriMemoryKind (User Os R P H D O Aff B Host) P) (leaves : EvalPointerSource.Leaves Os R P H D O Aff B Host C) (source : EvalPointerSource.Constructed Os R P H D O Aff B Host) :
          C → (definition : MIR.DefId) → Interpreter.MachineHooks.M Memory.MiriMemoryKind (User Os R P H D O Aff B Host) (Memory.Pointer (Option Memory.Provenance))

          Lift only the actual machine transition; the active MIR stack and shared ThreadStacks registry survive unchanged, including failed initialization.

          Equations
          • One or more equations did not get rendered due to their size.
          Instances For