[size=small]Volatile变量只能保证可见性,在不符合以下两条规则的运算场景中,仍然需要通过加锁(使用synchronized或java.util.concurrent中的原子类)来保证原子性。
1)运算结果并不依赖变量的当前值,或者能够确保只有单一的线程修改变量的值。
2)变量不需要与其他的状态变量共同参与不变约束。
Java内存模型中关于主内存与工作内存之间的交互协议可以从下图中窥探一二
[img]http://dl2.iteye.com/upload/attachment/0095/2286/3463f10a-1799-3784-a48f-b53d8974c931.jpg[/img]
下面的例子说明了volatile并不能保证变量在多线程中是一致的。[/size]
[size=small]多次运行程序,发现value的值总是小于或等于Thread_Number的,不会像我们期望的那样,总是等于Thread_Number.[/size]
1)运算结果并不依赖变量的当前值,或者能够确保只有单一的线程修改变量的值。
2)变量不需要与其他的状态变量共同参与不变约束。
Java内存模型中关于主内存与工作内存之间的交互协议可以从下图中窥探一二
[img]http://dl2.iteye.com/upload/attachment/0095/2286/3463f10a-1799-3784-a48f-b53d8974c931.jpg[/img]
下面的例子说明了volatile并不能保证变量在多线程中是一致的。[/size]
package com.practise.concurrency.volatilevar;
/**
* This is a case to indicate that volatile decoration doesn't help solve the concurrent writing issue.
* @author DarrenZhu
*
*/
public class VolatileTest {
private static volatile int value;
public static int increase() {
return value++;
}
private static int Thread_Number = 10000;
public static void main(String[] args) {
for (int i = 0; i < Thread_Number; i++) {
new Thread(new Runnable() {
public void run() {
try {
Thread.sleep(5);
} catch (InterruptedException e) {
e.printStackTrace();
}
increase();
}
}).start();
}
while (Thread.activeCount() > 1) {
Thread.yield();
}
System.out.println("value is " + value);//value <= Thread_Number
}
}
[size=small]多次运行程序,发现value的值总是小于或等于Thread_Number的,不会像我们期望的那样,总是等于Thread_Number.[/size]