菜鸟笔记
提升您的技术认知

volatile无法保证原子性验证-ag真人游戏

回顾java 内存模型中的可见性、原子性和有序性:

可见性,是指线程之间的可见性,一个线程修改的状态对另一个线程是可见的

原子性,指的是这个操作是原子不可拆分的,不允许别的线程中间插队操作

有序性指的是你写的代码的顺序要和最终执行的指令保持一致。因为在java内存模型中,允许编译器和处理器对指令进行重排序,重排序过程不会影响到单线程程序的执行,却会影响到多线程并发执行的正确性。

volatile要解决的就是可见性和有序性问题。

public class volatiletest extends thread {
  
private static boolean flag = true;
public void run() {
  
while (flag) ;
system.out.println("finish");
}
public static void main(string[] args) throws exception {
  
new volatiletest().start();
thread.sleep(2000);
flag = false;
}
}

上述代码如果没加上volatile,会进死循环,具体原因是因为内部编译器优化了,单循环了很多次(验证是10000次左右)之后还是同样的结果,会直接进行优化。

验证无原子性:

public class test  {
  
	private static volatile int i=0;
	public int get(){
  
		return i;
	}
	public void inc(){
  
		int j=get();
		try {
  
			thread.sleep(100);
		} catch (interruptedexception e) {
  
			e.printstacktrace();
		}
		i=j 1;
	}
	public static void main(string[] args) throws interruptedexception {
  
		test test = new test();
		for (int i1 = 0; i1 < 10; i1  ) {
  
			new thread(()->test.inc()).start();
			
		}
		thread.sleep(3000);
		system.out.println(test.i);
	}
}
//值为非10 原因是inc方法里,两步操作打破了原子性
网站地图