第14章 同步机制 操作系统.pdf

第第1414章章同步机制同步机制 实验目的实验目的实验目的实验目的 深入理解程序并发执行的本质深入理解程序并发执行的本质，，进程间的互斥和进程间的互斥和 同步概念 了解了解LinuxLinux内核并发性和各种同步机制内核并发性和各种同步机制 了解信号量实现中涉及的关键技术：进程状态转 换和等待队列换和等待队列 学会向内核添加新的同步机制 主要内容主要内容主要内容主要内容 背景知识背景知识背景知识背景知识 进程同步与同步机制进程同步与同步机制 LiLiLiLinuxnux 内核并发性和同步机制内核并发性和同步机制内核并发性和同步机制内核并发性和同步机制 实验内容实验内容 设计并实现新的同步原语设计并实现新的同步原语 进程同步与同步机制进程同步与同步机制进程同步与同步机制进程同步与同步机制 进程互斥和同步的概念进程互斥和同步的概念进程互斥和同步的概念进程互斥和同步的概念 操作系统中引入并发程序设计技术，并发执行的进程由 于共享系统资源和协同完成任务需要交互于共享系统资源和协同完成任务需要交互，，从而产生进从而产生进 程间的相互依赖及相互制约关系。 并发进程的交互如果不加以控制并发进程的交互如果不加以控制，，可能出现与时间有关可能出现与时间有关 的错误和不正确的运算结果，为了确保系统正常运转， 必须提供某种机制来解决并发进程之间的制约关系。 进程同步与同步机制进程同步与同步机制进程同步与同步机制进程同步与同步机制 进程互斥和同步的概念进程互斥和同步的概念进程互斥和同步的概念进程互斥和同步的概念 并发进程之间的交互存在两种基本关系： 竞争关系和协作关系竞争关系和协作关系。 进程之间的互斥关系， 由于计算机中的资源有限由于计算机中的资源有限，众多进程需要共享资源引众多进程需要共享资源引 起的，当两个进程访问同一个独占型资源时，一个进 程向操作系统提出资源申请请求程向操作系统提出资源申请请求，，而另外而另外一个进程只个进程只 能等待资源被释放后再申请资源。 在竞争关系中在竞争关系中，，由于进程间共享资源而产生制约关系由于进程间共享资源而产生制约关系，， 这是间接制约关系，又称互斥关系。互斥机制是解决进 程间竞争关系的手段，进程使用互斥机制向系统提出资 源申请源申请，，谁先向系统提出申请谁先向系统提出申请，，谁就能先执行谁就能先执行。。 进程同步与同步机制进程同步与同步机制进程同步与同步机制进程同步与同步机制 进程互斥和同步的概念进程互斥和同步的概念进程互斥和同步的概念进程互斥和同步的概念 进程之间的协作关系， 同步是并发进程之间共同完成同步是并发进程之间共同完成一项任务时直接发生的项任务时直接发生的 制约关系，又称协作关系，这些具有协作关系的进程 在执行的时间次序上必须遵循确定规律，需要相互协 作的进程在某些关键点上协调各自的工作。 当其中的一个到达关键点后，在尚未得到其伙伴进程 发来来的消息或信号之前应阻塞塞自己，等等待协作者发来来 信号或消息后方被唤醒并继续执行。 同步机制是解决进程间同步关系的手段同步机制是解决进程间同步关系的手段，，让并发进程基让并发进程基 于某个条件来协调它们的活动，通过合适的方法排定执 行的先后次序行的先后次序。。 进程同步与同步机制进程同步与同步机制进程同步与同步机制进程同步与同步机制 进程互斥和同步的概念进程互斥和同步的概念进程互斥和同步的概念进程互斥和同步的概念 例子 著名的生产者著名的生产者--消费者问题消费者问题(producer(producer consumerconsumer problem)是计算机操作系统中并发