标签:中断 ext try 类别 rac tail 往里面 用途 细节
---
title: 并发编程-“公平锁”的获取锁机制 细节说明
date: 2018-07-05 09:06:57
categories:
- 并发编程
---
<Excerpt in index | 首页摘要>
<!-- more -->
- 本章对本文的公平锁指的是互斥锁的公平锁进行基本介绍,内容包括:
- 基本概念
- ReentrantLock数据结构
- 参考代码
- 获取公平锁(基于JDK1.7.0_40)
> 一. tryAcquire() <br>
> 二. addWaiter() <br>
> 三. acquireQueued() <br>
> 四. selfInterrupt() <br>
<The rest of contents | 余下全文>
AQS是java中管理“锁”的抽象类,锁的许多公共方法都是在这个类中实现。AQS是独占锁(例如,ReentrantLock)和共享锁(例如,Semaphore)的公共父类。
(01) 独占锁 -- 锁在一个时间点只能被一个线程锁占有。根据锁的获取机制,它又划分为“公平锁”和“非公平锁”。公平锁,是按照通过CLH等待线程按照先来先得的规则,公平的获取锁;而非公平锁,则当线程要获取锁时,它会无视CLH等待队列而直接获取锁。独占锁的典型实例子是ReentrantLock,此外,ReentrantReadWriteLock.WriteLock也是独占锁。
(02) 共享锁 -- 能被多个线程同时拥有,能被共享的锁。JUC包中的ReentrantReadWriteLock.ReadLock,CyclicBarrier, CountDownLatch和Semaphore都是共享锁。这些锁的用途和原理,在以后的章节再详细介绍。
CLH队列是AQS中“等待锁”的线程队列。在多线程中,为了保护竞争资源不被多个线程同时操作而起来错误,我们常常需要通过锁来保护这些资源。在独占锁中,竞争资源在一个时间点只能被一个线程锁访问;而其它线程则需要等待。CLH就是管理这些“等待锁”的线程的队列。
CLH是一个非阻塞的 FIFO 队列。也就是说往里面插入或移除一个节点的时候,在并发条件下不会阻塞,而是通过自旋锁和 CAS 保证节点插入和移除的原子性。
CAS函数,是比较并交换函数,它是原子操作函数;即,通过CAS操作的数据都是以原子方式进行的。例如,compareAndSetHead(), compareAndSetTail(), compareAndSetNext()等函数。它们共同的特点是,这些函数所执行的动作是以原子的方式进行的。
lock()在ReentrantLock.java的FairSync类中实现,它的源码如下:
final void lock() { acquire(1); }
- acquire()在AQS中实现的,它的源码如下:
public final void acquire(int arg) { if (!tryAcquire(arg) && acquireQueued(addWaiter(Node.EXCLUSIVE), arg)) selfInterrupt(); }
标签:中断 ext try 类别 rac tail 往里面 用途 细节
原文地址:https://www.cnblogs.com/Mao-admin/p/9988404.html