关于【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函数的实现中,使用了自旋循环来等待锁的释放。
➡️