土法炼钢兴趣小组的算法知识备份

全部系列索引

文章导航

分类入口
doc
标签入口
#series#index#toc#目录#专题

目录

本页是本站全部系列专题的总目录。站内内容多数以”系列”的形式组织,一个系列通常覆盖一个工程领域的完整知识栈,单篇独立成文,整体连读可形成体系。下面按方向分类,给出每个系列的简介与入口链接,方便按兴趣切入。

如果你是第一次访问,更推荐先回到 首页 的”从这里开始”模块,再按下面的方向图深入。

一、大模型与 AI 工程

1.1 大模型基础设施工程

系列入口 →

面向中国工程团队的 LLM 基础设施全景:GPU / CUDA / NCCL 底层,Megatron / DeepSpeed 训练框架,3D 并行与 MoE,vLLM / SGLang / TensorRT-LLM 推理引擎,PagedAttention、量化、推测解码、长上下文,RAG 与 GraphRAG,Agent 与 MCP,大模型网关,LLMOps 可观测与成本治理。开源(vLLM、Megatron、Ray、LangGraph)与商业(Bedrock、PAI、火山、千帆)并举,中国(DeepSeek、Qwen、GLM、Kimi、豆包)与全球(OpenAI、Anthropic、Meta、Google)两条主线。全 25 篇。

1.2 Transformer 与注意力机制

系列入口 →

从向量、矩阵乘法、Softmax 这些最基础的数学直觉开始,一路讲到注意力机制、Transformer 原论文、训练范式、模型变体、推理工程、可解释性与未来架构,把“为什么是 Q/K/V、为什么是点积、为什么能并行、为什么能扩到大模型”拆成一条 58 篇的系统阅读路线。

1.3 强化学习与大模型后训练

系列入口 →

从 MDP、策略梯度、PPO 等强化学习最小必要集,到 SFT、奖励模型、RLHF,再到 DPO / IPO / KTO / ORPO / SimPO 免 RL 对齐、GRPO,以及 RLVR 可验证奖励、推理模型(o1 / R1 范式)、过程奖励、奖励黑客、RL 训练基础设施与评测。把”后训练如何从对齐礼貌演变为训练能力”拆成一条 20 篇的系统路线,与 Transformer、大模型基础设施两个系列强联动。全 20 篇。

1.4 数据库前沿

系列入口 →

面向 2026 年的”AI 原生数据库”理论与工程:Learned Query Optimizer、Learned Index、向量引擎与标量引擎融合、GraphRAG、HTAP 弹性调度、CXL 近数据处理、TEE 与不透明原语、差分隐私工业化。覆盖 SIGMOD / VLDB / ICDE 最新动向,配套 demo 代码。全 25 篇。

1.5 AI 哲学随笔

ai-philosophy 目录 →

在工程化浪潮之外,记录几篇关于大模型与人类协作、认知边界的随笔。

1.6 AI Agent 身份与安全

系列入口 →

IAM 与零信任的自然延伸:RFC 8693 Token Exchange、MCP 安全基线、工具级授权、Agent 审计与落地架构。全 10 篇,与 大模型基础设施 的 Agent/MCP 工程篇互补。

1.7 GPU 高性能算子工程

系列入口 →

从 GPU 执行模型与内存层次出发,讲怎么写快算子:访存合并、occupancy、Roofline、Nsight 调优,reduction / GEMM / Tensor Core / FlashAttention 核心算子实现,以及 Triton、CUTLASS、kernel fusion、量化与算子库工程。所有性能数字均在同一块 RTX 3060 Ti 上实测(GEMM 朴素到寄存器分块 990→6375 GFLOP/s、Tensor Core 72.8 TFLOP/s、融合提速随链长线性增长),核心 kernel 均对参考实现校验。填补 Transformer(算法)、编译器与 MLIR(编译)、大模型基础设施(框架/服务)之间”手写快算子”一环。全 21 篇。

二、分布式、存储与数据

2.1 分布式系统百科

系列入口 →

从系统模型、失效模式、不可能性结果到 Paxos / Raft / EPaxos、线性一致性、CRDT、GFS / HDFS / Spanner / Dynamo、RPC 与 Service Mesh,再到调度、容错与运维,覆盖分布式系统理论与工程全链路,是本站体量最大的理论系列之一。共 70 篇正文。Raft 入门推荐 大鹅也能看懂的解读,工程深读见 raft-deep

2.2 存储工程

系列入口 →

从 HDD / SSD / NVMe / 持久内存的硬件物理,到 B-Tree / LSM / Bitcask / 压缩 / 索引结构,再到分布式存储、对象存储、冷热分层、运维可靠性(小文件、ENOSPC、事故复盘)与存储引擎工程实践。共 79 篇,是理解”存储到底是怎么一回事”的完整参考。

2.3 架构设计百科

系列入口 →

系统架构设计方法论与工程实践:架构概念、质量属性、权衡、模式、容量规划、演进式架构、平台工程、微服务、DDD、混沌工程等。共 90 篇。

2.4 金融科技工程

系列入口 →

