Ada83 或 Ada95 是否定义了内存模型来支持多任务处理？

Question

随着“最近”对 C 和 C++ 添加内存模型的更改（类似于 Java 和 C#），我想知道 Ada83 或 Ada95 对并发的内置支持是否也定义了内存模型。

有谁知道有关 Ada 是否定义了内存模型的任何参考资料？

额外问题：Ada83 是第一个为共享状态并发提供 INBUILT 支持的通用编程语言吗？

Answer 1

我认为从您所问的意义上来说，最接近内存模型的是ARM 的动态语义部分。

Ada 83 有pragma Shared。

Ada 95将其替换为编译指示 Atomic、Volatile、Atomic_Components 和 Volatile_Components；Ada 2005 与（在更正中）pragmas Independent 和 Independent_Components 相同（即，引用的对象或其每个组件都是独立可寻址的）。

Ada 2012 用方面替换了 pragmas ，出于好的但不是直接相关的原因：

Imported_Variable : Integer with
  Import, Convention => C, External_Name => "exported_variable", Volatile;