操作系统原理20110905.pptVIP

Operating System Principles Monolithic vs. micro-kernel (quoting Linus Torvalds): ... message passing as the fundamental operation of the OS is just an exercise in computer science masturbation. It may feel good, but you dont actually get anything DONE. Monolithic：内核中所有的子系统运行在相同的特权级(privileged mode），拥有相同的地址空间，通信采用常规C函数调用的形式。 二、线程（thread） Thread – an execution path in a process Thread – the unit of dispatching 进程中的线程共享进程资源，但拥有私有堆栈及线程控制块(TCB，存储寄存器值、优先级及其他线程状态信息) 核心级线程（KLT：kernel-level thread） 应用程序通过API调用核心线程管理例程(kernel thread facility)来管理： 需要进行模式切换 是OS调度的基本单位 线程阻塞不会导致整个进程的阻塞 在多处理器环境下，内核可使线程在不同的处理器上运行 E.g. windows thread 用户级线程（ULT：user-level thread） 由应用程序自己通过线程库(thread library)来管理：线程创建、终止、线程间通信，线程调度与切换 OS感知不到ULT的存在 线程阻塞会导致整个进程的阻塞 理论上讲，在任何OS下都可以实现 无法利用多处理器 临界资源(critical resource) 一次只能由一个进程访问的资源 临界区(critical section) 访问临界资源的代码段称为临界区（CS） 互斥(mutual exclusion) 在一个时刻最多只有一个进程在临界区 同步(synchronization) 协调需要访问临界资源的进程，否则会导致race condition（竞争条件） 如：两进程 p0,p1，都通过下面的代码访问一个共享的存储单元: Shared variable: int total : = 0 ; p0,p1: { int count; for (count=1; count =50; count++) total = total + 1 ; } total可能的结果？ 最大值？最小值？ 注意total是两个进程都可以访问的共享存储单元，不同于一般程序中的全局变量 临界区问题解决方法正确性的准则 两个前提： 对处理器数及各进程的相对运行速度（不会是零速度）不应该有任何假设 进程在临界区停留的时间是有限的 三个必须： 互斥(mutual exclusion) 有空让进(progress)，若没有进程在临界区，则应该让申请进入临界区的进程中的一个立即进入 有限等待(bounded waiting)，申请进入临界区的进程不会无止境的等待（即不会有饥饿现象） 临界区问题的解决方法 1.软件方法（忙等待） Shared variables boolean flag[2]; //initially flag [0] = flag [1] = false. int turn; //initially turn=i; Process Pi do { flag[i] := true; while (turn i) { while (flag[ j ] ) ; turn := i ; } Critical Section flag [i] = false; Remainder Section } while (1); 此算法正确吗？ Peterson算法：算法直观，只能解决二个进程同步 P0: do { flag[0]:=true; //希望进入 turn := 1; //给对方一次机会 while flag[1] and turn = 1 do{nothing}; //如果对方先申请则等待 CS flag[0]:= false; RS } while (1) 2.