操作系原理20110905.pptVIP

Operating System Principles;第一部分 操作系统概述;二、OS的分类;三、操作系统的体系结构;Monolithic vs. micro-kernel;四、操作系统的硬件支持;五、系统调用;第二部分 进程管理;二、线程（thread）;用户级线程（ULT：user-level thread） 由应用程序自己通过线程库(thread library)来管理：线程创建、终止、线程间通信，线程调度与切换 OS感知不到ULT的存在 线程阻塞会导致整个进程的阻塞 理论上讲，在任何OS下都可以实现 无法利用多处理器;蔗蹦谢旧棕记如霹秩荣箍檀政暗孽卑励绅棘骡戈悔引猫辐吸吸黑钻另函渊操作系统原作系统原#include pthread.h #include stdio.h int sum; void *runner(void *param); main(int argc, char *argv[]) { pthread_t tid; pthread_attr_t attr; pthread_attr_init(attr); //初始化线程属性为缺省属性 pthread_create(tid,attr,runner,argv[1]); //创建线程 pthread_join(tid,NULL); //等待线程tid结束 printf(“sum=%d\n”,sum); } void *runner(void *param) { int upper=atoi(param); int i; sum = 0; if (upper 0) for ( i = 1; i =upper; i++) sum +=i; pthread_exit(0); };三、并发控制：互斥与同步 并发（Concurrent） 与并行（Parallel） ;互斥(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是两个进程都可以访问的共享存储单元，不同于一般程序中的全局变量; 临界区问题解决方法正确性的准则; 临界区问题的解决方法;Peterson算法：算法直观，只能解决二个进程同步 P0: do { flag[0]:=true; //希望进入 turn := 1; //给对方一次机会 while flag[1] and turn = 1 do{nothing}; //如果对方先申请则等待 CS flag[0]:= false; RS } while (1);2. 利用硬件支持 中断屏蔽(interrupt disable) 代价大，无法做到程序的交叉执行（interleave) 多处理环境下无法实现 特殊机器指令 Test and Set Instruction Exchange Instruction 优点：适合多处理器环境、简单 缺点：必须忙等待(busy waiting)、可能导致饥饿;3. 信号量(semaphore，无忙等待);信号量 full，初始化为0,表示缓冲区中可消费的资源数 mutex，初始化为1,用于对缓冲区的互斥操作 empty, 初始化为缓冲区的长度N，表示缓冲区中空闲单元数 Producer: repeat produce; wait(empty);wait(mutex); append; signal(mutex) ;signal(full); forever Consumer: repeat wait(full); wait(mutex); take; signal(mutex);signal(empty);consume forever;例：有n个进程（P1，P2，…，Pn）向