原子語義

原子語義是計算機科學的一種並發同步機制。具體定義為：

一個寄存器R是原子的，如果滿足下述兩條： 1. 每次讀或寫操作看起來執行於時刻τ(op)，工作如同：

τb(op) ≤ τ (op) ≤ τe(op): 

其中τb(op) 與 τe(op) 指出操作 op 開始與結束。

如果 op1 ≠ op2, 則 τ (op1)≠τ (op2)

2. 讀操作返回在此之前最後一次寫操作的結果。

參見

• 正則語義
• 安全語義

參考文獻

• Atomic semantics are defined formally in Lamport's "On Interprocess Communication" Distributed Computing 1, 2 (1986), 77-101. (Also appeared as SRC Research Report 8).