操作系统专题讨论及小结.docVIP

2011-2012第一学期 《操作系统》 专题讨论及小结 系别： 管理系 学号： 0913011031 姓名： 马 明 专业： 信息管理与信息系统 成绩： 讨论题目：利用信号量机制解决进程同步和互斥问题 提示：可从以下几个方面着手 先要明确一些重要概念（同步、互斥、直接制约、间接制约、临界区等）； 从系统和用户的角度阐述一下进程并发的重要性和必要性； 非信号量机制存在的问题（要有例证和分析）； 信号量机制的原理阐述； 解决同步与互斥问题的案例（最好是生活化的，要有分析）； 优点总结； 信号量机制总结 缺点和不足之处总结； 注：以上内容涵盖到就可以，但条理要清晰，逻辑要合理，例证要浅显易懂（最好有注释）。 正文： 进程互斥是进程之间发生的一种间接性作用，一般是程序不希望的。通常的情况是两个或两个以上的进程需要同时访问某个共享变量。我们一般将发生能够问共享变量的程序段成为临界区。两个进程不能同时进入临界区，否则就会导致数据的不一致，产生与时间有关的错误。解决互斥问题应该满足互斥和公平两个原则，即任意时刻只能允许一个进程处于同一共享变量的临界区，而且不能让任一进程无限期地等待。互斥问题可以用硬件方法解决，我们不作展开；也可以用软件方法。 进程同步是进程之间直接的相互作用，是合作进程间有意识的行为典型的例子 信号量是最早出现的用来解决进程同步与互斥问题的机制，包括一个称为信号量的变量及对它进行的两个原语操作每个信号量至少须记录两个信息：信号量的值和等待该信号量的进程队列。进程具有并发性。多个进程实体同存于内存中，在一段时间内可以同时运行。并发性是进程的重要特性，也是操作系统的重要特性。引入进程概念的目的，也正是为了描述和实现并发执行。系统中各个并发程序活动具有独立性的一面，但在两个并发程序活动之间有时也会有相互依赖和相互制约关系。程序之间的制约关系有两种：直接制约关系和间接制约关系。直接制约关系通常是在彼此之间有逻辑关系的两个并发执行的程序之间发生的，一般是由于各个程序段要求共享信息引起的。间接制约关系是由于两个并发程序段由于竞争使用同一资源引起的，得到资源的程序段可以继续执行，得不到资源的程序段就只好暂停等待，直至获得可用资源时再继续运行。利用记录型信号量解决哲学家进餐问题 经分析可知，放在桌子上的筷子是临界资源，在一段时间内只允许一位哲学家使用。为了实现对筷子的互斥使用，可以用一个信号量表示一只筷子，由这五个信号量构成信号量数组。其描述如下： Var chopstick: array〔0, …, 4〕 of semaphore; 所有信号量均被初始化为1， 第i位哲学家的活动可描述为： repeat wait(chopstick〔i〕); wait(chopstick〔(i+1) mod 5〕); eat; signal(chopstick〔i〕); signal(chopstick〔(i+1) mod 5〕); think; until false; 存在的问题？ 上述方法可以保证不会有两个相邻的哲学家同时进餐，但有可能产生死锁。 假如五个哲学家同时饥饿而各自拿起左边的筷子时，就会使五个信号量chopstick均为0；当他们去取右边的筷子时都将因无筷子可拿而无限期等待。 可采取以下几种解决方法： (1) 至多只允许有四位哲学家同时去拿左边的筷子，最终能保证至少有一位哲学家能够进餐，并在用毕时能释放出他用过的两只筷子，从而使更多的哲学家能够进餐。 (2) 仅当哲学家的左、右两只筷子均可用时，才允许他拿起筷子进餐。 (3) 规定奇数号哲学家先拿他左边的筷子，然后再去拿右边的筷子；而偶数号哲学家则相反。按此规定，将是1、 2号哲学家竞争1号筷子；3、4号哲学家竞争3号筷子。即五位哲学家都先竞争奇数号筷子，获得后，再去竞争偶数号筷子，最后总会有一位哲学家能获得两只筷子而进餐。 2. 利用AND信号量机制解决哲学家进餐问题 在哲学家进餐问题中，要求每个哲学家先获得两个临界资源(筷子)后方能进餐，这在本质上就是前面所介绍的AND同步问题，故用AND信号量机制可获得最简洁的解法。 Var chopstick