Java并发编程之如何保证原子性(一)

首先说什么是并发?

并发是一种能并行运行多个程序或并行运行一个程序中多个部分的能力。
如果程序中一个耗时的任务能以异步或并行的方式运行,那么整个程序的吞吐量和可交互性将大大改善。
现代的PC都有多个CPU或一个CPU中有多个核。是否能合理运用多核的能力将成为一个大规模应用程序的关键。
进程与线程
进程是以独立于其他进程的方式运行的,进程间是互相隔离的。一个进程无法直接访问另一个进程的数据。
进程的资源诸如内存和CPU时间片都是由操作系统来分配。

线程又被称为轻量级进程。每个线程有它独自的调用栈, 但是在同一进程下的线程又能互相访问它们间的共享数据。
每个线程都有它独自的缓存。如果一个线程读取了某些共享数据,那么它将这些数据存放在自己的缓存中以供将来再次读取。

一个JAVA应用程序默认以一个进程的形式运行着。在一个JAVA程序中,你将协同多个不同的线程一起完成并行运算或实现异步行为。
并发编程需要解决的三特性和三问题

三种性质

可见性:一个线程对共享变量的修改,另一个线程能立刻看到。缓存可导致可见性问题。
原子性:一个或多个CPU执行操作不被中断。线程切换可导致原子性问题。
有序性:编译器优化可能导致指令顺序发生改变。编译器优化可能导致有序性问题。

三个问题
安全性问题:线程安全
活跃性问题:死锁、活锁、饥饿
性能问题:
使用无锁结构:TLS,Copy-On-Write,乐观锁;Java的原子类,Disruptor无锁队列
减少锁的持有时间:让锁细粒度。如ConcurrentHashmap;再如读写锁,读无锁写有锁

Java内存模型

volatile

C语言中的原意:禁用CPU缓存,从内存中读出和写入。
Java语言的引申义:
Java会将变量立刻写入内存,其他线程读取时直接从内存读(普通变量改变后,什么时候写入内存是不一定的)
禁止指令重排序
解决问题:
保证可见性
保证有序性
不能保证原子性
Happens-Before规则(H-B)
程序顺序性规则:前面执行的语句对后面语句可见
volatile变量规则:volatile变量的写操作对后续的读操作可见
传递性规则:A H-B B,B H-B C,那么A H-B C
管程中锁的规则:对一个锁的解锁 H-B于 后续对这个锁的加锁

保持原子性之互斥锁sychronized

锁对象:非静态this,静态Class,括号Object参数
预防死锁:
互斥:不能破坏
占有且等待:同时申请所有资源
不可抢占:sychronized解决不了,Lock可以解决
循环等待:给资源设置id字段,每次都是按顺序申请锁
等待通知机制:
wait、notify、notifyAll
可以使代码块保持原子性操作(保证代码块同时只能一个线程进行操作)
package com.xxx.cas;
 
public class PlusPlusOP {
	public static int var = 0;
	
	/*
	* 由于var++不是原子操作,所以需要synchronized同步代码块保持原子性
	*/
	public synchronized static void plusAndPlus(){
		var++;
	}
	
