How can the registers still hold this info when users switch? I would think that it is very transitory, and wiped by other stuff quickly
SMT (hyperthreading) introduces some ambiguity when the context change is going to happen, and it appears there's instructions that are callable where registers/mem can be read that were outside the calling context.