diff --git a/src/a-st-ext.adoc b/src/a-st-ext.adoc index c17d5dcb4..adea186b0 100644 --- a/src/a-st-ext.adoc +++ b/src/a-st-ext.adoc @@ -227,8 +227,6 @@ instruction unless the _rl_ bit is also set. LR._rl_ and SC._aq_ instructions are not guaranteed to provide any stronger ordering than those with both bits clear, but may result in lower performance. -<<< - [NOTE] ==== [[cas]] @@ -446,8 +444,6 @@ order the lock acquisition before the critical section, and the second AMO is marked _rl_ to order the critical section before the lock relinquishment. -<<< - [[critical]] [source,asm] .Sample code for mutual exclusion. `a0` contains the address of the lock. @@ -462,7 +458,7 @@ relinquishment. # ... amoswap.w.rl x0, x0, (a0) # Release lock by storing 0. -We recommend the use of the AMO Swap idiom shown above for both lock +We recommend the use of the AMO Swap idiom shown in <> for both lock acquire and release to simplify the implementation of speculative lock elision. cite:[Rajwar:2001:SLE] ====