	public static void main(String[] args) {
		Thread threads[] = new Thread[20];
		for(int i=0;i<20;i++){
			threads[i] = new Thread(new Runnable() {
				
				@Override
				public void run() {
					for(int i=0;i<10000;i++){	
						plusAndPlus();
					}
				}
			});
			threads[i].start();
		}
		
		while(Thread.activeCount()>1){
			Thread.yield();
		}
		System.out.println("var=>"+var);
	}
}
<think>好的,我现在需要帮用户解答关于Java并发编程中如何保证原子性的问题。用户已经提供了几个引用资料,我得先仔细看看这些资料,然后整理出主要的点。 首先,引用[2]提到原子性是指操作不可分割,不可中断,多线程操作临界资源时结果致。这说明原子性问题的核心在于操作被中断导致数据不致。比如i++这种非原子操作,分三步:读取、修改、写入,多线程下容易出问题。 然后,引用[4]和引用[5]都提到了synchronized关键字和Atomic原子类。synchronized通过锁机制确保代码块同时间只有个线程执行,比如同步方法或同步块。而Atomic类如AtomicInteger使用CAS(Compare-And-Swap)操作,这些操作是硬件级别的原子指令,比如incrementAndGet()方法。 另外,引用[3]提到AQS框架中的CAS操作,需要硬件级别的原子性,通过JNI调用本地方法实现。这说明CAS的实现依赖于底层硬件支持,比如CPU的原子指令。 引用[1]展示了AtomicInteger的使用例子,通过原子类来保证count的自增是线程安全的。而引用[4]中的代码示例使用了synchronized修饰的静态方法,保证var++的原子性。 现在需要将这些方法归纳出来。主要方法应该包括:使用synchronized锁机制、使用Atomic原子类、使用Lock接口的实现类如ReentrantLock,以及volatile关键字的局限性(不能保证原子性,只能保证可见性和有序性)。 需要注意的是,volatile虽然能保证可见性,但像i++这样的复合操作还是需要同步机制。而Atomic类通过CAS避免了锁的开销,适合高并发场景。此外,Lock接口提供了更灵活的锁操作,比如tryLock,超时等待等,但需要手动释放锁。 可能还需要提到CAS的ABA问题,但用户的问题中没有提到,可能暂时不需要展开。不过作为相关知识,可以简单提下AtomicStampedReference解决ABA问题。 总结回答的结构应该是: 1. 原子性问题的定义和常见问题(如i++)。 2. 解决方法: a. synchronized关键字(锁机制)。 b. Atomic原子类(CAS机制)。 c. Lock接口。 3. 对比不同方法的优缺点和使用场景。 4. 注意事项,比如volatile的局限性。 需要确保引用正确的资料,比如AtomicInteger的例子来自引用[1]和[5],synchronized的例子来自引用[4],CAS的底层实现参考引用[3]。 最后生成相关问题,考虑用户可能想了解更深入的内容,比如性能对比、CAS的ABA问题,或者具体实现细节。</think>### Java并发编程保证原子性的方法与机制 #### 原子性问题的本质 原子性指**个或多个操作不可分割、不可中断**的特性。多线程操作共享变量时,若操作无法保证原子性,可能导致数据不致。例如,$i++$ 实际上包含三个步骤:读取值、修改值、写入值,若线程A在修改后未写入时被中断,线程B可能读取旧值,导致最终结果错误[^2]。 --- #### 二、保证原子性的核心方法 ##### 1. 互斥锁机制(synchronized) 通过锁机制限制**同时间只有个线程访问临界资源**,典型实现包括: - **synchronized关键字**:修饰代码块或方法,基于对象监视器(Monitor)实现。 ```java public class Counter { private int count = 0; public synchronized void increment() { // 同步方法 count++; } public void incrementWithBlock() { synchronized(this) { // 同步代码块 count++; } } } ``` **原理**:JVM通过字节码指令 `monitorenter` 和 `monitorexit` 实现锁的获取与释放[^4]。 ##### 2. 原子类(Atomic Classes) 基于 **CAS(Compare-And-Swap)** 机制实现无锁线程安全,位于 `java.util.concurrent.atomic` 包。例如: ```java AtomicInteger atomicCount = new AtomicInteger(0); atomicCount.incrementAndGet(); // 原子自增 ``` **CAS原理**: 1. 读取当前值 $V$。 2. 计算目标值 $V' = V + 1$。 3. 若内存中的值仍为 $V$,则更新为 $V'$;否则重试。 底层通过 **JNI调用CPU原子指令**(如x86的 `CMPXCHG`)实现[^3][^5]。 ##### 3. Lock接口(显式锁) 提供更灵活的锁控制,例如 `ReentrantLock`: ```java Lock lock = new ReentrantLock(); public void increment() { lock.lock(); try { count++; } finally { lock.unlock(); } } ``` **优势**:支持超时锁、可中断锁、公平锁等特性。 --- #### 三、方法对比与适用场景 | 方法 | 实现原理 | 性能 | 适用场景 | |------------------|-------------|-----------|----------------------------| | synchronized | JVM内置锁 | 中等 | 简单同步逻辑 | | Atomic原子类 | CAS无锁机制 | 高 | 高并发读多写少场景 | | Lock接口 | AQS队列同步 | 中等 | 需要复杂锁控制的场景(如超时) | --- #### 四、注意事项 1. **volatile的局限性**: volatile仅保证可见性和有序性,无法保证复合操作(如$i++$)的原子性[^4]。 2. **CAS的ABA问题**: 若变量值从 $A$ 变 $B$ 再变回 $A$,CAS可能误判未修改。可通过 `AtomicStampedReference` 添加版本号解决。 ---
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

会飞的小蜗

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值