ConcurrentLinkedQueue理解

Posted 2022-11-30 yangfei629

1、支持并发

使用CAS保证更新的原子性 线程安全

 

2、状态不一致

head tail并非总是指向真正的头尾节点 

只有head/tail与头尾节点的距离超过HOPS阈值 才会更新head tail

3个不等式保证数据处理正确：

基本不变式

在执行方法之前和之后，队列必须要保持的不变式：

• 当入队插入新节点之后，队列中有一个 next 域为 null 的（最后）节点。
• 从 head 开始遍历队列，可以访问所有 item 域不为 null 的节点。

head 的不变式和可变式

在执行方法之前和之后，head 必须保持的不变式：

• 所有“活着”的节点（指未删除节点），都能从 head 通过调用 succ() 方法遍历可达。
• head 不能为 null。
• head 节点的 next 域不能引用到自身。

在执行方法之前和之后，head 的可变式：

• head 节点的 item 域可能为 null，也可能不为 null。
• 允许 tail 滞后（lag behind）于 head，也就是说：从 head 开始遍历队列，不一定能到达 tail。

tail 的不变式和可变式

在执行方法之前和之后，tail 必须保持的不变式：

• 通过 tail 调用 succ() 方法，最后节点总是可达的。
• tail 不能为 null。

 

3、size方法需要遍历一遍

获取所有的有效节点（即item有值的节点）