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

继续阅读