volatile的内存语义

        当声明共享变量为volatile后,对这个变量的读写将会很特别.为了揭开volatile的面纱,下面介绍一下

1.理解volatile特性的好办法就是把对volatile变量的单个读写,注意是单个读写,看成是使用同一个锁对这些单个读/写操作做了同步.

代码:

class VoExa{

volatile long v1 =0L;//使用声明volatile64位的long型变量

public void set(long l){//单个变量的写
v1 =l;
}
public void getAl(){//多个 变量的写
v1++;
}
public long get(){//读
return v1;
}
}

当然也可以用 atomaicLong 类型,这样也很好.

通过这段代码,知道volatile自身变量有一下特性:
1.可见性.对一个volatile变量的读,总是能看到(任意线程)对这个volatile变量最后的写入

2.原子性:对任意单个变量的读/写具有原子性,但类似于volatile++(不是原子操作)这种复合操作不具有原子性.

 

volatile变量的写和读可以实现线程之间的通信从JDK5以后)

从内存语义的角度来说,volatile的写/读与锁的释放-获取有相同的内存效果:volatile写和锁的释放有相同的内存语义;

volatile读与锁的获取有相同的语义

volatile的读的内存语义如下:

当读一个volatile变量时,JMM会把该会线程对应的本地内存置为无效.线程接下来从住主内存中读取共享变量.

例:
线程A写一个volatile变量,实质上是线程A向接下来将要读这个volatile变量的某个线程发出了(其对共享变量所做修改的)消息.

线程B读一个volatile变量,实质上是线程B读这个volatile变量,这个过程实质上是线程A通过主内存向线程B发送消息.