基于互斥量的线程同步