第二章 进程管理

2.1.4 进程通信

2.1.5  线程概念和多线程模型

 2.1.5_1 什么是线程，为什么要引入线程？

在没有引入进程之前，系统中各个程序只能串行执行。如果我想过听音乐我就不可以看qq。但是当我看qq的时候我又想跟别人视频又想跟别人聊天怎么办呢？

 

如果说在OS中引入进程的目的是为了使多个程序可以并发执行（提高资源利用率和系统吞吐量），那么引入线程，就是为了减少程序并发时所付出的时空开销，使OS有更好的并发性！

 程序并发执行所需付出的时空开销：

1. 创建程序：创建一个程序时必须分配其所需除处理机以外的所有资源（内存空间，I/O设备，以及建立自己的PCB)。
2. 撤销进程：必须先对资源进行回收，再撤销PCB。
3. 进程切换：对进程进行上下文切换需要保留当前进程的CPU环境，并且设置新的CPU环境，需要很长的时间

 2.1.5_2线程的定义

• 线程是进程内的一个执行单位，比进程更小。
• 线程是进程内的一个可调度实体。
• 线程是程序（或进程）中相对独立的一个控制流序列。
• 线程本身不能单独运行，只能包含在进程中，只能在进程中执行。

综上所述：线程是进程内一个相对独立的、可调度的执行单元。线程自己基本不拥有资源，只拥有一点在运行时必不可少的资源（如线程控制块TCB、程序计数器、一组寄存器和栈），但它可以与同属一个进程的其他线程共享进程拥有的全部资源。

 2.1.5_3 线程与进程的比较

• 在资源分配、调度方面：

        传统进程机制中，进程是资源分配、调度的基本单位。但是为了使多个程序能做到更好的并发执行，同时又减少系统的开销，所以要将上述两个属性分开。即不把调度和分派的基本单位也同时作为拥有资源的单位，对于拥有资源的单位又不对其频繁的切换，所以引入了线程。——引入线程后，进程是资源分配的基本单位（如打印机、内存地址空间等），线程是调度的基本单位。

• 并发性：

        传统进程机制中，只能进程间并发。引入线程后，在一个进程中的多个线程可以并发执行，甚至还允许一个进程中所有线程并发执行，同样，不同进程中的线程也能并发执行，这使得OS具有更好的并发性，提高资源利用率，系统吞吐量。

• 拥有资源：

        进程拥有资源，并作为拥有资源的基本单位，线程本身仅有一点必不可少、保证独立运行的资源。（控制线程运行的线程控制块TCB、用于执行指令序列的程序计数器、保留局部变量、少量状态参数和返回地址等的一组寄存器和堆栈）

        同一进程的不同线程共享资源，由于共享地址空间，所以线程间的通信甚至不需要系统干预。（可以访问该地址空间中的每一个虚地址；此外还可以访问进程所拥有的资源，如已打开的文件、定时器、信号量机构等的内存空间和它所申请到的I/O设备等。

        

• 独立性：

        不同进程间的独立性比同一线程间的独立性高得多。为了防止进程间相互干扰破坏，每个进程拥有一个独立的地址空间和其他资源（除了共享全局变量歪，不允许其他进程访问），但是同一进程中的不同线程共享内存地址空间和资源（如进程地址空间的所有地址，一个线程的堆栈可以被其他线程读写，甚至完全清除）。

• 系统开销：

        传统进程机制中，程序间并发需要切换进程的运行环境，系统开销很大。引入线程后，如果是同一进程内的线程切换，不需要切换进程环境，引入线程后，并发所带来的系统开销减小

• 支持多处理机系统：

        在多处理机系统中，对于传统的进程—单线程进程，不论多少处理机，进程只能运行在一个处理机上。对于多线程进程，可以将一个进程的多个线程分配到处理机上使他们并行执行。

  2.1.5_4 线程的状态

线程运行的三个状态：

执行状态：表示线程已获得处理机而正在运行。

就绪状态：指线程已具备了某种执行条件，只需再获得CPU便可立即执行。

阻塞状态：指线程在执行中因某事件受阻而处于暂停状态。

 

 2.1.5_5  线程控制块TCB

 TCB: 将用于控制和管理线程的信息记录在线程控制块中。包括下列几项

1. 线程标识符：每个线程唯一 一个。
2. 一组寄存器：包括程序计数器PC、状态寄存器和通用寄存器。
3. 线程运行状态：用于描述线程正处于何种运行状态。
4. 优先级：描述线程执行的优先程度。
5. 线程专有存储区：用于线程切换时存放现场保护信息和与该线程相关的统计信息等。
6. 信号屏蔽：即对某些信号加以屏蔽。
7. 堆栈指针：线程运行时，经常进行过程调用，通常会出现多重嵌套的情况，这样就必须将每次过程调用中所使用的局部变量以及返回地址保存起来。

  所以：TCB中必须设置两种指向堆栈的指针，指向用户自己的堆栈指针——当线程运行在用户态时，使用用户自己的用户栈保存局部变量和返回地址，指向核心栈的指针——当线程运行在核心态时使用系统的核心栈。

  2.1.5_6 线程的实现方式

