AQS源码阅读理解(uncompleted)

有head和tail
当acquire*操作的时候,如果我们定义的资源限制操作返回false时,会在tail端加入一个新的节点(Node里面的所有基础属性都是volatile,用CAS设置tail指针)。
然后利用LockSupport.part(this)阻塞。
当release的时候,如果我们定义的资源操作返回true,会将head节点的下一个SIGNAL节点的thread唤醒。
被唤醒的那个线程会继续尝试执行tryAcquire,这时候会和新线程的请求发生争用,ReentrantLock在这里做了两种策略,一种是判断当前线程是否在链表的第一个位置(fair),一种是不做判断直接争用(unfair)
 
shouldParkAfterFailedAcquire会判断当前加入的节点的前一个节点是否未获得锁(SIGNAL),如果未获得,就返回true,告诉后面该part当前thread了
如果前个线程是CANCELLED的,删除CANCELLED节点,返回false。如果是0,设置为SIGNAL,返回false
也就是说,它做的主要做的是清理的工作,如果是false,就不会去part当前thread,而是再继续走for循环。
这样能保证每次醒来的节点会清理一遍前面的CANCELLED节点,让p==head可以通过
 
Interruptibly式的获取:其他线程对这个线程进行中断,导致LockSupport.part(this)继续执行,返回Thread.interrupted();外部会break-for,在for外层cancel该节点,并抛出InterruptedException
Nanos式的获取:LockSupport.parkNanos(this, nanos),每次醒来都会检查时间,如果时间超出,cancel该节点
 
 
 
方法:
独占获取:            acquire                     acquireInterruptibly                    tryAcquireNanos 
tryAcquire              acquireQueued          doAcquireInterruptibly                doAcquireNanos
共享获取:            acquireShared           acquireSharedInterruptibly          tryAcquireSharedNanos
tryAcquireShared    doAcquireShared       doAcquireSharedInterruptibly      doAcquireSharedNanos
 
独占释放:             release                     
tryRelease
共享释放:             releaseShared           
tryReleaseShared    doReleaseShared
 
hasQueuedThreads  hasContented     getFirstQueuedThread     isFirst     fullIsFirst     getQueuedLength    
getQueuedThreads     getExeclusiveQueuedThreads     getSharedQueuedThreads     getWaitingThreads
owns     hasWaiters     getWaitQueueLength
 
shouldParkAfterFailedAcquire
unparkSuccessor
setHeadAndPropagate
cancelAcquire
 
 
Condition
内部成员:firstWaiter、lastWaiter。内部包含一条Node链
内部方法:
signal、signalAll
await、awaitNanos、awaitUnit、await(long, TimeUnit)、awaitUninterruptibly
hasWaiters、getWaitQueueLength、getWaitingThreads
isOwnedBy(AQS)
 
执行await*操作时,会往末尾(lastWaiter)里添加nextWaiter
然后释放资源(release(state)),调用LockSupport.park(this)
执行signal操作时,会将firstWaiter移到sync queue末尾,调用的还是enq(node),并且将该node的waitStatus设置成SIGNAL,然后在程序执行lock.release时可以按正常资源释放的操作进行。
 
调用阻塞的入口两种,AQS.acquire和Condition.await
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
Java中的AQSAbstractQueuedSynchronizer)是实现锁和同步器的一种重要工具。在AQS中,一个节点表示一个线程,依次排列在一个双向队列中,同时使用CAS原子操作来保证线程安全。当多个线程对于同一资源竞争时,一个节点会被放置在队列的尾部,其他线程则在其之前等待,直到该资源可以被锁定。 当一个线程调用lock()方法进行锁定时,它会首先调用tryAcquire()方法尝试获取锁。如果当前资源尚未被锁定,则该线程成功获取锁,tryAcquire()返回true。如果当前资源已被锁定,则线程无法获取锁,tryAcquire()返回false。此时该线程就会被加入到等待队列中,同时被加入到前一个节点的后置节点中,即成为它的后继。然后该线程会在park()方法处等待,直到前一个节点释放了锁,再重新尝试获取锁。 在AQS中,当一个节点即将释放锁时,它会调用tryRelease()方法来释放锁,并唤醒后置节点以重试获取锁。如果当前节点没有后置节点,则不会发生任何操作。当一个线程在队列头部成功获取锁和资源时,该线程需要使用release()方法释放锁和资源,并唤醒等待队列中的后置节点。 总之,AQS中的锁机制是通过双向等待队列实现的,其中节点表示线程,使用CAS原子操作保证线程安全,并在tryAcquire()和tryRelease()方法中进行锁定和释放。该机制保证了多线程环境下资源的正确访问和线程的安全执行。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值