posts
这里是全站文章的归档入口，下面是按时间倒序排列的全部文章。若想按主题浏览，请从首页的专题分类进入。
JDK 25 把公平与非公平逻辑收进 initialTryLock：非公平两次不看队列直接 CAS，公平先用 hasQueuedThreads 再用 hasQueuedPredecessors 拦插队。用 100 轮插队计数实验给出四组真实数据，并解释非公平为何吞吐更高、公平锁的 tryLock 为何仍然会插队。
解释 tryAcquireShared 三种返回值的语义，对照旧版 setHeadAndPropagate、doReleaseShared 与 PROPAGATE 状态的由来，再以 JDK 25 的 signalNextIfShared 为主线，用自写共享门和 CountDownLatch 验证传播链。
对照 JDK 8 与 JDK 25 两套实现，拆解独占模式从 tryAcquire 失败到入队、park、唤醒、取消的完整路径，用一个非重入互斥锁跑出四线程严格 FIFO 的获取与释放顺序，并给出可观测插队次数的 BargingMutex 落地实现。
以 JDK 25 源码为准，拆开 AQS 的 state、head/tail 与 Node 四个字段，给出 javap 与反射实测输出，讲清旧版 waitStatus 四个常量到新版三个状态位的取舍，并解释为什么选择 CLH 变体队列以及它的适用边界。
《Java 并发编程·JUC 源码与容器》全书导航：说明本卷在三卷本中的位置、五部分十五章的依赖关系，给出顺序通读、症状驱动、按类查阅三条路径，并按部分列出 45 节完整索引、章间依赖图、全书实验清单与六个常见误区，便于按症状跳读或按章顺序通读，也便于当作类级查阅手册使用。
《Java 并发编程·JUC 源码与容器》前言：交代 JDK 25 源码的获取方式与包结构、用 unzip 与 javap 定位事实的方法、JMH 与 JCStress 的实验环境、源码摘录的标注约定，并列出本机核实过的 JDK 25 与旧版实现差异清单。
从「回声」一次手机和电脑同时在线、消息只到手机的事故写起：在线投递只是尽力而为，多设备投递必须全部覆盖，心跳过期要按离线处理。文章给出 Route 的成员白名单、TTL 边界、去重排序实现与边界测试，并说明离线补偿为什么才是消息可靠性的真正来源。
《Java 并发编程·JUC 源码与容器》开篇：从 JDK 25 里 AQS 被重写、经典教材的方法名全部消失这件事说起，说明读源码的三层收益、版本差异为何是本卷的头号风险，交代五部分十五章的结构、libraryd-conc 在本卷的改动范围，以及本书不承诺的内容。
从换手机拉取三年聊天记录把数据库打满的事故写起，比较按会话分片、按时间分区与按用户分片的代价，说明漫游为什么必须用游标分页，给出保留裁剪 Keep 与 RoamPage 的 Go 实现、边界测试和真实运行输出，并列出消息存储与漫游的常见错误。
把并发问题排查要用的 jcmd 子命令、线程转储读法、JFR 事件与过滤命令整理成一张表，并附本机 Temurin 25.0.5 上真实抓取的 Thread.print、jdk.JavaMonitorEnter、jdk.ThreadPark、jdk.VirtualThreadPinned 输出片段与解读。
把 JDK 25 常用并发 API 按线程与执行、同步器、并发容器、原子类、虚拟线程与结构化并发五组整理成速查表，每条给出核心方法、语义要点与选择边界，并附方法命名规律和「我要做什么 → 用哪个」反查表，以及各 API 的「什么时候不要用」。
把同一段三下游扇出分别用虚拟线程池和 StructuredTaskScope 实现：代码行数几乎相同、token 反而多 8 个，失败到返回却从 828ms 降到 140ms。本节给出迁移的四条硬边界——不可跨作用域、异常要解包、虚拟线程不是重点、preview 风险，并附真实报错。
awaitAll 只等结果不管失败，真正让「一个下游挂了、其余立刻停」的是 Joiner。本节用三个下游扇出实测五个内置 Joiner 的返回类型与取消时机：失败后 2ms 兄弟任务被中断，join 抛 FailedException 并保留原始 cause。
StructuredTaskScope 把一次请求 fork 出的子任务收进词法作用域：关闭前必须 join，关闭后不留活线程。本节用两路查询聚合实测 open/fork/join/close 的契约、子任务三种状态与超时取消，并对照 ExecutorService 说明任务生命周期为什么要绑在代码块上。
虚拟线程把每条阻塞任务降到约 1 KB，但连接池、下游 QPS 和 ThreadLocal 副本数没变。本节实测 1 000 个任务不设限时 maxInFlight=1 000、36–57 ms 打穿下游；加 Semaphore(16) 后恒定 16、耗时 2 256–2 286 ms。另测 10 万条虚拟线程各存 1 KB ThreadLocal 多占约 104 MB。
JDK 24 的 JEP 491 让 synchronized 不再 pin 虚拟线程，‘虚拟线程里别用 synchronized’已经过期。本节用 JFR 逐项验证：20 条同步块阻塞 0 个 pin 事件，类初始化阻塞 19 个；FFM usleep 虽不触发事件，却让 10 条载体全被占住，探针延迟 437–450 ms。
平台线程一条要占 1–2 MB 栈（macOS/aarch64 默认 2 MB），一万并发就逼近内存红线。本节从 1:1 与 M:N 的差别讲起，拆开载体线程、mount/unmount 和栈片段，并在本机用 -Xmx512m 创建 10 万个虚拟线程：堆占用约 89–103 MB、启动 91–132 ms，载体线程只有 10 条。
异步把执行线程换掉了，ThreadLocal 里的请求 ID 也就断了。本节实测 commonPool 与裸线程池里读到的上下文都是 null，给出在提交时捕获、执行时安装的 Executor 装饰器，并用 1 线程池的 418ms 对 20ms 说明为什么三个下游要各自隔离线程池。
从三节点订单集群一次性扩到五节点、出现两个不相交多数派的场景出发，说明单节点成员变更为何安全、配置条目如何提交；实现日志压缩与 InstallSnapshot 的边界保留，并用 ReadIndex 的当前任期多数派确认堵住陈旧 leader 的线性一致读。
从系统通知被用户回复、产生没有接收方的会话写起，对照单聊、群聊、系统会话的成员与发送权限，说明群成员上限如何影响写扩散，给出会话校验与 CanSend 的 Go 实现、边界测试和真实运行输出，并列出会话模型设计、服务端发送权限与客户端展示的常见错误。