跟我一起AQS SOS AQS

ReentrantLock简单介绍

先拿ReentrantLock来说说把
里面有AQS抽象队列的实现类NonfairSync和FairSync 分别实现的是非公平和公平锁
抽象队列是一个双向队列 里面有node节点 每个node节点存放当前线程 还有pre和next 和 waitStatus状态值

ReentrantLock实现原理

简单一句话 自旋(for) cas park
抽象队列不存在锁竞争时是不会初始化的不会有额外的内存消耗
存在锁竞争时会初始化一个空的node节点 thread=null 然后再初始化自己线程的node节点 把pre指向头节点
这里维持着一个标准
队列头部thread永远是空
持有锁的线程永远不在队列 即不参与排队机制

入队时会把上一个node节点的waitStatus改为-1 表示让上一个节点睡眠, (为什么上一个节点自己不把自己睡眠 因为自己不知道自己睡着了哈哈解释的牵强一些但是符合实际生活)
抢锁成功会把当队列头node节点丢弃 自己成为头节点 并把自己node节点的thread置空

如果是第一个排队的人(在队列第二位)就尝试cas抢锁加锁
如果不是第一个排队的人 轮不到抢锁

以下补充
加锁过程
1.用一个变量state作为锁的标志位，默认是0，表示此时所有线程都可以加锁，加锁的时候通过cas将state从0变为1，cas执行成功表示加锁成功
2.当有线程占有了锁，这时候有其他线程来加锁，判断当前来抢锁的线程是不是占用锁的线程？是：重入锁，state+1，当释放的时候state-1，用state表示加锁的次数 否：加锁失败，将线程放入等待队列，并且阻塞
3.有没有什么其他可以优化的地方？当放入等待队列的时候，看看有没有其他线程？有，锁被占用了，并且轮不到当前线程来抢，直接阻塞就行了 在放入队列时候，通过cas再尝试获取一波锁，如果获取成功，就不用阻塞了，提高了效率
解锁过程
1.通过cas对state-1，如果是重入锁，释放一次减一次，当state=0时表示锁被释放。2.唤醒等待队列中的线程
入队过程
当把线程放入队列中时，后续应该做哪些操作呢？
如果让你写是不是直接放入队列中就完事了？但Doug Lea是这样做的
1.如果当前线程是队列中的第二个节点则再尝试抢一下锁（不是第二个节点就不用抢来，轮不到），这样避免了频繁的阻塞和唤醒线程，提高了效率
2.上闹钟，让上一个线程来唤醒自己（后续会说到，即更改上一个节点的waitStatus）
3. parkAndCheckInterrupt() 这个方法调用LockSupport.park(this);会阻塞当前竞争锁的线程, 直到有线程unlock出队然后unpark下一个阻塞的线程,此时方法才调用return Thread.interrupted(); 为什么调用(重置线程打断标志)方法呢 用此来判断阻塞的线程是否被其他线程被打断, 如果被打断返回true 跳出方法 后继续执行acquire() 内的selfInterrupt(); 将唤醒的竞争锁的线程还原线程打断状态
4. lock.lock() 无法接受线程被打断的讯息
lock.lockInterruptibly() 可接受线程在等待抢锁时被打断的讯息

阻塞
出队
当A线程释放锁，唤醒队列中的B线程，A线程会从队列中删除
那出队这个事情由谁来做？是由被唤醒的线程来做，即B线程

链接文章
https://mp.weixin.qq.com/s/uUAUGQ_WGHJzhJAyBmcWYg