Soofjan

剖析 Compact 等行格式中的变长字段长度列表、NULL 位图与记录头，理解页内单向链表、溢出与「能省则省」的存储细节，为索引与事务篇打基础。...

从索引组织表 IOT 与主键规则出发，拆解表空间、段、区、页、行的层级关系，建立 InnoDB 磁盘布局与 B+ 树聚簇索引的直观模型。...

串讲 Change Buffer、Doublewrite、自适应哈希与异步 IO 等机制，说明 InnoDB 如何缓解随机 IO、应对部分写失败并提升热点访问效率。...

从 Buffer Pool 与页管理切入，讲 Free/LRU/Flush 链表、Checkpoint、后台线程与 Master Thread，理解 InnoDB 如何在内...

区分数据库与实例、单进程多线程模型，梳理连接池、解析器、优化器、执行器与可插拔存储引擎的分层架构，建立后续 InnoDB 学习的宏观坐标。...

基于 Go 1.25 runtime，从 iface/eface、ITab 写到 getitab、itabInit、convT*、断言 assertE2I* 与 typeA...

接口类型与隐式实现、双分量、内建 error、nil 坑、any、断言与 type switch；源码见 interface 源码笔记。...

区分逃逸与泄漏在编译期和运行期的边界，用 -gcflags=-m 与 pprof 建立排查路径，结合常见场景解释为什么“长期可达”才是 Go 泄漏判断核心。...

聚焦标记结束后的清扫路径，梳理 span 回收、懒惰清扫与后台清扫协同机制，理解可复用槽位如何回到分配体系并影响下一轮内存行为。...

从三色可达性不变式出发，拆解混合写屏障在并发改指针时的补偿逻辑，理解 Go 为什么宁可产生浮动垃圾，也要确保标记正确性与内存安全。...

深入并发标记主循环，说明后台 Worker 与 Assist 的配比机制与债务模型，解释 Go 如何在业务分配与标记进度之间做动态平衡，避免堆增长失控。...

对照 runtime 触发路径，梳理 gcStart 相关条件判断与状态切换，理解一轮 GC 如何被拉起、如何进入各阶段，以及这些切换对业务线程的影响边界。...

站在分配器之后看回收器，按触发条件与四个阶段拆解一轮 GC，理解 STW、并发标记、写屏障、Assist 与清扫协作，建立从现象到机制的整体认知。...

继续沿分配流程追踪大对象与特殊分配分支，补齐从页分配到账本更新的关键细节，串联分配器在性能与碎片控制之间的权衡点。...

从 runtime 分配入口出发，结合 mcache、mcentral、mheap 与 mspan 的协作路径，梳理小对象分配的关键分支与无锁快路径，理解一次堆分配如何被层...

从 Go 进程内存区域切入，先建立堆分配总览，再串起 mcache、mcentral、mheap、mspan 与 size class 的协作关系，最后按 tiny、小对象...

对照 runtime/select.go，从 scase 与 order 缓冲区写起，梳理 pollorder 随机插入、lockorder 按 channel 地址排序加...

介绍 select 的语法与用途，说明空 select 阻塞与死锁提示、default 非阻塞收发，并概括运行时多路匹配（pollorder、lockorder、sudog...

从 RWMutex 的 readerCount 编码开始，解释 RLock/RUnlock 的阻塞条件、写锁 Lock 的“等锁”过程。...