单链表和双链表的区别
首先我们要先搞清楚单链表和双链表之间的区别:
- 单链表每个节点只包含一个指向下一个节点的指针,因此它的遍历只能是单向的,并且插入和删除需要遍历链表找到前一个节点(比如a->b->c->d,我要删除c的时候,就需要遍历整个链表找到其前置节点b,将b的后指针指向c的后置节点)。
- 而双链表每个节点都拥有两个指针,分别指向前置节点和后置节点。这说明它可以双向遍历数据,并且可以更加灵活更快的进行插入和删除,因为可以同时访问前置节点和后置节点(比如a<->b<->c,我要删除b的时候,只要找到节点b拿到其前置节点A和后置节点B,然后把A的后置节点设置成C,C的前置节点设置成A即可)。
AQS要采用双向链表呢?
那为啥AQS要采用双向链表呢?
-
涉及到删除,比如说AQS中提供了两种基本获取同步方式状态的方式,acquire()和acquireInterruptibly(),分别对应于支持中断和不支持中断的场景。其中acquireInterruptibly()方法在尝试获取失败之后,会调用doAcquireInterruptibly()方法,在这个方法的finally中如果出现线程中断异常就会执行cancelAcquire()方法,它主要作用就是将中断的线程节点从同步队列中移除。
-
另外在实现的时候经常需要获取前置节点,比如当一个线程尝试获取同步状态失败后,它需要决定接下来的行动,如果直接进入忙等(buzy-wait)状态,这将会消耗大量的cpu资源,因为线程会在一个循环中不断尝试获取锁。在AQS中可以将该线程挂起(park),在挂起之前会根据其前置节点的状态判断该线程是否应该被挂起。(如果前置节点已经是等待状态了,那么当前节点就可以被安全挂起)。如果是单向量表就得从头开始便利,而双向链表之前从当前节点就可以获取到前置节点。
-
另外,在高并发环境中,队列的头部一定是频繁访问和修改的区域,因为头部节点是释放同步状态或是被唤醒线程的首选位置。像获取排队的线程getQueuedThreads()、获取队列的长度getQueueLength()等不太重要的操作,从尾部开始遍历可以减少在头部节点上的竞争,尤其是在执行那些不需要立即修改头部节点状态的遍历操作时。
-
最后,AQS还支持条件变量,这允许线程在特定条件满足之前挂起。条件队列需要能够从等待队列中移动节点到条件队列,以及反向操作。双向链表使得这种操作更加直接和高效。