05. 非阻塞同步——CAS操作

最新推荐文章于 2022-04-30 17:33:19 发布

TheManba

最新推荐文章于 2022-04-30 17:33:19 发布

阅读量673

点赞数 1

文章标签： java 并发编程多线程

本文链接：https://blog.csdn.net/weixin_45594025/article/details/107959983

版权

文章目录

1. 悲观锁和乐观锁
- - 1.1 悲观锁（Pessimistic Lock）
  - 1.2 乐观锁（Optimistic Lock）
2. CAS 操作
3. AtomicInteger

1. 悲观锁和乐观锁

1.1 悲观锁（Pessimistic Lock）

顾名思义，就是采取很悲观的策略，总是假设最坏的情况。每次取数据时都认为其它线程会修改这个数据，所以无论共享数据是否真的会出现竞争，它都要进行加锁。这样的话，当其它线程想要访问数据时都需要阻塞挂起。JVM 实现的 synchronized 的思想就是悲观锁。

1.2 乐观锁（Optimistic Lock）

乐观锁就是采取乐观的策略，总是认为不会产生并发问题。每次取数据的时候总认为不会有其它线程修改共享数据，因此不会上锁。而是在更新数据时再判断其它线程是否修改过数据。CAS 操作就是乐观锁的思想。

2. CAS 操作

2.1 CAS 的由来

synchronized 是一种悲观锁，即总是先加锁来应对可能出现的竞争共享资源的问题。使用 synchronized 加锁存在以下问题：

在多线程环境下，加锁、释放锁会导致较多的上下文切换和调度延时，引起性能问题；
一个线程持有锁后，会导致其它所有需要该锁的线程挂起，其它线程需要等待持有锁的线程释放锁，进入阻塞状态。

另一种更有效的锁就是乐观锁，即假设不会出现冲突所以不加锁，如果因为冲突失败就重试，直到成功为止。乐观锁用到的锁机制就是 CAS 操作。

2.2 CAS 原理（Compare and Swap，比较和交换）

在 CAS 方法中，有三个操作数：

内存值 V：即要操作的变量的值；
期望值 E：即执行比较时期望的变量的值；
新值 New：即把变量要改成的新值。

伪代码如下：

CAS(V, E, New){
	if(V == E)
		V = New;
	otherwise
		try again or fail;
}

工作过程为：

当要修改一个共享变量的时候，先比较当前的变量值 V 是否等于我的期望值 E，如果相等（说明在比较的这个过程中，没有其它线程修改这个变量），就把变量值设为要改成的新值 New；如果不相等（说明在比较的这个过程中，有其它线程改了这个变量），则改变期望值 E 重新进行比较或者直接失败退出。

我们举个例子看一下：

假设有一个共享变量 a = 0，要执行 a++ 操作，我们来看看 CAS 是如何在多线程环境下保证线程安全的？

线程 A 先对变量 a 进行 a++ 时，V = 0，期望值 E = 0，新值 New = 1。比较发现 V = E，那就把新值 New 赋给 V，此时 a = 1；（这时正常工作时情况）
随后，线程 B 也要执行 a++，V = 1，期望值 E = 1，新值 New = 2。在比较的过程中，线程 C 成功执行了 a++ 并且将 a 的值改为 2，此时线程 B 在比较时拿到的 V = 2，V 不等于期望值 E，所以重新进行比较。将三个操作数更新为 V = 2，E = 2，New = 3，这时候比较发现 V = E，将新值赋给 V，修改成功 a = 3。

2.3 CAS 的优点

并发量不是很大的时候 CAS 的系统开销小、效率高：

CAS 是非阻塞的，可以避免死锁，线程间的影响很小；

非阻塞算法：一个线程的失败或者挂起不应该影响其它线程的失败或者挂起。CAS 采用的乐观的并发策略在实现过程中不会引起线程阻塞，所以这种同步操作称为非阻塞同步。synchronized 互斥同步最主要的问题就是线程阻塞带来的性能问题，所以互斥同步也叫阻塞同步。
CAS 是无锁操作，也就没有锁竞争带来的系统开销，没有线程间频繁调度的开销。