FIX can't guarantee starvation freedom; quoting c++ standard regarding fairness of std::mutexes