临界资源必须是互斥的访问,即一段时间内只能让一个进程访问,对应临界区。
p(s)—申请资源—wait(s)
v(s)—释放资源—signal(s)
为使多个进程能互斥的访问某临界资源,只需为该资源设置一互斥信号量mutex,并设初始值为1,然后将各进程访问该资源的临界区置于wait(mutex)和signal(mutex)操作之间即可。
互斥信号量值的描述:
初值为1,取值范围为(-1,0,1)。
当 mutex=1 时,表示两个进程皆未进入需要互斥的临界区;
当 mutex=0 时,表示有一个进程进入临界区运行,另外一个必须等待,改入阻塞队列;
当 mutex=-1时,表示有一个进程正在临界区运行,另一个进程因等待而阻塞在信号量队列中,需要被当前已在临界区运行的进程退出时唤醒。