java同步器__学习笔记
参照:http://ifeve.com/introduce-abstractqueuedsynchronizer/
前言:
在java.util.concurrent.locks包中有很多Lock的实现类,常用的有ReentrantLock、ReadWriteLock(实现类ReentrantReadWriteLock),内部实现都依赖AbstractQueuedSynchronizer类
public abstract class AbstractQueuedSynchronizer extends AbstractOwnableSynchronizer implements java.io.Serializable { //等待队列的头节点 private transient volatile Node head; //等待队列的尾节点 private transient volatile Node tail; //同步状态 private volatile int state; protected final int getState() { return state;} protected final void setState(int newState) { state = newState;} ... }
队列同步器AQS通过内置的FIFO队列来完成资源获取线程的排队工作。
volatile修饰,保证多线程之间的可见。
FIFO队列 先进先出
Head 节点本身不保存等待线程的信息,它通过 next 变量指向第一个保存线程等待信息的节点(Node1)。当线程被唤醒之后,会删除 Head 节点,而唤醒线程所在的节点会设置为 Head 节点(Node1 被唤醒之后,Node1会被置为 Head 节点)。
static final class Node { static final Node SHARED = new Node(); static final Node EXCLUSIVE = null;//独占模式 static final int CANCELLED = 1;//等待超时或中断,此节点不会竞争锁,也不会被阻塞。此节点会被移出队列,被GC回收。 static final int SIGNAL = -1;//表示当前节点的后继节点包含的线程需要运行,也就是unpark; static final int CONDITION = -2;//表示当前节点在等待condition,也就是在condition队列中; static final int PROPAGATE = -3;//在共享模式下,可以认为资源有多个,因此当前线程被唤醒之后,可能还有剩余的资源可以唤醒其他线程。该状态用来表明后续节点会传播唤醒的操作。需要注意的是只有头节点才可以设置为该状态 volatile int waitStatus;//代表对应线程状态 0 表示当前节点在sync队列中,等待着获取锁。 volatile Node prev; volatile Node next; volatile Thread thread;//入队列时的当前线程。 Node nextWaiter;//指向下一个在某个条件上等待的节点,或者指向 SHARE 节点,表明当前处于共享模式 ... }
等待队列时FIFIO先进先出,只有前面一个节点的状态为SIGNAL时,当前节点才会被挂起。
参考:https://www.cnblogs.com/zhangjk1993/archive/2017/04/15/6715653.html
独占锁获取流程:
独占锁释放:
共享锁释放流程:
共享锁获取流程: