a std::mutex is enough, no need for std::recursive_mutex