chap2 多线程编程方法综述.pptVIP

第二章 多线程编程方法综述 进程 （早期）进程作为能独立运行的基本单位。 进程是程序在计算机上的一次执行活动。 程序是死的（静态的），进程是活的（动态的）。 进程是系统进行资源分配和调度运行的一个独立单位（也称为任务）。 引入进程的目的：为了使多个程序并发执行，来改善资源利用率及提高系统的吞吐量。 引入线程的目的：为了减少程序并发执行时所付出的时空开销，使操作系统具有更好的并发性。 1. 线程 线程：是进程中的一个实体，是被系统调度和分配的基本单元。 每个程序至少包含一个线程，主线程。 线程拥有很少的系统资源：程序计数器、一组寄存器和栈 同一进程所属的各线程共享进程的全部资源 同一个进程中的多个线程可以并发执行，从而更好地改善了资源利用率。 1.1 线程与进程的区别 线程是轻量级的进程，是CPU调度和分配的基本单位。 传统意义的进程是重量级进程。 Process Address Space Revisited 1.1 线程与进程的区别 调度 传统的操作系统，进程是CPU调度和分配的基本单位。 引入线程的操作系统，线程是CPU调度和分配的基本单位，而进程是资源拥有的基本单位。 进程的两个属性分开，线程轻装运行，可以显著提高系统的并发性。 同一个进程的线程切换简单。 1.1 线程与进程的区别 并发性 进程之间可以并发执行 一个进程的多个线程之间也可以并发执行 例：未引入线程的操作系统，只有一个文件服务进程，它由于某种原因被封锁，就没有其他的文件服务进程来提供服务。若引入线程，一个文件服务进程中设置多个服务线程。 1.1 线程与进程的区别 系统开销 进程是拥有系统资源的一个独立单位 线程不拥有系统资源（只有一点必不可少的资源），可以访问其隶属进程的资源。 一个进程的代码段、数据段以及系统资源（如打开的文件、I/O设备等），可供进程的所有线程共享。 1.1 线程与进程的区别 拥有资源 创建和撤销进程时，系统都要为之分配和回收资源，如内存空间、I/O设备等。操作系统所付出的开销将显著大于创建和撤销线程时的开销。 进程切换涉及到当前进程CPU环境的保存和新被调度进程的CPU环境的设置。 线程的切换只需保存少量寄存器的内容，不涉及存储器。 1.2 用户级线程、内核级线程 线程分类： （根据多线程实现机制） 线程又被分为用户级线程和内核级线程 用户级线程： 应用进程利用线程库提供创建、同步、调度和管理线程的函数来控制用户线程。 不需要用户态/核心态切换，速度快。 操作系统内核不知道多线程的存在，因此一个线程阻塞将使得整个进程（包括它的所有线程）阻塞。 1.2 用户级线程、内核级线程 线程分类： （根据多线程实现机制） 线程又被分为用户级线程和内核级线程 内核级线程： 由操作系统内核创建和撤销。内核维护进程及线程的上下文信息以及线程切换。 一个内核线程由于I/O操作而阻塞，不会影响其它线程的运行。 User vs. Kernel Threads User vs. Kernel Threads No reason why we shouldn’t have both Most systems now support kernel threads User-level threads are available as linkable libraries 1.2 用户级线程、内核级线程 用户级线程和内核级线程之间的映射方式： 多对一模型： 把多个用户级线程映射到一个内核级线程 用于不支持内核线程的系统中 一对一模型： 把每个用户级线程映射到一个内核级线程 多对多模型： 将m个用户级线程映射到n个内核级线程，m≥n 1.3 线程的生命周期 线程的生命周期：线程从创建到消亡的过程。 为什么需要线程同步？ 线程共享同一进程的内存空间 多个线程可能需要同时访问同一个数据 如果没有正确的保护措施，对共享数据的访问会造成数据的不一致和错误。 常用的线程同步方法 互斥（Mutual exclusion） 当一个线程进入某个临界区域（访问线程共享数据的代码段），此时其他想访问这个临界区域的线程就必须等待。 临界区（Critical_Section） 信号量（Semaphore） 互斥量（Mutex） 条件同步（Condition sychronization） 执行线程将一直处于阻塞状态直道系统满足指定的条件。 条件变量（Conditional Variable） 2.1 临界区-----互斥 临界区是指包含共享数据的一段代码，这些代码可能被多个线程访问或修改。 当一个线程在临界区内执行的时候，不能有其他任何线程被允许在临界区执行。 临界区：进入区和退出区 2.2 信号量 信号量(Semaphore)，是可以用来保证两个或多个关键代码段不