AdaCore/FSF的Ada 2012实现支持任意创建任务吗？含特性及任务模型咨询

嘿，我来帮你把这两个问题理清楚！

一、AdaCore/FSF的Ada 2012实现是否支持任意创建任务？ #

首先明确一点：Ada 2012语言标准本身就原生支持动态创建任务，AdaCore的GNAT编译器（不管是FSF开源版本还是商业版）完全实现了这个特性，不需要依赖额外的第三方库。

你之前混淆的点在于接触的库是用来和操作系统进程交互的，这和Ada原生任务完全是两回事：

• Ada原生任务是语言层面的并发单元，直接通过task type定义任务类型，然后用new关键字动态创建实例，比如：

  task type My_Task is
  end My_Task;
  
  task body My_Task is
  begin
    -- 任务逻辑
  end My_Task;
  
  -- 动态创建任务
  Task_Instance : access My_Task := new My_Task;
  

• 你提到的那个“可任意创建任务的库”，大概率是封装了操作系统级进程的创建逻辑，但这并不是Ada原生任务的必要依赖——原生任务的创建和管理是Ada运行时（GNAT Runtime）默认提供的能力，属于语言标准的一部分。

所以结论是：AdaCore/FSF的Ada 2012默认实现完全支持任意创建原生Ada任务，不需要额外库。

二、Ada 2012的任务是并发还是并行？ #

这个得分两层来看：

• 从语言模型角度：Ada 2012的任务模型定义的是并发执行——任务在逻辑上是同时存在并执行的，语言规范不强制要求物理上的并行，只要求任务之间的执行顺序可以交错（时间分片）。
• 从实际运行角度：GNAT的运行时在多核心硬件上会自动把Ada任务映射到操作系统的线程，当有多个核心可用时，这些任务会物理并行执行。你也可以通过编译选项或运行时配置来调整任务的调度行为，比如控制线程池大小等。

简单总结：Ada 2012任务原生支持并发，而在合适的硬件和运行时配置下，会自动实现并行执行。

内容的提问来源于stack exchange，提问作者kuwze