ch24线程与其实现

ch24线程与其实现第一页，共96页。2.4.1引入多线程技术的动机

考察一个文件服务器的例子单线程(结构)进程（SingleThreadedProcess）多线程（结构）进程（MultipleThreadedprocess）第二页，共96页。

单线程结构进程给并发程序设计效率带来问题

•进程切换开销大•进程通信代价大•进程之间的并发性粒度较粗，并发度不高•不适合并行计算和分布并行计算的要求•不适合客户/服务器计算的要求。第三页，共96页。

线程的概念(1)操作系统中引入进程的目的是为了使多个程序并发执行，以改善资源使用率和提高系统效率，操作系统中再引入线程，则是为了减少程序并发执行时所付出的时空开销，使得并发粒度更细、并发性更好。第四页，共96页。线程的概念(2)

解决问题的基本思路：

•把进程的两项功能－－“独立分配资源”与“被调度分派执行”分离开来，

•进程作为系统资源分配和保护的独立单位，不需要频繁地切换；

•线程作为系统调度和分派的基本单位，能轻装运行，会被频繁地调度和切换，在这种指导思想下，产生了线程的概念。第五页，共96页。线程的概念(3)MS-DOS支持单用户进程，进程是单线程的；传统UNIX支持多用户进程，进程是单线程的。很多著名操作系统都支持多线程（结构）进程，如：Solaris、Mach、SVR4、OS/390、OS/2、WindowNT、Chorus等；JAVA的运行引擎则是单进程多线程的例子。第六页，共96页。线程的概念(4)

线程接口规范SolarisThread接口规范、OS/2Thread接口规范、WindowsNTThread接口规范；IEEE推出多线程程序设计标准POSIX1003.4a，第七页，共96页。2.4.2多线程环境中的进程与线程

单线程进程的内存布局和运行进程控制块进程用户地址空间用户堆栈系统堆栈管理者执行序列单线程进程(模型)

用户地址空间进程控制块用户堆栈系统堆栈第八页，共96页。

管理和执行相分离的进程模型

用户堆栈系统堆栈执行控制进程进程控制块用户地址空间共享执行序列管理者执行序列用户堆栈系统堆栈执行控制第九页，共96页。

多线程进程的内存布局

多线程进程模型

用户地址空间进程控制块线程控制块系统堆栈用户堆栈线程1线程控制块系统堆栈用户堆栈线程N第十页，共96页。多线程环境中进程的定义

进程是操作系统中进行保护和资源分配的基本单位。它具有：•一个虚拟地址空间，用来容纳进程的映像；•对处理器、其他(通信的)进程、文件和I/O资源等的存取保护机制。第十一页，共96页。

多线程环境中的线程概念

线程是操作系统进程中能够独立执行的实体（控制流），是处理器调度和分派的基本单位。线程是进程的组成部分，每个进程内允许包含多个并发执行的实体（控制流），这就是多线程。第十二页，共96页。

线程主要组成

•线程执行状态（运行、就绪、…）;•当线程不运行时,有一个受保护的线程上下文,用于存储现场信息。所以，线程也可被看作是执行在进程内的一个独立的程序计数器;•一个执行堆栈•一个容纳局部变量的主存存储区。第十三页，共96页。

线程具有以下特性

•并行性：•共享性：•动态性：•结构性：

第十四页，共96页。线程的内存布局

进程地址空间线程1共享空间线程2线程n线程第十五页，共96页。线程又称轻量进程

•线程运行在进程的上下文中,并使用进程的资源和环境。•系统调度的基本单位是线程而不是进程,每当创建一个进程时，至少要同时为该进程创建一个线程，否则该进程无法被调度执行。第十六页，共96页。

线程的状态(1)

