NUMA 架构与内存亲和性：节点拓扑、访问延迟与 numactl 绑核实战
从 SMP 到 NUMA 的演进、ACPI SRAT/SLIT 描述的内存拓扑、本地与远程访问的延迟差距，到内核 struct pglist_data 与 zonelist 的调度策略，最后落地 numactl、numad 与自动 NUMA balancing 的调优实践与常见误区。
category
Os
共 55 篇文章。
31. 虚拟内存与分页
完整拆解虚拟内存机制：为什么需要虚拟地址、页式管理的地址转换过程、多级页表与 TLB 如何把开销压到可接受范围、页表项的权限位与写时复制、缺页异常的完整处理路径、页面置换算法（FIFO/LRU/Clock）与抖动，以及 mmap、共享内存与内存映射文件等工程应用。
29. 操作系统概述与体系结构
从整体视角认识操作系统：三大核心职责（资源管理、抽象提供、程序控制）、宏内核与微内核的体系结构之争、特权级与用户态内核态切换、系统调用的完整调用链路、中断与异常的处理时机、设备驱动模型，以及从加电自检到用户空间 init 的完整启动流程，并给出面试高频考点与工程取舍。
25. IO 模型与多路复用
系统掌握 IO 模型全景：阻塞/非阻塞 IO、同步/异步 IO 的对比矩阵、IO 多路复用（select/poll/epoll）原理与对比、事件驱动模型（Reactor/Proactor）、零拷贝与 sendfile、以及 Redis/Nginx/Netty 等高性能框架的 IO 架构实践。
24. 并发编程与同步机制
系统掌握并发与同步核心：竞态条件与临界区、原子性与可见性、互斥锁（synchronized/ReentrantLock/读写锁）、信号量与条件变量、自旋锁与乐观并发、内存模型与 volatile、无锁编程（CAS/ABA）、以及死锁/活锁/饥饿的成因与工程避免。
虚拟化与容器隔离：从 KVM/QEMU 到 namespace 与 cgroup
虚拟化与容器是现代基础设施的两大基石，但它们的隔离模型截然不同。本文从 KVM/QEMU 的硬件虚拟化原理出发，深入 VMX/SVM 指令、EPT 内存虚拟化与 virtio 半虚拟化设备，再剖析容器依赖的 namespace 视图隔离与 cgroup 资源限制，最后对比虚拟机与容器的隔离边界、性能差异与安全风险，帮你建立从 Hypervisor 到 runc 的完整认知链路。
系统启动全流程：从 BIOS/UEFI、GRUB 到内核与 systemd
从按下电源键到登录界面，系统要经历固件初始化、Bootloader、内核解压、驱动加载、initramfs、systemd 初始化多个阶段。本文沿真实启动路径逐步解剖：BIOS 与 UEFI 的差异、Secure Boot 信任链、GRUB 如何加载内核、内核从实模式到 start_kernel 的旅程、initramfs 为什么存在，以及 systemd 的并行启动与依赖图，最后给出用 systemd-analyze 做启动性能优化的完整方法。
操作系统安全加固与可信计算：LSM、内核加固、TPM 与容器逃逸防护
操作系统安全的本质是纵深防御：从内核自身的加固（KASLR、栈保护、模块签名），到强制访问控制层 LSM（SELinux/AppArmor），再到硬件信任根（TPM 可信启动与远程证明），以及容器场景的逃逸防护（seccomp、Capabilities、最小权限）。本文先画出攻击面全景，再逐层拆解每一道防线的工作原理与配置方法，最后给出生产环境可落地的加固清单与逃逸事件处置路径。
实时操作系统：RTOS 内核设计、优先级反转与 Linux PREEMPT_RT
实时系统关注的不是吞吐，而是「在规定时间之前完成」的确定性。本文从硬实时与软实时的定义出发，拆解 RTOS 内核的任务模型与抢占式调度设计，深入经典难题优先级反转及优先级继承/天花板两种解法，再分析 RMS 与 EDF 的可调度性理论，最后落到 Linux PREEMPT_RT 的演进、实时调度策略（SCHED_FIFO/RR/DEADLINE）、PI-futex 与 cyclictest 实测，给出工业控制与音视频场景的选型建议。
NVMe 存储栈深入：PCIe 队列对、多队列调度与 io_uring 的结合
NVMe 通过 PCIe 直连与高深度的多队列把闪存盘的随机 IO 性能推向数百万级 IOPS，但这要求整条存储栈——从驱动队列、块层 blk-mq、IO 调度器到用户态 io_uring——都以极低延迟协作。本文从 PCIe 事务与队列对模型讲起，深入 NVMe 多队列映射、blk-mq 与 IO 调度器，再剖析 io_uring 与 NVMe 结合后的轮询与内核绕过路径，最后给出生产环境压测与调优清单。
eBPF 可观测与内核追踪：从 BPF 程序模型到生产调试与安全审计
eBPF 让开发者无需修改内核代码，就能在内核事件发生处动态注入安全受限的程序，是现代可观测性、性能诊断与安全审计的事实标准。本文从 BPF 指令集与验证器出发，拆解程序类型与挂载点（tracepoint/kprobe/uprobe），讲解 BPF Map 的数据通道，再对比 bpftrace、BCC 与 libbpf/CO-RE 三条开发路径，最后给出 TCP 重传追踪、阻塞唤醒分析、execsnoop 审计等真实生产场景的完整脚本。
进程与线程：从 PCB 到内核调度实体
操作系统中最核心的抽象莫过于进程（Process）。它不仅是资源分配的基本单位，也是程序运行的载体。而线程（Thread）作为更轻量的执行单元，让并发程序设计更加高效。本文从内核视角出发，深入剖析进程控制块、线程模型、Linux 实现机制以及用户态协程的本质。
虚拟内存与分页机制：从 MMU 到 TLB
虚拟内存是操作系统中最精妙的设计之一。它让程序可以方便地使用连续地址空间进行编码，而无需关心复杂多变的物理内存布局。同时，它也为操作系统调度、进程隔离和内存安全提供了底层支撑。从最早的段页式管理，到现代 x86-64 的多级页表，虚拟内存始终是操作系统与硬件交互最核心的环节之一。
系统性能诊断与调优：strace、perf、bpftrace
性能问题往往没有统一的标准答案，但 Linux 提供了一套完整的工具链，可以从不同层面揭示系统的运行状况。本文系统介绍从系统调用跟踪到内核动态追踪的常用工具，帮助开发者在面对高 CPU、高延迟或资源瓶颈时快速定位根因。strace：系统调用跟踪 strace 是最基础也是使用率最高的诊断工具之一。
现代高性能 IO：epoll、io_uring 与异步 IO
The C10K Problem：为什么 poll/select 不具扩展性 在 1999 年，开发者 Dan Kegel 提出了著名的 C10K Problem：如何让一台单机同时处理 10,000 个并发连接？
死锁：条件、检测、预防与银行家算法
死锁（Deadlock）是并发系统中一类经典而且代价高昂的故障：多个进程或线程因相互等待对方持有的资源，而全部陷入永久阻塞。与竞态条件不同，死锁不会破坏数据完整性，但它会让系统「冻结「在某一点，服务完全丧失可用性。
文件系统原理：inode、目录结构与 VFS 抽象层
文件系统是操作系统中最关键的子系统之一。它将裸设备的物理存储块（block）抽象为逻辑上的目录和文件，让用户和应用程序可以方便地组织、读取和写入数据。理解文件系统的底层原理，对于排查磁盘空间泄漏、IO 性能瓶颈和数据一致性问题都至关重要。
操作系统概述：内核态与用户态、系统调用原理
操作系统是计算机系统中最核心的系统软件，它管理硬件资源、提供抽象接口、保障程序安全隔离。深入理解操作系统的基础原理，是每一位系统工程师的必修课。本文将围绕内核态与用户态的隔离机制、系统调用的实现原理展开系统性的介绍。
多处理器与缓存一致性：MESI 协议与内存屏障
SMP 与 NUMA：两种多处理器架构 多核处理器从架构上可以分为 SMP（Symmetric Multi-Processing，对称多处理）和 NUMA（Non-Uniform Memory Access，非统一内存访问）两大类。
同步原语：信号量、互斥锁、条件变量与读写锁
在多核处理器成为主流的当下，并发编程已是必备技能。然而，并发带来的竞态条件（Race Condition）和数据不一致问题要求我们借助同步原语来协调多个执行单元对共享资源的访问。本文从底层实现出发，逐一剖析 Linux 中最常用的同步机制：互斥锁、信号量、条件变量、读写锁、自旋锁和 RCU，并给出选