os7 mutex and condition variables