US9715411B2 - Techniques for Mapping Logical Threads to Physical Threads in a Simultaneous Multithreading Data Processing System