Java 并发编程：AQS 的互斥锁与共享锁

我们知道现代机器处理器几乎都是多核多线程的，引入多核多线程机制是为了尽可能提升机器整体处理性能。但是多核多线程也会带来很多并发问题，其中很重要的一个问题是数据竞争，数据竞争即多个线程同时访问共享数据而导致了数据冲突（不正确）。数据竞争如果没处理好则意味着整个业务逻辑可能出错，所以在高并发环境中我们要特别注意这点。

 

image.png

小伙伴们有兴趣想了解内容和更多相关学习资料的请点赞收藏+评论转发+关注我，后面会有很多干货。我有一些面试题、架构、设计类资料可以说是程序员面试必备！
所有资料都整理到网盘了，需要的话欢迎下载！私信我回复【111】即可免费获取

数据竞争产生的条件

存在数据竞争的场景必须满足以下几个条件：

• 多个线程对某个共享数据进行访问。

• 这些线程同时地进行访问。

• 访问即是读或写数据操作。

• 至少有一个线程是执行写数据操作。

数据竞争例子

为更好理解数据竞争问题，下面我们举一个数据竞争的例子。下面两张图，上面的是不存在数据竞争时正确的结果。刚开始内存中 i=0，线程一读取后将 i 加 5。修改完后线程二才读取内存中的 i 并将其加 6，最终 i=11。而下面的情况则不同，线程二在线程一还没修改完就读取内存中 i，此时导致最终的结果为 i=6。

 

正确结果

 

数据竞争导致错误

同步与锁

既然多个线程并发执行经常会涉及数据竞争问题，那么我们该如何解决这个问题呢？答案就是引入同步机制，通过同步机制来控制共享数据的访问，就能够解决数据竞争问题。实现同步机制可以通过锁来实现，所以 AQS 框架也抽象出了锁的获取操作和释放操作。而且还提供了包括独占锁和共享锁两种模式，这样对于上层的各种同步器的实现就方便很多了。

 

同步锁

独占锁

独占锁是指该锁一次只能由一个线程持有，其它线程则无法获得，除非已持有锁的线程释放了该锁。一个线程只有在成功获取锁后才能继续往下执行，当离开竞争区域时则释放锁，释放的锁供其他即将进入数据竞争区域的线程获取。

 

独占锁

获取独占锁和释放独占锁分别对应 acquire 方法和 release 方法。获取独占锁的主要逻辑为：先尝试获取锁，成功则往下执行，否则把线程放到等待队列中并可能将线程挂起。释放独占锁的主要逻辑为：唤醒等待队列中一个或多个线程去尝试获取锁。在 AQS 中可以用以下伪代码表示独占锁的获取与释放

获取独占锁的伪代码

if(尝试获取锁失败){    创建Node    使用CAS把Node添加到队列尾部    while(true){        if(尝试获取锁 && Node的前驱节点为头节点){           把当前节点设置为头           跳出循环        }else{           使用CAS方式修改Node前驱节点的waitStatus 为Singal           if(修改成功){              挂起当前线程           }        }    }}

复制代码

释放独占锁的伪代码

if(尝试释放锁成功){  唤醒后续节点包含的线程}

复制代码

共享锁

获取共享锁和释放共享锁分别对应 acquireShared 方法和 releaseShared 方法。获取共享锁的主要逻辑为：先尝试获取锁，成功则往下执行，否则把线程放到等待队列中并可能将线程挂起。释放共享锁的主要逻辑为：唤醒等待队列中一个或多个线程去尝试获取锁。在 AQS 中可以用以下伪代码表示共享锁的获取与释放。