PintOS - Avoid busy waiting of threads