原子语义

原子语义是计算机科学的一种并发同步机制。具体定义为:

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