第4讲、操作系统-经典的IPC问题 第二章进程与线程.pptVIP

Page ? * 一、生产者-消费者问题 2.3.5 信号量 基本类型 一个有限空间的共享缓冲区，负责存放货物 一个生产者向缓冲区中放物品，缓冲区满则不能放 一个消费者从缓冲区中拿物品，缓冲区空则不能拿 Page ? * 一、生产者-消费者问题 2.3.5 信号量 问题分析 生产者与消费者之间的同步操作，生产者放时，消息者不能拿，反之亦然。 Page ? * 一、生产者-消费者问题 2.3.5 信号量 Semaphore empty = N, full = 0; void producer( void ) { int item; while ( TRUE ) { item = produce_item(); down(empty); insert_item( item ); up(full); } } void consumer( void ) { int item; while ( TRUE ) { down(full); item = get_item( item ); up(empty); consume_item(item); } } Page ? * 一、生产者-消费者问题 2.3.5 信号量 扩展类型 一个有限空间的共享缓冲区，负责存放货物 多个生产者向缓冲区中放物品，缓冲区满则不能放 多个消费者从缓冲区中拿物品，缓冲区空则不能拿 Page ? * 一、生产者-消费者问题 2.3.5 信号量 问题分析 多个生产者放时，货物放在什么地方？ 多个消费者拿时，拿哪一个货物？ 办法： 多个生产者，一个一个放。 多个消费者，一个一个拿。 Page ? * 一、生产者-消费者问题 2.3.5 信号量 Semaphore empty = N, full = 0, mutex = 1; void producer( void ) { int item; while ( TRUE ) { item = produce_item(); down(empty); down(mutex); insert_item( item ); up(mutex); up(full); } } void consumer( void ) { int item; while ( TRUE ) { down(full); down(mutex); item = get_item( item ); down(mutex); up(empty); consume_item(item); } } Page ? * 一、生产者-消费者问题 2.3.5 信号量 Semaphore empty = N, full = 0, mutex = 1; void producer( void ) { int item; while ( TRUE ) { item = produce_item(); down(empty); down(mutex); insert_item( item ); up(mutex); up(full); } } void consumer( void ) { int item; while ( TRUE ) { down(full); down(mutex); item = insert_item( item ); down(mutex); up(empty); consume_item(item); } } down(empty)与down(mutex)的顺序是否可以交换？ Page ? * 一、生产者-消费者问题 2.3.5 信号量 Semaphore empty = N, full = 0, mutex = 1; void producer( void ) { int item; while ( TRUE ) { item = produce_item(); down(empty); down(mutex); insert_item( item ); up(mutex); up(full); } } void consumer( void ) { int item; while ( TRUE ) {