操作系统概念第四章 线程

概述

几乎所有现代操作系统都允许一个进程包含多个线程。
每个线程是CPU使用的一个基本单元。它包括线程ID，程序计数器，寄存器组和栈。
与同一进程其他线程共享代码段，数据段和其他操作系统资源。

线程共享的资源：地址空间，全局变量，子进程，打开的文件。
线程独享的资源：程序计数器，寄存器，栈。

动机：

• 一个应用程序通常是作为一个具有多个控制线程的独立进程实现的。
• 线程在远程过程调用（RPC）系统中也有很重要的作用，通常，PRC服务器是多线程的。当一个服务器接收到消息，它使用独立线程处理消息，这允许服务器能处理多个并发请求。
• 现代许多操作系统都是多线程的，少数线程在内核中运行，每个线程完成一个指定的任务。

多线程的优点

• 响应度高：对一个交互程序采用多线程，即使部分阻塞或执行较冗长的操作，程序仍继续执行，增加对用户的响应程度。
• 资源共享：线程默认共享它们所属进程的内存和资源。代码和数据共享的优点是它允许一个应用程序在同一地址空间有多个不同的活动线程。
• 经济：进程创建所需要的内存和资源的分配比较昂贵，由于线程共享它们所属进程的资源，所以创建和切换线程会更为经济。
• 多处理器体系结构的利用：多线程能充分使用多处理器体系结构，以便每个进程能并行运行在不停的处理器上。
  不管有多少个CPU，单线程进程只能运行在一个CPU上，在多CPU上使用多线程加强了并发功能。

线程与进程的比较
（1）调度：同⼀进程的多线程间调度时，不引起进程的切换；不同进程的线程间调度，需要进程切换
（2）并发性：⼀个进程的多个线程之间可并发执行
（3）资源的拥有：线程不拥有系统资源，不拥有代码段、数据段。

多线程模型

多对一模型

多对一模型将许多用户级线程映射到一个内核线程
如果一个线程执行了阻塞系统调用，那么整个进程会阻塞。
因为任一时刻只有一个线程能访问内核，多个线程不能并行运行在多处理器上。

一对一模型

一对一模型将每个用户线程映射到一个内核线程。
该模型在一个线程执行阻塞系统调用时，能允许另一个线程继续执行，所以它提供了更好的并发功能，
它也允许多个线程并行运行在多处理器系统上。
缺点是每创建一个用户线程就需要哦创建一个相应的内核线程。创建内核线程的开销影响程序的性能。

多对多模型

多对多模型，多路复用多个用户级线程到同样数量或更少数量的内核线程。

多对多模型没有这两者的缺点：开发人员可创建任意多的用户线程，并且相应内核线程能在多处理器系统上并发执行。而且当一个线程执行阻塞系统调用时，内核能调度另一个线程来执行。

一个流行多对多模型的变种仍然多路服用了许多用户线程到同样数量或更小数量的内核线程上，但也允许将一个用户线程绑定到某个内核线程上。这个变种有是被称为二级模型。

线程库

线程库为程序员提供创建和管理线程的API
实现线程库的方法：

• 第一种方法：在用户空间中提供一个没有内核支持的库
• 第二种方法：执行一个由操作系统直接支持的内核级的库

目前使用的三种主要线程库是：POSIX Pthread、WIn32、Java

多线程问题

系统调用fork()和exec()

有的UNIX系统由两种形式的fork()，一种是复制所有线程，另一种只复制调用了系统调用fork()的线程。

如果调用fork()之后立即调用exec()，那么没有必要复制所有进程，因为exec()参数所指定的程序会替换整个进程。在这种情况下，只复制调用线程比较适当。
如果在fork()之后另一进程并不调用exec()，那么另一进程就复制所有线程。

取消

线程取消是在线程完成之前来终止线程的任务。

要取消的线程通常称为目标线程。目标线程的取消的两种情况：

• 异步取消：一个线程立即终止目标线程
• 延迟取消：目标线程不断的检查它是否应终止，这允许目标线程有机会以有序方式来终止自己。

只有当目标线程检查一个标志以确定它是否应该取消时才会发生取消。这允许一个线程检查它是否在安全的点被取消，Pthread称这些点为取消点。

信号处理

单线程程序的信号总是发送给进程，对于多线程程序，发送信号到哪里呢？

• 发送信号到信号所应用的线程
• 发送信号到进程内的每个线程
• 发送信号到进程内的某些固定线程
• 规定一个特定线程以接收进程的所有信号

线程池

多线程问题：

• 关于在处理请求之前用以创建线程的时间，以及线程在完成工作之后就要被丢弃的事实。
• 如果允许所有并发请求都通过新线程来处理，将没法限制在系统中并发执行的线程的数量。

解决方法是线程池，线程池的主要思想是在进程开始时创建一定数量的线程，并放入到池中等待工作。当服务器收到请求时，它会唤醒池中的一个线程（如果有可以用的线程），并将要处理的请求传递给它。一旦线程完成了服务，它会返回到池中再等待工作。如果池中没有可用的线程，那么服务器会一直等待直到有空线程为止。

线程池的优点：

• 通常用现有线程处理请求要比等待创建新的线程要快。
• 线程池限制了再任何时候可用线程的数量。这对那些不能支持大量并发线程的系统非常重要。

小结

多线程的优点包括对用户响应的改进，进程内的资源共享，经济和利用多处理器体系结构的能力。
用户线程跟内核线程相比，创建和管理更快，因为它不需要内核干预。
有三种不同模型将用户和内核线程联系起来：多对一模型将许多用户线程映射到一个内核线程；一对一模型将每个用户线程映射到一个相应的内核线程；多对多模型将多个用户线程再同样或更少数量的内核线程之间切换。
线程库为应用程序员提供了创建和管理线程的API，通常有三种主要的线程库：POSIX Pthread API、Windows系统的WIn32线程以及Java线程。