Chip multithreading systems need a new operating system scheduler