知其然,知其所以然
Java 内部原理 2026-09-14

TreeMap NavigableMap真实验证:floorKey和lowerKey在key存在时的真实差异

真实验证TreeMap的floorKey(<=)、ceilingKey(>=)、lowerKey(<)、higherKey(>)四个方法在key存在和不存在时的真实边界行为;真实验证乱序插入50/10/40/20/30后keySet()遍历顺序真实自动变成10/20/30/40/50,证明红黑树中序遍历天然有序。

Java 集合框架 TreeMap 动画演示
Kubernetes 2026-09-13

kube-scheduler:Filter 和 Score 到底在比什么

用 Python 逐数字复现 kube-scheduler 官方测试用例里的真实 Filter/Score 结果,讲清 NodeResourcesFit 的资源不足淘汰逻辑与 LeastAllocated 打分公式,对照真实源码。

调度器 Score 动画演示
Django 2026-09-13

Signal:receiver 什么时候会被悄悄丢弃,一个抛异常的接收者又会不会打断整条广播

本机真实实测没保留引用的 receiver 被立刻回收、同一 receiver 注册两次信号触发两次(dispatch_uid 修复)、send() 遇异常中断广播而 send_robust() 跑完全部接收者,对照 pre_save/post_save 真实源码。

Signal 弱引用 动画演示
Go 内部原理 2026-09-13

转账系统的死锁:两个 goroutine 反向转账,为什么会真的锁死,固定加锁顺序又是怎么解决的

真实用 Go 复现转账系统的经典死锁:两个 goroutine 反向转账(A→B 和 B→A)真实触发 Go 运行时 fatal error: all goroutines are asleep - deadlock!,附真实的 goroutine 栈;按账户 ID 固定加锁顺序后,2 万轮约 4 万并发 goroutine 反向转账压力测试真实验证零死锁且总额守恒。

死锁 并发 动画演示
Java 内部原理 2026-09-13

List.remove() 重载真实验证:remove(20)真实删的是索引,不是值

真实验证List<Integer>.remove(int)会被编译器识别为remove(int index)重载而不是remove(Object),真实用remove(20)在只有4个元素的list上触发IndexOutOfBoundsException;真实验证唯一安全删除值的写法是显式装箱remove(Integer.valueOf(20))。

Java 集合框架 重载 动画演示
Kubernetes 2026-09-12

Service / kube-proxy:一个 ClusterIP 请求是怎么被转发到 Pod 的

用 Python 逐字节复现 kube-proxy 官方测试用例里的真实 iptables 链名与负载均衡规则,验证链名哈希算法与概率分配公式,对照 kube-proxy 真实源码。

kube-proxy iptables 动画演示
Java 内部原理 2026-09-12

String switch字节码真实反编译:两个hashCode相同的字符串,真的会靠equals()区分开

真实反编译String switch生成的字节码,证明它真实先对hashCode()做lookupswitch跳转,命中后再用equals()做二次校验;真实构造"Aa"和"BB"两个hashCode相同(都是2112)的字符串验证switch真实没有混淆它们。

Java 字节码 String 动画演示
Kubernetes 2026-09-11

etcd:控制平面的唯一真相,怎么保证不丢、不乱

本机真实搭建 3 节点 etcd 集群,真实触发一次 Raft 主节点故障切换,验证 MVCC 版本记录与 Watch 断线重连回放机制,对照 etcd-io/etcd 与 etcd-io/raft 真实源码。

etcd Raft 动画演示
Java 内部原理 2026-09-11

Double.toString() 真实验证:最短能往返解析回原值的算法,不是简单四舍五入

真实验证0.1+0.2的Double.toString()结果是0.30000000000000004,而不是完整二进制误差展开值;真实验证这个短串能被Double.parseDouble精确解析回同一个double;真实测出科学计数法切换阈值是1e7,不是常被记错的1e20/1e21边界。

Java 浮点数 String 动画演示
Kubernetes 2026-09-10

controller / informer 模式:reconcile 循环到底在循环什么

真实源码转写 client-go workqueue 的去重机制(dirty/processing 集合)与 resync 语义,Python 验证 4 次事件合并成 3 次真实处理,并证明 reconcile 循环的幂等性。

Informer workqueue 动画演示
Java 内部原理 2026-09-10

EnumSet真实验证:反射读出内部真的是一个long类型的位向量

真实反射读取RegularEnumSet内部elements字段,证明5个枚举值的EnumSet真实用一个long的低5位存储;真实验证EnumMap遍历顺序真实按ordinal排序而不是插入顺序;真实实测2000万次contains()调用,EnumSet真实比HashSet快约4.7倍。

Java 枚举 集合框架 动画演示
MongoDB 2026-09-09

分片策略:一条查询是怎么知道该去问哪个 shard 的

本机真实搭建 1 配置服务器 + 2 分片 + 1 mongos 的分片集群,真实迁移 chunk,用 explain() 对比三种查询的分片路由结果,对照 mongos 真实源码解释快速路径与兜底路径。

分片 路由 动画演示
京ICP备2026067502号-1京公网安备11010502063487号