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

641

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

数据竞争产生的条件

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

  • 多个线程对某个共享数据进行访问。
  • 这些线程同时地进行访问。
  • 访问即是读或写数据操作。
  • 至少有一个线程是执行写数据操作。

数据竞争例子

为更好理解数据竞争问题,下面我们举一个数据竞争的例子。下面两张图,上面的是不存在数据竞争时正确的结果。刚开始内存中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中可以用以下伪代码表示共享锁的获取与释放。

公众号:码农架构

Java 并发编程