线程的同步、互斥：信号量、互斥锁、条件变量