Kernel Timer Should Change

• Uniform 1%-1.5% performance impact from 10ms to 1ms
• Dramatic improvements in user-mode scheduling performance
• Need to analyze kernel timer interrupt processing