AQS 里的 doAcquireInterruptibly,如果已经阻塞在 park 了,是不可能被唤醒的吧? - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
amiwrong123
V2EX    Java

AQS 里的 doAcquireInterruptibly,如果已经阻塞在 park 了,是不可能被唤醒的吧?

  •  
  •   amiwrong123 2020-05-17 18:44:22 +08:00 2114 次点击
    这是一个创建于 2024 天前的主题,其中的信息可能已经有所发展或是发生改变。

    AQS 里的 doAcquireInterruptibly 时,如果已经阻塞在 park 了,且当前持有锁的线程就是不释放锁,那阻塞在 park 的线程是不可能被唤醒的吧?

     private void doAcquireInterruptibly(int arg) throws InterruptedException { final Node node = addWaiter(Node.EXCLUSIVE); boolean failed = true; try { for (;;) { final Node p = node.predecessor(); if (p == head && tryAcquire(arg)) { setHead(node); p.next = null; // help GC failed = false; return; } if (shouldParkAfterFailedAcquire(p, node) &&//设置好上一个 node 的 signal 信号 parkAndCheckInterrupt())//然后就阻塞 throw new InterruptedException(); } } finally { if (failed) cancelAcquire(node); } } private final boolean parkAndCheckInterrupt() { LockSupport.park(this);//直接阻塞的,只有唤醒后才知道当前线程有没有中断过 return Thread.interrupted(); } 

    从上面代码的注释处,可以看出,当同步器的锁已经被别的线程获得,且当前线程没有中断过时,当前线程执行 doAcquireInterruptibly 的流程是:addWaiter 加入当前线程的 node,然后 shouldParkAfterFailedAcquire 设置一下上一个 node 的 signal 信号,然后就 parkAndCheckInterrupt 阻塞了,也就是说,刚开始这 for 循环只执行一次 就阻塞了。

    根据上面的论据,使用下面例子:

    import java.util.concurrent.locks.Lock; import java.util.concurrent.locks.ReentrantLock; public class test3 { public static void main(String[] args) throws InterruptedException { final Lock lock=new ReentrantLock(); lock.lock(); Thread t1=new Thread(new Runnable(){ @Override public void run() { try { lock.lockInterruptibly(); } catch (InterruptedException e) { e.printStackTrace(); System.out.println(Thread.currentThread().getName()+" interrupted."); } System.out.println(Thread.currentThread().getName()+"结束了"); } }); t1.start(); Thread.currentThread().sleep(5000); t1.interrupt(); while (true){} } } 打印结果: java.lang.InterruptedException at java.util.concurrent.locks.AbstractQueuedSynchronizer.doAcquireInterruptibly(AbstractQueuedSynchronizer.java:898) at java.util.concurrent.locks.AbstractQueuedSynchronizer.acquireInterruptibly(AbstractQueuedSynchronizer.java:1222) at java.util.concurrent.locks.ReentrantLock.lockInterruptibly(ReentrantLock.java:335) at test3$1.run(test3.java:19) at java.lang.Thread.run(Thread.java:745) Thread-0 interrupted. Thread-0 结束了 
    • 首先主线程获得了锁,且最后执行死循环,所以永远不释放锁。
    • 在主线程睡觉期间,子线程已经阻塞在 parkAndCheckInterrupt 里了。
    • 等主线程睡醒了,设置子线程的中断状态。但主线程永远不释放锁,那永远不会有人调用unpark(子线程),那子线程岂不是应该永远阻塞吗?

    所以为什么上面这个例子,最后还是抛出了异常?因为都没有人调用unpark(子线程)

    4 条回复    2020-12-05 18:18:44 +08:00
    hfc
        1
    hfc  
       2020-05-18 10:33:33 +08:00
    .interrupt()也能使线程从.park()引起的线程等待状态中恢复
    amiwrong123
        2
    amiwrong123  
    OP
       2020-05-18 19:06:52 +08:00 via Android
    @hfc
    是嘛,在 interrupt 的源码里能看到有调用 unpark 的吗
    hfc
        3
    hfc  
       2020-05-19 09:15:34 +08:00
    @amiwrong123 不行,是 native 本地方法了,但是从其注释中应该可以略知一二
    hanshijun
        4
    hanshijun  
       2020-12-05 18:18:44 +08:00
    t1 调用 interrupt,会使 park 方法返回并将线程中的中断标记位置为 true,所以 parkAndCheckInterrupt()返回 true,调用了 throw new InterruptedException(); 因此抛出了异常
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     5169 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 24ms UTC 01:19 PVG 09:19 LAX 17:19 JFK 20:19
    Do have faith in what you're doing.
    ubao msn snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86