CPU 调度：CFS 的虚拟运行时间与 EEVDF 的虚拟截止期
从比例份额调度的论文谱系出发，对照 Linux v6.6 与 v6.12 fair.c 源码，解释 CFS 的 vruntime、EEVDF 的 lag/eligible/deadline，并用确定性模拟复现延迟与 lag 的差异。
os 分类归档
共 118 篇文章 · 返回首页
I/O 调度：在寻道、队列深度与公平性之间取舍
从电梯算法到 blk-mq，解释 Linux I/O 调度器为何在 HDD 上排序、在共享设备上保公平、在 NVMe 上常选择 none，并用确定性模拟展示寻道距离与队列尾延迟的取舍。
用户态内存分配器：size class、线程缓存与碎片边界
从 Wilson 分配器综述到 jemalloc、gperftools tcmalloc 与 mimalloc 的源码路径，解释 size class、线程缓存、跨线程释放和 RSS 碎片；用可复现实验说明不能只凭 allocator 名字下结论。
伙伴系统与 SLUB：Linux 物理页和小对象分配的边界
以 Linux v6.6 源码和确定性模拟为准，解释伙伴系统的 split/coalesce、migratetype 反碎片策略，以及 SLUB 的 per-CPU freelist、partial list 与安全加固。
页面置换算法：从 OPT、LRU 到 ARC 与 Linux 页面回收
从 Bélády OPT 与栈算法出发，用可复现的模拟实验对比 FIFO、LRU、CLOCK、2Q、ARC 在循环与扫描负载下的命中率，再对照 Linux 6.12 源码说明 active/inactive、workingset 与 kswapd/direct reclaim 的真实分工。
【操作系统百科】实时 OS 巡礼
硬实时与软实时的可调度性边界、VxWorks/QNX/Zephyr 机制对照、Linux PREEMPT_RT 与主线合入、DO-178C/ISO 26262 认证语境，以及选型决策树。
【操作系统百科】Unikernel
Unikernel 在云上为什么没成主流？MirageOS、IncludeOS、Unikraft、OSv 的设计取舍——库操作系统、启动时间、工具链、调试困难、POSIX 兼容。
【操作系统百科】Rust for Linux
Rust for Linux 真的在解决问题还是在搬问题？合入时间线、抽象 crate、Pin/unsafe 边界、Asahi GPU 驱动、维护成本、ABI 兼容、工具链依赖。
【操作系统百科】可拆分 OS
CXL 内存池化如何动摇 OS 对本地 DRAM 的假设？从资源解耦、CXL.mem 语义、LegoOS/PhantomOS/Twilight 学术原型，到 Linux CXL 驱动、dax、HMM 与 memory tiering，说明 disaggregated OS 的工程边界与 NUMA 演进。
【操作系统百科】OS 的下一个十年
综合 Windows/RTOS/Unikernel/Rust/机密计算/CXL 等前沿篇章，从 Rust 内核、机密计算、可拆分内存、io_uring 统一 I/O、eBPF 可编程内核五条趋势出发，按现在/三年/十年框架说明应用开发者应调整的假设与可执行建议。
【操作系统百科】NUMA 内存
多路服务器里内存不再平等——本地访问与跨 socket 远端访问的延迟与带宽不同。本文讲 NUMA 拓扑、mempolicy、AutoNUMA、NUMA balancing、CXL 分级内存，以及如何用 numactl/lscpu/numastat 核对拓扑并做生产调优；不编造本机未测得的纳秒延迟。
【操作系统百科】epoll 内部
epoll 用红黑树管理 fd、就绪链表 O(1) 返回事件——打败 select/poll 的关键。本文讲 eventpoll 结构、LT/ET 语义、EPOLLEXCLUSIVE 与惊群、级联 epoll、EPOLLONESHOT、与 io_uring 的比较。
【操作系统百科】cgroup v2：资源控制的统一模型
cgroup v2 把 v1 的多 hierarchy 统一成单一树。本文讲 unified hierarchy、controller 清单、cpu.weight/io.weight/memory.max、PSI 压力指标、systemd slice/scope/service 层级、cgroup delegatio…
EEVDF 调度器：Linux 6.6 为什么换掉了 CFS
Linux 6.6 用 EEVDF 取代了 CFS 的 SCHED_NORMAL 选取逻辑。从 1995 年原始论文的 lag、eligibility、virtual deadline，到 commit 147f3ef 只重写 placement/pick/preempt，再到本机内核 6.6 上读 sched/de…
【操作系统百科】Windows 内核与 Linux 的关键差异
NT Executive/Kernel/HAL 分层、Object Manager 与 handle、IRP 驱动栈、IOCP 完成端口 vs epoll/io_uring、EPROCESS/KTHREAD vs task_struct、Registry vs 文件配置，以及 WSL2 为何选择 Hyper-V 轻量…
【操作系统百科】机密计算
TEE 保护什么、不保护什么？从 Intel SGX、AMD SEV-SNP、Intel TDX 到 ARM CCA，对照威胁模型、远程认证、Confidential Containers 与 Gramine/Occlum 软件栈，说明机密计算如何改变 Guest 与 Hypervisor 的信任关系，以及与容器隔离…
【操作系统百科】FreeBSD 与 OpenBSD 的不同选择
FreeBSD 和 OpenBSD 从同一个 BSD 根分出两条相反的路径：一个追求通用性能与广泛生态，一个追求安全正确性与代码洁癖。本文从安全模型、文件系统（ZFS vs FFS）、网络栈（pf vs pf 正统）、虚拟化（jail/bhyve vs vmm）、社区治理、包管理、硬件支持到生产案例做逐项对比，给出选…
【操作系统百科】内核内存调试
内核内存 bug 是最难追的：UAF、OOB、double free、leak 都可能沉默数月。本文讲 KASAN 三种模式、KFENCE 生产采样、kmemleak、SLUB_DEBUG、UBSAN/KCSAN 联动。
【操作系统百科】VFS 四层抽象
Linux 的一切皆文件靠 VFS 实现——superblock、inode、dentry、file 四层抽象加 ops 表。本文讲 VFS 核心数据结构、dcache、inode cache、RCU lookup，以及文件系统如何插入 VFS。
操作系统百科
Linux 6.x 视角下的操作系统系列索引：110 篇覆盖调度、虚拟内存、文件系统与 I/O、并发、隔离、可观测性，按主题、阅读路径与关键问题三种入口组织。
【操作系统百科】用户态分配器：jemalloc vs tcmalloc
jemalloc 与 tcmalloc 都想解决多线程分配器的老问题：锁争抢、碎片、RSS 膨胀与回收抖动。但两者把优化重点放在了不同位置：tcmalloc 更激进地把热路径推到 per-CPU，jemalloc 则把 arena、extent、decay 和 profiling 做成了一套更完整的内存治理工具箱。
操作系统百科
110 篇长文，从操作系统的基础抽象到调度、虚拟内存、文件系统、并发、安全、前沿方向。以 Linux 6.x 主线为实现参照，辅以 FreeBSD、XNU、Windows NT、实时 OS 的对照。
【操作系统百科】内存回收
Linux 内存回收是 VM 最复杂的子系统之一。本文讲 active/inactive LRU、kswapd 与 direct reclaim、watermark 三线、swappiness 的真实含义、MGLRU 改造、memcg 回收与 PSI。
【操作系统百科】交换
swap 还值得开吗？本文讲 swap area 基础、swap cache、zram 压缩内存、zswap 前端压缩池、swappiness 的真实含义、容器里的 swap 策略，以及为什么现代 Android 全靠 zram 不靠磁盘。
【操作系统百科】Slab/SLUB 分配器
buddy 只管页粒度（4K+），内核大多数对象只有几十到几百字节。slab/SLUB 在 buddy 之上做对象级缓存。本文讲 slab 历史、SLUB 接手、SLOB 退场、kmem_cache、per-CPU cache、KASAN 集成。
【操作系统百科】io_uring 内核内部
io_uring 用共享内存 ring buffer 实现零 syscall 异步 I/O——SQ/CQ、SQPOLL、IOPOLL、注册 fd/buffer、multishot、安全模型演化。本文深入内核实现与工程实践。
【操作系统百科】splice/tee/vmsplice
splice 在内核 pipe buffer 间移动数据——不经过用户态。本文讲 splice/tee/vmsplice 原理、pipe_buffer 与 page 生命周期、sendfile 的前世、CVE-2022-0847 Dirty Pipe 复盘。
【操作系统百科】Linux 内核内存模型
READ_ONCE、smp_mb、smp_store_release——内核并发代码的基石。本文讲 LKMM 的诞生、ordering 语义、cumulativity、address/data/control 依赖、marked vs plain access、litmus test 方法论。
【操作系统百科】原子 RMW 操作
x86 LOCK 前缀、ARM LL/SC、ARMv8.1 LSE、RISC-V A 扩展——四种硬件原子原语的工程差异。本文讲 fetch_add/CAS/swap 成本、cache line bouncing、tearing 与内核 atomic API。
【操作系统百科】eBPF 核心
BPF 为什么能成为 Linux 的第二用户态？verifier、JIT、map 家族、BTF、CO-RE、BPF_LSM、sched_ext——本文讲 eBPF 的内核侧机制。
【操作系统百科】容器隔离的真实强度
容器 vs 虚机 vs microVM 的真实隔离差距。namespace+cgroup+seccomp+capabilities 组合、user namespace rootless、gVisor、Kata Containers、Firecracker——本文评估容器安全。
【操作系统百科】虚拟化基础
VM-exit/VM-entry 的代价和近年优化。VMX/SVM 硬件虚拟化、EPT/NPT 二级页表、APICv posted interrupts、vCPU 调度、nested virtualization——本文讲 x86 虚拟化基础。
【操作系统百科】KVM 架构
KVM 在 Linux 中如何做到最小的 hypervisor？/dev/kvm ioctl、QEMU 用户态设备模型、vhost-net/vhost-user、virtio、eventfd/irqfd、IOMMU、SEV/TDX 集成。
【操作系统百科】POSIX capabilities
为什么 setuid root 早该被 capabilities 取代？cap sets（permitted/effective/inheritable/bounding/ambient）、file caps、容器内 capabilities——本文讲 Linux 的细粒度权限模型。
【操作系统百科】seccomp-bpf 与 Landlock
进程自限如何实现最小权限？seccomp strict mode、filter mode（BPF 过滤器）、user notify、Landlock 文件访问控制、syscall user dispatch——本文讲 Linux 的系统调用过滤。
【操作系统百科】SELinux 与 AppArmor
SELinux 与 AppArmor 的模型差异如何影响运维？LSM hooks、类型强制策略、AppArmor profile、permissive/enforce 模式、容器标签——本文讲 Linux 强制访问控制。
【操作系统百科】IMA、EVM 与 dm-verity
从引导到运行时的完整性保证链如何闭环？measured boot → IMA measurement/appraisal → EVM → dm-verity / fs-verity → TPM PCR——本文讲 Linux 的完整性子系统。
【操作系统百科】KASLR 与内核缓解措施
Spectre/Meltdown 时代留给内核的性能税有多重？KASLR、KPTI、retpoline、IBRS/eIBRS、RSB stuffing、SSBD——本文讲 CPU 漏洞缓解措施的内核实现。
【操作系统百科】ftrace
ftrace 是 Linux 内核的内置追踪框架——函数追踪、function graph、tracepoints、trace-cmd。本文讲 mcount/fentry 机制、动态 patching、histogram、synthetic events。
【操作系统百科】perf 子系统
perf 到底看到了什么？PMU 硬件计数器、tracepoint、perf_event_open、perf ring buffer、Processor Trace——本文讲 perf 子系统的内核机制。
【操作系统百科】kprobe、uprobe 与 fprobe
kprobe/uprobe/fprobe 在热点路径的真实 overhead 是多少？本文讲 int3 断点机制、fprobe 基于 ftrace 的优化、uprobe 用户态探针、USDT、BPF 联动。
【操作系统百科】kdump 与故障转储
线上 panic 如何留下可分析的证据？kexec 启动捕获内核、crashkernel 参数、vmcore 分析、crash 工具、ramoops/pstore——本文讲 Linux 的故障转储机制。
【操作系统百科】lockdep 与内核锁验证
lockdep 报的 ABBA 死锁该不该怕？本文讲 lockdep 锁依赖追踪、lockdep_assert_held、KCSAN 并发检查、KFENCE 内存越界检测、false positive 处理。
【操作系统百科】内核日志
printk 还能活多久？printk 缓冲区、dev_printk、rate limiting、netconsole、printk lockless 改造——本文讲内核日志子系统的机制与演化。
【操作系统百科】/proc 与 /sys
为什么 /proc/self/status 的字段总让人困惑？本文讲 procfs vs sysfs 设计哲学、常用字段解读、pid namespace 下表现、per-cgroup 接口、稳定性分级。
【操作系统百科】从加电到 PID 1
按下电源键到看到登录界面——中间经历了固件、bootloader、内核解压、start_kernel、rest_init、PID 1。本文走一遍 x86 和 ARM 的完整启动时间轴。
【操作系统百科】initramfs
现代 Linux 启动离不开 initramfs——加密 root、LVM、NVMe 驱动都在 initramfs 加载。本文讲 cpio 归档、early userspace、dracut 模块化、switch_root、unified kernel image（UKI）。
【操作系统百科】ELF 加载
execve 之后，内核把 ELF 二进制搬上场——PT_LOAD 段 mmap、动态链接器 ld.so、GOT/PLT 延迟绑定、PIE、aux vector。本文走完从 execve 到 main 的全路径。
【操作系统百科】vDSO
vDSO 把 gettimeofday/clock_gettime 搬到用户态——零 syscall 读时间。本文讲 vDSO 原理、vvar 共享页、getrandom vDSO、x86/arm64 差异、vsyscall 退役、time namespace 支持。
【操作系统百科】内核模块生态
out-of-tree 模块在现代 Linux 还该不该存在？本文讲模块加载机制、符号版本（modversions）、Secure Boot 签名、DKMS、lockdown、module taint、livepatch（kpatch/kGraft）。
【操作系统百科】稳定与不稳定 ABI
sysctl/sysfs/tracefs 哪些能依赖？syscall 反而最稳定。本文讲 Documentation/ABI 框架、sysfs 规则、debugfs/tracefs 非承诺、Linus 的 never break userspace 规则与例外。
【操作系统百科】中断架构
从硬件信号到 handle_irq——中断的全旅程。本文讲 IDT、APIC/x2APIC、MSI/MSI-X、GSI 到 IRQ 映射、irq_desc、affinity 绑定、IPI、中断风暴与重平衡。
【操作系统百科】softirq/tasklet/workqueue
中断下半部有三条路——softirq（静态编号、高性能）、tasklet（动态但退役中）、workqueue（可睡眠、灵活）。本文讲三者实现、ksoftirqd 切换、threaded NAPI、workqueue 类型与调优。
【操作系统百科】线程化中断
把 IRQ handler 线程化——PREEMPT_RT 的核心改造之一。本文讲 request_threaded_irq、handler/thread_fn 分工、IRQF_ONESHOT、全线程化的延迟与吞吐代价、softirq 线程化趋势。
【操作系统百科】定时器
从 jiffies 时代的 timer wheel 到纳秒精度的 hrtimer——Linux 定时器的两套体系。本文讲 timer wheel 层次、hrtimer 红黑树实现、clock_event_device、slack 与 coalescing、定时器迁移。
【操作系统百科】无滴答内核
NO_HZ_FULL 让 CPU 运行用户态时不受 tick 打断——数据库、DPDK、低延迟交易的利器。本文讲 NO_HZ_IDLE/FULL、housekeeping CPU、RCU nocb、isolcpus、副作用与实际配置。
【操作系统百科】时钟源
TSC 真的稳吗？本文讲 clocksource/clockevents 分离、TSC invariant/unstable 判定、HPET/ACPI PM/arch_timer、watchdog 校准、vDSO gettimeofday、PTP/PHC 硬件时间戳。
【操作系统百科】CPU 热插拔
云环境和虚拟化里，CPU 可以运行时上下线。本文讲 CPUHP 状态机、cpu_up/cpu_down 路径、RCU 和定时器迁移、锁竞争、nohz_full 与热插拔的陷阱、回归事故案例。
【操作系统百科】电源管理
suspend-to-idle、S3 suspend、hibernate——三种系统级休眠的工程差异。本文讲 runtime PM、system PM、freeze_kernel、pm_qos、设备树/ACPI 配合、笔记本与服务器场景差异。
【操作系统百科】spinlock 家族
内核 spinlock 从关中断到 qspinlock 演化了四代。本文讲原始 spinlock、ticket lock、MCS lock、qspinlock、paravirt qspinlock、spin_lock_irqsave 的代价与 NUMA 友好性。
【操作系统百科】mutex 与 rwsem
内核 mutex 先自旋再睡眠——adaptive spin 策略。本文讲 mutex 实现、MCS wait list、owner handoff、rwsem 公平与不公平、PREEMPT_RT 替换、lockdep 死锁检测。
【操作系统百科】RCU 深度
RCU 是 Linux 内核使用最广泛的同步机制——读侧零开销。本文讲经典 RCU、Tree RCU、Tasks RCU、SRCU、grace period、rcu_dereference、call_rcu、lazy RCU、nocb CPU。
【操作系统百科】seqlock 与 seqcount
seqlock 让读者无锁重试——写者递增序列号，读者检测到变化则重试。本文讲 seqcount/seqlock 区别、write_seqlock 语义、timekeeper 用法、与 RCU 对比、load tearing 风险。
【操作系统百科】percpu_refcount 与 SRCU
高频 refcount 每次 inc/dec 都是 cache line bouncing。percpu_refcount 用 per-CPU 计数器解决——活跃时零竞争，关闭时收敛为原子。本文讲两阶段设计、SRCU、kref 与正确关闭顺序。
【操作系统百科】futex
glibc pthread_mutex 背后是 futex——用户态快路径无 syscall，竞争时才进内核。本文讲 FUTEX_WAIT/WAKE、PI futex、robust futex、futex2、requeue、安全补丁与工程陷阱。
【操作系统百科】优先级反转与继承
火星探路者号因优先级反转重启——这是实时系统最经典的故事。本文讲优先级反转现象、PIP 优先级继承协议、PCP 优先级天花板、rt_mutex、PREEMPT_RT 的 spinlock 转换、DEADLINE 任务反转。
【操作系统百科】内核并发的形式化验证
用 herd7 跑 litmus test、用 CBMC 检查有界模型、用 TLA+ 验证协议——内核并发代码的形式化验证实践。本文讲工具链、实际 bug 案例、与传统测试的权衡。
【操作系统百科】VFS I/O 路径全景
一次 read(fd, buf, n) 从用户态到磁盘要穿过多少层？本文追踪 VFS read/write 全路径——file_operations、iter_iov、iomap、页缓存命中与 miss、直接 I/O 旁路、块层提交、fsnotify 插桩。
【操作系统百科】POSIX AIO 与 libaio
Linux 有两套异步 I/O——glibc POSIX AIO（线程池伪装）和内核 libaio（io_submit/io_getevents，限制重重）。本文讲两者实现、O_DIRECT 约束、io_cancel 不可用性、与 epoll 的不可组合问题。
【操作系统百科】select 与 poll
select 和 poll 是最古老的 I/O 多路复用——O(n) 扫描、fd_set 1024 上限、每次 copy 全部集合。本文讲它们的实现、ppoll 信号安全、pselect、嵌入式与 POSIX 兼容场景下的残留价值。
【操作系统百科】fd 化抽象
Linux 把信号、事件、定时器、进程都变成 fd——signalfd/eventfd/timerfd/pidfd。本文讲每种 fd 的用途、与 epoll 组合、KVM 的 eventfd、systemd 的 pidfd、以及 fd 化哲学。
【操作系统百科】异步 I/O 模型 benchmark
epoll、io_uring、libaio、阻塞线程池——四种异步模型的真实性能对比。本文用统一 workload 量化 echo server、静态文件服务、数据库 I/O 场景下的吞吐、延迟与 CPU 开销。
【操作系统百科】路径名解析
/a/b/c 如何变成 inode 指针？本文讲 namei 的 LOOKUP_RCU 快速路径、mount 穿越、symlink loop 保护、openat2 的 RESOLVE_* 安全标志、case-insensitive 扩展。
【操作系统百科】fd 表与 struct file
fd 是用户态访问文件的句柄——但 fd 的共享语义在 fork/exec/dup/CLOEXEC 下极其微妙。本文讲 files_struct、fdtable、close_range、pidfd_getfd、cloexec 默认化趋势。
【操作系统百科】文件锁
POSIX fcntl 锁为什么在 2025 年还这么坑？本文讲 flock（BSD 锁）、POSIX fcntl 锁、OFD 锁（F_OFD_SETLK）、NFS lockd、lease——以及 POSIX 锁的 fork/close 语义陷阱。
【操作系统百科】xattr/ACL/capabilities
扩展属性（xattr）是 inode 的元数据扩展点——POSIX ACL、capability set、SELinux label 都存在 xattr 里。本文讲 xattr 四命名空间、POSIX ACL、文件 capability、备份工具与容器镜像的 xattr 问题。
【操作系统百科】文件变化通知
监控文件变化的三代方案 dnotify/inotify/fanotify 都不完美。本文讲内核 fsnotify 架构、inotify 的限制、fanotify FAN_REPORT_FID 与内容拦截、audit 联动、高频场景的 overflow 问题。
【操作系统百科】OverlayFS
OverlayFS 用 lower/upper/work 三层实现联合挂载——容器镜像层栈的内核根基。本文讲 copy_up、whiteout、opaque、metacopy、redirect_dir、性能与 Docker overlay2 驱动的工程细节。
【操作系统百科】FUSE
FUSE 把文件系统实现搬到用户态——开发快、崩溃不影响内核。本文讲 FUSE 协议、/dev/fuse 通信、FUSE_PASSTHROUGH、virtio-fs、io_uring FUSE、性能天花板与优化策略。
【操作系统百科】Buddy 系统
Buddy 是 Linux 物理页分配的底座——用二的幂次空闲链表管理所有物理页。本文讲 buddy 算法、zone 划分、gfp flags、per-CPU page 热路径、碎片与 compaction 的关系。
【操作系统百科】vmalloc/kmap/ioremap
内核需要大片虚拟连续但物理不连续的内存时用 vmalloc；需要映射 I/O 寄存器时用 ioremap；kmap 曾是 HIGHMEM 的桥梁。本文讲 vmalloc 区域、vmap、ioremap 与 PAT、kmap_atomic 的退役。
【操作系统百科】per-CPU 变量
per-CPU 变量是内核可扩展性的核心武器——每 CPU 一份副本，读写无锁。本文讲静态 per-CPU、dynamic per-CPU chunk、this_cpu_* 操作、percpu_counter、preempt 与 per-CPU 的微妙关系。
【操作系统百科】虚拟内存模型
虚拟内存是现代 OS 最核心的抽象：每个进程都像独占一块连续大内存。本文讲 VM 到底给了什么、代价是什么——VA/PA 映射、保护、隔离、COW、mmap 语义、overcommit、地址空间布局。
【操作系统百科】x86_64 多级页表
x86_64 默认 4 级分页（PML4），Linux 4.14+ 支持 5 级（LA57）。本文讲清各级索引、PTE bit、CR3 切换、PCID/INVPCID，以及硬件 page walker 为什么比软件 walk 快一个数量级。
【操作系统百科】ARMv8 VMSA 页表
ARMv8-A 翻译体制与 x86 差异很大：两套 TTBR、可选 4K/16K/64K granule、ASID 原生标签、nG/G 分离。本文梳理 VMSAv8-64 核心：TTBR0/1、granule、descriptor、ASID、VHE、MTE、BTI。
【操作系统百科】TLB 工程
TLB 容量有限，shootdown 在多核下常是扩展性终点。本文讲 TLB 层级、PCID/ASID 命中、shootdown 代价、INVLPGB 与 arm64 TLBI 广播、lazy tlb、huge page 对 TLB 的放大效应。
【操作系统百科】mm_struct 与 VMA
进程地址空间在内核里靠 mm_struct + VMA 链表/树描述。本文讲 mm_struct 核心字段、VMA 从红黑树到 maple tree 的改造、anon_vma 反向映射、mmap_lock 争抢。
【操作系统百科】缺页处理
缺页（page fault）是 VM 的核心事件——PTE 不 present 就触发 #PF。本文讲 major/minor/COW/swap/userfault 五种缺页控制流、do_page_fault 调用链、hugefault、userfaultfd 在 CRIU/Live Migration 的角色。
【操作系统百科】页缓存深入（VM 视角）
页缓存是 Linux I/O 的灵魂缓冲层。本文从 VM 视角讲 address_space、radix 到 XArray 改造、folio 抽象、readahead 策略、writeback 与 dirty throttling、memcg 对页缓存的约束。
【操作系统百科】OOM Killer
内存真的耗尽时，内核的最后手段是 OOM Killer——选一个进程杀掉。本文讲 oom_score 算法、oom_score_adj 调优、memcg OOM、PSI 驱动的 systemd-oomd/earlyoom，以及如何追查 OOM 事故。
【操作系统百科】HugeTLB 与 THP
大页能让一条 TLB 覆盖 2MB 乃至 1GB，但 THP 为什么在数据库里默认关掉？本文讲 HugeTLB 预留池、THP 的 khugepaged、defrag stall、madvise 模式、file-backed THP、以及工程上的取舍。
【操作系统百科】调度理论：为什么『完美调度器』不存在
调度是在有限 CPU 上分配无限需求的艺术。本文从 FCFS/SJF/RR/MLFQ/Fair-share/Lottery/Stride 一路讲到 EDF/CBS，梳理响应-吞吐-公平三难；给出 Mutexpriority inversion、Multi-level feedback、starvation 的定义，以…
【操作系统百科】CFS 内部：vruntime 与红黑树
CFS（Completely Fair Scheduler）从 2.6.23 统治 Linux 18 年。本文讲它的核心数据结构：sched_entity、cfs_rq、按 vruntime 排序的红黑树；vruntime 随 nice 加权的公式；sched_latency_ns/min_granularity 如…
【操作系统百科】EEVDF：取代 CFS 的新算法
Linux 6.6（2023 年 10 月）把默认调度器换成了 EEVDF（Earliest Eligible Virtual Deadline First）。本文讲 EEVDF 的两个新概念——eligible time 与 virtual deadline——如何把「公平」与「延迟」统一，latency-nice…
【操作系统百科】SCHED_FIFO/RR 与 PREEMPT_RT
Linux 里的实时：SCHED_FIFO/RR 提供优先级调度，但原版内核仍有不可抢占点。PREEMPT_RT 补丁集 20 年后（6.12）合入主线，把几乎所有 spinlock 变 rt_mutex、IRQ 变线程。本文讲 RT 调度语义、RT-throttling、cyclictest 基线、优先级继承、以及…
【操作系统百科】SCHED_DEADLINE：EDF + CBS 的落地
SCHED_DEADLINE 是 Linux 3.14 合入的 EDF+CBS 调度类。本文讲 (runtime, deadline, period) 三元组、全局 EDF 与准入控制、CBS 带宽服务器、用 sched_setattr 部署 DEADLINE 任务、为什么 DL 与 cpuset/cgroup 互斥…
【操作系统百科】多核负载均衡：调度域与迁移
Linux 是「每 CPU 一个 runqueue + 周期性 migration」。本文讲 sched_domain 层级 (SMT/MC/DIE/NUMA)、wake-affine、idle pull/periodic push、imbalance 判定；NUMA Balancing 在多 socket 上的作用…
【操作系统百科】big.LITTLE / Intel P+E：异构多核调度
ARM big.LITTLE（2011）和 Intel Alder Lake（2021）之后的 P-core + E-core 让「CPU 不再等价」。调度器必须知道「这任务放大核值不值」。本文讲 CPU capacity、util_avg、PELT、misfit migration、EAS 能量模型、UCLAMP…
【操作系统百科】调度延迟分析：是不是调度器的锅？
用户抱怨「慢」时第一问题：是 CPU 本身跑得慢，还是调度器让你等？本文讲 runq latency、wakeup latency、block time 三线拆分；perf sched、bpftrace runqlat、schedviz 工具链；生产案例：CFS quota throttle、NUMA 迁移、PSI…
【操作系统百科】idle governors：空闲管理的艺术
CPU 没事干时也要管——进 C-state 太浅省不到电、太深退出延迟大。本文讲 cpuidle 架构、menu / teo / haltpoll governor、C-states 能耗-延迟权衡、PC6/PC10 的 uncore 停摆、idle_inject 与 cluster idle、诊断与调优。
【操作系统百科】cpufreq governors：频率调节
CPU 频率不是一成不变——按负载动态拉升拉低是功耗最核心的杠杆。本文讲 cpufreq 架构、历史 governor（performance/powersave/userspace/ondemand/conservative）、为什么 schedutil 取代 ondemand、Intel HWP 与 amd_ps…
【操作系统百科】什么是操作系统：从 monitor 到 unikernel 的职责清单
从裸机监控器到微内核再到 unikernel 与 serverless，OS 这个抽象层在六十年里被反复挑战又反复回归。本文不做教科书式定义，而是回到工程视角，提炼 OS 真正在做的五件事：资源抽象、复用、隔离、公平、可观测性。以此为尺，丈量宏内核、微内核、VMM、unikernel、serverless 各自的胜负…
【操作系统百科】Unix 谱系与设计遗产：Multics、Plan 9、Linux
要理解 Linux 的很多古怪决定，得回到 Multics、Unix V6/V7、BSD 的历史语境。本文沿时间线梳理 Unix 家谱，挑出每一代留下的设计遗产——fork/exec、一切皆文件、管道、可重定向的 stdin/stdout、9P、命名空间——并指出哪些被 Linux 发扬，哪些被抛弃，哪些仍在 Pla…
【操作系统百科】宏内核 vs 微内核 vs 混合内核：Tanenbaum-Torvalds 三十年后
微内核是理论正义但工程失败？Linux 宏内核赢了只是因为先上车？三十年前的那场论战，在 seL4 形式化正确、L4 家族把 IPC 做到单 syscall、Fuchsia 真正商用的 2020s，我们应该怎么重新看？本文用四个可量化的维度——性能、可维护性、隔离性、可验证性——把四种内核架构（宏、微、混合、Exok…
【操作系统百科】特权级与硬件隔离：ring0、EL、SMEP/SMAP/PKU/CET
OS 的隔离能力在哪里落地？CPU 提供了特权级、MMU、MPU、enclave、VMX 等一串原语，OS 把它们组合成进程/用户/内核/hypervisor 等隔离层级。本文从 x86 ring 0-3、SMM、ARMv8 EL0-3 起步，梳理 SMEP/SMAP/PAN、KPTI、CET、MTE、PKU、IBR…
【操作系统百科】系统调用 ABI：x86_64 / arm64 / riscv / Windows NT 对照
系统调用是 OS 最稳定的接口。本文拆解 Linux syscall 的参数寄存器约定、返回值规范（负 errno 与 2-value ABI）、x86_64 SYSCALL、arm64 SVC、RISC-V ECALL、Windows NT 的 int 2e/syscall/SYSENTER 历史；说明为什么 Li…
【操作系统百科】内核与用户态的边界：copy_from_user、pin、seccomp、capability
内核代码不能像用户代码那样自由访问任何指针。本文围绕 Linux 的 access_ok / copy_from_user / get_user_pages / pin_user_pages / __user 注解，说明用户页在内核视角的生命周期；再把视角扩展到 capability、namespace、seccom…
【操作系统百科】POSIX 与 Linux/BSD/Windows 的偏离
POSIX 标准定义了 \"一个像 Unix 的 OS 应该长什么样\"，但没有哪个真实 OS 完全等于它。本文对照 POSIX 基准，列出 Linux、FreeBSD、macOS、Windows 的扩展与偏离：Linux-only 的接口（epoll、io_uring、eventfd、prctl）、BSD-only…
【操作系统百科】关于 OS 的工程常识错觉
\"微内核更安全\"、\"零拷贝零开销\"、\"实时 OS 等于高性能\"、\"Docker 很轻因为没有 OS\"……工程界流传许多关于 OS 的简化叙事，其中不少在深入语境下是错的。本文把十二条典型错觉逐一拆开看。
【操作系统百科】进程与 fork/exec 的历史包袱
fork 在 1971 年的 PDP-7 上是一句几十行的汇编；五十年后在一台 256GB 内存的服务器上同一句 fork() 要复制几百万个页表条目。本文讲 fork 的语义、COW 的账本、vfork/clone3/posix_spawn 的替代谱系，以及 fork 与多线程、大内存、JIT、容器相性差在哪里。
【操作系统百科】线程模型：1:1、N:1、M:N 与虚拟线程
同样一个 'concurrent' 的需求，OS 级 1:1 线程、用户态 N:1 协程、调度器混合 M:N、运行时虚拟线程各给出了不同答案。本文梳理 LinuxThreads → NPTL 的演进、Solaris LWP 的失败、Go GPM / Java Loom / Erlang BEAM / async-aw…
【操作系统百科】task_struct 解剖
Linux 里「一个进程/线程」对应的内核数据结构是 struct task_struct，8KB 左右，几百个字段。本文把它切成 PID/凭据/内存/文件/信号/调度/namespace/追踪 八个区域，讲清楚 current 宏、thread_info、per_task 栈与 task_struct 的布局关系，…
【操作系统百科】进程生命周期：clone → exec → exit → reap
一个进程从诞生到尸体被回收，在内核里走过六个阶段：clone → run → exec（可选）→ exit → zombie → release。本文按阶段讲 do_fork、bprm_execve、do_exit、release_task，以及 waitpid/pidfd/subreaper 的收尸规则、孤儿与僵尸…
【操作系统百科】信号：Unix 最拧巴的抽象
signal 在 Unix 里几乎等同「异步打断」，但它的 API 踩满雷：不可重入的 handler、ASS-safe 函数清单、SIGCHLD 丢失、多线程语义、SIG_DFL 的历史包袱。本文讲 kill/tgkill/rt_sigaction、signalfd、pidfd_send_signal、async-…
【操作系统百科】管道、FIFO、socketpair
管道是 Unix 最古老的 IPC。但内核里它不是一条 FIFO 字节流——它是一个环形页缓冲（pipe_buffer 数组），支持 splice/vmsplice 零拷贝。本文讲 pipe/pipe2、PIPE_BUF 原子写边界、O_NONBLOCK 与 SIGPIPE、命名管道 FIFO、socketpair…
【操作系统百科】共享内存：SysV vs POSIX vs memfd
共享内存是最快的 IPC，但 API 分裂成三代：SysV shmget/shmat、POSIX shm_open、现代 memfd_create。本文讲三者的内核差别、hugetlbfs 的大页共享、memfd sealing 在 GPU/Wayland 里的安全作用、以及 /dev/shm 的 tmpfs 真相。
【操作系统百科】消息队列：SysV、POSIX mq、kdbus 夭折
消息队列承诺「有边界的带优先级的 IPC」，但 Linux 上两代 API（SysV msg、POSIX mq）都很冷清。内核内的 kdbus 曾想成为下一代系统总线，最终被拒。本文讲三者的设计、使用限制、以及为什么现代系统几乎都改走 Unix socket + 序列化库 + userspace broker。
【操作系统百科】namespace：容器的内核根基
namespace 把全局内核资源（pid、mount、net、uts、ipc、user、cgroup、time）切成多个互不可见的视图。本文讲 7 种 namespace 的语义、unshare/setns/clone3 API、user ns 的 uid 映射、rootless 容器、namespace 与 cg…