Java并发编程的艺术学习笔记（三） Java内存模型（五）

3.5 锁的内存语义 3.5.1 锁的释放——获取建立的happens-before关系 每一个箭头链接的两个节点，代表了一个happens-before关系。黑色箭头表示 程序顺序规则；橙色箭头表示监视器锁规则；蓝色箭头表示组合这些规则后提供的happensbefore保证。 3.5.2 锁的释放和获取的内存语义 对比锁释放-获取的内存语义与volatile写-读的内存语义可以看出：锁释放与vo

>>阅读原文<<