极客教程

Appearance

计算机体系结构与 C/C++ 低延时知识体系 ​

这个仓库是一份系统性的底层知识库，覆盖从 CPU 微架构 到 C/C++ 低延时编程 的全链条——50+ 篇文档，按五层金字塔组织。

顶层布局：tools/（可观测工具）· concepts/（底层原理，含 13 个子域）· crash/（崩溃排查）· demos/（可跑示例）· parameter/（内核参数速查）· ai-tools/（AI 编程工具） · fe/（前端技术） · seo/（SEO 技术）

0. AI 编程工具域 ​

本仓库新增了一个独立顶层主题域 ai-tools/，与传统性能/可观测工具定位不同——它关注的是AI 如何参与代码生产过程：

传统工具（perf/strace）回答"系统哪里慢了"，AI 工具回答"代码该怎么写/改"——两者互补。

0.5 前端技术域 ​

本仓库新增了一个独立顶层主题域 fe/，按时间主线梳理前端技术与架构的演进——从早期静态网页到最近的 VitePress/微前端，每个时代/子主题单独成文：

该主题与本仓库主线（性能/底层原理）互补：它回答"软件怎么组织"，仓库主线回答"系统怎么跑得快"。

0.6 SEO 技术域 ​

本仓库新增了一个独立顶层主题域 seo/，系统讲解搜索引擎优化技术——从搜索引擎工作原理到技术 SEO、内容 SEO、前端框架对 SEO 的影响，并含本站迁移到 VitePress 的真实案例：

该主题与 前端技术域 紧密互补：前端技术回答"怎么组织页面"，SEO 回答"怎么让页面被搜索到"。

1. 知识版图：五层金字塔 ​

把全部文档按抽象层次摞起来，是一座金字塔——越往上越贴近日常排查，越往下越接近硬件本质：

plantuml diagram

两层辅助翼（挂在金字塔两侧）：

  • 左侧翼：崩溃排查（crash/）：core dump · 信号 · ASan · TSan · Valgrind
  • 右侧翼：可跑示例（demos/）：cpu-demo · 编译器重排 · 崩溃信号 · TLB 抖动

L5 是 L1-L4 的共同地基——perf 读符号、GDB 解析 core、strip 分离调试信息，本质都在操作 ELF。

2. 各层文档清单 ​

2.1 L1 实时工具层 —— 排查从这里开始 ​

完整索引见 tools/README.md；工具定位对比与互补关系见 tools/compare.md；深度对比与综合使用见 tool-perf-comprehensive-guide.md。标准流程：vmstat 定大方向 → 按维度展开。

2.2 L2 系统与资源层 ​

2.2.1 进程与线程（内核视角） ​

总纲：concepts/process/README.md

工具速查：mpstat · pidstat · chrt · strace

2.2.1.1 内核身份证（task_struct）—— 先读这篇建立全局观 ​
  • task-struct —— task_struct 私有字段 + 可共享资源对象全套图谱
  • 子目录 task-resources/ —— 9 篇逐资源展开：
  • vfs-binding.md —— 进程与VFS文件系统的完整绑定机制：task_struct的fs_struct/files_struct如何关联全局VFS挂载树、路径解析流程、fork时的写时复制
2.2.1.2 调度与切换 ​
  • scheduling —— 调度类分层 / CFS / EEVDF / 抢占 / 负载均衡
  • context-switch —— 触发场景 / switch_to 实现 / FPU 惰性切换 / 代价分析 / 瓶颈排查
  • thread-affinity —— 线程绑核：三层接口 / NUMA / isolcpus
  • real-time-scheduling —— POSIX 实时调度：SCHED_FIFO / SCHED_RR / SCHED_DEADLINE、延迟量化、isolcpus / nohz_full
  • scheduling-interrupts.md —— 调度与中断的深入交互：主动调度vs被动抢占、内核抢占配置差异、上下文切换现场保存机制、内核栈分层原理
2.2.1.3 创建与生命周期 ​
  • process-creation —— fork / exec / CoW（写时复制）
  • thread-creation —— pthread / std::thread → clone
  • thread-startup —— execve → _start → main 与 clone → ret_from_fork → 线程入口
  • fork-and-threads —— 多线程 fork 的锁死陷阱、async-signal-safe
  • vfork —— vfork 深度分析：fork 卡死四类根因 / vfork 规避原理 / 根治方案