线程状态有：运行、就绪和阻塞，线程的状态转换也类似于进程。挂起状态对线程是没有意义的，如果进程挂起后被对换出主存，则它的所有线程因共享了进程的地址空间，也必须全部对换出去。第十七页，共96页。线程的状态(2)处于运行态的线程阻塞时，对某些线程实现机制，所在进程也转换为阻塞态，即使这个进程存在另一个处于就绪态的线程；对另一些线程实现机制，如果存在另外一个处于就绪态的线程，则调度该线程处于运行状态，否则进程才转换为阻塞态。第十八页，共96页。线程管理和线程库(1)

多线程技术利用线程包(库)提供线程原语集来支持多线程运行，有的操作系统直接支持多线程，而有的操作系统不支持多线程。线程包(库)可分成两种：用户空间中运行的线程包(库)和内核中运行的线程包(库)。第十九页，共96页。线程管理和线程库(2)

线程包(库)提供一组API，支持应用程序创建、调度、撤销和管理线程的运行。基本线程控制原语：•孵化（Spawn）：又称创建线程。•封锁（Block）：又称阻塞线程。•活化（Unblock）：又称恢复线程。•结束（Finish）：又称撤销线程。第二十页，共96页。线程库多线程的操作系统和语言都提供了线程库，如Mach的C-threads和Java线程库，支持应用程序创建、调度、和管理用户级线程的运行。线程库实质上是多线程应用程序的开发和运行支撑环境。线程库至少应提供以下功能：孵化、封锁、活化、结束、通信、同步、调度等。每个线程库应提供给用户级的API编程使用。第二十一页，共96页。并发多线程程序设计的优点

