If you did partition all core resources between SMT threads, it seems like the end result would be exactly what was called "rentable units" above, i.e. you coul

If you did partition all core resources between SMT threads, it seems like the end result would be exactly what was called "rentable units" above, i.e. you could convert a high-performance core into two lower-performance cores. Then again, it cannot be easy to ensure that there are no remaining side channels whatsoever.