递归互斥锁无需内存同步？是否需显式使用memory-barrier？

根据POSIX标准中关于递归互斥锁（PTHREAD_MUTEX_RECURSIVE类型）的定义，文档提到这类锁“无需同步内存”，这里的核心指向是同一线程内的重入场景：

• 当同一个线程已经持有递归互斥锁，再次调用加锁操作时，不需要触发跨线程级别的内存同步（也就是内存屏障）。因为单线程内部的指令执行、内存操作本身就是有序的，不存在其他线程的内存可见性问题，递归加锁的过程不会打乱线程自身的内存访问顺序。

关于是否需要显式使用asm volatile ("" ::: "memory");这类内存屏障：

• 如果你的代码仅涉及单线程内的递归加解锁，完全不需要手动添加显式内存屏障。编译器在单线程场景下的优化不会破坏逻辑一致性，递归互斥锁的重入机制也不会引入内存乱序问题。
• 如果递归互斥锁存在跨线程的加解锁交互（比如线程A加锁后，线程B等待该锁释放），那么递归互斥锁在第一次加锁和最终解锁时，依然会提供和普通互斥锁一致的内存同步语义——自动处理必要的内存屏障，不需要你手动补充。只有当你在互斥锁保护的临界区之外，有独立于锁操作的内存序强制需求时，才需要考虑显式内存屏障，但这和递归互斥锁本身的特性无关。

简单总结：递归互斥锁的“无需同步内存”是针对单线程重入的特殊情况，不管是单线程重入还是跨线程使用，都不需要你手动添加显式内存屏障。

内容的提问来源于stack exchange，提问作者wimalopaan