关于【Rust Atomics and Locks】这本书第四章的问题
原文中文,约200字,阅读约需1分钟。
📝
内容提要
lock函数使用Acquire确保获取锁时的内存可见性,而将swap替换为compare_exchange_weak同样是为了实现acquire-load/release-store的语义。
🎯
关键要点
-
lock函数使用Acquire确保获取锁时的内存可见性。
-
将swap替换为compare_exchange_weak是为了实现acquire-load/release-store的语义。
-
lock函数的实现中,使用了自旋循环来等待锁的释放。
🏷️