對(duì)內(nèi)存的互斥訪問(wèn)

Cortex-M3 中提供了三對(duì)用于互斥訪問(wèn)的內(nèi)存的指令，分別是：LDREX/STREX, LDREXH/STREXH, LDREXB/STREXB，這三對(duì)指令分別對(duì)應(yīng)于字、半字、字節(jié) 的取出與寫(xiě)入。

LDREX 的基本指令格式為：

LDREX Rxf, [Rn, #offset]

這條指令與LDR Rxf,[Rn,#offset] 的作用是相同的，唯一的區(qū)別是這條指令還會(huì)通知內(nèi)核對(duì)它所訪問(wèn)的內(nèi)存空間特殊關(guān)照。如何特殊關(guān)照，在STREX 指令執(zhí)行時(shí)顯現(xiàn)出來(lái)。

STREX的基本指令格式為：

STREX Rd, Rxf, [Rn, #offset]，作用是將Rxf 的內(nèi)容寫(xiě)入到 Rn+#offset 地址處的內(nèi)存，并且將Rd的值改寫(xiě)為0，當(dāng)然這些操作的前提是這條指令是LDR Rxf,[Rn, #offset]指令執(zhí)行之后的第一條對(duì)Rn+#offset地址處執(zhí)行寫(xiě)入操作的指令。如果在STREX指令執(zhí)行之前就有其他的指令對(duì)Rn+#offset 地址處的內(nèi)存進(jìn)行了寫(xiě)入操作，那么STREX指令將不會(huì)改動(dòng)Rn+#offset 地址處內(nèi)存，并將Rd的值改寫(xiě)為1以此來(lái)表明寫(xiě)入操作不成功。這樣，通過(guò)在程序中判斷Rd的值就可以確定STREX指令是否成功了，如果不成功可以重新再試以此。通過(guò)這種機(jī)制，就可以實(shí)現(xiàn)對(duì)資源的保護(hù)了。