Changed some of the naming for the mutex indicating that a given thread had just run on the CPU to make the code more obvious.