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)).