定义#

操作系统（Operating System, OS） 是计算机系统中管理硬件和软件资源的中间层系统软件，屏蔽了底层硬件的复杂性，并且为用户和应用程序提供了便捷、安全的接口与交互环境。

主要功能#

• 进程管理：负责创建、调度、同步与终止进程。进程是正在运行的程序实例，每个进程拥有独立的地址空间和系统资源。
• 内存管理：负责为进程动态分配与回收物理内存，通过虚拟内存技术实现地址空间隔离与扩充。
• 文件管理：提供创建、删除、读写文件的能力，组织文件的树状分层存储结构（如目录与权限控制）。
• 设备管理：通过设备驱动程序控制和统一调度计算机的各种硬件设备（如键盘、鼠标、磁盘、网卡、打印机等）。

内核与内存区域划分#

操作系统的**内核（Kernel）**是整个系统底层的核心控制程序，拥有对底层硬件资源的绝对控制权。为了防止应用程序误操作破坏系统全局稳定，CPU 与操作系统通过特权级别将内存分为两大区域：

• 用户空间（User Space / 用户态）：为用户应用程序分配的受限内存区域。用户态下的进程无法直接执行特权指令（如关中断、修改页表寄存器），也不能直接访问物理硬件设备和内核数据结构。
• 内核空间（Kernel Space / 内核态）：操作系统内核代码与底层核心运行时数据结构所在的特权内存区域，拥有对所有物理内存和底层硬件的完全访问控制权。

用户态与内核态的切换（系统调用）#

当运行在用户态的应用程序需要执行底层特权操作（如文件读写 read/write、创建进程 fork、分配虚拟内存 mmap、网络收发 socket 等）时，必须通过**系统调用（System Call）**陷入内核：

1. 触发陷阱指令：用户程序准备好系统调用号与参数后，触发软中断或陷阱指令（如 x86-64 的 syscall 指令）；
2. CPU 特权级切换：CPU 硬件自动从用户态（Ring 3）切换至内核态（Ring 0），将用户态的程序计数器（RIP）、栈指针（RSP）及寄存器现场保存在内核栈中；
3. 分发与执行：内核根据系统调用号查阅系统调用表（Syscall Table），跳转执行对应的内核服务例程；
4. 返回用户态：执行完毕后将结果存入寄存器，从内核栈中恢复用户态上下文现场，执行返回指令（如 sysret）切回用户态继续向下执行。

并行与并发的区别#

• 并发（Concurrency）：指在一段时间内，多个任务都会被处理；但在某一时刻，只有一个任务在 CPU 核心上执行。单核处理器主要通过时间片轮转（Time Slicing）实现并发。例如有两个进程 A 和 B，A 运行一个时间片之后切换到 B，B 运行一个时间片之后又切换到 A。因为切换速度极快，在宏观上表现为在一段时间内能“同时”运行多个程序。
• 并行（Parallelism）：指在同一时刻，有多个任务在同时执行。这需要多核处理器的物理硬件支持，不同的程序被分配到不同的物理 CPU 核心上同时运行，在微观上也是真正意义上的物理同时执行。

进程上下文切换#

上下文切换（Context Switch）是操作系统在多任务处理环境中，将 CPU 从一个进程切换到另一个进程的过程。通过让多个进程共享 CPU 资源，使系统具备并发多任务处理能力。

进程上下文切换通常包含以下步骤：

1. 保存当前进程上下文：操作系统将当前进程的 CPU 寄存器内容、程序计数器（PC）、程序状态字（PSW）等关键运行状态保存到该进程的 PCB（进程控制块）中；
2. 选择下一个进程：调度程序根据特定的调度策略选择下一个将要分配 CPU 的就绪进程；
3. 恢复目标进程上下文：从目标进程的 PCB 中恢复 CPU 寄存器与上下文执行现场；
4. 切换虚拟内存映射：切换页表基地址寄存器（如 x86 的 CR3），使 CPU 转入目标进程的虚拟地址空间。

进程的五大状态#

• 运行状态（Running）：该时刻进程占用 CPU 资源正在执行指令；
• 就绪状态（Ready）：进程已获得除 CPU 外的一切必要资源，排入就绪队列等待调度器分配 CPU 时间片；
• 阻塞状态（Blocked）：进程因等待某一事件发生（如等待 I/O 操作完成、等待锁释放等）而暂时停止运行，此时即使分配 CPU 也无法执行；
• 创建状态（New）：操作系统正在为程序分配资源、初始化 PCB、建立进程描述符；
• 结束状态（Exit）：进程正常执行结束或因异常终止，正在从系统中注销，等待父进程回收其剩余资源与 PCB。