2.2.1.4 陷入内核 ​
  • syscall —— 执行过程与开销：陷入 / sysret / vDSO
  • syscall-details —— 24 步时序图 / 特权级切换 / KPTI
  • segment-management —— 段管理：GDT 逐位拆解 / CPL-RPL-DPL
  • interrupts —— 中断分类体系 / 五大矛盾 / 完整流程 / 开销量化 / 上下半部
  • irq-affinity —— IRQ 亲和性：IO-APIC / MSI-X / smp_affinity / irqbalance / RSS
2.2.1.5 信号机制 ​
  • signal-multithread —— 多线程信号处理：掩码继承 / 实时排队 / tgkill / signalfd
2.2.1.6 进程组与子进程回收 ​
  • process-group-and-child-reap —— PGID / SID / 会话 / 控制终端、六种回收策略（wait / SIGCHLD / SA_NOCLDWAIT / Double Fork / signalfd / subreaper）、低延时实践
  • waitpid-kernel-internals —— waitpid 内核内部实现：完整调用链 / 3 幅时序图 / 等待队列机制 / 选项位详解
  • zombie-case —— 反面案例：四个致命 BUG 逐层拆解 / 3 幅时序图 / 修复与监控
2.2.1.7 内核调试 ​
2.2.1.8 前置知识 ​
  • x86-64-registers —— 通用 / 段 / 控制 / MSR / SIMD / APIC 寄存器速查
2.2.1.9 进程持久化：检查点与重启 ​
  • dmtcp —— DMTCP 透明检查点/重启：coordinator+libdmtcp 架构、LD_PRELOAD 劫持、全局静止点、内存/FD/线程/socket 保存恢复、与 CRIU 对比
2.2.1.10 进程追踪与控制 ​
  • ptrace —— ptrace 原理：tracer/tracee 模型、ptrace-stop 状态、四大类操作（执行控制/内存寄存器读写/事件获取/选项设置）、内核 task_struct 实现与 signal/wait 复用、一次 PTRACE_SYSCALL 完整流程与时序图、strace 与 gdb 使用差异、ptrace_scope 安全控制、与 BPF 对比

2.2.2 NUMA（多路机内存亲和） ​

总纲：concepts/numa/README.md

工具：numactl · numastat

  • numa —— 概念详解
  • numa-optimization —— CPU 绑定 / 内存绑定 / 感知编程 / 跨节点开销量化
  • paper —— NUMA 论文精读

2.2.3 I/O 子系统 —— 数据怎么在外设和内存之间流动 ​

总纲：concepts/io/README.md

2.2.3.1 DMA（直接内存访问） ​
  • dma-8237 —— Intel 8237：所有 DMA 引擎的"祖宗"（寄存器/时序/demo）
  • dma —— 现代 Bus Mastering + SG-DMA + DDIO
  • dma-cpu-interaction —— CPU 与 DMA 控制器完整交互（请求→授权→传输→同步）
  • dma-multi-channel —— 多通道架构（FSM/仲裁/工程价值）
2.2.3.2 中断控制器进化 ​
  • 8259 —— Intel 8259A PIC："祖宗"（IRR/ISR/IMR / ICW/OCW / INTA 握手 / 级联）
  • 中断投递 → irq-affinity §二（APIC/xAPIC/x2APIC/MSI-X）
  • 内核处理 → interrupts
2.2.3.3 PCIe ​

总纲：concepts/io/pcie/README.md（四阶段全景时间线 + 推荐阅读路径）

  • pcie —— 物理基础：树形拓扑 / Lane 带宽 / 三层协议 / MMIO / BAR
  • pcie-link-training —— 阶段①：硬件链路训练（LTSSM 11状态 / Width & Speed 协商 / 失败排查）
  • pcie-firmware-enum —— 阶段②：固件枚举（MCFG/ECAM窗口 / Bus 0扫描 / 第一笔Config TLP / ACPI交接）
  • pcie-pre-enumeration —— 横向机制：树构建前通信原理（RC/BDF/BAR 硬件工作机制）
  • pcie-enumeration —— 阶段③：内核枚举（深度优先建树 / BAR探测与分配 / ID路由 & 地址路由）
  • pcie-bar-activation —— 阶段④：BAR激活与驱动（地址解码器 / MMIO读写路径 / 驱动probe / 设备上线）
