并发编程中的CAS思想

共享变量操作的原子性

分析如下代码片段:

java 复制代码
// 获取共享变量时,为了保证该变量的可见性,需要使用 volatile 修饰。
static volatile int count = 0;

public static void add(){
    count++;
}

public static void main(String[] args) throws InterruptedException {

    // t1线程对count加5000次
    Thread t1 = new Thread(() -> {
        for (int i = 0; i < 5000; i++) {
            add();
        }
    });
    // t2线程对count加5000次
    Thread t2 = new Thread(() -> {
        for (int i = 0; i < 5000; i++) {
            add();
        }
    });

    t1.start();
    t2.start();
    // 确保t1、t2都完成
    t1.join();
    t2.join();

    System.out.println(count);  // 正常情况下应该为10000
}

出现线程安全的原因:count++ 包含了三个独立的操作:读取count的值,将值加1,然后将计算结果写入count。这是一个 "读取-修改-写入" 的操作序列

如果计数器的初始值为9,那么在某些情况下,每个线程读到的值都为9,接着执行递增操作,并且都将计数器的值设为10。显然,这并不是我们希望看到的情况,如果有一次递增操作丢失了,计数器的值就将偏差1

本质上线程可能会基于一种 可能失效的观察结果 来做出判断或者执行某个计算

解决思路:要递增一个计数器,你必须知道它之前的值,在将更新结果写回之前,确保其它线程没有修改过这个值

解决方式一:在某个线程修改该变量时,防止其他线程使用这个变量,从而确保其他线程只能在修改操作完成之前或之后读取和修改状态,而不是在修改状态的过程中 (利用synchronized锁

解决方式二:线程在计数器原始值基础上做修改操作,在要把修改后的值写回计数器前,判断此时计数器的值还是不是原始值了(利用CAS思想

​ 若不是,则说明在当前线程执行更新的过程中已经有其它线程修改了计数器,所以当前线程修改的结果值不能再写回。只能终止,再尝试下一轮的修改操作,直到成功

​ 若是,则说明在当前线程执行更新的过程中没有其他线程修改过计数器(此处会产生ABA问题),所以当前线程可以将修改的值写回计数器,修改成功

CAS(比较和交换)本身不就是"先判断,后执行"的操作?如何保证CAS的原子性呢?------底层利用的是 cmpxchg 指令,该指令从底层硬件上确保了 "比较" 和 "交换" 这两个操作的原子性

方式一实现:为 add 方加上 synchronized 锁,缺点:性能较低,当一个线程获取锁后,其它线程只能无条件的阻塞,会伴随着线程的阻塞与唤醒:上下文切换(核心态 --> 用户态)的开销

方式二实现:使用原子类 AtomicInteger 变量,配合它的 getAndAdd 方法(CAS)来实现并发状态下的正确递增操作, 即使操作失败,也没有放弃CPU执行权,不会阻塞。 缺点:可能会出现 ABA 问题

乐观锁与悲观锁

悲观锁:总是认为不加锁,就一定会产生线程安全问题(不加锁,一定会出现问题),这样的话就会伴随线程的阻塞与唤醒:上下文切换(核心态 --> 用户态)的开销

乐观锁:CAS是一种无锁 的同步机制(失败了无所谓,大不了重试),可以在不使用锁的情况下实现数据的同步和并发控制,优点:不会导致上下文切换,即使操作失败,也不是直接放弃CPU,而是继续重试

JUC包下的并发原子类

仿照 AtomicInteger 类,实现并发条件下共享变量递增的线程安全:

java 复制代码
public class AtomicIntegerTest {

	static AtomicInteger count = new AtomicInteger(0);

	public static void increment() {
		while (true) {
			// 旧值
			int except = count.get();
			// 要更新的值
			int update = except + 1;
			// CAS
			if (count.compareAndSet(except, update))
				break;
		}
	}

	public static void main(String[] args) throws InterruptedException {

		Thread t1 = new Thread(() -> {
			for (int i = 0; i < 5000; i++) {
				increment();
			}
		}, "t1");

		Thread t2 = new Thread(() -> {
			for (int i = 0; i < 5000; i++) {
				increment();
			}
		}, "t2");

		t1.start();
		t2.start();
		// 确保t1、t2都执行完,看到的是最终count的值
		t1.join();
		t2.join();

		System.out.println(count.get());

	}

}

注:这些并发原子类底层实际上使用的是 sun.misc.Unsafe 类里面的 compareAndSwapXxx() 方法包装提供

相关推荐
飞滕人生TYF6 分钟前
java Queue 详解
java·队列
chnming19878 分钟前
STL关联式容器之map
开发语言·c++
进击的六角龙9 分钟前
深入浅出:使用Python调用API实现智能天气预报
开发语言·python
檀越剑指大厂10 分钟前
【Python系列】浅析 Python 中的字典更新与应用场景
开发语言·python
湫ccc17 分钟前
Python简介以及解释器安装(保姆级教学)
开发语言·python
程序伍六七21 分钟前
day16
开发语言·c++
wkj00126 分钟前
php操作redis
开发语言·redis·php
武子康28 分钟前
大数据-230 离线数仓 - ODS层的构建 Hive处理 UDF 与 SerDe 处理 与 当前总结
java·大数据·数据仓库·hive·hadoop·sql·hdfs
武子康30 分钟前
大数据-231 离线数仓 - DWS 层、ADS 层的创建 Hive 执行脚本
java·大数据·数据仓库·hive·hadoop·mysql
极客代码31 分钟前
【Python TensorFlow】进阶指南(续篇三)
开发语言·人工智能·python·深度学习·tensorflow