特殊进程#

父子进程的退出时机与回收机制决定了其最终状态。两者的本质差异在于 “谁先退出、PCB 由谁回收、是否有危害”：

进程间通信方式（IPC）#

每个进程拥有独立的虚拟地址空间，默认情况下相互隔离无法直接访问对方的内存。为了协同工作，操作系统提供了多种 进程间通信（Inter-Process Communication, IPC） 机制。

在面试和工程选型中，各 IPC 方式的重要程度与技术选型对比如下：

进程调度算法#

在多任务并发操作系统中，可运行的就绪进程数量往往远超过 CPU 物理核心数。CPU 调度程序（Scheduler） 负责从就绪队列中依循特定策略选择下一个分派 CPU 执行的进程。

各调度算法的演进历程与核心梯队关系如下：

线程与进程的核心区别#

线程上下文切换#

• 跨进程线程切换：若切换的两个线程分别属于不同的进程，由于虚拟内存映射不同，其切换开销与完整的进程上下文切换完全相同（需要切换页表 CR3 并刷新 TLB）。
• 同进程线程切换：若切换的两个线程属于同一个进程，由于虚拟内存地址空间完全共享，虚拟内存资源保持不动，仅需切换线程私有的程序计数器、寄存器和运行栈，开销极小。

线程的三种实现方式#

线程的实现本质上探讨的是 “用户空间中的线程如何与操作系统内核空间的调度实体进行映射”。历史上演进出了三种核心模型：

• 用户态线程实现（M<1> 模型 / 用户级线程 ULT）：
  • 架构：线程完全由运行在用户空间的第三方线程库管理，操作系统内核对其完全无感知，只认为这是一个单线程进程；
  • 优势：线程的创建、销毁和切换都在用户态完成，无需发起系统调用陷入内核，开销极小且速度飞快；
  • 致命弱点：
    1. 阻塞扩散（一损俱损）：一旦某个用户线程发起阻塞系统调用（如磁盘读写 read()），整个内核进程都会被挂起，导致其他所有原本可运行的用户线程全部被动卡死；
    2. 无法利用多核并行：内核只能将该进程作为一个整体调度到一个 CPU 核心上运行，无法享受多核算力加速。
• 内核态线程实现（1:1 模型 / 内核级线程 KLT）：
  • 架构：每一个用户创建的线程，都在内核中对应创建一个真正的内核线程（如现代 Linux 的 NPTL、Windows 线程、Java 传统平台线程）；
  • 优势：线程完全由内核调度器调度，能真正并发映射到多个物理 CPU 核心上并行执行；某个线程发生 I/O 阻塞不会影响其他线程；
  • 缺点：线程的创建、销毁和上下文切换必须发起系统调用陷入内核态，内存占用（每个线程默认栈需 1MB 左右）与调度开销相对较高。
• 混合线程实现（M 模型 / 两级调度模型）：
  • 架构：将 $M$ 个用户空间轻量级线程（协程/Goroutine）动态复用到 $N$ 个内核线程上（$M \gg N$）；
  • 优势：用户态运行时（Runtime）负责协程之间的协作让出与低成本调度，内核态负责物理 CPU 核心的真正并行计算。当某个协程阻塞时，调度器将其解绑，让其他就绪协程继续在内核线程上跑，兼具十万级高并发与多核高吞吐（如 Go 语言的 GMP 调度模型）。

线程间同步#

死锁（Deadlock）#

在两个或多个并发执行的线程中，每个线程都在持有某些资源的同时等待其他线程释放其所占有的资源，在未打破这种僵局之前，所有相关线程都无法继续向前推进，处于无限期相互等待的僵死状态。

活锁与饥饿#

• 饥饿（Starvation）：某个线程因为调度算法不公（如低优先级）或资源分配倾斜，长久无法获得所需的 CPU 时间或资源，导致无法向前推进执行。与死锁不同，处于饥饿中的资源仍有可能在未来某个时刻被分配给该线程。
• 活锁（Livelock）：处于活锁中的线程都在持续改变自身状态以试图让出资源，但由于各线程之间的反应过于一致或相互礼让，导致整个系统始终无法向前取得实质进展（如两人狭路相逢相互礼让，却总是同时闪向同一侧）。

物理内存 vs 虚拟内存#

