原子性问题

本文解析了原子性的概念,探讨了Java中除了基本类型和引用类型外,long和double为何不是原子操作,以及如何通过volatile解决。还提到了原子操作组合并非总是原子,以及HashMap全同步版本的安全性。


什么是原子性?

        一系列的操作,要么全部执行成功,要么全部不执行,不会出现执行一半的情况,是不可分割的。

Java中的原子操作有哪些?

        除了long和double之外的基本类型(int byte char boolean short float)

        所有引用类型的赋值操作

        java.concurrent.Atomic.*包中所有类的原子操作

那么为什么long和double不是原子性的呢?

从官方文档我们可以一探究竟,首先Long和Double都是64位的值,所以我们在写入过程中,我们是先写前32位,再写后32位,这就使得long和double的写入和读取都不是原子的,是两步操作。所以我们对long和double使用volatile关键字修饰,就可以使得long和double具备原子性。

        在32位的JVM上,long和double的操作不是原子的,但是64位的jvm上是原子的。

实际开发过程中,商用的虚拟机不会出现这样的问题。

原子操作 + 原子操作 != 原子操作

简单的把原子操作组合在一起,并不能保证整体依然具有原子性。

全同步的HashMap也不完全安全

**原子性问题**是多线程编程中的一个核心概念,指的是:**一个操作或多个操作要么全部执行且不能被中断,要么都不执行**。如果操作在执行过程中可以被其他线程打断,就会出现**原子性问题**,可能导致数据不一致。 --- ### ✅ 举个例子说明原子性问题 假设有一个共享变量 `count = 0`,两个线程同时执行以下操作: ```java count++; ``` 你可能认为这只是“一步操作”,但实际上它包含了三个步骤: 1. **读取** `count` 的值(从内存到寄存器) 2. **增加** 1 3. **写回** 内存 #### ❌ 问题出现场景: | 时间 | 线程A | 线程B | |------|------|------| | t1 | 读取 count = 0 | | | t2 | | 读取 count = 0(A还没写回) | | t3 | 增加1,写回 → count=1 | | | t4 | | 增加1,写回 → count=1 | 最终结果是 `count = 1`,而不是预期的 `2`! 👉 这就是**原子性问题**:`count++` 不是一个原子操作,被多个线程并发执行时导致结果错误。 --- ### 🔐 如何解决原子性问题? #### 方法 1:使用 `synchronized` 关键字(加锁) ```java public class Counter { private int count = 0; public synchronized void increment() { count++; // 锁保证了整个方法是原子的 } } ``` ✅ 缺点:性能较低,容易成为瓶颈。 --- #### 方法 2:使用原子类(推荐)——来自 `java.util.concurrent.atomic` Java 提供了如 `AtomicInteger`、`AtomicLong` 等类,底层使用 **CAS(Compare and Swap)** 操作实现无锁原子性。 ```java import java.util.concurrent.atomic.AtomicInteger; public class AtomicCounter { private AtomicInteger count = new AtomicInteger(0); public void increment() { count.incrementAndGet(); // 原子操作 } public int getCount() { return count.get(); } } ``` ✅ 优点:高性能、线程安全、无需显式加锁。 --- ### 🧠 原子性涉及的操作类型 | 操作类型 | 是否天然原子? | 说明 | |--------|---------------|------| | `int` 类型读写 | ✅ 是 | 32位以内基本类型读写是原子的 | | `long` `double` 读写 | ⚠️ 否(在32位JVM上可能非原子) | 需用 `volatile` 或同步 | | 引用类型赋值 | ✅ 是 | 对象引用的读写是原子的 | | `i++` / `++i` | ❌ 否 | 包含读、改、写三步 | | 复合操作(如 check-then-act) | ❌ 否 | 如 `if (list.isEmpty()) list.add(x);` 可能出错 | --- ### 🔄 原子性与其他并发问题的关系 | 概念 | 含义 | 是否与原子性相关 | |------|------|------------------| | **原子性** | 操作不可分割 | 核心本身 | | **可见性** | 一个线程修改后,其他线程能看到最新值 | 不同问题(用 `volatile` 解决) | | **有序性** | 指令重排序可能导致逻辑错误 | 独立但常一起考虑 | > 👉 原子性 ≠ 可见性 ≠ 有序性,三者共同构成线程安全的基础。 --- ✅ 总结: > **原子性问题**是指在多线程环境下,一个本应“不可分割”的操作被中断或交错执行,导致程序状态不一致。常见于自增、条件判断+操作等场景。 > 解决方案包括:使用 `synchronized` 加锁 或 使用 `java.util.concurrent.atomic` 包下的原子类。 ---
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值