Probably makes verification easier because you don't have to worry about the case of "sharing resources between hardware threads" - instead you can focus on wor

Probably makes verification easier because you don't have to worry about the case of "sharing resources between hardware threads" - instead you can focus on worrying about the only-slightly-less-complicated "sharing resources between privilege domains on a single hardware thread". edit: Instead running two hardware threads interleaved and sharing the resources on a single core, the implication is that you're turning it into a problem of scheduling work on separate cores with some provably separate resources. That probably makes it easier to have certain guarantees, and leaves you more time to worry about resources that you really do need to share but cannot afford to duplicate/distribute across the machine. Sometimes you really want two threads to share memory!