第9章+多线程编程.pptVIP

本章的要求 第9章、多线程编程 掌握Linux中线程的基本概念 掌握Linux中线程的创建及使用 掌握Linux中线程属性的设置 能够独立编写多线程程序 能够处理多线程中的同步与互斥问题 本章的主要内容 9.1 Linux线程概述 9.2 Linux线程编程 9.3 实验内容——“生产者消费者”实验 9.1 Linux线程概述 线程概述（1） 前面已经提到，进程是系统中程序执行和资源分配的基本单位。每个进程都拥有自己的数据段、代码段和堆栈段，这就造成了进程在进行切换等操作时都需要有比较复杂的上下文切换等动作。为了进一步减少处理机的空转时间，支持多处理器以及减少上下文切换开销，进程在演化中出现了另一个概念——线程。它是进程内独立的一条运行路线，处理器调度的最小单元，也可以称为轻量级进程。线程可以对进程的内存空间和资源进行访问，并与同一进程中的其他线程共享。因此，线程的上下文切换的开销比创建进程小很多。 同进程一样，线程也将相关的执行状态和存储变量放在线程控制表内。一个进程可以有多个线程，也就是有多个线程控制表及堆栈寄存器，但却共享一个用户地址空间。要注意的是，由于线程共享了进程的资源和地址空间，因此，任何线程对系统资源的操作都会给其他线程带来影响。由此可知，多线程中的同步是非常重要的问题。 线程概述（2） 线程机制的分类和特性 （1） （1）用户级线程 用户级线程主要解决的是上下文切换的问题，它的调度算法和调度过程全部由用户自行选择决定，在运行时不需要特定的内核支持。在这里，操作系统往往会提供一个用户空间的线程库，该线程库提供了线程的创建、调度和撤销等功能，而内核仍然仅对进程进行管理。如果一个进程中的某一个线程调用了一个阻塞的系统调用函数，那么该进程包括该进程中的其他所有线程也同时被阻塞。这种用户级线程的主要缺点是在一个进程中的多个线程的调度中无法发挥多处理器的优势。 （2）轻量级进程 轻量级进程是内核支持的用户线程，是内核线程的一种抽象对象。每个线程拥有一个或多个轻量级线程，而每个轻量级线程分别被绑定在一个内核线程上。 线程机制的分类和特性 （2） （3）内核线程 这种线程允许不同进程中的线程按照同一相对优先调度方法进行调度，这样就可以发挥多处理器的并发优势。 现在大多数系统都采用用户级线程与核心级线程并存的方法。一个用户级线程可以对应一个或几个核心级线程，也就是“一对一”或“多对一”模型。这样既可满足多处理机系统的需要，也可以最大限度地减少调度开销。 使用线程机制大大加快上下文切换速度而且节省很多资源。但是因为在用户态和内核态均要实现调度管理，所以会增加实现的复杂度和引起优先级翻转的可能性。一个多线程程序的同步设计与调试也会增加程序实现的难度。 Linux线程技术的发展 （1） 在Linux2.2内核中，并不存在真正意义上的线程。当时Linux中常用的线程pthread实际上是通过进程来模拟的，也就是说Linux中的线程也是通过fork()创建的“轻”进程，并且线程的个数也很有限，最多只能有4096个进程/线程同时运行。 在Linux2.2内核中，并不存在真正意义上的线程。当时Linux中常用的线程pthread实际上是通过进程来模拟的，也就是说Linux中的线程也是通过fork()创建的“轻”进程，并且线程的个数也很有限，最多只能有4096个进程/线程同时运行 。 Linux线程技术的发展 （2） Linux2.4内核消除了这个线程个数的限制，并且允许在系统运行中动态地调整进程数上限。当时采用的是LinuxThread线程库，它对应的线程模型是“一对一”线程模型，也就是一个用户级线程对应一个内核线程，而线程之间的管理在内核外的函数库中实现。 在Linux 内核2.6之前的版本中，进程是最主要的处理调度单元，并没支持内核线程机制。Linux 2.6内核支持clone()系统调用，从而实现共享地址空间的进程机制。因而Linux系统在1996年第一次获得线程的支持，当时所使用的函数库被称为LinuxThread。该函数库就使用clone()系统调用实现内核级的线程机制，在此前的Linux版本中在用户层实现POSIX线程库。 Linux线程技术的发展 （3） 为了改善LinuxThread问题，出现根据新内核机制重新编写线程库的问题。许多项目在研究如何改善Linux对线程的支持，其中两个最有竞争力的有由IBM主导的新一代POSIX线程库（Next Generation POSIX Threads，简称为NGPT）和由Red Hat主导的本地化POSIX线程库 (Native POSIX Thread Library，简称为NTPL)。 NGPT项目在