文章
已发布的全部文章。
TCP、UDP、拥塞控制与连接故障
从字节流、数据报、重传、流量控制和拥塞控制出发，解释常见 TCP 状态、超时与协议选型边界。
一次网页请求经历了什么：从域名到应用线程
沿一次 HTTPS 请求串联 DNS、ARP、TCP、TLS、HTTP、反向代理、应用线程和下游依赖，建立端到端排障地图。
并发设计模式与确定性测试
用不可变快照、单线程所有权、固定锁顺序和协调器构造可证明、可重复的并发测试。
虚拟线程、固定与观测
把阻塞式任务迁移到 Java 21 虚拟线程，并区分 Java 21 与 24/25 的 monitor pinning、资源限流和观测方式。
CPU 缓存、伪共享与 Disruptor
从缓存行一致性理解伪共享，并说明 Padding、分片计数和 Disruptor 环形队列适合解决什么问题。
ThreadLocal 泄漏与请求上下文治理
在线程池中确定性复现 ThreadLocal 请求数据残留，并用 try/finally、显式 Context 和框架钩子治理。
ForkJoinPool、工作窃取与并行流
通过递归求和理解任务拆分、工作窃取、阈值和 commonPool，并判断 CPU 密集任务何时适合并行。
Future 与 CompletableFuture 异步编排
用显式 Executor 编排异步任务，处理 thenCompose、超时、异常、取消和请求上下文传播。
ThreadPoolExecutor 参数、拒绝与动态调节
通过确定性饱和实验理解 core、maximum、queue、keepAlive 和拒绝策略，并按任务模型配置线程池。
BlockingQueue 与生产者消费者
使用有界 BlockingQueue 和超时 offer 实现可观测背压，并比较 put、offer、take、poll 的失败语义。