Microarchitectural states Sample Clauses

Microarchitectural states. A microarchitectural state µ is a 4-tuple ⟨buf , cs, bp, sc⟩ where buf is a reorder buffer, cs is the state of the unified cache (for data and instructions), bp is the branch predictor state, and sc is the scheduler state. A microarchitectural state µ is initial if buf = ε and the microarchitectural components are in their initial states. Sim- ilarly, µ is final if buf = ε. Hence, a hardware configuration ⟨σ, µ⟩ is initial (respectively final) if σ and µ are so. For simplicity, we write ⟨m, a, buf , cs, bp, sc⟩ to represent the hardware configuration ⟨⟨m, a⟩,⟨buf , cs, bp, sc⟩⟩.