Ada程序首次执行耗时更长原因及FE310微控制器延迟程序开发咨询

其实这事儿主要是Ada运行时和硬件缓存机制的双重作用导致的，常见原因有这么几个：

• 运行时一次性初始化：哪怕是用ZFP这种轻量零占用运行时，首次调用过程时，Ada还是得完成一些只做一次的初始化工作——比如给栈分配空间、把全局变量清零、或者搭好异常处理的基础框架（哪怕你压根没用到异常）。这些操作只会在第一次执行时跑，后面再调用就直接跳过了，自然快很多。
• CPU缓存冷启动：像FE310这种RISC-V内核的CPU，都有指令缓存和数据缓存。第一次执行过程的时候，代码还没被加载到缓存里，CPU得从Flash或者内存里慢悠悠读指令；等第二次执行时，代码已经存在缓存里了，读取速度直接起飞，耗时自然就降下来了。
• 动态绑定的首次解析：如果你的过程用到了Ada的多态（比如类类型的虚拟调用），第一次调用时得先解析虚拟函数表的地址，绑定好之后，后续调用就直接用现成的地址，不用再做解析了。当然如果是普通的静态过程，这个因素就不存在哈。

刚好FE310的这个32768Hz 64位定时器很适合做忙等延迟，加上ZFP本身没有原生延迟功能，直接操作硬件寄存器就是最靠谱的方案。我给你梳理一下具体的实现思路和代码示例：

核心步骤 #

• 寄存器地址映射：先把FE310的定时器、GPIO寄存器地址映射到Ada代码里，ZFP支持直接访问内存地址，用System.Storage_Elements就能搞定。
• 读取当前定时器值：FE310的64位计数器是拆成高低32位寄存器的，读的时候要注意顺序（一般先读低32位再读高32位，具体以官方手册为准）。
• 计算目标值：把需要的延迟时间转换成定时器的tick数——比如100ms的话，就是100 * 32768 / 1000个tick，加到当前定时器值上就是目标值。
• 循环等待：在循环里不断读取定时器值，直到当前值大于等于目标值，期间可以切换GPIO引脚电平来验证延迟。

代码示例 #

首先定义硬件寄存器的映射包：

with System.Storage_Elements; use System.Storage_Elements;

package FE310_HW is
   -- FE310定时器0的寄存器地址（以官方手册为准，此处为示例）
   TIMER0_CNT_LOW  : constant Integer_Address := 0x02004008; -- 64位计数器低32位
   TIMER0_CNT_HIGH : constant Integer_Address := 0x0200400C; -- 64位计数器高32位

   -- GPIO引脚示例（比如控制引脚5）
   GPIO_OUTPUT_EN  : constant Integer_Address := 0x02000008; -- 输出使能寄存器
   GPIO_OUTPUT_VAL : constant Integer_Address := 0x0200000C; -- 输出值寄存器

   -- 读取64位定时器当前值
   function Read_Timer return Unsigned_64 is
      Low  : Unsigned_32 with Import, Address => To_Address(TIMER0_CNT_LOW);
      High : Unsigned_32 with Import, Address => To_Address(TIMER0_CNT_HIGH);
   begin
      return Shift_Left(Unsigned_64(High), 32) or Unsigned_64(Low);
   end Read_Timer;

   -- 设置GPIO引脚电平
   procedure Set_Pin(High : Boolean) is
      Val : Unsigned_32 with Import, Address => To_Address(GPIO_OUTPUT_VAL);
   begin
      if High then
         Val := Val or 2**5; -- 引脚5置高
      else
         Val := Val and not (2**5); -- 引脚5置低
      end if;
   end Set_Pin;

   -- 初始化GPIO引脚为输出模式
   procedure Init_Pin is
      En : Unsigned_32 with Import, Address => To_Address(GPIO_OUTPUT_EN);
   begin
      En := En or 2**5; -- 使能引脚5的输出功能
   end Init_Pin;

end FE310_HW;

然后实现延迟过程：

with FE310_HW; use FE310_HW;

procedure Delay_MS(MS : Natural) is
   Current_Time : Unsigned_64;
   Target_Time  : Unsigned_64;
   Delay_Ticks  : constant Unsigned_64 := Unsigned_64(MS) * 32768 / 1000; -- 转换为定时器tick数
begin
   Current_Time := Read_Timer;
   Target_Time := Current_Time + Delay_Ticks;

   -- 切换引脚为高，标记延迟开始
   Set_Pin(True);

   -- 循环等待，64位定时器溢出周期极长（约18万年），无需额外处理溢出
   loop
      exit when Read_Timer >= Target_Time;
   end loop;

   -- 切换引脚为低，标记延迟结束
   Set_Pin(False);
end Delay_MS;

注意事项 #

• 寄存器地址准确性：一定要对照FE310的官方手册确认寄存器地址，不同型号的芯片可能略有差异。
• 引脚初始化：调用延迟过程前，记得先调用Init_Pin把目标GPIO设置为输出模式，否则引脚电平不会变化。
• ZFP环境适配：ZFP没有任务调度机制，这种忙等方式不会被抢占，完全适配零占用运行时的场景。

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