メモリバリアが必要な理由は理解できますが、ユニプロセッサの場合はわかりません。
UPを使用してもバリアに対処する必要がありますか?すべてのドキュメントはSMPでそれらを説明していますが、UPでは説明していません。
r2 == 0
次のコードでは、ポイントaにある可能性はありますか?
// the location 0xdeadbeef has a zero initial value
ldr r0, =0xdeadbeef
ldr r1, =0xdeadbeef
ldr r2, =1
str r2, [r0]
ldr r2, [r1]
// point a