【并发编程系列】1.并发安全问题的源头

本文探讨并发编程中的三大问题:由CPU缓存导致的可见性问题,线程切换引发的原子性问题,以及编译优化造成的有序性问题。通过实例分析了多核CPU时代的共享变量可见性、线程切换对原子性的影响以及编译器指令重排带来的有序性挑战。解决方案包括使用volatile、synchronized和final关键字,以及遵循Happens-Before原则。
摘要由CSDN通过智能技术生成

【并发编程系列】是整理自极客时间上王宝令老师的专栏:《Java并发编程实战》。
如有侵权,请告知。

0.定义

可见性: 一个线程对共享变量的修改,另一个线程能够立刻看到。
原子性: 一个或多个操作在CPU执行过程中不被中断,称为原子性。
有序性: 程序按照代码的先后顺序执行。

  • 导致可见性问题的原因是CPU缓存;
  • 导致有序性问题的原因是编译优化。
  • 线程切换可能带来原子性问题
    解决问题的直接方法就是禁用缓存和优化。Java内存模型JVM如何按需禁用缓存和编译优化的方法。
    具体来说这些方法包括 volatile、synchronized 和final三个关键字,以及六项Happens-Before

1.缓存导致的可见性问题

如果是单核CPU,所有的线程都在一个CPU上运行,那么CPU缓存和内存的一致性很容易解决。多个线程操作的都是CPU中的同一个值

在这里插入图片描述
现在是多核CPU时代,每个CPU都有自己的缓存。当多个线程在不同CPU上执行时,这些线程操作的是不同的CPU缓存。这时候A线程对共享变量的操作,对B线程就不具备可见性了。
在这里插入图片描述

2.线程切换带来的原子性问题

操作系统允许某个进程执行一小段时间。例如

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值