[wmf]

A Haswell core can execute four instructions per cycle, but sometimes a thread doesn't have four instructions that are ready to execute because they're waiting for something (like a cache miss). In that case, SMT allows the processor to use that idle capacity to execute instructions from a different thread.