• 物理内存（Physical Memory）：计算机中真实安装的 RAM 硬件模块。应用程序和操作系统最终的指令与数据都必须载入物理内存中才能被 CPU 执行。
• 虚拟内存（Virtual Memory）：操作系统与硬件（MMU）协同提供的一种内存抽象技术。它让每个进程都认为自己独占一份连续、完整的私有地址空间：
  • 隔离性：每个进程运行在专属的虚拟地址空间中，即使指针越界或非法访问也不会窜改其他进程或内核的数据；
  • 地址转换：CPU 内部的内存管理单元（MMU）通过**页表（Page Table）**将虚拟地址动态转换为真实的物理内存地址；
  • 空间扩充：当实际物理内存不足时，操作系统将暂时不用的虚拟内存页换出到磁盘交换区（Swap），从而支撑比物理内存大得多的应用程序运行。

内存分段与内存分页#

操作系统为了管理物理内存，历史上演进出两种截然不同的内存抽象机制：分段（面向程序员的逻辑视角） 与 分页（面向硬件的物理管理视角）。

多级页表与快表#

在朴素分页模型下，现代操作系统面临着两大核心矛盾：

1. 空间矛盾（单级页表太占内存） $\to$ 由 多级页表（Multi-level Page Table） 解决；
2. 时间矛盾（多级查询访存太慢） $\to$ 由 快表（TLB） 解决。

交换空间（Swap Space）#

操作系统在磁盘上开辟的一块独立存储分区或文件。当物理 RAM 内存资源紧张时，内核将某些暂时不活跃的内存页数据转移到磁盘交换区中暂存，以释放出宝贵的物理 RAM 供前台活跃进程使用。物理内存容量与交换空间容量的总和构成了虚拟内存可用的理论上限。

缺页中断（Page Fault）#

当 CPU 访问某个虚拟地址时，硬件 MMU 查询页表发现该虚拟页尚未载入物理内存（页表项中的有效位为 0），CPU 立即触发一次硬件异常——缺页中断。操作系统内核介入并执行以下恢复流程：

1. 检查访问地址是否合法，若越界或无权限则触发段错误（Segmentation Fault）；
2. 操作系统在物理内存中寻找空闲页帧；若无空闲页帧，则触发页面置换算法淘汰某页；
3. 将所需页面从磁盘（Swap 分区或原始可执行文件）读取并加载到分配的物理页帧中；
4. 更新页表映射条目，将有效位标记为有效；
5. 恢复中断现场，CPU 重新执行先前被中断的访存指令。

常见页面置换算法#

• 最佳页面置换算法（OPT, Optimal）：淘汰未来最长时间内不会被访问的页面。能保证理论上最低的缺页率，但由于无法预知未来的访问序列，实际系统中无法实现，常作为衡量其他算法优劣的基准上限。
• 先进先出置换算法（FIFO, First-In First-Out）：优先淘汰最早进入内存的页面。实现极其简单（基于队列管理），但可能出现 Belady 异常（分配给进程的物理页帧增加，缺页率反而升高的反常现象），且容易误淘汰常驻的高频页面。
• 最近最久未使用置换算法（LRU, Least Recently Used）：淘汰过去最长时间未被访问过的页面。基于局部性原理，效果最接近 OPT 算法。但精确实现需要硬件计时器或频繁维护访问链表，系统开销较大。
• 时钟页面置换算法（Clock / 二次机会算法）：LRU 的一种高效近似工程实现。将所有内存页组织为循环链表（形如时钟表盘），每个页面设置一个访问位（访问时置 1）。指针顺时针巡检：若访问位为 1 则清零并给予“二次机会”跳过；若访问位为 0 则直接选中该页进行置换。
• 最不常用置换算法（LFU, Least Frequently Used）：统计各页面被访问的累计频次，置换掉过去访问次数最少的页面。需要为每个页面维护访问计数器并设计定期衰减机制。

网络 I/O 的两大核心阶段#

无论是读取本地文件还是接收网络 Socket 数据包，一次典型的 read() / recv() 系统调用在操作系统内部都严格划分为 两大独立阶段：

1. 阶段 1：等待数据准备就绪（Wait for Data Ready）：
   • 远程主机发送数据包，经过物理网络到达本机网卡；
   • 网卡通过 DMA 将数据拷贝到内核缓冲区，等待完整的数据包拼装完毕。
2. 阶段 2：数据从内核拷贝到用户空间（Copy Data from Kernel to User）：
   • 内核将已经就绪的数据从内核空间缓冲区拷贝到应用程序的用户空间缓冲区；
   • 拷贝完成后，系统调用返回，应用程序开始处理业务逻辑。

不同 I/O 模型的根本区别，就在于 进程在这两个阶段中是“挂起死等”还是“非阻塞去做别的事”：

阻塞 I/O vs 非阻塞 I/O#

• 阻塞 I/O（Blocking I/O）：
  • 特征：阶段 1 与阶段 2 全程处于阻塞状态；
  • 优缺点：编程模型最符合直觉，但并发性能极差。如果要同时服务多个客户端，必须为每个连接分配一个独立线程（1 Connection = 1 Thread）。
