Operating system processor scheduling design