have working mutex and cv