第5章 并发性：互斥和同步.pptVIP

5.5.1 同步 阻塞send,阻塞receive 发送者和接收者都被阻塞，直到完成信息的投递。 无阻塞send,阻塞receive 接收者阻塞，直到请求的信息到达。 无阻塞send,无阻塞receive 不要求任何一方等待。 * 5.5.2 寻址 直接寻址 send原语包含目标进程的标识号； receive原语可显式地指定源进程，也可不指定。 间接寻址 发送者将消息发送到合适的信箱； 接收者从信箱中获得消息。 * 5.5.3 消息格式 固定长度消息 可变长度消息 消息类型 目的进程标识符 源进程标识符 消息长度 控制信息 消息内容 * 消息头 消息体 5.5.4 排队原则 先进先出 优先级 * 5.5.5 互斥 * 使用消息解决有界缓冲区生产者/消费者问题 * 作业 1、写出信号量定义，semWait和semSignal原语，以及用信号量实现互斥的伪代码。 2、假设一个阅览室有100个座位，没有座位时读者在阅览室外等待；每个读者进入阅览室时都必须在阅览室门口的一个登记本上登记座位号和姓名，然后阅览，离开阅览室时要去掉登记项。每次只允许一个人登记或去掉登记。用信号量操作描述读者的行为。 * 作业 3、设公共汽车上，司机和售票员活动如下：1）司机：启动汽车，正常行车，到站停车；2）售票员：关车门，售票，开门上下客。用信号量操作描述司机和售票员的同步。 4、 (选做)独木桥问题：东、西向汽车过独木桥。桥上无车时允许一方汽车过桥，待全部过完后才允许另一方汽车过桥。用信号量操作写出同步算法。(提示：参考读者优先的解法) * 交换指令 void exchange (int register, int memory) { int temp; temp = memory; memory = register; register = temp; } * 互斥协议-比较和交换指令 * 互斥协议-交换指令 * 机器指令方法的优缺点 优点 适用于在单处理器或共享内存的多处理器上的任何数目的进程； 非常简单且易于证明； 可用于支持多个临界区，每个临界区可以用它自己的变量定义。 缺点 忙等待； 可能饥饿； 可能死锁。 * 5.3 信号量 1965年E.W.Dijkstra提出了新的同步工具--信号量。 基本原理 两个或多个进程通过简单的信号进行合作，一个进程被迫在某一位置停止，直到它接收到一个特定的信号。 任何复杂的合作需求都可以通过适当的信号结构得到满足。 * 信号量 信号量是一个与队列有关的整型变量。 可以初始化成非负数； semWait操作使信号量减1。若值为负数，则执行semWait的进程阻塞，否则继续执行； semSignal操作使信号量加1。若值小于或等于0，则被semWait操作阻塞的进程被解除阻塞。 * 信号量的值(-2) 信号量队列指针 信号量原语的定义 * 5.3.1 互斥 * 互斥的例子 * 5.3.2 生产者/消费者问题 问题描述： 有一个或多个生产者生产某种类型的数据，并放置在缓冲区中； 有一个消费者从缓冲区中取数据，每次取一项； 系统保证避免对缓冲区的重复操作，即任何时候只有一个主体（生产者或消费者）可以访问缓冲区。 缓存已满时，生产者不能继续添加数据； 缓存已空时，消费者不能继续移走数据。 * 1、无限缓冲区的生产者/消费者问题 producer: while (true) { /* produce item v */ b[in] = v; in++; } * consumer: while (true) { while (in = out) /*do nothing */; w = b[out]; out++; /* consume item w */ } 无限缓冲区 * 使用信号量解决无限缓冲区生产者/消费者问题 * semaphore n=0,s=1; void producer(){ while (true) { produce(); semWait(s); append(); semSignal(s); semSignal(n); } } void consumer(){ while (true) { semWait(n); semWait(s); take(); semSignal(s); consume(); } } 2、有限缓冲缓冲区的生产者/消费者问题 producer: while (true) { /* produce item v */ while ((in + 1) % n == out) /* do nothing */; b[in] = v; in