多线程--06--多线程安全问题解决--01--总述--03--java如何保证原子性、有序性、可见性

原创已于 2022-03-28 21:16:59 修改 · 573 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#多线程

于 2021-05-07 00:22:33 首次发布

多线程专栏收录该内容

19 篇文章

订阅专栏

一、JAVA如何保证原子性

JMM只保证了基本读取和赋值是原子性操作（而且必须是将数字赋值给某个变量），变量之间的相互赋值不是原子操作
如果要实现更大范围操作的原子性，需要通过synchronized或Lock接口（AQS队列）来实现。由于synchronized和Lock能够保证任一时刻只有一个线程执行该代码块，那么自然就不存在原子性问题了，从而保证了原子性。

//举例：JMM只保证基本赋值的原子性

x = 10;         //原子操作
y = x;         //非原子操作
x++;           //非原子操作
x = x + 1;     //非原子操作

二、JAVA如何保证可见性

（1）Java提供了volatile关键字来保证可见性。

（2）另外，通过synchronized也能够保证可见性，synchronized能保证同一时刻只有一个线程获取锁然后执行同步代码，并且在释放锁之前会将对变量的修改刷新到主存当中，因此可以保证可见性。

三、JAVA如何保证有序性

（1）Java提供了volatile关键字来保证一定的“有序性”。

（2）另外，通过synchronized也能够保证可见性，synchronized能保证同一时刻只有一个线程获取锁然后执行同步代码，相当于是让线程顺序执行同步代码，自然就保证了有序性。

（3）另外，Java内存模型具备一些先天的“有序性”，即不需要通过任何手段就能够得到保证的有序性，这个通常也称为 happens-before 原则。如果两个操作的执行次序无法从happens-before原则推导出来，那么它们就不能保证它们的有序性，虚拟机可以随意地对它们进行重排序，需要开发者显示地通过volatile、synchronized等线程机制来禁止重排序。