关于RISCV AMO指令的疑问

wenjohnny

以AMOSWAP指令为例，spec中给出实现锁的例子

                               
登录/注册后可看大图

上面这个例子里，程序认为AMOSWAP一定是原子的。但是对于AMOSWAP，一定是有一次LOAD和一次STORE，如何保证Load和store的原子性？尤其是如果使用axi4，不支持独占访问，感觉无法保证原子操作啊。
对比LR/SC，LR/SC是两条指令，是允许操作打断的。而且SC操作不成功会通过rd告诉软件。