Introduction:可重入锁,靠state参数来记录重入次数,靠waitStatus参数来监控线程状态,靠双向链表维护等待锁的线程队列,靠waitStatus来判断是否存在需要唤醒的park状态的线程
四、Realization
以非公平锁为例:
lock()
reentrantLock对象调用lock(),实际是调用自己sync属性对象的lock(),sync实际是NonfairSync对象,最终调用NonfairSync类里的lock()。
若直接修改成功,前提条件自然是锁的状态为0,则直接将线程的Owner修改为当前线程,这是一种理想情况,否则调用acquire(1)。
1、首先获取这个锁的状态,如果状态为0,则尝试设置状态为传入的参数(这里就是1)
若设置成功就代表自己获取到了锁,返回true了。状态为0设置1的动作在外部就有做过一次,内部再一次做只是提升概率,而且这样的操作相对锁来讲不占开销。 如果状态不是0,则判定当前线程是否为排它锁的Owner,如果是Owner则尝试将状态增加acquires(也就是增加1)
2、如果这个状态值越界,则会抛出异常提示,若没有越界,将状态设置进去后返回true。
3、如果状态不是0,且自身不是owner,则返回false。
创建了一个Node的对象,将当前线程和传入的Node.EXCLUSIVE传入,Node节点理论上包含了这两项信息。
tail是AQS的一个属性,刚开始的时候肯定是为null,也就是不会进入第一层if判定的区域,而直接会进入enq(node)的代码
首先这是个死循环,而且本身没有锁,因此可以有多个线程进来。
假如某个线程进入方法,此时head、tail都是null,进入if(t == null)所在的代码区域,创建一个空的Node,
传入的Node对象首先被它的next引用所指向,此时传入的node和某一个线程创建的h对象如下图所示:
插入多个节点的时候,以此类推,总之节点都是在链表尾部写入的,而且是线程安全的
这里也是一个死循环,除非进入if(p == head && tryAcquire(arg))这个判定条件,而p为node.predcessor()返回node节点的前一个节点
前一个节点是head的时候,尝试通过tryAcquire(arg)来尝试加锁。
tryAcquire(arg)成立的条件为:锁的状态为0且通过CAS尝试设置状态成功或线程的持有者本身是当前线程才会返回true
如果这个条件判定成功:
(1)首先调用setHead(Node)的操作,这个操作内部会将传入的node节点作为AQS的head所指向的节点。线程属性设置为null,prev引用赋值为null。
(2) 将前一个节点的next引用赋值为null。
在这样修改后,队列的结构就变成了下图,这样就可以让执行完的节点释放掉内存区域,而不是无限制增长队列:
如果这个判定条件失败
(1)首先判定shouldParkAfterFailedAcquire(p , node)
这个方法内部会判定前一个节点的状态是否为:“Node.SIGNAL”,若是则返回true,若不是都会返回false判定节点的状态是否大于0,若大于0则认为被“CANCELLED”,因此会向前逐步循环找到一个没有被“CANCELLED”节点,然后与这个节点的next、prev的引用相互指向;如果前一个节点的状态不是大于0的,则通过CAS尝试将状态修改为“Node.SIGNAL”,下一轮循环的时候会返回值应该会返回true。
(2)如果这个方法返回了true,则执行parkAndCheckInterrupt()方法,它是通过LockSupport.park(this)将当前线程挂起到WATING状态,等待一个中断、unpark()方法来唤醒它
lockInterruptibly():允许在等待时由其它线程调用等待线程的Thread.interrupt方法来中断等待线程的等待而直接返回,这时不用获取锁,抛出一个InterruptedException。
lock方法不允许Thread.interrupt中断,即使检测到Thread.isInterrupted,一样会继续尝试获取锁,失败则继续休眠。只是在最后获取锁成功后再把当前线程置为interrupted状态,然后再中断线程
tryLock():尝试获得锁,仅在调用时锁未被线程占用,获得锁
tryLock(long timeout TimeUnit unit):如果锁在给定等待时间内没有被另一个线程保持,则获取该锁
unlock()
getHoldCount():查询当前线程保持此锁的次数,也就是state的值,不是自己持有返回0
isHeldByCurrentThread():是否是当前线程持有锁
isLocked():当前线程是否保持锁锁定,state!=0
isFair():该锁是否公平锁,sync instanceof FairSync
getOwner():返回此时持有锁的线程:getState() == 0 ? null : getExclusiveOwnerThread();
hasQueuedThreads():是否有线程等待此锁:head != tail
hasQueuedThread(Thread thread)
getQueueLength()