在操作系统的标准教材中，进程被定义为"程序关于某个数据集合的一次运行活动，是系统进行资源分配和调度的基本单位"。这个定义看似简单，却隐藏着三个必须理解透彻的要素。第一个要素是动态性，进程是程序的一次执行过程，程序是静态的指令集合，而进程是动态的运行实体，同一份程序代码可以被同时运行多次，从而产生多个不同的进程，例如同时打开三个浏览器窗口，就是同一个浏览器程序对应的三个进程。第二个要素是资源拥有性，进程是操作系统分配资源的基本单位，每个进程都拥有独立的地址空间、打开的文件、以及一份进程控制块，操作系统通过进程控制块记录进程的状态、优先级、计数器以及所占用资源等信息，进程控制块是进程存在的唯一标志。第三个要素是并发性，多个进程可以在一段时间内同时向前推进，宏观上并行、微观上交替执行，这正是操作系统引入进程这一抽象概念的根本目的，也就是让多个程序能够在单处理机上交替运行，充分利用处理机资源。
线程是进程内的一个执行单元，是处理机调度的基本单位。引入线程这一概念的动机，源于传统单进程模型的低效。在早期的操作系统中，进程既是资源分配的基本单位，也是调度的基本单位，一个进程只能有一条执行流，如果进程内需要同时做两件相互独立的事情，例如一个文字处理软件既要响应用户的键盘输入，又要实时进行拼写检查，那么传统模型只能把这两件事拆成两个进程，通过进程间通信来协调，而进程间通信的代价极高，因为进程之间的地址空间相互隔离，数据交换必须借助内核提供的管道、消息队列或共享内存等机制，开销巨大。线程的出现正是为了解决这一问题，它把原来属于进程的调度职责剥离出来，让一个进程内部可以拥有多条执行流，这些执行流共享进程的大部分资源，同时又各自拥有独立的执行状态，从而以极小的代价实现了进程内的并发。概括而言，引入线程的动机可以归纳为三点，一是降低并发执行的开销，二是提高系统的吞吐量，三是更好地利用多处理机。
理解进程与线程的关系，关键要抓住一句话，即进程是资源分配的基本单位，线程是处理机调度的基本单位。这一句话是整个知识点的灵魂，几乎所有的考题都是围绕它展开的。一个进程可以包含一个或多个线程，进程为线程提供资源平台，线程是进程内部真正执行指令的活动实体。线程本身并不拥有独立的系统资源，它只拥有运行所必需的最小资源，即一小块独立的内存区域，包括线程标识符、程序计数器、寄存器、以及独立的栈。线程与同属一个进程的其他线程共享进程所拥有的全部资源，包括代码段、数据段、堆空间、打开的文件和信号处理等。从管理角度看，线程也有自己的线程控制块，但线程控制块记录的内容远少于进程控制块，因为大量状态信息已经在进程层面统一维护，线程只需维护与自身执行直接相关的少量信息。正是因为线程共享了进程的资源，线程的创建、切换和撤销开销都远小于进程，这也是多线程能够大幅提升系统性能的根本原因。
要彻底理解进程与线程在资源共享上的差异，必须先弄清楚进程的地址空间是如何组织的。一个典型的进程地址空间从低地址到高地址依次划分为代码段、数据段、堆区和栈区。代码段存放程序的机器指令，通常是只读的，防止程序在运行过程中意外修改自身代码；数据段又分为已初始化数据段和未初始化数据段，存放全局变量和静态变量；堆区用于动态内存分配，程序运行时通过申请内存的调用向系统索取空间，堆区的增长方向是从低地址向高地址；栈区用于函数调用，存放局部变量、函数参数、返回地址等信息，栈的增长方向是从高地址向低地址。此外，操作系统为每个进程维护一份进程控制块，进程控制块中记录着进程标识符、程序计数器、寄存器现场、进程状态、优先级、内存管理信息、打开文件表、I/O状态等大量信息。正是因为每个进程拥有这样一份完整且相互隔离的地址空间，一个进程的错误访问只能影响自身，无法越界破坏其他进程的数据，这就是进程之间相互独立的本质来源。
线程运行在进程的地址空间之内，因此线程看到的地址空间与进程是同一份。多个线程共享的内容包括代码段、数据段、堆区、打开的文件描述符、信号处理器、以及当前工作目录等进程级资源。而每个线程私有的资源只有四类，分别是线程标识符、程序计数器、一组寄存器、以及独立的栈。程序计数器和寄存器之所以必须私有，是因为它们是描述一条执行流当前执行位置和处理现场的关键状态，如果多个线程共用同一个程序计数器，那么所有线程就会被迫执行同一条指令，多线程也就失去了意义。栈之所以必须私有，是因为栈承担着函数调用现场的保存职责，每个线程独立调用函数、独立维护局部变量和返回地址，如果多个线程共用一个栈，函数调用帧会相互覆盖，导致返回地址错乱和局部变量串改。值得注意的是，线程的私有栈与进程的栈区是两个层次的概念，进程栈区中的主线程栈实际上与进程的栈区是同一块区域，而用户创建的其他线程的栈，则是从进程的堆区或专门的线程栈区中分配出来的独立内存块。
线程为什么要设计成共享大部分资源而只私有少量资源，这一设计的背后是一套严密的权衡逻辑。如果线程像进程一样完全独立地址空间，那么线程之间的通信和同步就退化为进程间通信，其开销与多进程没有区别，引入线程的意义就完全丧失了。如果线程像协程一样连栈都不私有，那么线程就无法独立地深入函数调用，无法支持真正的抢占式并发。因此，线程的资源视图是精心选择的中间状态，共享的部分保证了通信的廉价和上下文切换的低成本，私有的部分保证了每条执行流逻辑上的独立性和完整性。从实现层面看，线程切换时，操作系统只需要保存和恢复线程的程序计数器、寄存器和栈指针，而无需切换地址空间，因为地址空间是进程级的，在线程切换时保持不变，这正是线程切换开销远小于进程切换的根本原因。进程切换则需要同时切换地址空间，也就是切换页表基址寄存器并刷新相关的缓存，这一操作的代价远远高于单纯保存寄存器现场。
代码段共享在物理层面意味着什么，是很多考生容易忽略的细节。当同一个进程创建多个线程时，这些线程的程序计数器可以指向代码段中的不同位置，但代码段本身在物理内存中只有一份。每个线程通过自己独立的程序计数器，从同一份只读代码中取出各自需要执行的指令。这也是为什么多线程程序能够共享同一份函数实现，而不需要为每个线程复制一份代码。从内存保护的角度看，代码段设置为只读是共享的前提，因为只读区域不需要考虑多个执行流同时修改导致的冲突问题。与之相对，数据段和堆区虽然也被共享，但它们是可读写的，多个线程同时读写共享数据就必然产生数据竞争问题，必须通过互斥锁、信号量等同步机制来保护，这正是多线程编程中数据一致性问题的根源所在。
线程按照实现层次可以划分为用户级线程和内核级线程两大类。用户级线程完全在用户态由线程库管理，内核对此一无所知，内核仍然以进程为调度单位，用户级线程的切换由线程库在用户态完成，不需要陷入内核，因此切换速度极快。但是用户级线程有一个致命的缺陷，即当一个线程发起阻塞式的系统调用时，由于内核只知道进程的存在，整个进程都会被阻塞，进程内的其他线程也无法运行，这就是用户级线程无法真正利用多处理机的根本原因。内核级线程由内核直接管理，内核为每个线程维护线程控制块并负责线程的调度，线程切换需要陷入内核，开销比用户级线程大，但内核级线程能够真正实现多处理机上的并行执行，一个线程阻塞也不会影响同进程的其他线程。软考命题往往从两者的优缺点和适用场景入手考查，考生需要抓住"用户级线程切换快但阻塞会拖累全进程、内核级线程开销大但能真正并行"这一核心对比。
用户级线程与内核级线程之间需要建立映射关系，常见的映射模型有三种，分别是多对一模型、一对一模型和多对多模型。多对一模型将多个用户级线程映射到同一个内核级线程上，切换开销最小，但同样存在一个线程阻塞导致全进程阻塞的问题，早期的绿色线程就是这种模型。一对一模型为每个用户级线程分配一个内核级线程，能够实现真正的并行，但每创建一个用户级线程就要创建一个内核级线程，资源开销大，线程数量受到内核资源限制。多对多模型允许多个用户级线程映射到较少数量或相等数量的内核级
本篇完！