在
Java
中设置变量值的操作,除了
long
和
double
类型的变量外都是原子操作,也就是说,对于变量值的简单读写操作没有必要进行同步。这在
JVM 1.2
之前,
Java
的内存模型实现总是从主存读取变量,是不需要进行特别的注意的。而随着
JVM
的成熟和优化,现在在多线程环境下
volatile
关键字的使用变得非常重要。在当前的
Java
内存模型下,线程可以把变量保存在本地内存(比如机器的寄存器)中,而不是直接在主存中进行读写。这就可能造成一个线程在主存中修改了一个变量的值,而另外一个线程还继续使用它在寄存器中的变量值的拷贝,造成数据的不一致。要解决这个问题,只需要像在本程序中的这样,
把该变量声明为
volatile
(不稳定的)即可,这就指示
JVM
,这个变量是不稳定的,每次使用它都到主存中进行读取。
一般说来,多任务环境下各任务间共享的标志都应该加
volatile
修饰。
Java
语言规范中指出:为了获得最佳速度,允许线程保存共享成员变量的私有拷贝,而且只有当线程进入或者离开同步代码块时,才能与共享变量的原始值对比。
volatile
是一个变量修饰符,而
synchronized
是一个方法或块的修饰符。所以我们使用这两种关键字来指定三种简单的存取变量的方式。
int i1; int geti1{return i1;}
volatile int i2; int geti2{return i2;}
int i3; synchronized int geti3{return i3};
geti1()
在当前线程中立即获取在
i1
变量中的值。
线程可以获得变量的本地拷贝,而所获得的变量的值并不一定与其他线程所获得的值相同。
特别是,如果其他的线程修改了
i1
的值,那么当前线程获得的
i1
的值可能与修改后的值有所差别。实际上,
Java
有一种主内存的机制,使用一个主内存来保存变量当前的正确的值。线程将变量的值拷贝到自己独立的内存中,而这些线程的内存拷贝可能与主内存中的值不同。所以实际当中可能发生这样的情况,在主内存中
i1
的值为
1
,线程
1
和线程
2
都更改了
i1
,但是却没把更新的值传回给主内存或其他线程中,那么可能在线程
1
中
i1
的值为
2
,线程
2
中
i1
的值却为
3
。
另一方面,
geti2()
可以有效的从主内存中获取
i2
的值。
一个
volatile
类型的变量不允许线程从主内存中将变量的值拷贝到自己的存储空间。
因此,一个声明为
volatile
类型的变量将在所有的线程中同步的获得数据,不论你在任何线程中更改了变量,其他的线程将立即得到同样的结果。由于线程存取或更改自己的数据拷贝有更高的效率,所以
volatile
类型变量在性能上有所消耗。
那么如果
volatile
变量已经可以使数据在线程间同步,那么
synchronizes
用来干什么呢?两者有两方面的不同。首先,
synchronized
获取和释放由监听器控制的锁,如果两个线程都使用一个监听器
(
即相同对象锁
)
,那么监听器可以强制在一个时刻只有一个线程能处理代码块,这是最一般的同步。另外,
synchronized
还能使内存同步。在实际当中,
synchronized
使得所有的线程内存与主内存相同步。所以
geti3()
的执行过程如下:
1.
线程从监听器获取对象的锁。
(
这里假设监听器非锁,否则线程只有等到监听器解锁才能获取对象锁
)
2.
线程内存更新所有的变量,
也就是说他将读取主内存中的变量使自己的变量保证有效
。
(JVM
会使用一个“脏”标志来最优化过程,使得仅仅具有“脏”标志变量被更新。详细的情况查询
JAVA
规范的
17.9)
3.
代码块被执行
(
在这个例子中,设置返回值为刚刚从主内存重置的
i3
当前的值。
)
4.
任何变量的变更将被写回到主内存中
。但是这个例子中
geti3()
没有什么变化。
5.
线程释放对象的锁给监听器。
所以
volatile
只能在线程内存和主内存之间同步一个变量的值,而
synchronized
则同步在线程内存和主内存之间的所有变量的值,并且通过锁住和释放监听器来实现。显然,
synchronized
在性能上将比
volatile
更加有所消耗
。