wait
wait( mutex)和 signal (mutex)之间
signal
while
用整型信号量实现进程互斥的思想是:为必须互斥访问的临界资源CS定义一个互斥信号量mutex,将初始值置为1,然后将CS放入wait( mutex)和 signal (mutex)之间。