posts
这里是全站文章的归档入口，下面是按时间倒序排列的全部文章。若想按主题浏览，请从首页的专题分类进入。
从 4 线程抢同一把监视器锁的实跑出发，说明 jdk.JavaMonitorEnter、jdk.JavaMonitorWait 与 jdk.ThreadPark 各自记录什么，profile.jfc 的 10 ms 默认阈值如何过滤掉短竞争，并给出 jfr summary、jfr view 与 jfr print 的真实输出，最后用 LongAdder 改造验证竞争消失。
把同一个库存扣减分别放进 JMH 与闭环压测：微基准 2848 万 ops/s、零分配，系统压测只有 202 到 1703 rps，同一把锁的位置改动让 P99 差两个数量级。逐项拆解同步、GC、网络、队列与限流带来的差距，并给出可复核的压测报告模板与诚实的数据边界。
用本机 JMH 1.37 与 javap 实测拆开五个微基准陷阱：死代码消除、常量折叠、循环展开、预热不足、伪共享未隔离；每个都给错误代码、正确代码与本机输出，逐条标注哪些现象稳定复现、哪些只能按 JIT 行为推导，最后给出可在 CI 里运行的基准评审脚本。
从 libraryd-conc 的库存扣减基准出发，给出 JMH 1.37 的完整 pom、基准类与两种跑法，用本机实测解释 @State 三种作用域、@Fork 隔离、@BenchmarkMode 与 ±(99.9%) 误差列的读法，并说明置信区间下界为 0 时为什么不能下结论。
吞吐涨不动而 p99 恶化，是最容易误诊的组合。本节讲清平均与分位各自的说谎方式，用 Little 定律与排队模型解释延迟为何随并发线性上涨，并在 1/4/16/64/256 五档并发下实测吞吐与 p50/p99/p999，最后给出尾延迟放大与定容口径。
CPU 没跑满、吞吐却上不去，先分清是锁排队还是线程太多。本节对照 vmstat 与 pidstat 的口径，给出 macOS 上真实可用的替代命令与实跑输出，用线程数阶梯测出吞吐与每操作 CPU 成本的变化，并说明容器 CPU 配额如何改变可用核数。
并发加到某个数量后吞吐不再上涨，是串行段还是争用？本节从 Amdahl 的串行比例推到 USL 的争用项与一致性项，用两个观测点解出 σ 与 κ，给出一张按公式推导的容量估算表，算出峰值位置与每核边际收益，并说明外推到多大规模型号就失效、什么时候该改代码而不是加机器。
《Java 并发编程·性能诊断与事故》全书导航：说明本卷在三卷本中的位置与五部分划分，给出顺序通读、症状驱动、值班查表三条路径，按部分列出 15 章 45 节的完整索引、每章三节的模型—诊断—处置递进、章间依赖与全书实验清单，并附一张从现象直接跳到章节的对照表。
《Java 并发编程·性能诊断与事故》前言：钉死本机的 JDK、Maven 与工具版本，交代 load average 常年 70–170 对计时的影响，给出 JMH、JCStress、JFR 的可用命令与实测事件名，说明 async-profiler 未安装、Lincheck 未执行，并定义本卷四类数据标注与五个指标口径。
从 arch-lab 订单系统一次库存预占参数被直接改环境变量的事故切入，拆开默认、环境、实例三层配置的职责与合并优先级，给出带来源追溯的合并、配置版本号与按实例分桶的灰度发布 Go 实现，并附 1 万个合成实例的分桶与 50% 分流实测输出。
从一篇已发布文章在搜索里消失十分钟的事故写起，说明索引是另一种读模型而不是业务库副本。文章比较双写、binlog 与 outbox 三条同步路径，用版本号把重复与乱序收敛进 Apply 纯函数，并给出墓碑规则、边界测试、真实运行输出与可观测水位。
《Java 并发编程·性能诊断与事故》开篇：从一个 CPU 只有三成、GC 正常、日志无异常却 P99 涨了三十倍的构造场景出发，分清正确性、性能、容量三类失效，给出从症状到验证的五步诊断闭环，交代三卷边界与本卷构造事故的口径，并说明为什么本书的数字只讲结构性差异。
从「回声」APNs 证书过期导致 iOS 推送静默失败三天写起：区分可重试与不可重试的失败，说明重试上限、退避和主备渠道降级为何必须显式建模，给出 Plan、Attempt、Next 的 Go 实现、表驱动测试与真实运行输出，并总结失败降级中的常见错误。
从 JDK 25 的 src.zip 解压开始，给出 AQS、ReentrantLock、ConcurrentHashMap、ThreadPoolExecutor、ForkJoinPool 的依赖阅读顺序；用四组本机 javap 输出说明该看什么，再用 --add-opens 反射、jstack、jcmd 线程转储与 JFR 对齐源码字段与运行态。
把本卷涉及的 62 个 java.util.concurrent 类型按锁与同步器、并发容器、阻塞队列、原子类、执行器、异步编排六类摊开，逐类给一句话定位与对应章节；用 ASCII 分类树和有序性、读写比例、迭代语义、容量语义、内存放大、能否阻塞六个维度的选型表，最后落到借阅系统的具体选型。
把前十四章的结论压成 20 条可执行的检查项，按数据错误、死锁、性能、可维护性分级，每条给出症状、正确做法和对应章节；再配一个能在仓库里跑的 grep 扫描脚本、CI 闸门和一条 P0 的完整评审样例，贴出脚本在示例代码上的真实输出与它扫不出来的七件事。
线程安全的容器只保证单个方法原子，不保证两次调用之间不被插入。本节用 ConcurrentHashMap 的「先查后改」复现库存超卖，贴出 12 次运行的真实超卖数与 compute 修复后的零超卖，再说明 compute 的桶锁边界、synchronizedMap 的复合操作、弱一致迭代与快速失败的区别。
用 javap 把 new 拆成分配、构造、发布三步，说清双重检查锁定为什么字段必须 volatile、它挡的是哪条重排；再给出 VarHandle 的 acquire/release 版本、静态持有者的单条 getstatic 与枚举的反射边界，并用一个 this 逃逸的构造稳定复现未初始化对象被发布。
用 Semaphore 加租约表实现有界资源池，靠 availablePermits 与持有时间两条线索抓出忘记 release 的泄漏；对照公平与非公平的排队延迟，用 reducePermits 做动态缩容，并说清令牌桶限速率、信号量桶限并发的区别。
用数量阈值加时间阈值做批量窗口，用 drainTo 一次持锁取走整批并唤醒阻塞的生产者；再用有界队列和 CallerRunsPolicy 演示背压的真实形状：40 条里 7 条被拒、调用线程亲自执行任务，并给出批量失败后的二分重投边界与幂等前提。