原文书的2.43这题

看起来除了一般翻译成MIPS的组合语言之外还有多考了OS里面的同步问题的概念
有查到解答如下：
trylk: li $t1,1
ll $t0,0($a0)
bnez $t0,trylk
sc $t1,0($a0)
beqz $t1,trylk
lw $t2,0($a1)
slt $t3,$t2,$a2
bnez $t3,skip
sw $a2,0($a1)
skip: sw $0,0($a0)
但是不太理解这样写的过程与思维
希望大大们帮忙解惑。

哪里不懂? 看了一下就是直接翻译过去，不用什么技巧也不用想到 OS 的 Synchronization，单纯就是检验你对MIPS atomic memory read/write 的认知而已