用户级线程ULT      

用户级线程由应用程序通过线程库实现。

 所有的线程管理工作都由应用程序负责，对于线程的创建、撤销、同步与通信等功能，都无需内核的支持，在用户态下即可完成，无需操作系统干预。

在用户看来，是有多个线程的。由于这些线程任务控制块都是设置在用户孔吉纳，而线程所执行的造作也无需内核的帮助，因而内核完全不知道用户级线程的存在。

（用户级线程对用户不透明，对操作系统透明）。

即“用户级线程”就是“从用户视角能看到的线程”。

------------------------------------------------------------------------------------------------------------------------- 

用户级线程方式的优点与缺点

优点：

1. 线程切换不需要转换到内核空间。（节省了模式切换的开销）
2. 调度算法可以是进程专用的。
3. 用户级线程的实现与OS平台无关，因为对于线程管理的代码是属于用户程序的一部分，所有的应用程序都可以对之进行共享。

缺点：

1. 系统调用的阻塞问题。在基于进程机制的OS中，大多数系统调用将使进程堵塞，因此线程执行一个系统调用时，不仅该线程堵塞，进程内所有线程都会被堵塞。而在内核支持的线程方式中，进程中的其他线程仍可以运行。
2. 多线程应用不能利用多处理机进行多重处理的有点，进程中只有一个线程能执行，在该线程放弃CPU之前，其他线程只能等待。

 内核级线程KLT

内核级线程的管理工作由操作系统内核完成。线程调度、切换等工作都由内核负责，因此内核级线程的创建、阻塞、撤销和切换等必然需要在核心态下才能完成。

可以这样理解“内核级线程”就是“操作系统内核视角能看到的线程”。

为了对内核线程进行控制和管理，在内核空间也为每一个内核线程设置了一个线程控制块，内核根据该控制块而感知某线程的存在，并对其加以控制。

------------------------------------------------------------------------------------------------------------------------- 

 内核支持线程KST的优缺点

优点：

1. 在多处理器系统中，内核能够同时调度同一进程中的多个线程并行执行。
2. 如果进程中的一个线程被堵塞了，内核可以调度该进程中的其他线程占有处理器运行，也可以运行其他进程中的线程（对标用户级线程的缺点）。
3. 内核支持线程具有很小的数据结构和堆栈，线程的切换比较快，切换开销比较小。
4. 内核本身也可以采用多线程技术，可以提高系统的执行速度和效率。

缺点：

        对于用户态的线程切换而言，内核态其模式切换的开销较大，是因为，用户进程的线程在用户态运行，而线程调度和管理时在内核实现的，系统开销大。

 组合方式

在同时支持用户级线程和内核级线程的系统中可以采用两者组合的方式，将n个用户级线程映射到m个内核级线程上（n>=m）。

在组合方式线程系统中，内核支持多个内核支持线程的建立、调度和管理，同时也允许用户应用程序建立、调度和管理用户级线程。

 ！！！！！操作系统只“看得见”内核级线程，因此只有内核级线程才是处理机分配的单位。

例如：上面的模型中，该进程由两个内核级线程，三个用户级线程。在用户看来这个进程中由三个线程，但即使该进程在一个4核处理机的计算机上运行木叶最多只能分配到两个核，最多只有两个用户线程并行执行。

 由于用户级线程和内核支持线程连接方式的不同，从而形成了三种不同模型：多对一、一对一、多对多。

多对一：

------------------------------------------------------------------------------------------------------------------------- 

 一对一：

------------------------------------------------------------------------------------------------------------------------- 

 多对多：

2.2.1 处理机的调度概念、层次

在生活中，如果我们去银行，普通人会摇号排队，先到先服务。但是在银行里存一个亿的人会有特权会被优先服务。一个宿舍，大家要用同一个东西的时候，通常会让使用时间短的人先用，使用时间相同的人先到先用。

有一堆任务要分配的时候，由于资源有限，没法同时处理，这就需要确定某种规则来决定顺序，这就是调度研究的问题。

在多道程序环境中，内存中存在着多个进程，其数目远远多于处理机数目。这就需要系统能按照算法，动态的分配内存。分配处理机任务是由处理机调度程序完成的，对于系统运行时的性能（系统吞吐量、资源利用率、作业周转时间或响应的及时性等）在很大程度上都取决于处理机调度性能的好坏。因此处理机调度便称为OS中至关重要的部分。

2.2.1_1 处理机调度的层次

1. 高级调度（作业调度）

在早期多道批处理系统中，用户首先会通过外围机，把自己的作业输入到更高速的磁盘或者硬盘中。但是由于内存有限，用户提交的作业没有办法全部放入内存，这时就需要确定某种规则来决定将作业调入内存的顺序。

高级调度，又称为长程调度或作业调度，名字上很明显就知道它的调度对象是作业。

