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 任務功能，例如受保護的物件。在多處理器中，根據記憶體一致性模型，使用各種原子或易變變數進行任務通訊會導致意想不到的後果。 因此，在使用原子物件進行任務資料共享或同步時，尤其是在多處理器中，應格外小心。