信号量与PV操作课件知识讲解.pptVIP

3.3 信号量与PV操作 3.3.1同步与同步机制 3.3.2信号量与PV操作 3.3.3信号量实现互斥 3.3.4信号量解决五个哲学家吃通心面问题 3.3.5信号量解决生产者-消费者问题 3.3.6记录型信号量解决读者-写者问题 3.3.7记录型信号量解决理发师问题 3.3.1 同步和同步机制 著名的生产者--消费者问题是计算机操作系统中并发进程内在关系的一种抽象，是典型的进程同步问题。 在操作系统中，生产者进程可以是计算进程、发送进程；而消费者进程可以是打印进程、接收进程等等。 解决好生产者--消费者问题就解决好了一类并发进程的同步问题。 生产者--消费者问题表述 有界缓冲问题 有n个生产者和m个消费者，连接在一个有k个单位缓冲区的有界缓冲上。其中，pi和cj都是并发进程，只要缓冲区未满，生产者pi生产的产品就可投入缓冲区；只要缓冲区不空，消费者进程cj就可从缓冲区取走并消耗产品。 生产者-消费者问题算法描述(1) int k; typedef anyitem item; //item类型 item buffer[k]; int in=0,out=0,counter=0; 生产者-消费者问题算法描述(3) process consumer(void) { while (true) { //无限循环 if (counter==0) //缓冲区空，消费者睡眠 sleep(consumer); nextc=buffer[out];//取一个产品到nextc out=(out+1)%k; //指针推进 counter--; //取走一个产品，计数减1 if(counter==k-1) //缓冲满了，取走一件产品并唤 wakeup(producer); //醒生产者 {consume the item in nextc};//消耗产品 } } 生产者-消费者问题的算法描述(4) 生产者和消费者进程对counter的交替执行会使其结果不唯一 生产者和消费者进程的交替执行会导致进程永远等待 竞争条件(Race Condition) counter++ could be implemented as register1 = counter register1 = register1 + 1 count = register1 counter-- could be implemented as register2 = counter register2 = register2 - 1 counter = register2 Consider this execution interleaving with “counter = 5” initially: S0: producer execute register1 = counter {register1 = 5} S1: producer execute register1 = register1 + 1 {register1 = 6} S2: consumer execute register2 = counter {register2 = 5} S3: consumer execute register2 = register2 - 1 {register2 = 4} S4: producer execute counter = register1 {counter = 6 } S5: consumer execute counter = register2 {counter = 4} 生产者-消费者问题算法描述(3) process consumer(void) { while (true) { //无限循环 if (counter==0) //缓冲区空，消费者睡眠 sleep(consumer); nextc=buffer[out];//取一个产品到nextc out=(out+1)%k; //指针推进 counter--; //取走一个产品，计数减1 if(counter==k-1) //缓冲满了，取走一件产品并唤醒生产者 wakeup(producer); {consume the item in nextc};//消耗产品 } } 生产者-消费者问题算法描述(2) process