Pradipta De, Ravi Kothari, Vijay Mann: Identifying sources of Operating System Jitter through fine-grained kernel instrumentation. CLUSTER 2007: 331-340