javavolatile关键字作⽤及使⽤场景详解
1. volatile关键字的作⽤：保证了变量的可见性（visibility）。被volatile关键字修饰的变量，如果值发⽣了变更，其他线程⽴马可见，避免出现脏读的现象。如以下代码⽚段，isShutDown被置为true后，doWork⽅法仍有执⾏。如⽤volatile修饰isShutDown变量，可避免此问题。
public class VolatileTest3 {
static class Work {
boolean isShutDown = fal;
神气的成语
void shutdown() {
isShutDown = true;
天池寺System.out.println("shutdown!");
}
void doWork() {
while (!isShutDown) {
System.out.println("doWork");
}
}
}
public static void main(String[] args) {
Work work = new Work();
new Thread(work::doWork).start();
new Thread(work::doWork).start();
new Thread(work::doWork).start();
new Thread(work::shutdown).start();
new Thread(work::doWork).start();
国际足联联合会杯new Thread(work::doWork).start();
new Thread(work::doWork).start();
}
}
出现脏读时，运⾏结果如下：
2. 为什么会出现脏读？
Java内存模型规定所有的变量都是存在主存当中，每个线程都有⾃⼰的⼯作内存。线程对变量的所有操作都必须在⼯作内存中进⾏，⽽不能直接对主存进⾏操作。并且每个线程不能访问其他线程的⼯作内存。变量的值何时从线程的⼯作内存写回主存，⽆法确定。
3. happens-before规则的理解与勘误
在⽹上查volatile关键字相关信息时，多篇博客提到了happens-before原则，个⼈对此原则的理解是：当操作该volatile变量时，所有前序对该变量的操作都已完成（如不存在已变更，但未写回主存的情况），所有后续对该变量的操作，都未开始。仅此⽽已。
这⾥，我认为⽹上很常见的⼀个理论对此理解有误，如下图。此观点认为，由于volatile变量flag的happens-before原则，所以A线程2处对其的写操作⼀定先于B线程3处对其的读操作。其实这种观点是有逻辑缺陷的，如果存在⼀个C线程，先读取flag的值，后写⼊flag的值，那C线程的执⾏时机是什么呢？如果还有其他D、E线程呢。。。对于这段代码的正确理解是，只要3处拿到的flag是true，那么a的值⼀定是1，⽽不是0.因为volition修饰的变量，处理器不会对其进⾏重排序，所以1处对a的赋值，⼀定发⽣在2处对flag的赋值之前。如果flag不是volatile变量，那么1处和2处代码的执⾏顺序是⽆法保证的（处理器的指令重排序），虽然⼤部分情况1会先于2执⾏。happens-before原则约束的并不是多
线程对同⼀变量的读和写操作之间的顺序，⽽是保证读操作时，前序所有对该变量的写操作已⽣效（写回主存）。
验证如下：
public class VolatileTest {
static class A {
int a = 0;
唐诗宋词取名volatile boolean flag = fal;
void writer() {
a = 1; //1
flag = true; //2
System.out.println("write");
}
void reader() {
if (flag) { //3
int i = a; //4
System.out.println("read true");
System.out.println("i is :" + i);
} el {
菖蒲的功效与作用
int i = a;
System.out.println("read fal");
System.out.println("i is :" + i);
}
}
}
public static void main(String[] args) {
A aaa = new A();
市树new Thread(() -> ader()).start();
new Thread(() -> aaa.writer()).start();
}
}
运⾏结果如下，在写操作执⾏之前，读操作已完成
4. volatile关键字使⽤场景
注意：volatile只能保证变量的可见性，不能保证对volatile变量操作的原⼦性，见如下代码：public class VolatileTest2 {
static class A {
volatile int a = 0;
void increa() {
a++;
}
雪地里的小画家教学反思
int getA(){
return a;
}
}
public static void main(String[] args) {
A a = new A();
new Thread(() -> {
for (int i = 0;i < 1000;i++) {
a.increa();
}
System.out.A());
}).start();
new Thread(() -> {
for (int i = 0;i < 2000;i++) {
a.increa();
}
System.out.A());
}).start();
new Thread(() -> {
for (int i = 0;i < 3000;i++) {
a.increa();
}
System.out.A());
}).start();
new Thread(() -> {
for (int i = 0;i < 4000;i++) {
a.increa();
}
System.out.A());
}).start();
new Thread(() -> {
廉政论文for (int i = 0;i < 5000;i++) {
a.increa();
}
System.out.A());
}).start();
}
}
运⾏结果如下，volatile⽆法保证a++操作的原⼦性。
以上就是本次介绍知识点的全部内容，感谢⼤家对的⽀持。