2.2.3.4 I/O 编址 ​
  • io-addressing —— PMIO vs MMIO：IN/OUT vs mov、BAR、Store Buffer→TLP 全过程、Posted Write 延迟
2.2.3.5 read/write 完整链路 ​
  • read-write-process —— syscall → VFS → page cache → 块层 → 驱动 → DMA
  • cpp-io-separation —— C++ I/O 设计的"分离"思想：streambuf 缓冲与设备分离、格式化与传输分离、同步与异步分离、协议与传输分离
2.2.3.6 FPGA 通信 ​

2.2.4 虚拟内存 ​

  • mmap —— 映射文件/匿名内存进地址空间：四象限 / 惰性缺页 / malloc 大块 / 加载 .so / 共享内存
  • shared-memory —— System V IPC vs POSIX 共享内存接口对比

2.2.5 VFS（虚拟文件系统）—— "一切皆文件"的内核多态层 ​

总纲：concepts/vfs/README.md

  • vfs-overview —— VFS 架构全景：四大对象（super_block/inode/dentry/file）、多态分发机制、各 FS 能力矩阵
  • vfs-from-process —— 进程视角：从 task_struct 到 f_op 的五跳链路、open()/read()/close() 全时序、fork 共享语义
  • vfs-file-operations —— file_operations vtable 逐字段拆解：~30 个函数指针的签名/语义/ext4-pipe-socket-procfs-eventfd 对比
  • vfs-and-socket —— socket 与 VFS 深度融合：两套 vtable、read() 3 层分发链、close() 引用计数、三大好处
  • fuse —— FUSE 用户态文件系统：代理架构（VFS→/dev/fuse→用户态）、多挂载点隔离、三层分层设计
  • special-filesystems —— 内核伪文件系统全景：六大分类 12 种伪文件系统（procfs/sysfs/debugfs/tracefs/cgroupfs/tmpfs 等）、与 VFS 的对接、性能数据源速查

VFS 是 fd 表的下游、syscall 的下一站、read/write 的必经之路——file->f_op->read() 这个跳转让 ext4/pipe/socket/procfs 共享同一套系统调用。内核自己提供了十几种伪文件系统作为运行时接口，它们各自实现 file_operations，挂在同一个 VFS 框架下，让用户态用 cat/echo 就能读写内核数据。

2.3 L3 内存子系统层 ​

总纲：concepts/cache/README.md —— 四条线全景

2.3.1 缓存组织 ​
2.3.2 缓存一致性协议族 ​
2.3.3 原子操作与内存模型 ​
  • atomic
  • memory-model —— C/C++ 内存模型：std::atomic、内存序、屏障、x86/ARM 架构差异、性能量化
2.3.4 编译优化 ​
  • compile-options —— GCC 编译选项性能差异、汇编分析、优化陷阱、量化分析

2.4 L4 CPU 微架构 + 内存序层 ​

最硬核的一层，三条正交的线：

2.4.1 微架构线 —— 单核怎么跑得快 ​

📌 子目录总纲：concepts/microarch/README.md

总纲：cpu-microarch-overview —— 标量→流水线→超标量→乱序→投机演进链

超标量关键部件独立剖析：

  • reservation-station —— 保留站：解耦译码与执行，乱序发射的发生地
  • rob —— ROB：顺序退休、精确异常、对头阻塞
  • lsu —— LSU：AGU、store buffer、store→load forwarding
  • register-renaming —— 寄存器重命名：消除假依赖
  • uop-pipeline-walkthrough —— ★ µop 级流水线走读（纵切面）：三条指令逐拍穿过全部部件
2.4.2 内存序线 —— 多核看得对不对 ​

📌 子目录总纲：concepts/memory-ordering/README.md

总纲：reordering-overview —— 编译器重排 ≠ CPU 乱序 ≠ 内存重排

2.4.3 系统架构线 —— CPU 内部怎么拼装、总线怎么连 ​

📌 子目录总纲：concepts/cpu/README.md

总纲：cpu-bus-architecture

2.5 L5 二进制基础层 ​

总纲：concepts/elf/README.md —— ELF 格式→加载→地址空间→工具 四块全景

