Exploiting spare resources of in-order SMT processors executing hard real-time threads