volatile 关键字的一些记录
public class VolatileTest {
private volatile static int INIT_VALUE = 0;
private final static int MAX_VALUE = 10;
public static void main(String[] args) {
new Thread(()-> {
int localValue = INIT_VALUE;
while (localValue < MAX_VALUE){
if(localValue != INIT_VALUE){
// 如果不添加volatile,并且方法块里没有写入操作,那么数据只会放在cache里面,不会从内存里取
System.out.println("消费者:"+localValue);
localValue = INIT_VALUE;
}
}
}).start();
new Thread(()-> {
int localValue = INIT_VALUE;
while (localValue < MAX_VALUE){
System.out.println("生产者:"+localValue++);
INIT_VALUE = localValue;
// try {
// Thread.sleep(50);
// } catch (InterruptedException e) {
// e.printStackTrace();
// }
}
}).start();
}
}
/**
* 并发编程的三种重要概念
*
* 原子性
* 对基本数据类型的变量读取和赋值时保证原子性,要么都成功,要么都失败,不能被中断的
* a=10; // 满足原子性
* b=a; // 不满足,其他还有 ++ 操作 等都不满足
* 可见性
* volatile 关键字保证可见性,但是volatile 不能保证原子性,被volatile修饰的数据被修改,那么数据不是从缓存拿的数据而是从主存中拿的
* 有序性
* 重排序(只要满足最终一致性)
* happens-before relationship(happens-before 规则)
* 代码的执行顺序,编写在前面的发生在编写在后面的
* unlock必须发生在lock之后
* volatile 修饰的变量,对一个变量的写操作先于对该变量的读操作
* 传递规则(赋值传递)
* 线程启动规则,start肯定先于run
* 线程中断规则,interrupt 这个动作,必须发生在捕获之前
* 对象销毁规则,初始化,必须发生在 finalize 之前
* 线程的终结,所有操作都发生线程死亡之前
*
*/
/**
* volatile 关键字
* 1,保证了不同线程见的可见性
* 2,禁止对其进行重排序,也就是保证了有序性
* 3,并未保证原子性
*
* 在上面的方法代码,把休眠时间删掉,然后会发现,两个线程对同一个加了volatile的数据进行相加的时候
* 打印的时候,出现了重复数据
* 原因:
* 1,read from main memory INIT_VALUE -> 10
* 2,INIT_VALUE = 10 + 1
* 3,INIT_VALUE = 11
* 以上步骤很有可能就会在第二步还未写入内存,导致第三步会覆盖,要实现,则要加sync关键字
* 所以:
* 1,保证重排序的时候不会把后面的指令放到屏障的前面,也不会放在后面
* 2,强制对缓存的修改操作立刻写入主存
* 3,如果是写操作,他会导致其他CPU中的缓存失效
*
*/
/**
* volatile 关键字
* 1,标记量
* volatile boolean start = false;
* 在多线程中,可以改变其他线程中的状态。如果不添加volatile 的话,其他线程读不到状态
* 2,屏障前后一致性
* 像 double_check 的使用。
*
*/