2.5.1 ELF 与工具 ​
  • elf-format —— 格式详解
  • symbol-table —— 符号表深度剖析（Elf64_Sym 结构、.symtab vs .dynsym、结合 gdb/perf/DWARF）
  • Section 专题：
    • text-data-bss —— .text/rodata/data/bss（代码与数据四节，NOBITS 原理）
    • plt-got —— .plt/.got/.interp/.dynamic（动态链接基础设施，延迟绑定）
    • relocation —— .rela.*（重定位表结构、链接时/加载时/PLT 三种重定位）
    • init-fini —— .init/.fini/.init_array/.fini_array（构造/析构的 ELF 层实现）
    • eh-frame —— .eh_frame/.gcc_except_table（异常处理帧与零成本栈展开）
    • meta-sections —— .comment/.note.*/.shstrtab/.gnu_debuglink（元数据与调试辅助节）
  • compile-link-load —— 从源码到运行
  • memory-layout —— 进程地址空间布局
  • library-injection —— 用户态动态库注入：LD_PRELOAD/LD_AUDIT、运行期 dlopen、ptrace 注入、/proc/pid/mem 改写、gdb 注入
  • readelf · objdump · nm · ldd · misc
2.5.2 ABI ​
  • c-abi —— C ABI：传参 / 返回值 / 栈帧 / 红区 / 对齐 / 系统调用 ABI
  • c++-abi —— C++ ABI：mangling / 虚表 / this / 异常 / RTTI / dynamic_cast / 成员函数指针
2.5.3 崩溃排查 ​

总纲：crash/README.md

3. 应用域 —— 跨层综合场景 ​

这些主题横跨金字塔多层，从 L1 工具 → L2 系统配置 → L3 内核机制，是"把原理用起来"的实战入口。

3.1 网络低延时与高并发 ​

子索引：concepts/network/README.md

3.2 存储优化 ​

子索引：concepts/storage/README.md

  • storage-performance —— HDD/SSD/NVMe 性能差异与选型、随机/顺序读写量化、IO 队列深度与 IOPS
  • direct-io-vs-pagecache —— Direct IO vs 页缓存深度对比：两种 IO 路径全景、预读/回写/回收机制、性能量化、场景决策树
  • io-uring-deep —— io_uring 框架深入：SQ/CQ 环形缓冲区、三种操作模式、零拷贝/buffer 注册、与 SPDK 对比

3.3 容器 ​

子索引：concepts/container/README.md

3.4 低延时设计模式 ​

子索引：concepts/latency/README.md

  • low-latency-patterns —— 总纲：忙等待 vs 睡眠调度、无锁编程与 RCU 原理、高并发队列设计、量化分析
  • shm-vs-network —— 共享内存 vs 本机 TCP：为什么同机共享内存比网络快 2~3 个数量级（"直达"vs"绕行"逐段拆解、量化对比表、适用边界）
  • lockfree-deep —— 无锁编程深入：分级定义、CAS/FAA/Michael-Scott Queue/Treiber Stack、内存回收四方案、ABA 问题
  • rcu-internals —— RCU 内核实现：宽限期/静默态、Tree RCU/SRCU、synchronize_rcu 开销分析、链表/计数器应用模式
  • concurrency-benchmarking —— 基准测试方法论：干扰源消除、rdtsc/HdrHistogram、Little's Law、框架设计、统计与可视化

配套工具链：

3.5 量化交易中的 FPGA 应用架构 ​

子索引：concepts/quant-fpga/README.md

  • quant-fpga-architecture —— 总纲：tick-to-trade 延迟预算分解、CPU+FPGA 混合架构哲学、四种典型架构模式对比
  • feed-handler —— 行情解码子系统：沪深 FAST/STEP 协议五级流水线、乒乓缓存、部分重配置、量化基准 380ns @200MHz
  • order-execution —— 订单执行子系统：模板填充引擎、硬件化风控（仓位/速率/自成交）、PIO/CTPIO 发送、FPGA TCP 卸载
  • hardware-integration —— 硬件集成与部署：板卡选型、Colocation 拓扑、PTP 时钟同步（±50ns）、双机热备、运维监控

已有基础：fpga-communication（Linux 与 FPGA 六种通信方式）· dma · pcie

4. 调试与调优工具链 ​

子索引：concepts/debug/README.md

  • kernel-debug —— 内核调试：sysctl 调优、内核崩溃 panic 分析
  • pmu —— PMU 性能监控单元：CPU 硬件计数器架构、PEBS/IBS、vPMU
  • cpp-debug —— C/C++ 高级调试：GDB 断点/观测点/汇编调试、Core dump 高级分析、内存泄漏与碎片量化