账务底盘、支付、清结算、交易所、风控合规、两地三中心。中国(人民银行、网联、银联、上交所、蚂蚁、腾讯)与全球(SWIFT、FedNow、SEPA、DTCC、FATF、CME)两条线索并举。全 25 篇。

2.5 系统设计案例

系列入口 →

若干典型系统设计案例与工程复盘。

2.6 PostgreSQL 内核机制

系列入口 →

进程模型、MVCC/CLOG、WAL、Buffer Pool、查询优化器、索引内部机制、流/逻辑复制与运维实战。全 26 篇。

2.7 MySQL InnoDB 内核机制

系列入口 →

InnoDB 线程与内存、页格式、Redo/Undo、MVCC 与 gap lock、binlog 两阶段提交、主从复制;每章与 PG 内核对照。全 20 篇。

2.8 列存引擎内核

系列入口 →

ClickHouse MergeTree 文件格式、向量化执行、Merge 与高可用;DuckDB 嵌入式 OLAP 对照。补全行存(PG)与写优化(LSM)之外的读优化列存视角。全 16 篇;§14 学术加深(2026-07-11)含 C-Store、MonetDB/X100、compiled vs vectorized 论文链。

2.9 数据湖与开放表格式

系列入口 →

列式文件格式(Parquet / ORC / Arrow)与开放表格式(Iceberg 主线,Delta / Hudi 对照):对象存储上的 ACID、快照与并发提交、行级删除与 MoR、catalog 与查询引擎下推、流式 CDC 入湖与湖上向量负载。补全「数据不在数据库进程里而在对象存储上」的 lakehouse 视角,与列存、行存、LSM 构成完整数据库栈。全 21 篇。

2.10 流式数据处理

系列入口 →

承接 数据湖第 19 章 的入湖侧视角,从引擎侧拆解 Kafka 日志与副本、Flink 事件时间与 watermark、窗口、RocksDB 状态与 checkpoint、端到端 exactly-once 与 Debezium CDC,再到背压传播、生产故障模式与 Flink / Kafka Streams / Spark Structured Streaming / RisingWave 选型对照。补全 lakehouse 之外的实时计算层。全 18 篇。

2.11 分布式 OLAP 查询引擎

系列入口 →

闭合数据平台全栈:从 SQL 解析与代价优化、Volcano/向量化执行,到 Trino MPP/shuffle 与 Iceberg connector 下推,Spark Catalyst/AQE 与 DuckDB/DataFusion 对照。承接 lakehouse 第 18 章 读湖漏斗,补全「交互式 SQL 怎么在湖上跑起来」。全 18 篇。

2.12 RocksDB 内核机制

系列入口 →

补全存储引擎三角最后一角:LevelDB 基线与 RocksDB 架构演进,WAL/MemTable/SST 写路径,Get/Iterator 读路径,Leveled/Universal compaction 与 write stall,Column Family、事务、Checkpoint,以及 Flink/TiKV 嵌入对照。与 lsm-tree DIYstream-processing 第 12 章 分工。全 18 篇。

2.13 向量检索引擎

系列入口 →

补齐 db-frontier 向量算法篇llm-infra RAG 篇 之间的生产级引擎层:Milvus 2.6.x 主线(Segment / Woodpecker WAL / Segcore / Knowhere / 混合过滤与一致性),Qdrant 与 Lance/LanceDB 对照。承接 lakehouse 第 21 章 留给专用向量引擎的边界。全 18 篇。

2.14 Redis / 缓存内核

系列入口 →

补齐内存 KV / 缓存服务器内核层:ae 事件循环与「单线程」边界、redisObject 多态编码(SDS / dict / listpack / ZSet / Stream)、TTL 与 maxmemory 近似淘汰、RDB/AOF/混合持久化、复制与 Cluster hash slot,Memcached 对照。与 缓存架构缓存工程 分工。全 16 篇。

三、网络与 I/O

3.1 网络工程

系列入口 →

从网络模型、以太网、IP / IPv6、ICMP,到 TCP / UDP / QUIC、TLS、HTTP/2/3、BGP、CDN、DDoS,覆盖网络协议栈工程实践。共 90 篇。

3.2 Linux 网络

系列入口 →

Linux 内核协议栈视角:netfilter、XDP、eBPF、tc、netlink、sockmap、io_uring 网络 I/O。共 27 篇。

3.3 Kubernetes 网络

系列入口 →

Kubernetes 网络模型、CNI、Service、Ingress、Gateway API、Cilium、Calico、Service Mesh。共 32 篇。

3.4 io_uring

系列入口 →

从架构原理、与 epoll 的性能对比、liburing API、高级特性到生产实践。共 14 篇。

3.5 Libevent

系列入口 →

事件驱动网络库工程参考:Reactor、Bufferevent、异步 DNS、HTTP / WebSocket、协议集成。共 38 篇。

3.6 容器运行时

系列入口 →

用 C/Go 从零造容器运行时,以及 microVM / Firecracker 实战与容器对比。共 13 篇。

四、密码学与安全

4.1 密码学

系列入口 →

从对称 / 非对称、哈希、MAC、签名、证书,到 TLS、PQC、FHE、ZK、MPC、密钥管理与密码工程实践。共 67 篇。

