Quantifies changes of thread interleaving in different execution of a multithreaded program