•快速线程切换。•减少（系统）管理开销。•(线程）通信易于实现。•(线程）通信易于实现。•并行程度提高。•节省内存空间。第二十二页，共96页。

多线程技术的应用

进程中线程多种组织方式：第一种是调度员／工作者模式第二种是组模式第三种是流水线模式第二十三页，共96页。

多线程技术的应用(2)

•前台和后台工作。•C/S应用模式。•异步处理。•加快执行速度。•设计用户接口。第二十四页，共96页。2.4.3线程的实现

从实现的角度看，线程可以分成:•用户级线程ULT(如Java,Informix)•内核级线程KLT(如OS/2)。•混合式线程(如，Solaris)。第二十五页，共96页。各种线程实现方法

用户空间线程库P内核空间2）用户级线程用户空间P内核空间1）内核级线程用户空间线程库PP内核空间3）混合式线程ULTKLTProcessP第二十六页，共96页。1.内核级线程(1)

纯内核级线程设施中，线程管理的所有工作由操作系统内核做。内核专门提供KLTAPI，应用程序区不需要有线程管理代码。WindowsNT和OS/2都是采用这种方法的例子。第二十七页，共96页。内核级线程(2)线程执行中可通过内核创建线程原语来创建其他线程，这个应用的所有线程均在一个进程中获得支持。内核要为整个进程及进程中的单个线程维护现场信息，应在内核中建立和维护PCB及TCB,内核的调度是在线程的基础上进行的。第二十八页，共96页。内核级线程主要优点多处理器上，内核能同时调度同一进程中多个线程并行执行。进程中的一个线程被阻塞了，内核能调度同一进程的其它线程占有处理器运行。内核线程数据结构和堆栈很小，KLT切换快,内核自身也可用多线程技术实现，能提高系统的执行速度和效率。第二十九页，共96页。

内核级线程的主要缺点

应用程序线程在用户态运行，而线程调度和管理在内核实现,在同一进程中，控制权从一个线程传送到另一个线程时需要用户态-内核态-用户态的模式切换，系统开销较大。第三十页，共96页。2

用户级线程纯ULT设施中，线程管理工作由应用程序做，内核不知道线程的存在。任何应用程序均需通过线程库进行程序设计，再与线程库连接后运行来实现多线程。线程库是一个ULT管理的例行程序包，实质上线程库是线程的运行支撑环境。第三十一页，共96页。

ULT线程“孵化”过程进程开始只有一个线程，它可以孵化新线程，通过过程调用把控制权传送给“孵化”过程，由线程库为新线程创建一个TCB，并置为就绪态，按一定的调度算法把控制权传递给进程中处于就绪态的一个线程。当控制权传送到线程库时，当前线程的现场信息应被保存，而当线程库调度一个线程执行时，要恢复它的现场信息。第三十二页，共96页。

线程调度和进程调度间的关系(1)

假设进程B正在执行线程3，可能出现下列情况：•进程B的线程3发出一个封锁B的系统调用(如I/O操作)，通知内核进行I/O并将进程B置为等待状态，按照由线程库所维护的数据结构，进程B的线程3仍处在运行态。线程3并不实际地在一个处理器上运行，而是可理解为在线程库的运行态中。这时，进程B为等待态，线程3为线程库运行态。

第三十三页，共96页。线程调度和进程调度间的关系(2)

•一个时钟中断传送控制给内核，内核中止当前时间片用完的进程B，并把它放入就绪队列，切换到另一个就绪进程，此时，按由线程库维护的数据结构，进程B的线程3仍处于运行态。这时，进程B己处于就绪态，但线程为线程库运行态。•两种情况中，当内核切换控制权返回到进程B时，便恢复执行线程3。第三十四页，共96页。ULT优点

•线程切换不需要内核特权方式，

•按应用特定需要来调度，

•ULT能运行在任何OS上，第三十五页，共96页。

ULT的缺点

•线程执行系统调用时，不仅该线程被阻塞，且进程内的所有线程会被阻塞。

•纯ULT中，多线程应用不能利用多重处理的优点。内核在一段时间里，分配一个进程仅占用一个CPU，进程中仅有一个线程能执行。第三十六页，共96页。克服上述问题的方法•第一种方法是用多进程并发程序设计代替多线程并发程序设计，这种方法事实上放弃了多线程带来的所有优点。•第二种方法是采用jacketing技术解决阻塞线程的问题。第三十七页，共96页。3

混合式线程

混合系统中，内核支持KLT多线程的建立、调度和管理，也提供线程库，允许应用程序建立、调度和管理ULT。应用程序的多个ULT映射成一些KLT,程序员可按应用需要和机器配置调整KLT数目，以达到较好效果。一个应用中的多个线程能同时在多处理器上并行运行，且阻塞一个线程时并不需要封锁整个进程。第三十八页，共96页。2.4.4实例研究：Solaris的进程与线程

Solaris中的进程与线程概念•进程（Process）：

•用户级线程（User-LevelThreads）：

•轻量进程（LightWeightProcess）：

•内核级线程（Kernel-LevelThreads）：第三十九页，共96页。Solaris的线程实现(1)用户层和核心层，用户层在用户线程库中实现；核心层在操作系统内核中实现。ULT是一个代表应用线程的数据结构，纯用户级概念，占用用户空间资源，对核心是透明的。ULT和KLT不一一对应，通过轻量级进程LWP来映射两者之间的联系。第四十页，共96页。Solaris的线程实现(2)进程可以设计为一个或多个LWP，一个LWP上又可以开发多个ULT，LWP与ULT一样共享进程的资源。KLT和LWP是一一对应的，一个ULT要通过核心KLT和LWP二级调度后才真正占有处理器运行。第四十一页，共96页。Solaris的线程实现(3)有了LWP，可在用户级实现ULT，每个进程可以创建几十个ULT，而又不占用核心资源。由于ULT共享用户空间，当LWP在一个进程的不同ULT间切换时，仅是数据结构的切换，其时间开销远低于两个KLT间的切换时间。第四十二页，共96页。Solaris线程的使用(1)

线程库LPULTKLTLWPProcessorLLLLLLLLLPPPPP用户内核进程1进程2进程3进程4进程5第四十三页，共96页。Solaris线程的使用(2)•进程1是传统的单线程进程，•进程2是一个纯的ULT应用，•进程3是多线程与多LWP的对应，•进程4的线程与LWP是一对一地捆绑的，•进程5包括多ULT映射到多LWP上，以及ULT与LWP的一一捆绑，并且还有一个LWP捆在单个处理器上。第四十四页，共96页。

Solaris线程的使用(3)

Solaris已经有进程、KLT和ULT，为什么还要引入LWP?原因是各种应用需求,有些应用逻辑并行性程度高,有些应用物理并行性要求高。例1：窗口系统是典型的逻辑并行性程度高的应用。例2：大规模并行计算是物理并行性要求高的应用。

第四十五页，共96页。Solaris中进程结构

内存分配表进程标识符用户标识符信号分配表文件描述符轻进程标识符优先数信号掩码寄存器堆栈……轻进程标识符优先数信号掩码寄存器堆栈……轻量进程1轻量进程2第四十六页，共96页。LWP的数据结构(1)

•轻量进程标识符标识了轻量进程•优先数定义了轻量进程执行的优先数•信号掩码定义了内核能够接受的信号•寄存器域用于存放轻量进程让出处理器时的现场信息•轻量进程的内核栈包括每个调用层次的系统调用的参数、返回值和出错码第四十七页，共96页。LWP的数据结构(2)

•

交替的信号堆栈•用户或用户和系统共同的虚时间警示•用户时间和系统处理器使用•资源使用和预定义数据•指向对应内核线程的指针•指向进程结构的指针第四十八页，共96页。ULT的数据结构

•

线程标识符标识了线程•

优先数定义了线程执行的优先数•

信号掩码定义了能够接受的信号•寄存器域用于存放线程让出处理器时的现场信息•

堆栈用于存放线程运行数据•

线程局部存储器用于存放线程局部数据第四十九页，共96页。KLT的数据结构(1)

•

内核寄存器数据保存区

•

优先级和调度信息

•

KLT的队列指针和堆栈指针

•

相关LWP的指针及信息

•

进程数据结构,包括：

•

与进程相关的KLT

•

进程地址空间指针

•

用户权限表

•

信号处理程序清单

•

与用户执行有关信息第五十页，共96页。KLT的数据结构(2)Solaris支持实时类进程，内核是可抢占的，内核函数和过程全部用线程实现，Solaris的内核是KLT的集合。KLT分两种，一种是负责执行一个指定的内核函数;另一种用来支持和运行LWP，KLT是独立被调度和分配到CPU上去执行。第五十一页，共96页。

Solaris的线程状态(1)

继续剥夺停止睡眠Sleeping睡眠态Runnable可运行态Active活跃态Stopped停止态停止唤醒指派停止指派唤醒停止Stopped停止态Running运行态Blocked阻塞态Runnable可运行态时间片到或剥夺唤醒停止阻塞系统调用继续LWPULT第五十二页，共96页。Solaris的线程状态(2)考虑非捆绑线程(多个ULT共享LWP)，线程可能处于四个状态之一：可运行、活跃、睡眠和停止。处在活跃状态的一个ULT是指目前分配到LWP上，并且在对应的内核线程KLT执行时，它被执行。出现事件会导致ULT离开活跃态，一个活跃的ULT正在执行，下面的事件可能发生：第五十三页，共96页。Solaris的线程状态(3)•同步：•挂起：•剥夺：•让位：第五十四页，共96页。LWP的状态转换

•当ULT处于活跃态时只能捆绑到一个LWP上。只有当LWP处于运行态时，活跃态的ULT才真正处于活跃态并执行。

•当处于活跃态的ULT调用一个阻塞的系统调用时，它对应的LWP进入阻塞状态，这个ULT将继续处于活跃状态并继续与相应的LWP绑定，直到线程库显式地做出变动。第五十五页，共96页。Solaris提供线程操作(1)thread_create()创建一个新的线程thread_setconcurrency()置并发程度（即LWP的数目）thread_exit()终止当前进程，收回线程库分给的资源thread_wait()阻塞当前线程，直到有关线程退出thread_get_id()获得线程标识符第五十六页，共96页。Solaris提供线程操作(2)thread_sigsetmask()thread_sigprocmask()置线程信号掩码Thread_kill()生成一个送给指定线程的信号Thread_stop()停止一个线程的执行Thread_priority()置一个线程的优先数

第五十七页，共96页。2.4.5实例研究：Windows2000/XP的进程与线程

三个层次执行对象：作业是共享一组配额限制和安全性限制的进程的集合;进程是相应于一个应用的实体，它拥有自己的资源，如主存，打开的文件；线程是可被内核调度的执行实体，它可以被中断,使CPU能转向另一线程执行。第五十八页，共96页。Windows2000/XP设计目标

支持：多任务(进程)、多线程、SMP。

•作业、进程和线程是用对象来实现的。

•一个可执行的进程可以包含一个或多个线程。•进程或线程两者均有内在的同步设施。第五十九页，共96页。面向对象(objectoriented)概念对象属性和方法对象类实例消息封装性继承性(子类，超类)第六十页，共96页。Windows2000/XP对象分类

Windows2000/XP是一个基于对象(object-based)的操作系统，在系统中，用对象来表示所有的系统资源。第六十一页，共96页。Windows2000/XP对象分类(1)

(1)执行体对象由执行体的组件实现的对象，用来实现各种外部功能，用户态程序(服务器对象)可访问执行体对象。

•执行体对象：进程、线程、区域、文件、事件、事件对、文件映射、互斥、信号量、计时器、对象目录、符号连接、关键字、端口、存取令牌和终端等。

第六十二页，共96页。Windows2000/XP对象分类(2)•执行体创建的对象可进一步分类：事件对象、互斥对象、信号量对象、文件对象、文件映射对象、进程对象、线程对象和管道对象等。第六十三页，共96页。Windows2000/XP对象分类(3)

(2)内核对象内核实现的更原始的对象集合，包括：内核过程对象、异步过程调用对象、延迟过程调用对象、中断对象、电源通知对象、电源状态对象、调度程序对象等。

第六十四页，共96页。Windows2000/XP对象分类(4)•内核对象对用户态代码是不可见的，仅在执行体内创建和使用，许多执行体对象包含一个或多个内核对象，而内核对象能提供仅能由内核来完成的基本功能。第六十五页，共96页。Windows2000/XP中对象结构

对象头对象体对象管理器第六十六页，共96页。

进程及控制和使用的资源(1)

对象句柄表虚拟地址空间描述文件x信号量y区域z…VADVADVADVAD进程访问令牌可用对象句柄1句柄2线程线程线程句柄3

进程以及控制和使用的资源第六十七页，共96页。对象和句柄间的关系

应用程序执行体对象执行体内核用户态核心态句柄内核对象第六十八页，共96页。进程及控制和使用的资源(2)

用户注册时，为用户建立一个访问令牌AccessToken，包括安全标识和进程凭证。用户建立的进程均有这个访问令牌的拷贝。内核使用它验证用户是否具有存取安全对象或安全对象上执行受限功能的能力。当前分配给这个进程的虚拟地址空间块，进程不能直接改它，必须依靠为进程提供内存分配服务的虚存管理例程。第六十九页，共96页。进程及控制和使用的资源(3)

进程有一个对象表，其中包括进程与其使用资源之间的联系,通过对象句柄便可对某资源进行引用,存取令牌控制进程是否能改变其自身属性。第七十页，共96页。

进程对象(1)

进程由对象表示。当接受到适当消息时，进程就执行一个服务，只能通过传递消息给提供服务的进程对象来调用服务。使用进程对象类建立一个新进程，对象类被定义作为一个能够生成新的对象实例的模板，并且在建立对象实例时，属性将被赋值。第七十一页，共96页。进程对象(2)进程由一个执行体进程块表示。它包括进程的属性，指向其它相关的属性，如进程都有一个或多个执行体线程（ETHREAD）块表示的线程。除了进程环境块（PEB）存在于进程地址空间中外，EPROCESS块及其相关的其他数据结构存在于系统空间中。第七十二页，共96页。执行体进程（EPROCESS）块

内核进程块进程标识符父进程标识符退出状态创建和退出次数指向下一个进程的指引元配额块内存管理信息异常端口调试程序端口主访问令牌指引元局柄表指引元进程环境块映像文件名映像基址进程特权级WIN32进程块指引元第七十三页，共96页。EPROCESS块内容(1)

•内核进程块KRPROCESS：•进程标识符等：•配额块：•虚拟地址空间描述符VAD：•工作集信息：第七十四页，共96页。EPROCESS块内容(2)

•虚拟内存信息：•异常/调试端口：•访问令牌：•句柄表：•进程环境块PEB：•WIN32子系统进程块：第七十五页，共96页。EPROCESS块内容(3)

提供一组用于进程的WIN32函数：•CreateProcess：使用调用程序的安全标识，创建新的进程和线程。•CreateProcessAsUser：使用交替的安全标识，创建新的进程和线程，然后执行指定的EXE。•OpenProcess：返回指定进程对象的句柄。第七十六页，共96页。EPROCESS块内容(4)

•

ExitProcess：退出当前进程。•

TerminateProcess：终止进程。•

FlushInstructionCache：清空另一个进程的指令高速缓存。•GetProcessTimes：得到另一个进程的时间信息，描述进程在用户态和核心态所用的时间。•GetExitCodeProcess：返回另一个进程的退出代码，指出关闭这个进程的方法和原因。第七十七页，共96页。EPROCESS块内容(5)

•GetCommandLine：返回传递给进程的命令行字符串。•GetCurrentProcessID：返回当前进程的ID。•GetProcessVersion：返回指定进程希望运行的Windows主要和次要版本信息。•GetStartupInfo：返回在CreateProcess时指定的STARTUPINFO结构的内容。第七十八页，共96页。EPROCESS块内容(6)•GetEnvironmentStrings：返回环境块的地址。•GetEnvironmentVariable：返回一个指定的环境变量。•GetProcessShutdownParameters：取当前进程的关闭优先级和重试次数。•SetProcessShutdownParameters：置当前进程的关闭优先级和重试次数。第七十九页，共96页。调用CreateProcess函数创建

WIN32进程(1)

创建WIN32进程的具体步骤：•打开将在进程中被执行的映像文件（.EXE）。•创建Windows2000/XP执行体进程对象。•创建初始线程（堆栈、描述表、执行体线程对象）。第八十页，共96页。调用CreateProcess函数创建

WIN32进程(2)•通知WIN32子系统已创建了一个新的进程，以便它可设置新的进程和线程。•启动初始线程的执行（除非指定了CREATE_SUSPENDED标志）。•在新进程和线程的描述表中，完成地址空间的初始化，加载所需的DLL，并开始程序的执行第八十一页，共96页。线程对象(1)

ETHRED块中有关项目的内容：•创建和退出时间：•进程识别信息：•线程启动地址：•LPC消息信息：•挂起的I/O请求：第八十二页，共96页。线程对象(2)

•调度程序头信息：•执行时间：•内核堆栈信息指引元：•系统服务表指引元：•调度信息：第八十三页，共96页。ETHRED块的结构

内核线程块创建和退出时间进程标识符指向EPROCESS的指引元线程启动地址主访问令牌指引元模拟信息LPC消息信息定时器信息挂起的I/O请求调度程序头信息用户态时间总计核心态时间总计内核堆栈信息指引元系统服务表指引元线程调度信息陷阱帧线程本地存储数组同步信息搁置的APC列表定时器块和等待块线程正在等待的对象列表线程环境块指引元第八十四页，共96页。用于线程的WIN32函数(1)

•CreateThread：创建新线程。•CreateRemoteThread：在另一个进程创建线程。•ExitThread：退出当前线程。•TerminateThread：终止线程。•GetExitCodeThread：返回另一个线程的退出代码。第八十五页，共96页。用于线程的WIN32函数(2)

•GetThreadTimes：返回另一个线程的定时信息。•GetThreadSelectorEntry：返回另一个线程的描述符表入口。•GetThreadContext：返回线程的CPU寄存器。•SetThreadContext：更改线程的CPU寄存器。第八十六页，共96页。调用CreateThread函数创建WIN32线程步