前言
- 参考:
- 《Java并发机制的底层实现原理》
建议
- 再从一些八股文手册等上面去总结一些常用到的东西。
知识(更细的东西)
- volatile定义:
- Java编程语言允许线程访问共享变量,为了确保共享变量能被准确和一致地更新,线程应该确保通过排他锁单独获得这个变量。
- Java提供了volatile,在某些情况下比锁要更加方便。 如果一个字段被声明成volatile,Java线程内存模型确保所有线程看到这个变量的值是一致的。
- volatile的使用优化:
- JDK中有一种机制,也可以追加字节,为了解决伪共享的问题。具体机制,略。
总结(这才是最重要的)
volatile特性:
保证了可见性。
- 可见性:当一个线程修改一个共享变量时,另外一个线程能读到这个修改的值。
- 具体实现(主要是两点):
- (每次操作都会)将当前处理器缓存行的数据写回到系统内存。
- 这个写回内存的操作会使在其他CPU里缓存了该内存地址的数据无效。
- 补充:
- 保证可见性的两点都是缓存一致性MESI协议的内容(前置知识要学好)。
禁止指令重排序(保证了有序性)。
- 我们所写的代码并不一定是按照我们书写的顺序来执行的,编译器和CPU都会做重排序,这样做是为了减少流水线阻塞,提高CPU的执行效率。
- volatile禁止指令重排序的规则:
- volatile声明的变量的读写操作,一定是按照书写顺序执行的。
- 在进行指令优化(指令重排序)时,volatile变量前面的语句不能放在其后面执行,后面的也不能放在前面。——内存屏障
volatile与synchronized对比
- Java语言包含两种内在的同步机制:同步块(或方法)和volatile变量,相比于synchronized,volatile更轻量,引文它不会引起线程上下文的切换和调度。
补充
- volatile和Java内存模型也有关。