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

2011-2012第一学期 《操作系统》 专题讨论及小结 系别： 管理系 学号： 0913011031 姓名： 马 明 专业： 信息管理与信息系统 成绩： 讨论题目：利用信号量机制解决进程同步和互斥问题 提示：可从以下几个方面着手 先要明确一些重要概念（同步、互斥、直接制约、间接制约、临界区等）； 从系统和用户的角度阐述一下进程并发的重要性和必要性； 非信号量机制存在的问题（要有例证和分析）； 信号量机制的原理阐述； 解决同步与互斥问题的案例（最好是生活化的，要有分析）； 优点总结； 信号量机制总结 缺点和不足之处总结； 注：以上内容涵盖到就可以，但条理要清晰，逻辑要合理，例证要浅显易懂（最好有注释）。 正文： 进程互斥是进程之间发生的一种间接性作用，一般是程序不希望的。通常的情况是两个或两个以上的进程需要同时访问某个共享变量。我们一般将发生能够问共享变量的程序段成为临界区。两个进程不能同时进入临界区，否则就会导致数据的不一致，产生与时间有关的错误。解决互斥问题应该满足互斥和公平两个原则，即任意时刻只能允许一个进程处于同一共享变量的临界区，而且不能让任一进程无限期地等待。互斥问题可以用硬件方法解决，我们不作展开；也可以用软件方法。 进程同步是进程之间直接的相互作用，是合作进程间有意识的行为典型的例子 信号量是最早出现的用来解决进程同步与互斥问题的机制，包括一个称为信号量的变量及对它进行的两个原语操作，每个信号量至少须记录两个信息：信号量的值和等待该信号量的进程队列。 进程具有 HYPERLINK /z/Search.e?sp=S%E5%B9%B6%E5%8F%91%E6%80%A7ch=w.search.yjjlinkcid=w.search.yjjlink \t _blank 并发性。多个进程实体同存于内存中，在一段时间内可以同时运行。并发性是进程的重要特性，也是 HYPERLINK /z/Search.e?sp=S%E6%93%8D%E4%BD%9C%E7%B3%BB%E7%BB%9Fch=w.search.yjjlinkcid=w.search.yjjlink \t _blank 操作系统的重要特性。引入进程概念的目的，也正是为了描述和实现并发执行。系统中各个并发程序活动具有 HYPERLINK /z/Search.e?sp=S%E7%8B%AC%E7%AB%8B%E6%80%A7ch=w.search.yjjlinkcid=w.search.yjjlink \t _blank 独立性的一面，但在两个并发程序活动之间有时也会有相互依赖和相互制约关系。程序之间的制约关系有两种：直接制约关系和间接制约关系。直接制约关系通常是在彼此之间有 HYPERLINK /z/Search.e?sp=S%E9%80%BB%E8%BE%91ch=w.search.yjjlinkcid=w.search.yjjlink \t _blank 逻辑关系的两个并发执行的程序之间发生的，一般是由于各个 HYPERLINK /z/Search.e?sp=S%E7%A8%8B%E5%BA%8F%E6%AE%B5ch=w.search.yjjlinkcid=w.search.yjjlink \t _blank 程序段要求共享信息引起的。间接制约关系是由于两个并发程序段由于竞争使用同一资源引起的，得到资源的程序段可以继续执行，得不到资源的程序段就只好暂停等待，直至获得可用资源时再继续运行。 信号量原理案例分析： 利用记录型信号量解决哲学家进餐问题 经分析可知，放在桌子上的筷子是临界资源，在一段时间内只允许一位哲学家使用。为了实现对筷子的互斥使用，可以用一个信号量表示一只筷子，由这五个信号量构成信号量数组。其描述如下： 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;