互斥量接口