原子语义

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

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