第2章-进程和线程.ppt

* 1．生产者-消费者问题 1.设缓冲区的编号为0～N-1，in和out分别是生产者进程和消费者进程使用的指针，指向下面可用的缓冲区，初值都是0。 2.设置三个信号量： full：表示放有产品的缓冲区数，其初值为0。 empty：表示可供使用的缓冲区数，其初值为N。 mutex：互斥信号量，初值为1，表示各进程互斥进入临界区，保证任何时候只有一个进程使用缓冲区。 * 1．生产者-消费者问题 生产者进程Producer： 消费者进程Consumer： while(TRUE) { while(TRUE){ P(empty); P(full); P(mutex); P(mutex); 产品送往buffer(in); 从buffer(out)中取出产品； in=(in+1)mod N; out=(out+1)mod N; /*以N为模*/ /*以N为模*/ V(mutex); V(mutex); V(full); V(empty); } } * 2.4.2 在用户空间实现线程 把线程库整个地放在用户空间，核心对线程一无所知。 图2-10(a) 在用户空间实现线程 * 2.4.2 在用户空间实现线程 1．在用户空间实现线程的优点 ① 线程切换速度很快。 ② 调度算法可以是应用程序专用的。 ③ 用户级线程可以运行在任何操作系统 上，包括不支持线程机制的操作系统。 * 2.4.2 在用户空间实现线程 2．用户级线程的主要缺点 ① 系统调用的阻塞问题。 ② 在单纯用户级线程方式中，多线程应用程序不具有多处理器的优点。 * 2.4.3 在核心空间实现线程 核心知道线程存在，并对它们实施管理 ①在多处理器系统中，核心可以同时调度同一进程的多个线程； ② 如果一个进程的某个线程阻塞了，核心可以调度同一个进程的另一个线程。 优点是，核心线程本身也可以是多线程的。 缺点，主要是控制转移开销大。 图2-10(b) 在核心空间实现线程 * 2.4.4 组合方式 1．多对一模型 图2-11 在核心级线程上有多个用户级线程 图2-12 多对一模型 * 2.4.4 组合方式 2．一对一模型 图2-13 一对一多模型 * 2.4.4 组合方式 3．多对多模型 图2-14 多对一多模型 * 2.4.5 线程池 * 2.5 进程的同步和通信 ① 互斥 ② 同步 ③ 通信 * 2.5.1 进程的同步与互斥 1．同步 同步进程通过共享资源来协调活动，在执行时间的次序上有一定约束。虽然彼此不直接知道对方的名字，但知道对方的存在和作用。在协调动作的情况下，多个进程可以共同完成一项任务。 2．互斥 在逻辑上这两个进程本来完全独立，毫无关系，只是由于竞争同一个物理资源而相互制约。 它们的运行不具有时间次序的特征 竞争条件（Race Condition），即两个或多个进程同时访问和操纵相同的数据时，最后的执行结果取决于进程运行的精确时序。 * 2.5.2 临界资源和临界区 1．临界资源和临界区 一次仅允许一个进程使用。我们把这类共享资源称为临界资源（Critical Resource）。 在每个进程中访问临界资源的那段程序叫做临界区（Critical Section），简称CS区。 * 2.5.2 临界资源和临界区 2．进程的一般结构 图2-15 典型进程的一般结构 * 2.5.2 临界资源和临界区 3．临界区进入准则 ① 如果若干进程要求进入空闲的临界区，一次仅允许一个进程进入。 ② 任何时候，处于临界区内的进程不可多于一个。 ③ 进入临界区的进程要在有限时间内退出。 ④ 如果进程不能进入自己的临界区，则应让出CPU，避免进程出现“忙等”现象。 * 2.5.2 临界资源和临界区 图2-16 互斥使用临界区 * 2.5.3 互斥实现方式 1．利用硬件方法解决进程互斥问题 （1）禁止中断 （2）专用机器指令 2．原语 是机器指令的延伸，往往是为完成某些特定的功能而编制的一段系统程序。原语操作也称做“原子操作”（atomic action），即一个操作中的所有动作要么全做，要么全不做。 执行原语操作时，要