原子语义

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

一個寄存器 R 是原子的,如果滿足以下兩條性質:

每次讀取或寫入操作看起來都執行於某個時刻 τ(op),其工作行為等同於:

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

其中 τb(op) 與 τe(op) 分別代表操作 op 的開始與結束時刻。若 op₁ ≠ op₂,則 τ(op₁) ≠ τ(op₂)。

讀取操作會返回在該時刻之前最後一次寫入操作的結果。

參見

  • 正則語義
  • 安全語義

參考文獻

  • Lamport, Leslie. On Interprocess Communication. 《Distributed Computing》, 1(2):77–101, 1986.(同時發表於 SRC Research Report No. 8)

评论 (0)

  • 还没有评论,来抢沙发吧。