AQS随笔录
简介:
AQS(AbstractQueueSynchronizer),抽象的队列式同步器。Java除了提供了synchronized外的另一个同步机制,在java.util.concurrent.locks包。
实现aqs的锁:
自旋锁,互斥锁、读写锁、条件产量、信号量、栅栏
如何找到这个类:
Lock lock = new ReentrantLock();
lock.lock()
在可重入锁中我们的lock方法怎么执行 sync.lock();
我们选择公平锁或非公平锁后进入了aqs这个类
我们简述一下非公平锁的实现吧:
前提:线程1先拿锁,然后是线程2,然后是线程3
- 线程1进入这个加锁的方法首先判断我们这个锁有没有被占用。
- 如果没被占用我们就开始判断我们等待队列(稍后说)是否为空,如果为空就说明没有人在等待就会获取锁。
- 执行方法,然后如果执行完就通知其他线程,假设我们线程1执行的时候线程2试图获取锁。
- 执行步骤1发现锁被占用了,然后判断这个等待队列是否为空?现在为空,则初始化这个等待队列。
- 这个队列的数据结构是这样的:有一个头指针,有一个尾指针,数据节点是Thread,有一个int类型等待状态wait。
- 初始化这个队列,头尾节点数据节点为空,然后把自己插入这个节点上。
- 然后不会立刻阻塞,而是先再次尝试获取锁,如果获取失败,就会修改前一个指针的wait值为-1,让前一个的状态标识自己要阻塞了。
- 为什么设置前一个状态为-1而不是设置自己为-1,因为有可能在设置-1的时候,线程没有向下执行,导致出错。在解锁的时候就会判断这个条件(粗浅理解)
- 设置前一个节点wait状态为-1后就阻塞了
LockSupport.park(this);
- 如果线程一执行完成,
LockSupport.unpark(s.thread);
唤醒我们这个队列中第一个正在等待的线程。 - 其实这一步还有一个中断响应,我们线程2判断是否自己被中断和中断唤醒,如果是把中断位归位(粗浅理解)。
- 然后线程2尝试获得锁,执行步骤2,然后发现等待队列不为空,然后判断自己是不是第一个节点,如果是可以获取锁。
- 然后线程2把自己的数据节点置为null,然后把自己的前驱(头节点忘记),源码说是为了GC。