2.1 部分有界队列

对于部分的（partial）入队/出队方法而言，没有失败的选择。当队列已满或者为空时，不能放弃，必须等待既定条件成立（即有空位或元素可用）。

实现方式很简单，注意到__这里不使用空转锁，而是使用管程锁(即通过睡眠唤醒机制！)__

2.2 无锁(Lock-free)的无界队列

这个标题，表示出not wait-free

2.3 内存回收和ABA问题

CAS原语的典型问题ABA问题：采用 CAS 原语修改共享变量，变量值从 A 变为 B，然后又变回 A，但指令不能区分前后两个 A 值。这被称为 ABA 问题，是 CAS 原语的典型问题。

解决ABA问题，最好的方法就是引入__时间戳概念__。在 Java 中，AtomicStampedReference 类将引用和时间戳封装
在一起。

2.4 小结

image-20221205024213851

3.1 无界的无锁栈

这个真没什么好说的，很简单的思想

3.2抵消回退栈

思想很简单，就是将push和pop进行匹配！