线程基础知识

线程与进程

进程

• 程序由指令和数据组成，但这些指令要运行，数据要读写，就必须将指令加载至 CPU，数据加载至内存，进程就是用来加载指令、管理内存、管理 IO 的 。

• 当一个程序被运行，从磁盘加载这个程序的代码至内存，这时就开启了一个进程。

• 操作系统会以进程为单位，分配系统资源（CPU时间片、内存等资源），进程是资源分配的最小单位。

线程

• 线程是进程中的实体，一个进程可以拥有多个线程，一个线程必须有一个父进程。

• 一个线程就是一个指令流，将指令流中的一条条指令以一定的顺序交给 CPU 执行 。

• 线程，有时被称为轻量级进程(Lightweight Process，LWP），是操作系统调度（CPU调度）执行的最小单位。

线程与进程的区别

• 进程基本上相互独立的，而线程存在于进程内，是进程的一个子集。

• 进程拥有共享的资源，如内存空间等，供其内部的线程共享。

• 进程间通信较为复杂

同一台计算机的进程通信称为 IPC（Inter-process communication）

不同计算机之间的进程通信，需要通过网络，并遵守共同的协议，例如 HTTP

• 线程通信相对简单，因为它们共享进程内的内存，一个例子是多个线程可以访问同一个共享变量

• 线程更轻量，线程上下文切换成本一般上要比进程上下文切换低

线程的同步互斥

线程同步

线程之间所具有的一种制约关系，一个线程的执行依赖于另一个线程的消息，当它没有得到另一个线程的消息时等待，直到消息到达时才被唤醒。

线程互斥

对于共享进程系统资源，在各单个线程访问时的排它性。当有若干个线程都要使用某一个共享资源时，任何时刻最多只允许一个线程去使用，其它要使用该资源的线程必须等待，知道占用资源者释放该资源。线程互斥可以看成是一种特殊的线程同步。

线程同步互斥的控制方法

• 临界区：通过对多线程的串行化来访问公共资源或一段代码，速度快，适合控制数据访问。

临界资源：在一段时间内只允许一个线程访问的资源。

• 互斥量：为协调共同对一个共享资源的单独访问而设计的。

• 信号量：为控制一个具有有限数量用户资源而设计。

• 事件：用来通知线程有一些事件已发生，从而启动后续任务的开始。

上下文切换（Context switch）

上下文切换：指CPU从一个进程或线程到另一个进程或线程的切换，上下文是CPU寄存器和程序计数器在任何时间点的内容，上下文切换只能在内核模式下发生，上下文切换是多任务操作系统的一个基本特性。

寄存器：CPU内部的一小部分非常快的内存（相对于CPU外部较慢的RAM主内存），它通过提供对常用值的快速访问来加快计算机程序的执行。
程序计数器：是一个专门的寄存器，它指示CPU在其指令序列中的位置，并且保存着正在执行的指令地址或下一条要执行指令的地址。
内核模式（Kernel Mode）：在内核模式下，执行代码可以完全且不受限制地访问底层硬件。它可以执行任何CPU指令和引用任何内存地址。内核模式通常为操作系统的最低级别、最受信任的功能保留。内核模式下的崩溃是灾难性的;他们会让整个电脑瘫痪。
用户模式（User Mode）：在用户模式下，执行代码不能直接访问硬件或引用内存。在用户模式下运行的代码必须委托给系统api来访问硬件或内存。由于这种隔离提供的保护，用户模式下的崩溃总是可恢复的。在您的计算机上运行的大多数代码将在用户模式下执行。

操作系统层面线程生命周期

在操作系统层面线程的生命周期分为五种状态，分别是：初始状态、可运行状态、运行状态、休眠状态和终止状态。

• 初始状态：线程已经被创建，但是还不允许分配CPU执行。这个状态属于编程语言特有的，不过这里所谓的被创建，仅仅是在编程语言层面被创建，而在操作系统层面，真正的线程还没有创建。

• 可运行状态：线程可以分配CPU执行。在这种状态下，真正的操作系统线程已经被成功创建，所以可以分配CPU执行。

• 运行状态：当有空闲的CPU时，操作系统会分配一个处于可运行状态的线程，被分配到CPU的线程的状态就转换成运行状态。

• 休眠状态：运行状态的线程如果调用一个阻塞的API（以阻塞方式读取文件）或等待某个事件（条件变量），那么线程的状态就会转到休眠状态，同时释放CPU的使用权，休眠状态的线程永远没有机会获得CPU的使用权，当等待事件出现了，线程就会从休眠状态转换到可运行状态。

• 终止状态：线程执行完成或者出现异常就会进入终止状态，终止状态的线程不会切换到任何状态，进入终止状态的线程的生命周期就此结束。