gitbook/Java性能调优实战/docs/101651.md

167 lines
11 KiB
Markdown
Raw Permalink Normal View History

2022-09-03 22:05:03 +08:00
# 13 | 多线程之锁优化深入了解Lock同步锁的优化方法
你好,我是刘超。
今天这讲我们继续来聊聊锁优化。上一讲我重点介绍了在JVM层实现的Synchronized同步锁的优化方法除此之外在JDK1.5之后Java还提供了Lock同步锁。那么它有什么优势呢
相对于需要JVM隐式获取和释放锁的Synchronized同步锁Lock同步锁以下简称Lock锁需要的是显示获取和释放锁这就为获取和释放锁提供了更多的灵活性。Lock锁的基本操作是通过乐观锁来实现的但由于Lock锁也会在阻塞时被挂起因此它依然属于悲观锁。我们可以通过一张图来简单对比下两个同步锁了解下各自的特点
![](https://static001.geekbang.org/resource/image/8e/3d/8ec55dc637830f728e505c673fefde3d.jpg)
从性能方面上来说在并发量不高、竞争不激烈的情况下Synchronized同步锁由于具有分级锁的优势性能上与Lock锁差不多但在高负载、高并发的情况下Synchronized同步锁由于竞争激烈会升级到重量级锁性能则没有Lock锁稳定。
我们可以通过一组简单的性能测试,直观地对比下两种锁的性能,结果见下方,代码可以在[Github](https://github.com/nickliuchao/syncLockTest)上下载查看。
![](https://static001.geekbang.org/resource/image/5c/b4/5c71e1402407e8970f51f9253fb716b4.jpg)
通过以上数据我们可以发现Lock锁的性能相对来说更加稳定。那它与上一讲的Synchronized同步锁相比实现原理又是怎样的呢
## Lock锁的实现原理
Lock锁是基于Java实现的锁Lock是一个接口类常用的实现类有ReentrantLock、ReentrantReadWriteLockRRW它们都是依赖AbstractQueuedSynchronizerAQS类实现的。
AQS类结构中包含一个基于链表实现的等待队列CLH队列用于存储所有阻塞的线程AQS中还有一个state变量该变量对ReentrantLock来说表示加锁状态。
该队列的操作均通过CAS操作实现我们可以通过一张图来看下整个获取锁的流程。
![](https://static001.geekbang.org/resource/image/22/33/222196b8c410ff4ffca7131faa19d833.jpg)
## 锁分离优化Lock同步锁
虽然Lock锁的性能稳定但也并不是所有的场景下都默认使用ReentrantLock独占锁来实现线程同步。
我们知道,对于同一份数据进行读写,如果一个线程在读数据,而另一个线程在写数据,那么读到的数据和最终的数据就会不一致;如果一个线程在写数据,而另一个线程也在写数据,那么线程前后看到的数据也会不一致。这个时候我们可以在读写方法中加入互斥锁,来保证任何时候只能有一个线程进行读或写操作。
在大部分业务场景中,读业务操作要远远大于写业务操作。而在多线程编程中,读操作并不会修改共享资源的数据,如果多个线程仅仅是读取共享资源,那么这种情况下其实没有必要对资源进行加锁。如果使用互斥锁,反倒会影响业务的并发性能,那么在这种场景下,有没有什么办法可以优化下锁的实现方式呢?
### 1.读写锁ReentrantReadWriteLock
针对这种读多写少的场景Java提供了另外一个实现Lock接口的读写锁RRW。我们已知ReentrantLock是一个独占锁同一时间只允许一个线程访问而RRW允许多个读线程同时访问但不允许写线程和读线程、写线程和写线程同时访问。读写锁内部维护了两个锁一个是用于读操作的ReadLock一个是用于写操作的WriteLock。
那读写锁又是如何实现锁分离来保证共享资源的原子性呢?
RRW也是基于AQS实现的它的自定义同步器继承AQS需要在同步状态state上维护多个读线程和一个写线程的状态该状态的设计成为实现读写锁的关键。RRW很好地使用了高低位来实现一个整型控制两种状态的功能读写锁将变量切分成了两个部分高16位表示读低16位表示写。
**一个线程尝试获取写锁时,**会先判断同步状态state是否为0。如果state等于0说明暂时没有其它线程获取锁如果state不等于0则说明有其它线程获取了锁。
此时再判断同步状态state的低16位w是否为0如果w为0则说明其它线程获取了读锁此时进入CLH队列进行阻塞等待如果w不为0则说明其它线程获取了写锁此时要判断获取了写锁的是不是当前线程若不是就进入CLH队列进行阻塞等待若是就应该判断当前线程获取写锁是否超过了最大次数若超过抛异常反之更新同步状态。
![](https://static001.geekbang.org/resource/image/1b/d1/1bba37b281d83cdf0c51095f473001d1.jpg)
**一个线程尝试获取读锁时,**同样会先判断同步状态state是否为0。如果state等于0说明暂时没有其它线程获取锁此时判断是否需要阻塞如果需要阻塞则进入CLH队列进行阻塞等待如果不需要阻塞则CAS更新同步状态为读状态。
如果state不等于0会判断同步状态低16位如果存在写锁则获取读锁失败进入CLH阻塞队列反之判断当前线程是否应该被阻塞如果不应该阻塞则尝试CAS同步状态获取成功更新同步锁为读状态。
![](https://static001.geekbang.org/resource/image/52/46/52e77acc6999efbdf4113daaa5918d46.jpeg)
下面我们通过一个求平方的例子来感受下RRW的实现代码如下
```
public class TestRTTLock {
private double x, y;
private ReentrantReadWriteLock lock = new ReentrantReadWriteLock();
// 读锁
private Lock readLock = lock.readLock();
// 写锁
private Lock writeLock = lock.writeLock();
public double read() {
//获取读锁
readLock.lock();
try {
return Math.sqrt(x * x + y * y);
} finally {
//释放读锁
readLock.unlock();
}
}
public void move(double deltaX, double deltaY) {
//获取写锁
writeLock.lock();
try {
x += deltaX;
y += deltaY;
} finally {
//释放写锁
writeLock.unlock();
}
}
}
```
### 2.读写锁再优化之StampedLock
RRW被很好地应用在了读大于写的并发场景中然而RRW在性能上还有可提升的空间。在读取很多、写入很少的情况下RRW会使写入线程遭遇饥饿Starvation问题也就是说写入线程会因迟迟无法竞争到锁而一直处于等待状态。
在JDK1.8中Java提供了StampedLock类解决了这个问题。StampedLock不是基于AQS实现的但实现的原理和AQS是一样的都是基于队列和锁状态实现的。与RRW不一样的是StampedLock控制锁有三种模式: 写、悲观读以及乐观读并且StampedLock在获取锁时会返回一个票据stamp获取的stamp除了在释放锁时需要校验在乐观读模式下stamp还会作为读取共享资源后的二次校验后面我会讲解stamp的工作原理。
我们先通过一个官方的例子来了解下StampedLock是如何使用的代码如下
```
public class Point {
private double x, y;
private final StampedLock s1 = new StampedLock();
void move(double deltaX, double deltaY) {
//获取写锁
long stamp = s1.writeLock();
try {
x += deltaX;
y += deltaY;
} finally {
//释放写锁
s1.unlockWrite(stamp);
}
}
double distanceFormOrigin() {
//乐观读操作
long stamp = s1.tryOptimisticRead();
//拷贝变量
double currentX = x, currentY = y;
//判断读期间是否有写操作
if (!s1.validate(stamp)) {
//升级为悲观读
stamp = s1.readLock();
try {
currentX = x;
currentY = y;
} finally {
s1.unlockRead(stamp);
}
}
return Math.sqrt(currentX * currentX + currentY * currentY);
}
}
```
我们可以发现一个写线程获取写锁的过程中首先是通过WriteLock获取一个票据stampWriteLock是一个独占锁同时只有一个线程可以获取该锁当一个线程获取该锁后其它请求的线程必须等待当没有线程持有读锁或者写锁的时候才可以获取到该锁。请求该锁成功后会返回一个stamp票据变量用来表示该锁的版本当释放该锁的时候需要unlockWrite并传递参数stamp。
接下来就是一个读线程获取锁的过程。首先线程会通过乐观锁tryOptimisticRead操作获取票据stamp 如果当前没有线程持有写锁则返回一个非0的stamp版本信息。线程获取该stamp后将会拷贝一份共享资源到方法栈在这之前具体的操作都是基于方法栈的拷贝数据。
之后方法还需要调用validate验证之前调用tryOptimisticRead返回的stamp在当前是否有其它线程持有了写锁如果是那么validate会返回0升级为悲观锁否则就可以使用该stamp版本的锁对数据进行操作。
相比于RRWStampedLock获取读锁只是使用与或操作进行检验不涉及CAS操作即使第一次乐观锁获取失败也会马上升级至悲观锁这样就可以避免一直进行CAS操作带来的CPU占用性能的问题因此StampedLock的效率更高。
## 总结
不管使用Synchronized同步锁还是Lock同步锁只要存在锁竞争就会产生线程阻塞从而导致线程之间的频繁切换最终增加性能消耗。因此如何降低锁竞争就成为了优化锁的关键。
在Synchronized同步锁中我们了解了可以通过减小锁粒度、减少锁占用时间来降低锁的竞争。在这一讲中我们知道可以利用Lock锁的灵活性通过锁分离的方式来降低锁竞争。
Lock锁实现了读写锁分离来优化读大于写的场景从普通的RRW实现到读锁和写锁到StampedLock实现了乐观读锁、悲观读锁和写锁都是为了降低锁的竞争促使系统的并发性能达到最佳。
## 思考题
StampedLock同RRW一样都适用于读大于写操作的场景StampedLock青出于蓝结果却不好说毕竟RRW还在被广泛应用就说明它还有StampedLock无法替代的优势。你知道StampedLock没有被广泛应用的原因吗或者说它还存在哪些缺陷导致没有被广泛应用。
期待在留言区看到你的见解。也欢迎你点击“请朋友读”,把今天的内容分享给身边的朋友,邀请他一起学习。
![unpreview](https://static001.geekbang.org/resource/image/bb/67/bbe343640d6b708832c4133ec53ed967.jpg)