专题概览
计算机基础是工程师技术能力的根基。无论面向哪个方向的高阶发展，扎实的基础都是架构设计、性能优化、问题排查的核心支撑。
本专题分为四大模块：
- 算法与数据结构 — 解题思路、复杂度分析、经典算法实现
- 操作系统 — 进程管理、内存管理、文件系统、调度算法
- 计算机网络理论 — 网络模型、协议原理、数据链路层与网络层剖析
- 进阶基石 — 字符串算法、设计模式、数据库原理、编译原理、传输层 TCP、CPU 缓存一致性
文章导航
| 序号 | 文章 | 知识点 | 难度 |
|---|---|---|---|
| 01 | 算法复杂度分析 | Big-O、时间/空间复杂度、渐进分析 | ★★★☆☆ |
| 02 | 数组、链表与线性表 | 顺序表、单/双向链表、栈、队列 | ★★★☆☆ |
| 03 | 树与二叉树 | BST、AVL、红黑树、B+/B 树 | ★★★★☆ |
| 04 | 图算法 | DFS、BFS、Dijkstra、Bellman-Ford、Prim、Kruskal | ★★★★★ |
| 05 | 排序算法 | 十大排序、稳定性、时间空间对比 | ★★★★☆ |
| 06 | 搜索与哈希 | 二分、哈希表、布隆过滤器、跳表 | ★★★★☆ |
| 07 | 动态规划 | 状态转移、背包问题、最长公共子序列 | ★★★★★ |
| 08 | 贪心与回溯 | 贪心选择、回溯剪枝、分支限界 | ★★★★☆ |
| 09 | 进程与线程 | PCB、线程模型、并发 vs 并行 | ★★★☆☆ |
| 10 | 内存管理 | 虚拟内存、页表、MMU、换页算法 | ★★★★☆ |
| 11 | 文件系统与 IO | inode、文件描述符、磁盘调度、VFS | ★★★★☆ |
| 12 | CPU 调度 | FCFS、SJF、RR、多级反馈队列、CFS | ★★★☆☆ |
| 13 | 死锁与同步 | 死锁条件、信号量、互斥锁、管程、条件变量 | ★★★★☆ |
| 14 | 网络模型与协议 | OSI/TCP-IP 五层模型、各层详解 | ★★★☆☆ |
| 15 | 网络层与路由 | IP 协议、子网划分、NAT、路由算法 | ★★★★☆ |
| 16 | 数据链路层 | MAC、以太网、交换机、VLAN、ARP | ★★★☆☆ |
| 17 | 字符串算法 | KMP、Boyer-Moore、Rabin-Karp、Manacher、Trie、AC 自动机 | ★★★★☆ |
| 18 | 设计模式与面向对象 | SOLID、单例、工厂、适配器、装饰器、观察者、策略 | ★★★☆☆ |
| 19 | 数据库原理 | 关系模型、B+/LSM 索引、ACID、隔离级别、WAL、执行计划 | ★★★★☆ |
| 20 | 编译原理 | 词法/语法分析、AST、三地址码/SSA、代码优化 | ★★★★★ |
| 21 | 传输层与 TCP | 三次握手、状态机、可靠传输、拥塞控制、QUIC | ★★★★☆ |
| 22 | CPU 缓存与一致性 | Cache 层级、映射方式、MESI、伪共享、性能测量 | ★★★★☆ |
| 23 | 位运算与数学基础 | 补码、位运算技巧、位图、GCD、快速幂、素数筛 | ★★★☆☆ |
| 24 | 并发编程与同步机制 | 竞态、互斥锁、信号量、CAS、内存模型、死锁 | ★★★★☆ |
| 25 | IO 模型与多路复用 | 阻塞/非阻塞、select/poll/epoll、Reactor、零拷贝 | ★★★☆☆ |
| 26 | 栈、队列与堆 | 单调栈、单调队列、优先队列、Top-K、BFS | ★★★☆☆ |
| 27 | 面向对象基础 | 封装继承多态、抽象类/接口、SOLID、组合优于继承 | ★★★☆☆ |
| 28 | 网络应用层协议深入 | HTTP 演进与缓存、Cookie/Session、DNS、TLS、WebSocket、CDN | ★★★☆☆ |
| 29 | 操作系统概述与体系结构 | 内核类型、系统调用、启动流程、中断与异常 | ★★★☆☆ |
| 30 | 计算机组成原理 | 指令集、CPU 流水线、存储层次、总线与 I/O | ★★★★☆ |
| 31 | 虚拟内存与分页 | 地址转换、多级页表、TLB、缺页处理、页面置换 | ★★★★☆ |
| 32 | 加密与安全基础 | 对称/非对称加密、哈希、数字签名、证书与 TLS | ★★★☆☆ |
| 33 | 分布式系统基础 | CAP、一致性模型、共识算法、复制与分区 | ★★★★☆ |
| 34 | 编程范式 | 命令式、函数式、声明式、类型系统与范式对比 | ★★★☆☆ |
学习路径建议
第一阶段（数据结构与算法，1-4周）
复杂度分析 → 线性结构 → 树 → 图 → 排序 → 搜索 → DP → 贪心回溯
第二阶段（操作系统，2-3周）
进程线程 → CPU 调度 → 内存管理 → 文件系统 → 死锁同步
第三阶段（计算机网络，1-2周）
网络模型 → 数据链路层 → 网络层 → 传输层 TCP
第四阶段（进阶基石，1-2周）
字符串算法 → 设计模式 → 数据库原理 → 编译原理 → CPU 缓存
第五阶段（系统纵深，2-3周）
操作系统体系结构 → 计算机组成 → 虚拟内存 → 加密与安全 → 分布式系统 → 编程范式
补充文章
以下十二篇补齐计算机基础中「形式语言、信息论、虚拟化、并行计算、图形学、存储系统、无锁并发、垃圾回收、数值计算、并发模型、编译优化、排队论」十二个传统盲区：
| 文章 | 核心内容 |
|---|---|
| 35. 形式语言与自动机 | 从乔姆斯基层级出发，系统梳理形式语言与计算模型的对应关系：DFA/NFA 与子集构造法、正则表达式与正则语言的等价性… |
| 36. 信息论与数据压缩 | 从香农信息量与熵的直觉出发，串联联合熵、条件熵与互信息，推导信源编码定理给出的压缩下界；深入 Huffman 编码的… |
| 37. 虚拟化与容器原理 | 梳理虚拟化层次划分、全虚拟化与半虚拟化、VT-x 与 AMD-V 硬件辅助，讲清 Hypervisor 两类架构与… |
| 38. 并行计算与 GPU 编程模型 | 从 SIMD 与 SIMT 分类出发，梳理 Amdahl 与 Gustafson 并行性能定律，讲解 OpenMP… |
| 39. 计算机图形学基础 | 沿渲染管线逐级展开图形学核心概念：从模型视图投影矩阵与齐次坐标的变换链，到 Lambert、Phong、Blinn-… |
| 40. 存储系统与 RAID 原理 | 从存储层次与磁盘、SSD 的物理特性出发，讲清寻道与旋转延迟、FTL、写放大与磨损均衡，系统梳理 RAID 0/1/… |
| 41. 无锁数据结构与内存序：CAS、ABA 与安全内存回收 | 从锁的代价出发，讲透原子操作与 C++ 内存序（relaxed/acquire/release/seq_cst）的语义边界，剖析 CAS 循环与 ABA 问题的成因与 tagged pointer 解法，拆解 Treiber 栈与 Michael-Scott 队列的实现要点… |
| 42. 垃圾回收算法：标记清除、分代与增量回收 | 从可达性分析出发，系统梳理标记-清除、标记-整理、复制三种基础回收算法的取舍，讲透分代假说、TLAB 分配与新生代/老年代布局，深入三色标记、读写屏障与 SATB 快照… |
| 43. 数值方法与浮点误差：稳定性与精度分析 | 从 IEEE 754 的位布局讲起，厘清规格化数、次正规数与特殊值的编码规则，量化机器精度与 ULP 的含义，剖析灾难性抵消的三种典型场景，给出求和、二次方程求根与递推公式的稳定化改造… |
| 44. 并发模型对比：Actor、CSP 与数据并行 | 从共享内存并发的困境切入，系统对比 Actor 与 CSP 两大消息传递模型：讲清 Actor 的 mailbox、消息投递语义与 Erlang 监督树，拆解 CSP 的 channel、select 与 Go 调度器… |
| 45. 编译器优化与中间表示：SSA、内联与循环优化 | 从编译器的三阶段流水线出发，厘清 AST、三地址码与 LLVM IR 的分工，讲透 SSA 形式、φ 函数与支配树的构造，梳理常量传播、死代码消除与 CSE 等数据流优化… |
| 46. 排队论与容量估算：利特尔法则与尾延迟 | 从平均延迟骗人的现象切入，用利特尔法则串起并发数、吞吐与延迟三者的守恒关系，推导 M/M/1 与 M/M/c 的排队延迟公式与利用率曲线… |
相关专题
- Go 语言入门 — 基础语法与实战
- 网络编程 — 应用层网络编程实战
- Java 企业级生态 — 工程实践
- 系统架构设计 — 架构理论
- 分布式系统 — 进阶实践