原子语义
原子语义是计算机科学的一种并发同步机制。具体定义为：
一个寄存器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).