java 内存模型与线程 正文

        在前传中讲述了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]