A non-work-conserving operating system scheduler for SMT processors