操作系统设计与实现 第二章 进程(三)
2016-05-25 17:28
274 查看
2.2.4 睡眠和唤醒
Peterson解法和TSL解法都是正确的,但它们都有忙等待的缺点。本质一样:当一个进程想进入临界区时,先检查是否允许进入,若不允许,则进程考虑将忙等待,直到许可为止。缺点:浪费CPU时间,还可能引起预料不到的后果(优先级反转问题)。
几条进程间通信原语,它们在无法进入临界区时将阻塞,而不是忙等待。最简单的是睡眠(sleep)和唤醒(wakeup)。sleep系统调用将引起调用进程阻塞,即被挂起,知道另一进程将其唤醒。wakeup调用有一个参数,即要被唤醒的进程。另一种方法是sleep和wakeup的内存地址。
生产者-消费者问题
为了简单起见,这里只考虑一个生产者、一个消费者的情况。
麻烦之处在于,当缓冲区已满,生产者还想放入一个新的数据项的情况。解决办法就是让生产者睡眠,待消费者从缓冲区中取走一个或多个数据项时再唤醒它。同样,当消费者试图从缓冲区中取数据而发现缓冲区为空时,它就睡眠,直到生产者向缓冲区中放入一些数据时再将它唤醒。
为了跟踪缓冲区中的数据项数,徐璈一个变量count。如果缓冲区最多存放N个数据,则生产者将首先检查count是否到达N,若是,则生产者睡眠;否则生产者向缓冲区中放入一个数据项并将count的值增1。消费者的实现与其类似。
#define N 100 /*缓冲区个数*/ int count = 0; /*缓冲区内的数据项个数*/ void producer(void) { int item; while(TRUE) { item = produce_item(); /*产生下一个数据项*/ if(count == N) sleep(); /*缓冲区满,进入睡眠*/ insert_item(item); /*将一个数据项放入缓冲区*/ count = count + 1; /*缓冲区内数据项个数增1*/ if(count == 1) wakeup(consumer); /*缓冲区空?*/ } } void consumer(void) { int item; while(TRUE) { if(count == 0) sleep(); /*缓冲区空,进入睡眠*/ item = remove_item(); /*从缓冲区中取走一个数据项*/ count = count - 1; /*缓冲区数据项减一*/ if(count == N - 1) wakeup(producer); /*缓冲区满?*/ consume_item(); /*消费该数据项*/ } }
这里有可能出现竞争条件,其原因是对count的访问未加限制。出现问题的实质在于发给一个未睡眠进程的唤醒信号被丢失了。如果它没有丢失,则一切都很正常。
一种快速的弥补方法就是修改规则,加上一个唤醒等待位。当向一个清醒的进程发送一个唤醒信号时,将该位置置1。随后,当进程要睡眠时,如果唤醒等待位为1,则将该位置置0,但进程仍然保持清醒。
相关文章推荐
- 应用领航:盘点那些年我们一起追过的OS
- 无奇不有!盘点各国自己开发的操作系统
- 可自定义oem的萝卜家园 Ghost XP 新春装机版 V200801 下载
- C#实现判断操作系统是否为Win8以上版本
- js获取本机操作系统类型的两种方法
- Linux操作系统添加新硬盘方法
- java如何获取本地操作系统进程列表
- Linux rdesktop操作系统下远程登录Windows XP桌面
- 32位操作系统认出超出4G内存的方法
- Linux rpm tar 操作系统下软件的安装与卸载方法
- JavaScript 获取用户客户端操作系统版本
- jsp 获取客户端的浏览器和操作系统信息
- Windows 操作系统的安全设置
- php判断当前操作系统类型
- PHP获取用户的浏览器与操作系统信息的代码
- Perl操作系统环境变量的脚本代码
- javascript获取本机操作系统类型的方法
- 封装好的js判断操作系统与浏览器代码分享
- javascript实现获取浏览器版本、操作系统类型
- php根据操作系统转换文件名大小写的方法