操作系统 第1章模板.pptVIP

2.4.3 进程的挂起与激活 1. 进程的挂起 当出现了引起进程挂起的事件时，比如，用户进程请求将自己挂起，或父进程请求将自己的某个子进程挂起， 系统将利用挂起原语suspend( )将指定进程或处于阻塞状态的进程挂起。挂起原语的执行过程是：首先检查被挂起进程的状态，若处于活动就绪状态，便将其改为静止就绪；对于活动阻塞状态的进程，则将之改为静止阻塞。 为了方便用户或父进程考查该进程的运行情况而把该进程的PCB复制到某指定的内存区域。最后，若被挂起的进程正在执行，则转向调度程序重新调度。 2. 进程的激活过程 当发生激活进程的事件时，例如，父进程或用户进程请求激活指定进程，若该进程驻留在外存而内存中已有足够的空间时，则可将在外存上处于静止就绪状态的进程换入内存。这时，系统将利用激活原语active( )将指定进程激活。 激活原语先将进程从外存调入内存，检查该进程的现行状态，若是静止就绪，便将之改为活动就绪；若为静止阻塞便将之改为活动阻塞。假如采用的是抢占调度策略，则每当有新进程进入就绪队列时，应检查是否要进行重新调度，即由调度程序将被激活进程与当前进程进行优先级的比较，如果被激活进程的优先级更低，就不必重新调度；否则，立即剥夺当前进程的运行，把处理机分配给刚被激活的进程。 2.4.4 线程的概念及实现 为使程序能并发执行，系统还必须进行以下的一系列操作。 1) 创建进程 2) 撤消进程 3) 进程切换  1. 线程定义 线程是进程内一个执行单位或进程内一个可调度的实体. 线程由线程ID,程序计数器,一组寄存器和堆栈组成. 2. 线程的原语 共享进程资源。 (2) 独立调度和分派的基本单位。 (3) 可并发执行。 (4) 轻型实体。 3 .线程的类型 1. 内核支持线程 这里所谓的内核支持线程，也都同样是在内核的支持下运行的，即无论是用户进程中的线程，还是系统进程中的线程，他们的创建、撤消和切换等，也是依靠内核实现的。此外，在内核空间还为每一个内核支持线程设置了一个线程控制块， 内核是根据该控制块而感知某线程的存在的，并对其加以控制。 2. 用户级线程 用户级线程仅存在于用户空间中。对于这种线程的创建、 撤消、线程之间的同步与通信等功能，都无须利用系统调用来实现。对于用户级线程的切换，通常是发生在一个应用进程的诸多线程之间，这时，也同样无须内核的支持。由于切换的规则远比进程调度和切换的规则简单，因而使线程的切换速度特别快。可见，这种线程是与内核无关的。 2. 5 进 程 同 步 2.5.1 同步概念 1. 临界资源(Critical Resouce) 例如:有两个进程共享一个count变量,当两个进程按以下顺序执行操作. P1 n1=count; n1= n1+1; count= n1; P2 n2=count; n2= n2+1; count= n2; 假如count初值为0,如先执行P1.后执行P2,最后count变量的值为2. 如按下列顺序并发执行: 1. 临界资源(Critical Resouce) P1:n1=count; P2:n2=count; P1:n1= n1+1;count= n1; P2:n2= n2+1;count= n2; 如按下列顺序并发执行: Count值为1. 3. 临界区(critical section) 可把一个访问临界资源的循环进程描述如下： repeat critical section;  remainder section; until false; entry section exit section 3. 临界区(critical section) 对临界资源设一访问标志flag 对flag检查,看是否被访问？ 该进程可以进入临界区,并设置已被访问标志 N Y 该进程不能进入临界区 3. 同步的定义 进程同步有两层含义 诸进程能互斥访问临界资源。 (2) 诸进程在执行次序上的协调关系,不 会出现与时间有关的差错。 4. 同步机制应遵循的规则 空闲让进。 (2) 忙则等待。 (3) 有限等待。 (4) 让权等待。 2.5.2 信号量机制 最初由Dijkstra把整型信号量定义为一个整型量，除初始化外，仅能通过两个标准的原子操作(Atomic Operation) wait(S)和signal(S)来访