posts
这里是全站文章的归档入口，下面是按时间倒序排列的全部文章。若想按主题浏览，请从首页的专题分类进入。
用 System.nanoTime 算剩余预算，把单次超时与指数退避都裁剪到预算之内；用 JDK 25 的 orTimeout 源码说明它为什么不取消底层任务；用 AtomicReference 加 AtomicLong 实现 closed/open/half-open 三态熔断，并贴出本机真实的状态迁移日志与预算消耗。
异常为什么被包装成 AltResult 而不是单独存一个字段？join 抛 CompletionException、get 抛 ExecutionException，这条边界在源码里画在哪？本节从 encodeThrowable、encodeRelay 讲到 cancel 与 orTimeout，并用异常链实验说明回调里拿到的异常类型为什么不一致。
从「回声」用户一天收到 15 条推送后关闭通知写起：拆解按用户、按会话、按内容三种聚合维度，说明营销通知与事务通知为何需要不同频控策略，给出 Template、Render 的 Go 实现、表驱动测试与真实运行输出，并总结聚合去重和频控边界上的常见错误。
thenApplyAsync 不传执行器时落到哪个池？为什么 thenApply 不一定在完成者的线程上跑？本节拆开 ASYNC_POOL 与 commonPool 的关系、SYNC/ASYNC/NESTED 三档模式，用自定义执行器与占满并行度的实验说明阻塞调用为什么会卡住整条链。
thenApply 返回的 future 没有线程在等它，为什么 complete 一调用整条链就醒了？本节从 result 与 stack 两个 volatile 字段入手，拆解 Treiber 栈的压栈与倒栈、NESTED 模式的迭代展开，并用反射读出真实链上的 UniApply、UniCompose、UniRelay、CoCompletion。
并行流的性能由拆分决定：Spliterator 的 trySplit/estimateSize/characteristics 三个契约，AbstractTask 与 CountedCompleter 的循环式拆分、LEAF_TARGET 与目标叶大小，commonPool 固定并行度的代价；附本机拆分次数、栈溢出与阻塞任务实测，以及自定义 Spliterator 的两版求和。
JDK 25 的 WorkQueue 两端为什么会在同一格上撞：poll() 的 CAS 路径、base 一致性检查与 onSpinWait 的停滞判断，phase 如何用 IDLE 位同时充当提交队列的 seqlock 与版本号，nsteals 与 getStealCount 的统计口径，附本机字节码、phase 原始值和高并发窃取失败率数据。
拆开 JDK 25 的 ForkJoinPool$WorkQueue：base/top/array/config/phase 五个字段的职责，owner 走 nextLocalTask(fifo)、窃取者走 poll()，pollScan 的随机起点与 submissionsOnly，以及 getSurplusQueuedTaskCount 为何能压低窃取；附本机 javap 与对照实验。
DelayedWorkQueue 用数组堆加 heapIndex 反查实现 O(log n) 取消，用 leader 与 available 保证同一时刻只有一个线程带超时等待。本节逐分支拆 take()，用四个 worker 等一个到期任务的本机输出证明只有 leader 被唤醒，并对比 DelayQueue 的容量与删除代价。
一个任务如何变成一个新线程、线程如何取任务又如何退出。本节拆 addWorker 的抢名额与回滚、runWorker 的 firstTask 加 getTask 循环，并用本机实测展示 ThreadFactory 返回 null 时任务被静默入队、beforeExecute 抛异常时任务不执行但 completedTaskCount 仍然加一。
线程池把两个控制量压进一个 int：高 3 位是 runState，低 29 位是 workerCount。本节用反射读出运行中线程池的真实 ctl 并逐位拆解，解释 RUNNING 为什么取负数、五个状态为何只能单向递增，以及 Worker 为何继承 AQS 用 tryAcquire 表示正在跑任务。
同一混合负载下用 JMH 对比 synchronized 栈、ReentrantLock 栈与 Treiber 栈，再用自写探针统计 CAS 失败次数与 p99/p999：4 线程时无锁吞吐不到有锁版的五分之一，但 p999 反而低一个数量级。
把一次 pop 拆成读快照与提交两步，用单线程脚本稳定复现丢失更新；再拆 AtomicStampedReference 的 Pair 与 VarHandle PAIR，说明 Java 有 GC 为什么仍会逻辑 ABA，以及 AtomicMarkableReference 一个 bit 够用在哪、不够用在哪。
从「回声」一条发布成功通知用户却没看到写起：区分发送成功与真实到达，拆解 APNs、FCM、Web Push、小程序订阅消息在包体、图片和深链上的差异，给出 Capability、Of 的 Go 实现、表驱动测试与真实运行输出，并梳理模板裁剪和到达率统计的常见错误。
用 VarHandle 手写 Treiber 栈与 Michael-Scott 队列，实测一百万次入队中 tail 有一百零六万次不是真实末尾；再对照 ConcurrentLinkedQueue 的 MAX_HOPS、updateHead、succ 与 skipDeadNodes，说明它为什么要多一层帮助推进。
梳理 JDK 25 中 Unsafe 到 VarHandle 的迁移路径：实例字段、静态字段、数组元素与字节数组视图四种句柄，lookup 访问权限与 final 字段限制，给出一张迁移对照表和库存扣减的迁移前后代码，并说明哪些能力 VarHandle 接不住。
解释 getAcquire/setRelease 的单向屏障语义，用 JCStress 复现一个普通标志位的不安全发布并修好它，再用 Dekker 实验说明 acquire/release 为什么仍弱于 volatile，最后给出 fullFence 等五个屏障方法的适用边界。
从 JDK 25 源码拆解 VarHandle 的五种访问模式：plain、opaque、acquire/release、volatile 与 CAS 各自保证什么，用 JCStress 的 Dekker 实验展示 plain 与 volatile 的差距，并核对句柄获取与类型检查时机，最后落到库存扣减代码。
进入 LongAdder 的引擎 Striped64：探针哈希如何把线程映射到 Cell、cellsBusy 为什么是一把不阻塞的自旋锁、longAccumulate 的建槽/重试/扩容三分支，以及 JDK 25 用 SharedSecrets 桥接 ThreadLocalRandom 探针的原因与手写简化版实测。
拆 LongAdder 的 base + cells 双层结构：@Contended 为什么让每个 Cell 约占 289 字节，sum() 为何不是快照（本机 158 万次采样有 24 万次把在借数算成负数），reset() 的破坏性，以及高竞争实测下它何时反而不如 AtomicLong。