• 非阻塞 I/O（Non-blocking I/O）：
  • 特征：阶段 1 不阻塞，若数据未好立即返回 EAGAIN；但阶段 2（内存拷贝）仍然是阻塞的；
  • 优缺点：线程虽然不会被卡死，但如果通过 while 循环不断轮询检查，会导致 CPU 空转率极高（100% 飙高），大部分系统调用都在做无用功。

传统多线程的破产与 I/O 多路复用诞生#

在面对海量并发连接（如 C10K 问题：单机维持 1 万并发连接）时，传统的阻塞多线程模型彻底失效：

• 线程栈内存爆炸：Linux 下每个线程栈默认 1MB ~ 8MB，1 万个线程将霸占数十 GB 物理内存；
• CPU 上下文切换瘫痪：CPU 大量算力全部被用于在 1 万个线程之间频繁切换现场，无法有效处理业务代码。

I/O 多路复用（I/O Multiplexing） 彻底颠覆了这种模式：

“以一当万”：由 单个线程 借由内核的能力同时监视成千上万个 Socket 文件描述符（FD）。当没有任何 Socket 准备好时，线程在多路复用调用处休眠；一旦某个或某些 Socket 有事件就绪，内核立即唤醒该线程进行精准处理。

经典演进：select 与 poll（盲猜与全量搬运）#

epoll：Linux 高并发的封神之作（解决 C10K / C1000K）#

为了彻底根治 select/poll 的固有弊端，Linux 2.6 引入了全新的 epoll。epoll 通过底层三大杀手级设计，将海量连接监控性能提升到了极致：

水平触发（LT）vs 边缘触发（ET）#

epoll 支持两种事件触发模式，这是网络编程与面试中的经典重点：

• 水平触发（LT, Level Triggered，默认模式）：
  • 机制：只要内核缓冲区中还有未读取的数据，每次调用 epoll_wait 都会重复不断地通知应用程序，直到所有数据被全部读完；
  • 优缺点：编程容错率极高，不容易漏掉数据；但如果高频多次未读完，会反复唤醒上下文，吞吐略低。支持阻塞与非阻塞 Socket。
• 边缘触发（ET, Edge Triggered，极致高速模式）：
  • 机制：仅在 Socket 的状态发生变化的那一瞬间（从未就绪变为就绪）通知一次！如果这一次没有把缓冲区的数据全部读光，未读完的数据将长期驻留内核缓冲区，后续 epoll_wait 绝不会再次提醒；
  • 编码铁律：
    1. 必须搭配非阻塞 I/O（O_NONBLOCK）使用；
    2. 接收到通知后，必须使用 while 循环反复调用 read() 直至返回 EAGAIN / EWOULDBLOCK 错误，确保这一次把缓冲区内的数据彻底掏空！
    3. 能够将系统调用与上下文唤醒次数降至最低，是 Nginx、Netty 等高性能服务器框架的底层核心配置。

💡 select vs poll vs epoll 核心维度对比速查表#

软链接与硬链接#

• 硬链接（Hard Link）：在目录中创建一个新文件名条目，但其直接指向源文件的同一个 inode。每个硬链接会使该 inode 的链接计数器加 1。删除任何一个硬链接条目，只要 inode 的引用计数不为 0，文件内容就不会丢失。限制：不能跨越不同的文件系统，且默认不允许对目录创建硬链接。
• 软链接（符号链接 Symbolic Link）：一个拥有独立 inode 和独立数据块的特殊文件，其数据块内部存储的内容是源文件的路径字符串。访问软链接时，操作系统会自动解析并重定向跳转到实际目标文件。特点：可以跨越不同的文件系统，也可以为目录建立链接；若源文件被删除，软链接依旧存在，但会变成无法打开的“断链”（Dangling Symlink）。

存储介质性能层级#

• 机械硬盘（HDD）：通过物理磁盘盘片高速旋转（如 7200 RPM）和磁头臂物理寻道来定位和读写数据。随机 I/O 极慢，寻道延迟约 510ms，顺序传输速率约 100200 MB/s。
• 固态硬盘（SSD）：基于闪存介质（NAND Flash）与主控芯片，无任何机械活动部件。访问延迟约 50~100μs（比 HDD 快上百倍），NVMe SSD 顺序读写可达数千 MB/s，高并发随机读写性能极佳。
• 物理内存（RAM）：基于电容和半导体电路的高速易失性存储介质。访问延迟约 10~100ns（比 HDD 快 10 万倍以上），数据带宽可达数十至数百 GB/s。