在ARM中使用SWP时锁定的目的

Question

下表包含锁的ARM汇编代码。

try: MOV R3,#1
SWP R2,R3,[R1,#0]
CMP R2,#1
BEQ try
LDR R4,[R2,#0]
ADD R3,R4,#1
STR R3,[R2,#0]
SWP R2,R3,[R1,#0]

我的问题是，当R2等于1时，分支回来尝试的目的是什么？ 根据我的理解，如果这个分支执行，那么SWP操作出了问题，但我不知道细节。

Answer 1

没有更高级别的上下文，有点难以推断确切的细节，但这看起来可能是某种票证锁定/信号量/原子增量。 似乎r1保存了一个指向原子数据的指针变量的地址，该变量本身就是互斥体：

try: MOV R3,#1
SWP R2,R3,[R1,#0]

此时，我们将值1原子地存储到r1指向的位置，并将其中的值检索到r2 。 现在有两种可能性：要么它已经包含1，在这种情况下， swp实际上没有改变任何东西，或者它包含不同的值。

CMP R2,#1
BEQ try

如果以前的互斥值为 1，则暗示该锁当前采取：想象这个代码的并行，但稍晚运行的第二个副本-第一个人将已换入1，所以第二个人会看到它，然后再试一次，在r1位置旋转，直到它再次包含1以外的东西。 如果不是1，则互斥是无人认领的，但凭借着swp ，值有 1了，所以我们持有的互斥锁，并可以继续进行。

LDR R4,[R2,#0]
ADD R3,R4,#1
STR R3,[R2,#0]

这意味着现在在r2的“无人认领”互斥量实际上也是指向感兴趣数据的指针：我们增加它，知道这里的读取 - 修改 - 写入通过互斥锁实际上是原子的。

SWP R2,R3,[R1,#0]

......在这里我不知道^* 。 将递增的数据交换回互斥锁本身似乎没有多大意义 - 如果它不是1那么它似乎会释放互斥锁，但“某些值+ 1”似乎不太可能是有效的4 -byte-aligned指针是我们（或系统中的其他代理）现在再次运行此代码。 我只能想象这个片段是更复杂的事情的不完整部分。

_{*就像我想象的那样简单地释放互斥锁，我希望写回r2 ，而不是r3 。}