操作系统学习笔记---线程

Posted 2020-09-22 Confesser

在上一篇文章讲到了进程，进程体现了两个属性资源分配的单位和调度运行的单位，作为资源分配的单位，一个进程有自己的地址空间，其中包括程序、数据、PCB及其他资源，如打开的文件，子进程，未处理的警报，信号，统计信息等。作为调度执行单位，一个进程在执行过程中需要使用一个或多个程序；另外，一个进程的执行过程会与其他进程夹在一起。操作系统根据进程的状态和调度优先级对就绪进程实施调度。由于进程是资源的拥有者，所以它的负载很重，因而在实施进程的创建、删除和切换过程中要付出较大的开销。这样，就限制了系统中进程的数目和并发活动程度，因此很多现代操作系统把上述进程的两个属性分别赋予不同的实体：进程只作为资源的拥有者，而调度和运行的属性赋予新的实体---线程。

线程的组成

每一个线程有一个thread结构，即线程控制块，用于保存自己的私有信息，其组成如下：

• 一个唯一的线程标识符
• 描述处理器工作情况的一组寄存器(PC，状态寄存器，通用寄存器)的内容
• 每个thread结构有两个栈指针，一个指向核心栈，一个指向用户栈。当用户线程转变到核心态方式下运行时，就用核心栈；当线程在用户态下执行时，就使用自己的用户栈
• 一个私有存储区，存放现场保护信息和其他与该线程相关的统计信息等

线程必须在某个进程内执行，它所需的其他资源，如代码段，数据段，打开的文件和信号等，都由它所属的进程拥有，即：操作系统分配这些资源以进程为单位。传统的进程就是只有一个线程的进程，当一个进程包含多个线程时，这些线程除了自己私有的少量的资源外，要共享所属进程的全部资源。

线程的状态

与进程相似，线程也有若干种状态，如运行态，阻塞状态，就绪状态和终止状态。

线程是一个动态过程。它的状态转换是在一定条件下实现的。通常，当一个新进程创建时，该进程的一个线程也被创建。以后这个线程还可以在它所属的进程内创建另外一个线程，为新线程提供指令指针和参数。同时为新线程提供私有的寄存器内容和栈空间，并且放入就绪队列中。当CPU空闲时，线程调度程序就从就绪队列中选择一个线程，令其投入运行。线程在运行过程中如果需要等待某个事件，它就让出CPU，进入阻塞状态。以后，当该事件发生时，这个线程就从阻塞状态变为就绪状态。

线程的管理

• 线程的创建：一个线程通过调用过程库中的thread_create可以创建新线程。创建新线程时将为新线程建立thread结构，分配栈空间。最后把它设置为就绪状态，放入就绪队列。
• 线程的终止：一个线程完成自己的工作后，通过调用过程库中的thread_exit终止自身。
• 线程的等待：在某些线程系统中，一个线程通过调用过程库中的thread_wait可以等待指定线程终止。这个过程使调用者线程变为阻塞状态，直至指定的线程终止，它才转为就绪状态
• 线程的让权：当一个线程自愿放弃CPU资源，让给另外的线程运行时，它可调用过程thread_yield

线程与进程的关系

• 一个进程可以有多个线程，但至少要有一个线程；并且一个线程只能在一个进程的地址空间内活动
• 资源分配给进程，同一个进程的所有线程共享该进程的所有资源
• 处理机分配给线程，即真正在处理机上运行的是线程
• 线程在执行过程中需要协作同步，不同进程的线程间要利用消息通信的办法实现同步

引入线程的好处

• 易于调度，在传统的进程中，由于资源分配与运行调度都是进程，因为在进程的创建、撤销和切换过程中，系统必须为之付出很大的时空开销。而线程属于轻量级的进程，它的切换时空消耗比进程小。
• 提高并发性，进程可以创建多个线程来执行同一程序的不同部分，这样，不仅进程之间可以并发执行，而且同一个进程内部的多个线程也可以并发执行
• 开销小，创建线程比创建进程要快
• 充分发挥多处理器的功能，传统的进程只能运行在但处理机上，使用多线程的进程可以运行在多处理机上

线程的实现

• 线程库整个地址放在用户空间，核心对线程一无所知。所以核心只关心对常规进程进行管理，并不知道线程是否存在。管理线程的工作全部由应用程序来完成
  • 优点
    • 线程切换速度很快，无需进程系统调度，这比使用系统调度线程并陷入核心去处理线程要快得多
    • 调度算法可以由应用程序专用，允许不同应用程序采用何时自己要求的不同调度算法，并且不干扰底层的操作系统调度程序
    • 用户级别线程可以运行在任何操作系统上
  • 缺点
    • 系统调度的阻塞问题，多数系统调用是阻塞式的，当一个线程执行系统调度时，不仅它自己被阻塞，而且在用一个进程内部的所有线程都会被阻塞
    • 不具有多处理器同时运行的优点，因为核心只为每个进程一次分配一个处理器，每次只有该进程的一个线程得以运行，在该进程自愿放弃CPU之前，该进程内的其他线程不会运行。
• 在核心空间实现线程，在这种方式下，核心知道线程的存在，并对它们实施管理。线程表不在每个进程的空间中，而是在核心空间中。线程表中记载系统中所有线程的情况。当一个线程想创建一个新线程或删除一个现有线程时，必须执行系统调用，后者通过更新核心空间的线程表来完成上述工作。另外，核心空间除了保存一个线程表外，还保存一个传统的进程表，其中记载系统中所有进程的信息。
  • 优点：
    • 在多处理机上可以同时运行同一个进程中的多个线程
    • 如果一个进程的某个线程阻塞了，并不会影响同一个进程中的其他线程
  • 缺点：
    • 控制转移开销大， 在同一个进程中，把一个线程切换到另一个线程，需要将模式由用户态切换到核心态