the importance of recursive mutex for cv