Mutex/Condition variables implemented