在前传中讲述了jvm中内存的划分, 是从线程的维度, 而不是从堆 , 栈,方法区的角度.两者直接属于不同维度.前传中讲述了java内存的基本概念.这一章主要说一说内存间交互以及java中一些关键字, 一些规则的实现
1.在内存间的交互操作
关于主内存与工作内存之间的具体的交互协议.有如下8中操作:[/size]
(1) lock: 作用与主内存的变量,一条线程独有.[/size]
(2) unlock: 变量被释放.[/size]
(3) read: 一个变量从主内存传输到线程工作内存.[/size]
(4) load: 跟readu对应,作用与工作内存[/size]
(5) use: 当虚拟机遇到一个给变量赋值的字节码指令时执行这个操作.[/size]
(6) store: 将工作内存中的一个变量的值传到主内存中[/size]
(7) write: 接上一步,作用在主内存中的.[/size]
(8) assign: 赋值操作.[/size]
2. volatile 关键字:[/size]
volatile 不太容易被正确理解, 所以许多程序员不太习惯去用他, 用 synchronized 来取代.[/size]
如下是两种特性:[/size]
(1) 保证此变量对所有线程的可见性, 这里的可见性是指当一条线程修改了这个变量的值, 新值对于其他线程是立即可知的.而普通变量不是这样的, A修改了一个值, 需要向主内存回写, 另外一个线程B 需要在A写完之后从主内存读取,新的变量才会被B可见.[/size]
volatile变量在各个线程中的工作内存中不存在一致性问题, 但是并不是原子性的, 需要通过 一些操作来保证他的原子性.[/size]
可以使用volatile来控制并发.[/size]
volatile boolean shutdownRequested;
public void shutdown(){
shutdownRequested = true;
}
public void doWork(){
while(!shutdownRequest)
// do sth
}
(2) 禁止指令重排序优化[/size]
比较复杂, 不说了[/size]
实现规则:[/size]
(1) 要求 volatile 修饰的变量严格按照 load, read和use 的顺序.即在用之前保证刷新[/size]
(2) 严格按照 assign, store write 的顺序操作, 即保证修改之后立即写回主内存[/size]
(3) 动作顺序有关, 不说了[/size]
3. 原子性, 可见性,有序性的实现[/size]
(1) 原子性 : 保证原子性操作的有6个操作: read, load,assign, use,store, write . 更大的操作通过 开放lock, unlock 操作直接开放给用户, 通过 synchronized 使用.[/size]
(2) 可见性: 上面的 volatile 已经可以说明这一点实现过程,补充一点, java中还有两个关键字能实现: synchronized , final.[/size]
(3) 有序性: null[/size]