操作系统原理_方敏_进程与线程基本知识报告.ppt

进程和线程基本知识 操作系统课程组 内容安排 进程的基本概念 进程调度 进程间的相互作用 线程的基本概念 进程的基本概念 定义 进程是程序的一次执行，该进程可与其它进程并发执行；它是一个动态的实体，在传统的操作系统设计中，进程既是资源的基本分配单元，也是基本的执行单元。 进程与程序的区别和联系 程序是静态的，进程是动态的。程序是有序代码的集合；进程是程序的一次执行。 进程是暂时的，程序的永久的。进程是一个变化的过程，有生命周期，暂时存在，程序没有生命周期，可长久保存。 进程还是操作系统资源分配和保护的基本单位，程序没有此功能。 进程与程序的对应关系。通过多次执行，一个程序可对应多个进程；通过调用关系，一个进程可包括多个程序。 进程与程序的结构不同。 进程的基本概念 进程的组成 进程的基本概念 进程/线程的执行 进程的基本概念 进程的基本概念 进程的特征 并发性：执行时间可以重叠； 动态性：有生命周期，存在不同的状态； 独立性：独立执行，是资源分配和调度的独立单位； 制约性：虽然独立执行，但可能存在相互制约关系； 异步性：各进程执行时间相对独立，不确定； 结构性：拥有固定结构。 进程调度 定义 就是按照一定的算法，从就绪队列中选择某个进程占用CPU的方法——对CPU资源进行合理的分配使用，以提高处理机利用率，并使各进程公平得到处理机资源。 进程调度算法 先来先服务调度算法 (FCFS, First Come First Served) 进程调度 基于优先数的调度算法(Priority Scheduling Algorithm) 思想：给每一个进程设置一个优先数(优先级)，系统在调度时优先选择具有高优先级的进程占用CPU。具有相同优先数的进程按照FCFS算法执行。 优先数的确定： 运行前：可根据外设的使用情况，运行时间的长短，紧急程度，重要程度等因素确定。 运行中： 静态优先数法：进程创建时就规定好它的优先数，这个数值在进程运行时不变。 动态优先数法：进程的优先数在执行过程中可以根据情况变化而改变。 进程调度 时间片轮转法 (RR, Round Robin) 特点：专门为分时系统设计。类似于FCFS算法但是增加了抢占及进程间的切换功能。 思想：系统规定一个时间长度(时间片/时间量)作为允许一个进程运行的时间，如果在这段时间该进程没有执行完，则必须让出CPU等待下一次分配的时间片。 进程调度 多级反馈队列调度算法(Multilevel Feedback Queue Scheduling) 思想：引入多个就绪队列，通过对各队列的区别对待，达到一个综合的调度目标。 进程间的相互作用 同步 进程之间相互合作、协同工作的关系称为进程的同步。简单说来就是：多个相关进程在执行次序上的协调。进程间的直接制约。 临界资源 也称独占资源，是指在一段时间内只允许一个进程访问的资源。例如打印机，磁带机，也可以是进程共享的数据、变量等。 互斥 定义：当多个进程因为争夺临界资源而互斥执行称为进程的互斥。进程间的间接制约。 进程间的相互作用 互斥解决方案 关中断法(开关中断指令) 也称为“硬件锁”，是实现互斥最简单的方法。 做法：每个进程在进入临界区后先关中断，屏蔽其它请求，在离开之前再开中断。 锁变量法(测试和设置指令) 做法：设置一个共享(锁)变量W，初值为0。当一个进程想进入其临界区时，它首先测试这把锁。如果锁的值为0，则进程将其置为1并进入临界区。若锁已经为1，则进程等待直到其变成0。于是，0就表示临界区内没有进程，1表示已经有某个进程进入了临界区。 其它方法 Dekker算法：进程被强制轮流进入临界区(不管是否愿意)。 Peterson算法：设置标识指示是否又要求进入临界区。 …… 进程间的相互作用 信号量(Semaphore)和P、V操作 信号量：1965年由荷兰学者Dijkstra提出，它是一种特殊的数据结构。 功能：表示资源的实体。 特殊之处： 每个信号量与一个队列关联； 其值只能通过初始化和P、V操作来访问。 信号量的类型： 公用信号量：用于进程间的互斥，初值通常为1 私有信号量：用于进程间的同步，初值通常为0或n 进程间的相互作用 P、V操作 (均是原语) 进程间的相互作用 进程间的相互作用 信号量及P、V操作的应用 进程的互斥 进程间的相互作用 进程的同步——生产者与消费者问题 线程的基本概念 定义 线程(thread)也叫轻型进程，是一个可执行的实体单元。它代替以往的进程，成为现代操作系统中处理机调度的基本单位。 线程和进程的关系 线程的基本概念 线程的结构 线程的基本概念 线程优势 创建和撤消线程的开销非常小。 不需要向系统请求独立的地址空间及进行相关的地址空间复制(例如父子进程)，因此创建和撤销线程系统的开销要远小于进