LDREX/STREX 如何实现原子更新?为什么必须循环重试?
LDREX 读取并建立独占监视,STREX 仅在监视条件仍有效时写入并报告成功;中断、其他主设备写入或实现事件可能清除监视,所以比较交换必须在循环中重试。它解决原子性,内存顺序仍需合适屏障。
Question Bank
按知识、方向与难度筛选;每道题都有分层回答和工程追问。
LDREX 读取并建立独占监视,STREX 仅在监视条件仍有效时写入并报告成功;中断、其他主设备写入或实现事件可能清除监视,所以比较交换必须在循环中重试。它解决原子性,内存顺序仍需合适屏障。