标签： multithreading synchronization lock-free
我听说这是可能的，但是我想不出一个可行的例子。请举一个例子。另外，如果无锁算法正在使用锁，我们如何证明它实际上是无锁的？