超级会员免费看
本文详细探讨了Java内存模型，包括其目标、主内存与工作内存的交互，以及read、load、use、assign、store、write等操作。接着介绍了重排序及其在多线程中的影响。然后讲解了先行发生原则，明确了哪些操作间的顺序是天然保障的。最后，文章阐述了Java内存模型中的原子性、可见性、有序性，并特别讨论了volatile关键字的特殊规则，包括其确保可见性和防止指令重排序的作用。
一、Java内存模型
Java内存模型的主要目标是定义程序中各个变量的访问规则，即在虚拟机中将变量存储到内存和从内存中取出变量这样的底层细节。此处的变量是指：实例字段、静态字段和数组对象，但是不包括局部变量和方法参数，因为后者是线程私有的，不会被共享，自然不存在竞争的问题。
Java内存模型规定了所有的变量都存储在主内存中，每条线程还有自己的工作内存。线程的工作内存中保存了被该线程使用到的变量的主内存副本拷贝，线程对变量的所有操作都必须在工作内存中进行，而不能直接读写主内存中的变量。不同的线程之间也无法直接访问对方工作内存中的变量，线程间变量值的传递均需要通过主内存来完成，线程、主内存、工作内存三者关系如下：
主内存和工作内存之间的交互
主内存与工作内存之间具体的交互协议，即一个变量如何从主内存拷贝到工作内存、如何从工作内存同步回主内存之类的实现细节，Java内存模型定义了以下八种操作来完成。
- lock（锁定）：作用于主内存的变量，它把一个变量标识为一条线程的独占的状态。
- unlock（解锁）ÿ
订阅专栏 解锁全文
扫一扫
482
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
