(1.21)--用信号量解决互斥问题.pptVIP

* 信号量的应用 1、利用信号量实现进程互斥 为使多个进程能互斥地访问某临界资源，只须为该资源设置一互斥信号量mutex，其信号量的初值为系统中这个资源的数量。 假设系统中只有一台打印机，则mutex=1，然后将各进程访问该资源的临界区CS置于wait(mutex)和signal(mutex)操作之间即可。 但是用P(mutex)和V(mutex) 显得更简洁。 * 三个进程互斥进入临界区 临界区 临界区 临界区 P1 P2 P3 互斥区 设一个互斥信号量s，初值为1 即 semaphore s=1； * 三个进程互斥进入临界区 P(s) V(s) 临界区 P(s) V(s) 临界区 P(s) V(s) 临界区 P1 P2 P3 互斥区 semaphore s=1； * 三个进程互斥进入临界区 P(s) V(s) 临界区 P(s) V(s) 临界区 P(s) V(s) 临界区 P1 P2 P3 互斥区 设P3先进入 s=s-1 于是s=0 设P3退出后 s=s+1 于是s=1 P1执行后 s=s-1 于是s=0 P2执行s=s-1 于是s=-1，阻塞 P1退出： s=s+1 于是s=0≤0，唤醒P2 P2退出后 此时s=s+1 于是s=1 设：x代表某航班机座号，p1和p2是两个售票进程，售票工作是对变量x减1.试用信号量的P、V操作实现这两个进程的互斥. void p1( ) 　{ while(1) 　 { 　 x=x-1；//临界区 　 } } void p2( ) 　{ while(1) 　 { 　 x=x-1；//临界区 　 } } 设：x代表某航班机座号，p1和p2是两个售票进程，售票工作是对变量x减1.试用信号量的P、V操作实现这两个进程的互斥. semaphore s= 1;//信号量声明，表示对x的独占 void p1( ) 　{ while(1) 　 { P(s)； 　 x=x-1；//临界区 　 V(s)； } } void p2( ) 　{ while(1) 　 { P(s)； 　 x=x-1；//临界区 　 V(s)； } } * 利用信号量实现进程互斥，解法固定： 对于互斥问题，一般只设一个信号量，且置初值为1； 在临界区的前面使用P操作，申请资源，离开临界区后使用V操作，释放资源。 临界区 进入区 退出区 剩余区 * 同步问题的一般书写格式： 算法名称及说明（有时可省略） semaphore:=初值; //信号量说明及其初始化 其他变量说明及其初始值； begin parbegin process1( ) //并发进程1 begin . . end . . processn( ) //并发进程n begin . . end parend end * 或者如下格式： semaphore:=初值; //信号量说明及其初始化 其他变量说明及其初始值； begin parbegin process1( ) //并发进程1 process2( ) //并发进程2 . . processn( ) //并发进程n parend processi( ) //第i个并发进程 begin . . end