大多数'无锁'代码其实不是无锁的
内容提要
大多数自称“无锁”的代码并不符合无锁定义，尤其在ARM架构上存在数据竞争问题。无锁编程需满足严格的进展保证，确保系统不被单个线程阻塞，正确的内存顺序和ABA问题处理也至关重要。通常情况下，使用锁比无锁更可靠且易于维护。
关键要点
-
大多数自称“无锁”的代码并不符合无锁定义，尤其在ARM架构上存在数据竞争问题。
-
无锁编程需满足严格的进展保证，确保系统不被单个线程阻塞。
-
正确的内存顺序和ABA问题处理也至关重要。
-
使用锁通常比无锁更可靠且易于维护。
-
Lock-free的定义强调系统整体的前进保证，而不仅仅是没有使用锁。
-
在ARM架构上，memory_order_relaxed的使用可能导致数据竞争和不一致性。
-
CAS操作需要防止ABA问题，常用的解决方案包括Tagged pointer和Hazard Pointer。
-
在大多数场景下，使用mutex和合理的锁粒度比无锁更优。
-
真正需要无锁的场景包括信号处理、内核中断上下文和极端延迟要求。
-
无锁编程的复杂性和潜在错误使得在大多数情况下使用锁更为明智。
延伸解读
无锁编程的误区
许多开发者对无锁编程的理解存在误区，认为只要代码中没有使用锁，就可以称为无锁。然而，真正的无锁编程需要满足严格的进展保证，确保系统整体不会因单个线程的阻塞而停滞。开发者在使用自称无锁的库时，需仔细审查其实现是否符合学术定义。
ARM架构的特殊性
在ARM架构上，内存模型与x86有显著不同，许多在x86上正常运行的无锁代码在ARM上可能会出现数据竞争和不一致性问题。开发者在迁移代码时，需特别关注内存顺序和原子操作的使用，避免因内存重排导致的潜在错误。
选择锁与无锁的考量
在大多数情况下，使用锁比无锁编程更为可靠和易于维护。尤其是在中低竞争场景下，锁的开销相对较小，且更容易保证代码的正确性。开发者应根据具体需求，权衡使用锁和无锁的利弊，避免盲目追求无锁编程的性能优化。
延伸问答
什么是无锁编程的严格定义？
无锁编程的严格定义是系统整体保证前进，至少有一个线程能在有限步内完成操作，即使其他线程被阻塞或抢占。
在ARM架构上使用无锁代码时可能遇到什么问题？
在ARM架构上，使用无锁代码可能导致数据竞争和不一致性，尤其是使用memory_order_relaxed时。
为什么在大多数情况下使用锁比无锁更可靠？
使用锁通常更可靠，因为无锁代码的错误难以发现，且维护性较差，而锁的正确性更容易推理。
什么是ABA问题，如何解决？
ABA问题是指在CAS操作中，无法区分值是否在操作间被改变。解决方案包括使用Tagged pointer和Hazard Pointer。
在什么情况下需要使用无锁编程？
需要使用无锁编程的场景包括信号处理、内核中断上下文和极端延迟要求的应用。
如何判断一个库是否真正是无锁的？
可以通过检查其是否满足progress guarantee、正确的内存顺序和是否处理ABA问题来判断一个库是否真正是无锁的。
