Java高并发核心编程.卷2，多线程、锁、JMM、JUC、高并发设计模式

Java高并发核心编程.卷2，多线程、锁、JMM、JUC、高并发设计模式

类别：编程语言类

整体评级

四象限结论：经典原理（高信息浓度 + 高稳定性）

支撑理由： 本书虽然以 Java 线程、JUC 和若干具体 API 为载体，但主线不是简单罗列调用方法，而是解释高并发编程中的根本约束和底层机制：线程池为何不能无界排队、线程数为何要区分 IO 密集型和 CPU 密集型任务、synchronized 如何依赖对象头与锁升级、CAS 的性能边界为何会引出 LongAdder、volatile 与 JMM 如何解决可见性和有序性、AQS 如何用模板方法和同步队列支撑显式锁。后半部分还把 Master-Worker、ForkJoin、生产者-消费者、Future、异步回调和 CompletableFuture 放到并发协作模型中理解。书中存在部分 JDK 版本和类库 API 细节，但这些细节服务于可迁移的并发原理，因此整体归为“经典原理”。

章节筛选

章节号	章节标题	精读/略读	状态(pending/done)	卡片数
1	多线程原理与实战	精读：线程生命周期、线程池、线程数估算和 ThreadLocal 都是 Java 并发的底座；S4 补中断标志、拒绝策略。	done	7
2	Java内置锁的核心原理	精读：对象头、锁升级、wait/notify 解释 synchronized 的底层代价与协作模型。	done	6
3	CAS原理与JUC原子类	精读：CAS、ABA、LongAdder 是理解无锁并发与原子类边界的关键。	done	5
4	可见性与有序性的原理	精读：CPU 缓存、MESI、内存屏障、JMM 和 Happens-Before 是并发正确性的核心。	done	5
5	JUC显式锁的原理与实战	精读：LockSupport、CLH、自旋锁、读写锁和 StampedLock 展示显式锁的取舍；S4 补 Semaphore、乐观读验证、可中断抢锁、CountDownLatch、可重入。	done	10
6	AQS抽象同步器的核心原理	精读：AQS 是 JUC 同步器的共同骨架，源码流程值得形成长期卡片。	done	5
7	JUC容器类	精读：CopyOnWrite、BlockingQueue、ConcurrentHashMap 体现并发容器的不同设计策略。	done	5
8	高并发设计模式	精读：单例、Master-Worker、ForkJoin、生产者-消费者、Future 是可迁移的并发结构。	done	5
9	高并发核心模式之异步回调模式	精读：主动获取结果与回调反转控制流，是异步系统设计的重要分界。	done	5
10	CompletableFuture异步回调	精读：CompletionStage 链式编排是 Java 8 后表达异步流程的核心工具；S4 补默认公共池风险与异常处理。	done	7

S4 修订说明（两轮：S2初次生成 + S3审查后修订）

S2轮：全部 56 张卡片的 分类 字段已从历史旧枚举”专业/工作”迁移为当前模板六选一枚举（全部判定为”普通读书笔记卡”，本书未出现问题卡/延伸参考卡/操作参考卡/支付系统案例卡/结构图卡取材场景），并补齐 **参考来源** 的”位置/结论依据/原始内容”三项证据字段，逐一回读 _epub-src 对应 XHTML 原文核实。新增 P1 卡片 6 张（ch02-006、ch05-006、ch05-007、ch10-006、ch10-007，以及 P2 追加的 ch05-008），单卡修订 7 张（ch02-003、ch03-002、ch04-003、ch07-004、ch09-003、ch10-004、ch10-005）。

S3独立审查后的S4轮：审查发现系统性问题——54/56张卡片的 **内容** 字段超过 card-template.md 规定的 200 字硬上限（最严重 504 字），已全部逐张精简至 ≤200 字，删减内容中的版本号、多重限定移入”结论依据”字段或直接精简；同时补齐3张P1新增卡（ch01-006中断标志、ch01-007拒绝策略、ch05-009 CountDownLatch）+ 1张P2新增卡（ch05-010可重入），当前共 60 张卡片，全部通过 ≤200 字、三项证据字段齐全、无重复标题、无wikilink断链的机械复核。详见 _card_review.md 问题清单与对应卡片文件。

实践卡进度

序号	实践标题	实践方式	状态(pending/done)	关联章节	产出
1	CHM桶锁在JDK17是否成立	实现深读	done	第7章	真实核对 JDK 17 源码，确认桶级CAS/synchronized加锁与树化阈值仍成立，并发现 Segment 类已降级为仅供序列化兼容的空壳类
2	if判断wait条件真的会出错吗	最小实验	done	第2章	真实运行对比程序，if版本3消费者中2个（67%）取到过期null，while版本全程无脏数据，验证竞争唤醒风险
3	公共池线程饥饿的真实代价	最小实验	done	第10章	真实测量公共池占满后快任务延迟2004ms（接近满阻塞时长），隔离到独立线程池后延迟降为0ms

实践卡产出的运行结果已回填进对应 idea 文件的”验证与复盘”字段；未采用更高成本的完整实现或行为实验，因为本书核心是原理机制，最小实验/实现深读已能直接验证书中定性结论并给出量化证据。