Windows Programming/Interlocked變量訪問
Interlocked變量訪問是Windows API提供的一種對DWORD或指針類型的變量原子訪問機制。[1]
對於32位地址對齊的變量，在32位CPU上的讀寫操作是原子的，即變量不會只被修改一部分。但訪問不能保證同步。如果兩個線程同時讀寫一個變量，不能保證是否有一個線程讀操作在另一個線程的寫操作之前。如果是加一操作，兩個線程的執行結果可能是該變量只被加了1而不是被加了2。上述情況對64位CPU上的64位對齊變量也適用。64位系統的對應API函數，使用「64」後綴。
底層實現[編輯]
x86平台使用LOCK prefix指令。ia64與x64直接支持load-modify-store操作。
其它平台使用Load-link/store-conditional，先通過load-link讀值，執行期望的計算，在試圖通過store-conditional保存值。如果store-conditional失敗，重啟這些操作。實際上CPU會監視整條cache line。硬件中斷會導致store-conditional失敗。[2]
函數列表[編輯]
原子加減1操作[編輯]
InterlockedIncrement與InterlockedDecrement
提供了加1或者減1原子操作。 執行原子加1操作，參數Addend的值會被加1，返回值為原始操作加1後的當前值。
比較並交換操作（Compare and Swap, CAS）[編輯]
InterlockedCompareExchange, InterlockedCompare64Exchange128與InterlockedCompareExchangePointer函數讀出其原值，原值與比較值如果相等則賦予新值的原子操作。
InterlockedCompareExchange()帶有全局的內存柵障，不帶全局內存柵障的對應操作為InterlockedCompareExchangeAcquire()與InterlockedCompareExchangeRelease()
原子寫操作[編輯]
InterlockedExchange與InterlockedExchangePointer函數提供了對long與指針變量讀出其原值，賦予新值的原子操作。InterlockedExchangeAdd與InterlockedExchangeSubtract函數提供了對long型變量讀出其原值，加上/減少一個增量值的原子操作。
原子加法、或運算、異或運算[編輯]
InterlockedAnd, InterlockedOr與InterlockedXor提供了與、或、異或的原子操作
InterlockedAdd返回了變量被原子增加一個值的結果。
原子比特位測試設置[編輯]
InterlockedBitTestAndSet，InterlockedBitTestAndReset與InterlockedBitTestAndComplement函數提供讀出變量指定比特位的原值，並置位/復位/翻轉該比特位的值的原子操作。