volatile无法保证原子性验证

回顾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方法里,两步操作打破了原子性
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值