它的主要功能：是根据算法，从外存上处于后备队列中的作业挑选出一个或者多个调入内存，为他们创建进程（建立PCB），分配必要资源，并将他们放入就绪队列，是他们获得竞争处理机的权利。(不是直接让他们干活，还得排队）

可以上图看到，高级调度是外存与内存之间的调度。每个作业只调入一次，调出一次。调入建立相应的PCB，调出才撤销PCB。高级调度主要是指调入的问题，因为但调出的时候一定是运行结束了才会调出，可能会输出到I/O设备被或者硬盘磁盘上面各不相同，我们直接把它调出就可以了。但调入的内容很多需要判断，所以其实调入时才会需要判断。

高级调度主要用于多道批处理系统中，而在分时和实时系统中不设置高级调度。

------------------------------------------------------------------------------------------------------------------------- 

2. 中级调度 （内存调度）

 当作业被调度在进来之后会形成进程，在引入实现虚拟存储技术，把那些暂时并不行运行的进程，调入至外存等待，等它重新具备了运行条件且内存又稍有空闲时，再重新调入内存。

这么做的目的时为了提高内存利用率和系统吞吐量！！

暂时调到外存等待的进程状态为挂起状态。注意PCB不会一起调到外存，而是常驻内存。PCB中记录着进程在外存中的位置，进程状态等信息，操作系统通过内存中的PCB来保持对各个进程的监控、管理。

被挂起的进程PCB会被放到挂起队列中。

中级调度，就是决定将哪个处于挂起状态的进程重新调入内存。一个进程可能会被多次调入调出内存，因此中级调度发生的频率比高级调度更高。

补充：七进程图 

建议图片下载下来单拿出来配合下面的解释看

• Null -> New：新创建进程首先处于新状态

------------------------------------------------------------------------------------------------------------------------- 

• New -> Ready(就绪态）：OS接纳新状态进程为就绪进程

• New(创建态） ->Ready, Suspend(就绪态）：新进程创建后，可以插入到Ready 队列，若无足够的内存分配给新进程，则需要New->Ready, Suspend。

------------------------------------------------------------------------------------------------------------------------- 

 • Ready, Suspend(就绪挂起态） ->Ready(就绪态）：OS需要调入一个进程执行时 

• Ready(就绪态）-> Ready, Suspend(就绪挂起态） ：一般，OS挂起阻塞进程。但有时也会挂起就绪进程，释放足够的内存空间 

------------------------------------------------------------------------------------------------------------------------- 

• Ready -> Running：OS只能从就绪进程中选一个进程执行

• Running -> Ready：分时系统中，时间片用完，或优先级高的进程到来，将终止
优先级低的进程的执行

------------------------------------------------------------------------------------------------------------------------- 

• Running -> Exit：执行状态的进程执行完毕，或被取消，则转换为退出状态

• Running -> Blocked：执行进程需要等待某事件发生。通常因进程需要的系统调
用不能立即完成，而阻塞

------------------------------------------------------------------------------------------------------------------------- 

 • Blocked, Suspend(阻塞挂起态）-> Ready, Suspend(就绪挂起态）:当Blocked,Suspend(阻塞挂起态）进程等待的事件发生时，可以将其转换为Ready, Suspend(就绪挂起态）

• Blocked（阻塞态） -> Ready(就绪态）：当阻塞进程等待的事件发生，就转换为就绪状态

------------------------------------------------------------------------------------------------------------------------- 

• Blocked, Suspend（阻塞挂起态） ->Blocked(阻塞挂起态）：当Blocked,Suspend队列中有一个进程的阻塞事件可能会很快发生，则可将一个Blocked, Suspend进程换入内存，变为 Blocked

• Blocked（阻塞态）-> Blocked，Suspend(阻塞挂起态） ：OS通常将阻塞进程换出，以腾出内存空间

------------------------------------------------------------------------------------------------------------------------- 

 • Running （运行）->Ready, Suspend (就绪挂起态）：当执行进程的时间片用完时，会转换为Ready。 或一个高优先级的Blocked, Suspend进程正好变为非阻塞状态，OS可以将 执行进程转换为Ready,Suspend状态 

• All->Exit：通常，Running Exit。但某些OS中，父进程可以终止其子进程， 使任何状态的进程都可转换为退出状态

------------------------------------------------------------------------------------------------------------------------- 

3. 低级调度 （进程调度）

 低级调度又称为进程调度或短程调度。主要任务是按照某种算法从就绪队列中选取一个进程（调度对象），将处理机分配给它。

进程调度是最基本的一种调度，在多道批处理、分时和实时三种类型OS中，都必须配置这种调度。它的调度频率很高，一般几十毫秒一次。

总结！！！！

进程调度跟平时大家处理事情时一样的，都是按照某种规则进行管理。

例如排队时，普通人先到先来（普遍），但当地方不够用的时候就会让一些人去别的小屋坐着（一般），当有些人又特权的时候就会被开后门直接进入内部去处理事情（很少）。