refactor mutex for BsimCtrl