Ada 编程/编译指示/原子：3

几乎总是错误地使用 原子 或 易变 变量来进行 任务。 当一个对象是原子性的，它仅仅意味着它将被原子性地读入或写入内存。编译器不会在访问该对象时生成原子指令或内存屏障，它只会

• 检查架构是否保证原子内存加载和存储，
• 不允许一些编译器优化，比如重新排序或抑制对对象的冗余访问。

例如，下面的代码，其中A是一个原子对象，可能会被误解

A := A + 1;  -- Not an atomic increment!

编译器不会（并且根据标准也不允许）生成原子增量指令来直接增量并从内存中更新变量A。 这是编译器生成的代码

  A := A + 1;
804969f:	a1 04 95 05 08       	mov    0x8059504,%eax
80496a4:	40                   	inc    %eax
80496a5:	a3 04 95 05 08       	mov    %eax,0x8059504

如您所见，不会生成任何原子增量指令或测试并设置操作码。与其他编程语言一样，如果程序中需要这些特定指令，则必须使用机器代码插入显式地编写它们。

上面的代码片段等效于以下代码（两个代码序列生成完全相同的目标代码），其中T是一个（非原子）临时变量

T := A;      -- A is copied atomically to local variable T
T := T + 1;  -- local variable T is incremented
A := T;      -- A is stored atomically

因此，从多个任务同时修改原子变量是不正确的。例如，两个任务并行地增量一个计数器。即使在单处理器中，也应该使用其他 Ada 任务功能，例如受保护的对象。在多处理器中，根据内存一致性模型，使用各种原子或易变变量进行任务通信会导致意想不到的后果。 因此，在使用原子对象进行任务数据共享或同步时，尤其是在多处理器中，应格外小心。