4.2 密码工程热点

系列入口 →

PQC、FHE、OPAQUE、OPRF、国密与实现安全等更偏工程落地与热点选题的文章集合。共 13 篇正文。

4.3 国密系列

系列入口 →

SM2 / SM3 / SM4 / SM9 的原理、实现、合规与迁移工程,以及商用密码应用与国密 TLS。

4.4 身份与访问

系列入口 →

OAuth2 / OIDC / SAML / WebAuthn / Passkey / 零信任 / 策略引擎 / 审计。共 20 篇。续作见 AI Agent 身份与安全

4.5 零信任安全架构

系列入口 →

NIST SP 800-207、BeyondCorp、IAP、设备姿态、微分段、mTLS 大规模部署、ZTNA 与迁移策略。IAM 系列直接续作,全 18 篇。

五、操作系统与底层

5.1 操作系统百科

系列入口 →

进程、线程、调度、内存、文件系统、虚拟内存、中断、同步原语、内核对象、系统调用、驱动模型。共 110 篇正文,是本站最大的单一系列之一。

5.2 Linux 内核与 eBPF

系列入口 →

eBPF 程序模型、Verifier、Map、Hook、CO-RE、性能观测、安全与网络数据面,以及分配器与 Linux 内核工程实践。另见 eBPF 内核实现深度拆解 系列(21 篇源码级内核实现剖析)。

5.3 垃圾回收

系列入口 →

标记清除、分代、G1、ZGC、Shenandoah、C4、增量与并发 GC 工程实现。

5.4 游戏数学

系列入口 →

游戏引擎与图形学中的数学:向量、矩阵、四元数、投影、物理模拟、碰撞检测。共 17 篇。

5.5 eBPF 内核实现深度拆解

系列入口 →

从 BPF 指令集编码、verifier 抽象解释算法(reg_state 类型/值域跟踪、states_equal 状态裁剪)、JIT 编译器后端(x86-64/ARM64 寄存器映射与指令翻译),到 Map 内核实现(hash/array/ringbuf/bloom)、BTF 格式规范与 CO-RE 重定位引擎、libbpf 加载器工程、蹦床与 fentry/fexit、sched_ext 调度器内核接口,逐层拆解 eBPF 成为”内核第二用户态”的机制基础。与 5.2 中的 eBPF 应用系列 互补——后者讲怎么用,本系列讲内核怎么实现。全 21 篇。

5.6 Git 内部结构

系列入口 →

.git 目录布局、松散对象与 packfile(.pack/.idx)格式,到 refs、index、reflog、git gc/fsck 维护链,再到 commit/merge/fetch/push 各命令改写了哪些文件、SHA-256 与 reftable 演进——用官方 gitformat-* 文档与本地实测 dump 讲清 Git 对象库的磁盘语义。与 存储工程 小文件篇、开源之道 互补。全 16 篇。

六、算法与工程基础

6.1 算法工程

算法索引 → · 排序专题 →

排序、哈希、树、字符串、近似数据结构、SIMD、并行、随机化。其中”排序专题”把 TimSort、pdqsort、radix sort、external sort、parallel sort 串成一条工程化阅读路径。算法目录共 118 篇正文,涵盖数论、编译器算法、GC 算法、缓存感知结构、随机化算法等。

6.2 可观测性

系列入口 →

Metrics / Logs / Traces 三大支柱、OpenTelemetry、Prometheus、Grafana、eBPF 观测、SLO 治理与成本。全 25 篇。

6.3 开源之道

系列入口 →

开源许可证、治理、社区、基金会、商业化与合规。共 27 篇。对象库磁盘格式见 Git 内部结构

七、零散专题

下列方向暂时以目录而非系列页组织,规模较小或正在扩展:

八、阅读与使用建议

  1. 按方向切入:如果你目的明确(例如”要做推理服务化”),直接进对应系列的入口,按系列内置的阅读路径读。
  2. 按广度扫读:每个系列的索引页都给出”适合谁看”和”推荐阅读路径”,可以只读概览、不一定全文啃完。
  3. 按标签横切:首页侧栏有标签云,可以跨系列把同一主题串起来(例如 rafttlsebpf)。
  4. 归档与 RSS:完整文章列表见 归档页,更新可订阅 RSS

参考


返回 首页 · 归档

同主题继续阅读

把当前热点继续串成多页阅读,而不是停在单篇消费。

2025-02-15 · doc

技术博客在 AI 时代还有意义吗

当 ChatGPT 能在 30 秒内解释任何技术概念时,花三天写一篇深度文章还有意义吗?有。但理由和你想的不一样。

2026-04-01 · containers / linux

从零造容器系列文章

用 C 和 Go 从零实现一个 OCI 兼容的迷你容器运行时,逐篇拆解 Linux 内核的隔离机制。不是讲 Docker 怎么用,而是理解容器到底是什么。

2025-11-30 · io_uring / linux

io_uring 系列文章

探索 Linux 下一代高性能异步 I/O 接口 io_uring,从核心原理到性能对比,再到与现有网络库的集成。


By .