Improving server software support for simultaneous multithreaded processors