ReentrantLock实现原理(2)-公平锁

在线程间通信方式2一节中,我们了解了ReentrantLock非公平锁的获取流程,在本节中我们来看下ReentrantLock公平锁的创建以及锁管理流程

创建ReentrantLock公平锁

创建公平锁代码如下:

ReentrantLock reentrantLock = new ReentrantLock(true);

公平锁ReentrantLock.lock流程分析

使用上文创建的ReentrantLock公平锁,执行lock,流程如下所示:

ReentrantLock实现原理(2)-公平锁
FairReentrantLock.lock1

从图中可以看出,相对非公平锁而言,公平锁代码中主要有以下区别:

  1. 1. 在lock函数实现上,非公平锁会直接先通过CAS操作锁状态标记,操作失败才会将请求提交给AQS,而公平锁会直接将请求提交给AQS

    ReentrantLock实现原理(2)-公平锁
    1-4-13-1
  2. 2. 在tryAcquire函数流程中(非公平锁调用父类的nonfairTryAcquire),非公平锁是在锁状态标记为0时,直接通过CAS修改锁标记为1,公平锁是在锁状态标记为0且等待队列为空时,才通过CAS操作锁状态标记

    ReentrantLock实现原理(2)-公平锁
    1-4-13-2

    同时这里也可以看出不管是公平锁实现还是非公平锁实现,当前线程是持有锁线程时,都是直接获取锁的,充分体现了ReentrantLock的可重入性的特点

通过这两处变动,就保证了在公平锁实现中,新来的线程必然是先排队,随后按照队列顺序获取锁的,接下里的线程排入等待队列的流程,两种锁的实现是完全重用的,这里不再赘述,需要了解可以再详细看非公平锁部分的内容。

结合lock的时序图,我们可以得到获取公平锁的流程如下图所示:

ReentrantLock实现原理(2)-公平锁
FairReentrantLock_lock_process.drawio

公平锁ReentrantLock.unlock流程分析

查看代码,两种锁的unlock流程完全一致,这里不再赘述,需要了解可以在详细看下非公平锁部分的内容。

原文始发于微信公众号(小海编码日记):ReentrantLock实现原理(2)-公平锁

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。

文章由极客之音整理,本文链接:https://www.bmabk.com/index.php/post/67743.html

(0)
小半的头像小半

相关推荐

发表回复

登录后才能评论
极客之音——专业性很强的中文编程技术网站,欢迎收藏到浏览器,订阅我们!