DSL 用户指南

BAS 用有向无环图描述任务：节点调用任务，边把任务返回的数据传给后续节点。发布版包含固定版本的 DSL 前端，任务编译使用单独安装的 Venus 定制 LLVM。

内置 smoke 中的图

return_value short sum[32]
return_value short restored[32]

示例初始化两个各含 32 个有符号 16 位元素的向量 a、b，再连接两个任务：

dag dag1 = {
  [sum] = Task_forgeAdd(a, b)
  [restored] = Task_forgeRestore(sum, b)
}
END

这里是节选。编译时使用含完整参数数组的 BAS 文件和配套任务源码。

声明与依赖

使用 ASCII 标点和 dfedata 关键字，不要写成 dfe_data。下面给出完整声明形式与数据类型参考。

为已配置的 Venus1 后端编译

完成安装后，在 platform/ 下运行：

./ace-echo --config .ace-echo/host/local.toml compile dag \
  --target forge_vector_smoke --backend .ace-echo/host/backend.json

编译在当前运行的隔离前端副本中进行。生成的 JSON、组合 BIN 和任务镜像收集到运行产物中，后续仿真使用这些记录路径。通过 .ace-echo/host-tools.json 配置本机工具，不要照抄其他开发者的绝对 LLVM_PATH，或手工混搭 lane/row 配置。

分配容量与传输数据

输出声明容量允许大于运行时真实返回量。对于 Venus1 普通任务依赖，RTL 通过 16 位 DMT 长度字段使用生产任务的运行时返回字节数。平台按这一行为处理；消费者声明容量用于提示，不会悄悄截短搬运。超过 65535 字节时必须考虑字段截断。

这不意味着重叠的存活内存区域也是安全的。精确行为见传输长度约定和可选外部 BAS 参数。

数据类型参考

这些类型描述 DSL 数据表示；Venus1 向量算术支持 8、16 位元素。声明 float 数组不会自动获得 Venus1 浮点向量指令。

BAS 标量参数通常写成单元素数组，如 parameter short mode = {15}。要匹配生成的任务接口：有些任务使用 64 字节对齐的 short_struct，而不是直接传 C short。元素数量和 ABI 容器大小是不同的量。

声明语法示例

静态参数

parameter char bits = {1,0,1,1,0,0,1,0}
parameter short samples = {-3,-1,1,3}
parameter short mode = {15}

parameter TYPE NAME = {VALUES} 嵌入初始化数据，元素数由初始化列表决定。使用十进制字面量、ASCII 逗号，列表末尾不加逗号。负数在数字前加负号，声明末尾不加分号。

应用输入与数字前端输入

dag_input short nCellid[1]
dfedata char iq[4420]

dag_input TYPE NAME[CAPACITY] 声明应用输入；dfedata TYPE NAME[CAPACITY] 声明数字前端输入。它们给出存储和绑定，不给出样本值。运行时通过匹配的启动程序／输入约定提供数据。参数顺序以生成元数据为准，不要假设就是声明顺序。

图返回值

return_value short subFrameNum[1]
return_value char decoded[256]

这些变量必须由图中的任务产生。方括号按元素预留容量，不要求任务返回同样多的字节。例如 decoded[256] 可承接更短的有效载荷，实际长度由 vreturn 决定。

全局变量

global short mode = 1

前端也接受 global TYPE NAME 以及整数初始化形式。全局变量的分配和生命周期与任务结果不同。普通独立示例优先用 parameter 或任务结果；需要复现依赖全局变量的应用时再使用 global。

名称、注释与换行

' This whole line is a comment.
parameter short gain = {2} ' This is an end-of-line comment.

名称以字母或下划线开始，后接字母、数字或下划线，避免使用 data 等保留关键字。单引号到行尾为注释，支持整行与行尾注释；声明前的单引号会把声明本身注释掉。END 后保留最终换行。

任务调用与依赖绑定

dag dag1 = {
    [sum] = Task_forgeAdd(a, b)
    [restored] = Task_forgeRestore(sum, b)
}
END

函数名选择任务。右侧参数顺序对应 C 任务签名，左侧名称顺序对应 vreturn(buffer, bytes, ...) 的返回对。后续任务引用已产生的名称便形成依赖。中间变量由任务结果引入，不必全部声明为图输出。

多个输出的语法示意如下：

dag dag1 = {
    [payload, status] = Task_decode(samples, mode)
    [result] = Task_consume(payload, status)
}
END

Task_decode、Task_consume 仅为示意名称，编译前需提供匹配源码。不要像旧快速入门那样重复声明同名 dag dag1。

解析器还支持其他后端使用的指针形式和 SPMD pragma。Venus1 清单并未确认指针输入描述符和 SPMD 任务容器字段的支持，入门应先使用普通值依赖；语法能解析不代表硬件能执行。

完整工作示例

Venus 用户指南包含两个 C 文件和完整 forge_vector_smoke.bas（含全部 32 元素输入）。预期输出为 sum[i]=15-i、restored[i]=i-16，对应发布版内置编译目标和参考文件。

编译配置参考

原有底层配置参考仍可用于排查编译问题。ACE-Echo 1.0 根据本机与后端配置生成运行目录中的值，使用快速开始中的命令统一选择。

编译与优化选项

排查时使用成功运行记录中的准确命令。旧 config.mk 包含不同 lane 数和地址映射的历史默认值，整体照抄不等于选择 Venus1。原子扩展选项及附加 pass 也可能随版本改变。

生成产物与排查

旧版路径为 final_output/<dag>.json、bin/<dag>.bin、venus_test/ir/<task>.hex。平台中应使用运行产物记录的路径，实际目录层级可能不同。

外部参数文件

不修改图结构即可用单独文件改变输入：

parameter short gain = {3}

对于实际引用 gain 的目标，使用：

./ace-echo --config .ace-echo/host/local.toml compile dag \
  --target YOUR_DAG --params /path/to/case.params \
  --backend .ace-echo/host/backend.json

外部值覆盖同名静态参数，类型需一致；显式 –params 优先于 dag-source.json 默认值。运行时输入仍保留 dag_input／dfedata 声明，启动程序需使用生成的输入约定。可用字面量范围、运行时完整输入要求和初始化行为见参数文档。

源码依据：词法分析器、解析器、构建配置、Venus1 后端。