跳至內容

原子語義

維基百科,自由的百科全書

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

一個寄存器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).