posts
这里是全站文章的归档入口，下面是按时间倒序排列的全部文章。若想按主题浏览，请从首页的专题分类进入。
拆开 JDK 25 的 AtomicInteger：源码注释为何承认本该用 VarHandle 却仍走 jdk.internal.misc.Unsafe，getAndAddInt、putIntRelease、compareAndSetInt 各自的内存语义，weakCompareAndSet 与 compareAndSet 的实际差别，以及字段更新器的实现与本机字节码和重试数据。
从锁拆分、Node 对象开销、伪共享与容量语义四个角度解释三种阻塞队列的吞吐差异，给出本机 JMH 与简易探针的真实输出、JOL 字段偏移与保留集数据，说明为什么这些数字只能看数量级、不能横向引用，并用 libraryd-conc 的容量与监控工具收尾。
拆解 JDK 25 中已重构的 SynchronousQueue（Transferer 继承 LinkedTransferQueue）、PriorityBlockingQueue 的堆与 allocationSpinLock 扩容、DelayQueue 的 leader/available 协议，用零容量交接、同优先级出队、延迟到期三组实跑数据说明边界与代价。
从 JDK 25 源码对比 ArrayBlockingQueue 的单锁双条件与 LinkedBlockingQueue 的双锁双条件，解释 count 为何必须是 AtomicInteger、signalNotEmpty/signalNotFull 的精确唤醒判据，并用同构探针统计每次 put 的唤醒次数与 JMH 吞吐，给出 libraryd-conc 的有界事件队列落地与容量取舍。
从「回声」网络抖动触发客户端重发、接收方看到两条相同消息的事故写起：去重不能依赖客户端单方面生成的消息 ID，网关重试和消费重试都会产生重复。文章给出 Window 的 TTL 判定、时钟倒退检测、Prune 清理与幂等边界测试，并说明去重键该由谁生成。
把 ConcurrentHashMap、跳表、写时复制与阻塞队列放进有序性、读写比例、迭代语义、内存放大四个维度的矩阵，给出可直接照做的决策树与五种常见误选，并用 libraryd-conc 的 ISBN 索引改造实测每次更新的分配量从 162684 字节降到约 570 字节。
以 JDK 25 源码拆 ConcurrentSkipListMap：Index 三层指针为何取代了 HeadIndex 与 level 字段、doPut 如何先挂底层再补索引并重试，并用本机反射统计的层数、索引占比与读写数据回答为何有序并发容器选跳表。
以 JDK 25 源码拆开 CopyOnWriteArrayList 的写时复制：锁字段为何从 ReentrantLock 换成 Object 监视器、add 的复制路径、读为何无锁，并用本机分配计数给出每次写的字节数与 addIfAbsent 的比较次数。
用本机实验说明 ConcurrentHashMap 迭代器的弱一致性：Traverser 如何跨新旧表、为什么不抛 ConcurrentModificationException，以及 compute/computeIfAbsent/merge 只锁单桶的原子性边界和递归更新导致的异常与跨 map 死锁。
沿 JDK 25 源码拆开 ConcurrentHashMap 的 get 与 putVal：无锁读、桶首 CAS、synchronized 锁桶首、MOVED 转发与 helpTransfer，再用探针展示 baseCount、CounterCell 分片计数和 sumCount 的近似性，附本机分支日志。
从 JDK 25 的 javap 输出出发，逐个核对 ConcurrentHashMap 的 Node、TreeBin、ForwardingNode、ReservationNode 与 CounterCell 字段，解释 MOVED/TREEBIN/RESERVED 三种负 hash 与 sizeCtl 在初始化、阈值、扩容三种状态下的编码，并给出桶状态图和本机探针输出。
拆开 Exchanger 的 Slot、Participant 与 arena，说明它为什么不用 AQS、0 号槽为何是唯一的阻塞点、配对与超时怎样收尾，再用双缓冲快照和两个信号量反序获取的真实死锁输出，收束本章，并指出这类死锁的检测盲区与组合风险。
对比 CountDownLatch 的一次性计数、CyclicBarrier 用锁加条件队列维护的“代”与 Phaser 的 long 位域拆分，再用同一份六分片加载场景的三种写法与真实输出，说明一次性、按代重用、按阶段推进各自的边界与选型取舍。
拆开 Semaphore 的 Sync，看许可如何直接复用 AQS 的 state、公平版为何只多一次排队检查、许可为负时 reducePermits 与 drainPermits 的欠账语义，再用下游通知扇出的限流实验验证并发上限确实收敛到 2。
StampedLock 用版本戳把读分成加锁读和乐观读两档。本节按 JDK 25 源码拆解 7 位读者计数、写位与版本位，实测 validate 的语义、不可重入与 tryConvertToWriteLock 的边界，并给出三版缓存的对照数据。
从「回声」手机读完消息、桌面未读数不降的事故写起：已读位置是多端上报的事实，未读数是派生值。文章把按会话已读、多设备取最大已读序号、越界钳零、无记录视为全部未读写成 Count 纯函数，并给出边界测试、真实运行输出与存储、缓存与投递的边界。
锁降级为什么必须先拿读锁再放写锁，升级为什么会自死锁，非公平模式的两条插队规则各自把谁饿住。附锁降级示例、12 次写者等待分布，以及 96 次与数万次的插队计数对比，并说明 JDK 25 的 head-writer 启发式为什么让完整写饥饿难以复现。
读写锁要把读者总数和写者重入数塞进同一个 state。本节按 JDK 25 源码核对 32/32 位布局、SHARED_UNIT 与 EXCLUSIVE_MASK 的位运算、HoldCounter 与 ThreadLocalHoldCounter 的分线程计数，并给出 javap 与反射探测的本机输出。
lockInterruptibly 与 tryLock(timeout) 在 JDK 25 统一走 acquire 大循环，返回值区分成功、超时与中断；Thread.interrupted() 负责在 park 醒来时收走中断标志。实测中断耗时、250ms 超时返回 false 的时刻，并用反射把 state 推到 Integer.MAX_VALUE 验证重入溢出。
JDK 25 的 ConditionObject 用 ConditionNode 串起条件队列：await 先 enableWait 入队并释放全部重入次数，signal 只把节点 enqueue 到同步队列而不唤醒。用双条件 notEmpty/notFull 手写有界队列，并用实测时间线证明 signal 后线程仍在 park。