Affinity masks live in ThreadMachine.Runtime, so source thread creation inherits the same mask subsequently read/written by these shims.
- get : U → ThreadMachine.Runtime CpuAffinity.Mask
- put : U → ThreadMachine.Runtime CpuAffinity.Mask → U
Instances For
def
Miri.Interpreter.CpuAffinityMachine.initializeMasks
{U K : Type}
(runtime : Runtime U)
(os : String)
(noCore : Bool)
(cpuCount : UInt32)
(endian : ABI.Endian)
(chunkSize : ThreadStacks.M K U Nat)
:
ThreadStacks.M K U Unit
Source machine initialization checks the count before selecting OS/no_core support. The same runtime field is used by startRegularThread inheritance.
Equations
- One or more equations did not get rendered due to their size.
Instances For
def
Miri.Interpreter.CpuAffinityMachine.bind
{K U C : Type}
[DecidableEq K]
(runtime : Runtime U)
(access : PlaceMachine.AccessConfig K (ThreadStacks.Storage U))
(place : PlaceHooks Memory.Provenance (ThreadStacks.State K U) C MachineHooks.FrameExtra)
(choice : C)
(communicate : Bool)
(hostPid : ThreadStacks.M K U UInt32)
(base : CpuAffinity.Hooks Memory.Provenance (ThreadStacks.State K U) (MPlaceTy Memory.Provenance))
:
Compiler c_ulong layout, errno destination and actual pointer null resolution remain supplied operations. All byte/scalar effects are canonical.
Equations
- One or more equations did not get rendered due to their size.