Chapter 4 -- Operating System

Operating System -- Chapter 4

Thread

---

Overview

线程是CPU使用的基本单元，它由线程ID、程序计数器、寄存器集合和栈组成，它与同一进程下的线程共享代码段、数据段和其他操作系统资源，如打开的文件和信号。

figure 1

Multithreading Models

用户线程受内核支持，而无须内核管理；内核线程由操作系统支持和管理。

用户线程和内核线程的几种关系：

Many-to-one

线程管理是有线程库在用户空间进行的，因此效率比较高，但是如果一个线程执行了阻塞系统调用，那么整个进程会阻塞。

Single-threaded and multithreaded processes

One-to-one

每一个用户线程映射到一个内核线程。一个线程执行阻塞系统调用时，另一个线程能继续执行，更好的并发功能。缺点是开销大

Many-to-one model

Many-to-many

虽然多对一模型允许开发人员创建任意多的用户进程，但是内核一次只能调度一个线程，所以并没有增加并发性。一对一的模型提供了更大的并发性，但是不能创建太多的线程。对于多对多模型，一个线程执行阻塞系统调用的时候，内核能调度另一个线程来执行。

一种流行的多对多模型的变种依然多路复用了许国用户线程到同样数量或者更小数量的内核线程上，但也允许将一个用户线程绑定到内核线程上，有时称为二级模型。

Many-to-many model

5 Two-level model

Thread Libraries

Threading Issues

The fork() and exec() System Calls

在多线程程序中，fork()和exec()的语义和进程有所不同。有的UNIX有两种形式的fork()，一种复制所有的线程，另一种只复制调用了fork()的线程。系统调用exec()的工作方式相同，即如果一个线程调用了系统调用exec()，那么exec()参数所指定的程序会替换整个进程，包括所有进程。

fork()的两种形式与应用程序有关，如果调用fork()之后立即调用exec()，那么没有必要复制所有的线程。

Cancellation

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

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

Signal Handling

信号在UNIX中用来通知某个特定事件已经发生了。所有的信号具有同样的模式：

1. 信号是由特定的事件的发生所产生的
2. 产生的信号要发送到进程
3. 一旦发送，信号必须加以处理

同步信号发送到执行操作而产生信号的同一进程，异步信号由运行进程之外的事件产生

每个信号可能由两种处理程序中的一种来处理：

1. 默认信号处理程序
2. 用户定义的信号处理程序

单线程的信号处理比较直接，信号总是发送给进程。对于多线程程序，通常有如下选择：

1. 发送信号到信号所应用的线程
2. 发送信号到进程内的每个线程
3. 发送信号到进程内的某些固定线程
4. 规定一个特定线程用来接收进程的所有信号

发送信号的方法依赖于产生信号的类型。

Thread Pools

每处理一个请求就创建一个线程的问题：

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

解决上述问题的一种方法是使用线程池

Thread Specific Data

同属于一个进程的线程共享进程数据，不过，在某些情况下线程可能需要一定数据自己的副本，这种数据称为线程特定数据

Scheduler Activations

内核与线程库之间的通信问题。