操作系统安全加固与可信计算：LSM、内核加固、TPM 与容器逃逸防护
操作系统安全的本质是纵深防御：从内核自身的加固（KASLR、栈保护、模块签名），到强制访问控制层 LSM（SELinux/AppArmor），再到硬件信任根（TPM 可信启动与远程证明），以及容器场景的逃逸防护（seccomp、Capabilities、最小权限）。本文先画出攻击面全景，再逐层拆解每一道防线的工作原理与配置方法，最后给出生产环境可落地的加固清单与逃逸事件处置路径。
category
Os
共 43 篇文章。
实时操作系统：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，并给出选
内存分配与回收：从 malloc 到 slab 分配器
引言：堆内存的演进之路 在 Linux 系统中，当程序请求一块内存时，操作系统并不会直接暴露物理页。相反，一个复杂的分配器层次逐步将大块虚拟地址空间切割成程序所需的小块。从用户态的 到底层的 / ，再到内核的 slab/slub 分配器，每一层都在性能、碎片率与并发能力之间做出权衡。
中断与异常处理：从硬件中断到软中断
中断（Interrupt）是操作系统最核心的机制之一。无论是键盘输入、磁盘 I/O 完成，还是定时器到期，系统都依赖中断来打破 CPU 的顺序执行流，让内核能够及时响应外部事件。理解中断的完整链路——从硬件信号到内核处理，再到 Linux 的下半部机制——是掌握操作系统底层原理的关键一步。
Linux 进程管理：fork、exec、wait 与进程间通信
Linux 进程管理完整指南：fork 的 Copy-on-Write 机制、exec 家族系统调用、wait/waitpid 僵尸进程处理，以及 POSIX 管道、消息队列、共享内存、Unix Domain Socket 四种 IPC 机制的深度对比与实战代码。
Linux 网络编程基础：Socket API 与 TCP 连接生命周期
在 Linux 系统中，网络通信的基石是 Berkeley Socket API。无论你是在编写 Web 服务器、微服务网关，还是分布式系统的 RPC 框架，最终都会落到 、 、 、 这些系统调用上。
Linux 内核编译与模块开发入门
Linux 内核模块（Kernel Module）是可动态加载到内核空间的代码单元，它是驱动开发、文件系统扩展、网络协议栈增量的核心手段。与微内核架构不同，Linux 采用宏内核设计，所有内核代码共享同一地址空间，模块的运行效率极高，但也意味着一个不合格的模块可能导致整个系统崩溃。
Linux 内存子系统：OOM、Swap 与 cgroup 内存限制
Linux 内存管理子系统是内核中最复杂的模块之一。它不仅要为进程分配物理页帧，还要在内存不足时做出艰难的权衡决策。本文从 overcommit 策略、OOM Killer、交换机制、cgroup 控制、内存水位以及诊断工具六个维度，系统地梳理 Linux 内存子系统的核心原理。
Linux 信号机制：从 kill -9 到可靠信号
1. 信号基础 Linux 信号（signal）是操作系统向进程发送的软件中断通知机制。当特定事件发生时——用户按下 Ctrl-C、子进程退出、进程访问无效内存、管道写入端关闭——内核向目标进程的进程控制块（PCB）中记录一个待处理的信号。