TLA+ 形式化规约与模型检测深度工程实战：从时序逻辑到时不变式、状态机规约、分布式协议验证及生产级应用
TLA+ 形式化规约语言深度工程实战：从时序逻辑（LTL/CTL）、时不变式（Invariant）、状态机规约（Init/Next）、Pluscal 算法语言、TLC 模型检测器引擎，到分布式共识协议（Paxos/Raft）规约验证、Amazon DynamoDB/S3 生产级认证实践、规约调试技巧、性能优化、CI/CD 集成与工业级最佳指南。
系统内核
CPython 解释器内核深度剖析：从 PyObject 内存模型到 GIL 本质、字节码引擎与 GC 分代回收的完全工程指南
CPython 解释器内核深度剖析：从 PyObject 统一内存模型、引用计数与循环 GC、GIL 全局解释器锁的本质与演进、编译管道 (Parser → AST → Symtable → Compiler → CodeObject)、字节码虚拟机执行引擎、pymalloc 内存分配器三层层级设计、字典内联缓存与 Insertion Order 保证、列表动态数组扩容策略、asyncio 事件循环底层实现、到 C 扩展开发最佳实践与生产级性能调优的完整工程指南。
大规模共识引擎深度优化：从 Multi-Raft 架构到 JRaft/PolarDB 工程演进的完全实践指南
大规模共识引擎深度优化：从Multi-Raft分片架构、JRaft生产级特性到PolarDB自适应共识的工程演进全面指南，涵盖Split/CRDT合并、Learner/Witness节点、PreVote+CheckQuorum、Parallel Raft乱序提交、Stale Read一致性级别、生产级磁盘IO隔离与跨机房部署策略。
LLVM 编译器基础设施深度实战：从 IR 中间表示到 Pass 优化管道、JIT 编译引擎与 MLIR 多级表示的完全工程指南
LLVM编译器基础设施深度实战：从IR中间表示、SSA形式、Pass优化管道系统、Clang前端AST、TableGen后端描述、OrchJIT引擎、Sanitizer内存/并发安全工具、MLIR多级表示框架到生产级工程实践（编译时间优化、PGO、C++ Modules）的完全工程指南
io_uring 与 Go 运行时深度实战：从环形队列到 SQPOLL 异步执行机制、Go runtime netpoller 集成模式与生产级高并发实践
io_uring 与 Go 运行时深度实战：剖析 SQPOLL 内核轮询线程、SQ/CQ 环形队列、Go runtime netpoller 集成方案、registered buffers 零拷贝、生产级高并发实践与可观测性
分布式共识算法 Raft 深度实战：从 Leader 选举到日志复制、Multi-Raft 分片与生产级线性一致性读写的完全工程指南
分布式共识算法 Raft 深度实战完全指南：从 Leader 选举机制、日志复制一致性检查与提交规则、Multi-Raft 分片架构与 PD 调度、线性一致性读优化（ReadIndex/LeaseRead）、Joint Consensus 成员变更、到 etcd WAL/快照实现剖析、生产性能调优与灾难恢复方案。
Rust 异步运行时深度实战：从 Tokio 调度器到 io_uring 零拷贝 IO 的完全工程指南
Rust 异步运行时深度实战：从 Tokio 调度器到 io_uring 零拷贝 IO 的完全工程指南——涵盖 Future trait 与 Poll 模型、多线程工作窃取调度器、epoll/io_uring 异步 IO 驱动、Pin/Unpin 内存安全保障、CancellationToken 任务取消、异步同步原语与通道设计、生产级性能调优 Check
Linux 进程调度器深度实战：从 CFS 完全公平调度器到 cgroup 资源隔离、实时调度策略、CPU 亲和性与生产级低延迟调优的完全工程指南
Linux 进程调度器深度实战完全指南：从 CFS 完全公平调度器红黑树与 vruntime 机制、SCHED_FIFO/SCHED_RR/SCHED_DEADLINE 实时策略、cgroup v2 CPU 带宽控制与 cpuset 绑定、CPU 亲和性与 NUMA 感知调度域、内核抢占模型(PREEMPT_NONE/VOLUNTARY/PREEMPT/RT)、中断亲和性、isolcpus 低延迟优化、taskset/cpuset、到 perf sched/bpftrace/ftrace/eBPF 调度器监控与生产级调优完全指南
Linux 网络协议栈深度实战：从 Socket 系统调用到 epoll 事件驱动、NAPI 高速收包、netfilter 防火墙与生产级千万并发调优的完全工程指南
Linux 网络协议栈深度实战完全指南：从 Socket 系统调用内核执行路径、TCP 协议状态机与拥塞控制(Cubic/BBR)、epoll 红黑树+就绪链表高并发模型、netfilter 钩子框架与 iptables/nftables 规则引擎、NAPI 中断+轮询混合收包机制、XDP/eBPF 硬件卸载与 DDoS 防护、sendfile/splice/mmap 零拷贝与 io_uring 异步 I/O、生产级千万并发内核参数调优实战、网络栈监控与可观测性体系建设。
分布式限流与熔断深度实战：从令牌桶算法到 Sentinel 流量控制、自适应熔断与生产级稳定性治理的完全工程指南
深入解析分布式限流与熔断核心原理与生产级实现：令牌桶/漏桶/四大限流算法对比选型、Redis+Lua原子化滑动窗口、Sentinel流量控制与熔断降级规则、热点参数限流与集群Token Server、自适应限流（BBR/CoDel/Concurrency Limits）、Bulkhead舱壁隔离三种模式、全链路防护策略与故障演练方法论
Elasticsearch 深度实战：从倒排索引原理到分布式搜索集群生产级部署与性能优化的完全工程指南
深入解析 Apache Lucene 倒排索引原理（FST 词典、跳表加速、BM25）、三段式文本分析与中文分词优化、分布式一致性 Raft 协议、写入路径（Refresh/Translog/Flush）工程、Query-Then-Fetch 查询协议、分片策略与再平衡、Hot-Warm-Cold 分层存储、HSNW 向量搜索、快照恢复全流程、生产环境容量规划与故障排查方法论
Linux 内核内存管理深度实战：从 Buddy 分配器到 Slab 缓存、NUMA 调优与 cgroup v2 OOM 防护的完全工程指南
深入解析 Linux 内核内存管理全栈机制：Buddy System 伙伴分配算法与 Per-CPU 热页缓存、SLUB 分配器对象槽管理与缓存着色、四级页表与 TLB/PCID 优化、Active-Inactive LRU 双链表回收策略、Kswapd/Direct Reclaim、ZRAM 压缩交换与 KSM 去重、透明大页 THP 适用场景、NUMA 感知内存策略与 numactl 绑定、cgroup v2 memory 四级隔离、OOM Killer 评分算法与 oom_score_adj 保护、碎片整理与 extfrag_threshold 调优、生产环境真实案例分析
Redis 深度实战：从数据结构底层到分布式锁、集群架构与生产级缓存设计的完全工程指南
从Redis数据结构底层SDS、跳跃表、整数集合、压缩列表到分布式锁RedLock算法、Redis Cluster数据分片、Sentinel高可用故障转移、Stream消息队列、缓存穿透/击穿/雪崩三大战役、Lua脚本原子操作、RedisBloom布隆过滤器、HyperLogLog基数统计，一份完整的Redis工程实战百科全书。
Linux 存储与块设备 IO 子系统深度实战：从 VFS 到 NVMe 生产级性能优化的完全工程指南
深入解析 Linux 存储与块设备 IO 子系统：VFS 虚拟文件系统、Page Cache 页缓存与回写策略、io_uring 异步 IO 革命、blk-mq 多层队列框架、五大 IO 调度器算法对比、Device Mapper/LVM2/dm-crypt 存储虚拟化、bcache/dm-cache 缓存策略、NVMe/SCSI/VirtIO 驱动栈、blktrace/bpftrace 分析工具链、生产级调优参数
Linux DMA子系统深度实战：从dmaengine驱动开发到IOMMU内存映射与生产级性能优化的完全工程指南
深入解析Linux DMA子系统架构：DMA-API一致性/流式映射、dmaengine框架核心数据结构、scatter-gather与循环DMA、IOMMU地址虚拟化与内存保护、SOI DMA驱动开发实战（EDMA/PL330/XDMA）、dma-buf跨设备零拷贝共享、io_uring+DMA深度融合、SVA/CXL前沿演进。