5. 可运行示例 + 内核参数速查 ​

demos/ —— 把原理跑起来（总纲）

  • cpu-demo —— 核心靶子程序：三场景 CPU 性能演示（用户态计算 / syscall 风暴 / 空闲），本仓库所有工具文档和 perf 案例的"实验对象"
  • compiler-reordering —— 编译器重排：亲眼看到编译器怎么改你的代码顺序
  • branch-predict —— 分支预测实验：有序 vs 随机数据 + if vs 无分支，perf stat/report/annotate 三层定位，核心发现「无分支比完美预测还快 32.5%」
  • indirect-branch —— 间接分支预测实验：虚函数单态/双态/巨态、函数指针、switch 跳转表，branch-loads/branch-load-misses 对比
  • crash-signals —— 崩溃信号：实际触发 SIGSEGV/abort 并分析 core dump
  • tlb-thrashing —— TLB 抖动：固定迭代、增大步长，亲眼看到 L2 STLB 触顶的断崖
  • echo —— 百万QPS TCP 长连接实战项目：30-60天碎片化学习，覆盖 NUMA 进程/中断绑核、网卡 RSS 多队列、TCP 内核参数全链路调优、百万长连接承载、分层 echo 业务设计（裸 echo → 带计算 → 流式分包）、短连接 TIME_WAIT/端口耗尽专项补充。配套 架构设计、分析指南

parameter/ —— 内核参数速查

分类文档覆盖指标
CPUcpu-usage.md%usr/%sys/%idle/%iowait/%irq/%softirq/%steal — 八类 CPU 时间
loadavg.mdload average（1/5/15min）— R+D 态统计、EWMA 算法、常见误区
内存memory-usage.mdMemAvailable、Swap si/so、Page Fault major/minor、OOM score
IOiowait.md%iowait、iodelay、cswch/s、%wait — 四大场景时序图与统计窗口
disk-io.mdawait/svctm/%util、IOPS、吞吐量、队列深度
网络net-stats.md网卡丢包（rxdrop）、TCP 重传、连接状态、UDP 丢包
调度context-switch.mdcswch/s（自愿）、nvcswch/s（非自愿）、%wait、cs

6. 推荐阅读路径 ​

不必从头读到尾，按你的目的选一条路线：

6.1 入门 ​

6.2 进程 / 内存 / 并发 ​

6.3 性能优化 ​

6.4 硬件 / I/O ​

6.5 网络 / 存储 / FPGA ​

6.6 调试 / 崩溃 ​

6.7 完整体系 ​

  • 系统学习整个知识体系：
    • 自底向上（先懂基础，再学工具）：L5 → L4 → L3 → L2 → L1
    • 自顶向下（先会用，再挖原理）：L1 → L2 → L3 → L4 → L5

7. 贯穿全仓库的一条暗线：IPC 低了，去哪查 ​

大量"性能悬案"最终都收敛到一个问题——CPU 没被喂饱（IPC 低）。这条暗线把 L4 微架构和 L3 内存子系统串了起来：

统一观测入口：perf stat（perf）看 IPC，低了就顺着上表往下查。

8. 约定 ​

  • 语言：文档正文以中文为主。
  • 风格：每篇用 PlantUML 图 + 表格讲解，章节末尾常有**「一句话」总结**。
  • 靶子程序：demos/cpu-demo/main.cpp → cpu_demo（make 编译，Linux 上运行，见 README.md）。
  • 平台：demos/cpu-demo/main.cpp 读 /proc，只能在 Linux 运行（macOS 能编译不能跑）。
  • 链接规范：所有 .md 文件内统一使用相对路径，兼容本地浏览与 Docsify 部署。

一句话：这个仓库是一条"从用工具查性能，一路挖到 CPU 硬件为什么慢，再到 C/C++ 低延时编程"的系统学习路径——L5 二进制基础 → L4 CPU 微架构+内存序 → L3 内存子系统 → L2 系统与资源 → L1 实时工具，外挂四大应用域（网络/存储/容器/低延时）、崩溃排查、可跑示例与内核参数速查。按 tools/README.md 查工具、按 concepts/README.md 查原理、按本篇看地图。