阶段5-2：文档收尾——vm 指令执行/扫描周期、compiler 寄存器码/符号表/STCompiler说明、executor 入口全部更新为 V2
This commit is contained in:
+33
-85
@@ -1,24 +1,24 @@
|
||||
# 扫描周期
|
||||
|
||||
vm 模块：寄存器虚拟机。CMake 目标：`vm`（`STATIC`），只依赖 [`指令与映像.md`](../isa/指令与映像.md)。
|
||||
vm 模块：寄存器虚拟机（V2：变长指令 / 槽表两级 / 栈方案 C）。CMake 目标：`vm`（`STATIC`），只依赖 [`指令与映像.md`](../isa/指令与映像.md)。
|
||||
|
||||
运行时是 **一台 VM、一个入口、一份映像**。不链接 `compiler`。扫描周期与确定性见 [`初步计划.md`](../初步计划.md) 第 2、8 节。
|
||||
|
||||
## 扫描周期
|
||||
|
||||
```text
|
||||
1. 按 sidecar 的 io 绑定，采样 → I / 输入全局
|
||||
1. 按 sidecar 的 io 绑定，采样 → I / 输入全局（executor 写值区槽）
|
||||
2. 从 PROGRAM MAIN 的 pc=0 执行到 RET
|
||||
3. 写回 Q / 输出全局
|
||||
4. 用本周期 Δt 推进内置 FB（不用 wall clock）
|
||||
3. 写回 Q / 输出全局（executor 读值区槽）
|
||||
4. 用本周期 Δt（映像头 dt_ms）推进内置 FB（不用 wall clock）；RTC 用累计周期数
|
||||
```
|
||||
|
||||
## 边界
|
||||
|
||||
- 只认 `.stb` 映像（`vm` 自带读实现）；读取时**型号标识匹配 + SHA-256 校验**，不符/篡改 → 拒绝
|
||||
- 类型与溢出按 [`指令与映像.md`](../isa/指令与映像.md)（`INT` 饱和）；指令定义归 `isa`
|
||||
- 局部 / `VAR` = 固定寄存器；`nregs` 在函数头
|
||||
- `CALL` 目标是立即数 `fn_id`，有界调用栈
|
||||
- 只认 `.stb` 映像（`vm` 自带读实现）；读取时**型号标识匹配（STATOR2）+ SHA-256 校验**，不符/篡改 → 拒绝
|
||||
- 类型与溢出按 [`指令与映像.md`](../isa/指令与映像.md)（整数饱和 / 除法 A / 浮点 IEEE）；指令定义归 `isa`
|
||||
- 局部 / `VAR` = 固定寄存器；`nregs` 在函数头；栈区预分配（`max_stack`，编译期 DAG 最坏路径）
|
||||
- `CALL` 目标是立即数 `fn_id`，有界调用栈（深度 64 双检查）
|
||||
- 无 GC、无堆、无线程；每周期受 `cycle_limit` 限制
|
||||
- I/O 从哪来、Δt 谁给、回放怎么喂，属于 `BytecodeExecutor`（读 `.stb` + sidecar）
|
||||
|
||||
@@ -32,19 +32,21 @@ TUI 是执行器（`BytecodeExecutor`）的界面，用途是方便观察 VM 运
|
||||
- **只读轮询**：TUI 通过快照轮询，绝不写 VM 状态；"继续 / 单步"是 executor 侧命令，不改变确定性。
|
||||
- **快照 POD 化**：快照保持简单数据（将来跨进程 TUI 可序列化）。
|
||||
|
||||
建议的 API 形态（12.9 实现时冻结签名，本节只定方向）：
|
||||
已落地的观察面（`Machine` 公共接口）：
|
||||
|
||||
```cpp
|
||||
struct Snapshot {
|
||||
uint32_t pc; // 当前指令下标（相对函数字节码段）
|
||||
uint32_t fn_id; // 当前函数
|
||||
uint32_t cycle_count; // 本周期已执行指令数
|
||||
uint32_t call_depth; // 调用栈深度
|
||||
// 寄存器 / I / Q / M / 全局 / FB 字段 的只读视图
|
||||
};
|
||||
|
||||
bool step(); // 精确执行一条指令，停在指令边界
|
||||
const Snapshot& snapshot() const;
|
||||
bool step(); // 精确执行一条指令，停在指令边界
|
||||
Fault fault() const; // 最近一次故障
|
||||
bool ended() const; // 周期是否已结束
|
||||
uint32_t pc() const; // 当前 pc（字节，相对本帧函数）
|
||||
uint32_t fn_id() const; // 当前函数
|
||||
uint32_t cycle_count() const; // 本周期已执行指令数
|
||||
uint32_t call_depth() const; // 调用栈深度
|
||||
uint8_t* data(); // 值区（I 采样 / Q 读回由外部做）
|
||||
uint32_t slot_addr(uint32_t slot) const; // 槽 → 值区偏移（槽表两级）
|
||||
int64_t reg(uint8_t i) const; // 当前帧寄存器
|
||||
const uint8_t* cur_instr_bytes() const; // 当前指令首字节（单步反汇编用）
|
||||
uint32_t cur_instr_len() const; // 当前指令长度（变长）
|
||||
```
|
||||
|
||||
- 寄存器 ≤256、映像很小，快照拷贝成本可忽略。
|
||||
@@ -52,71 +54,17 @@ const Snapshot& snapshot() const;
|
||||
|
||||
---
|
||||
|
||||
## 12.9 执行计划
|
||||
## V2 落地状态
|
||||
|
||||
| 项 | 状态 |
|
||||
|---|---|
|
||||
| 变长取指（4/8/16/32B，前缀分区）+ 字节 pc | ✅ `Machine.cpp` exec_one |
|
||||
| 槽表两级（slot → addr → 值区变宽紧凑）+ LOAD_OFF/STORE_OFF | ✅ |
|
||||
| 栈方案 C（预分配 max_stack、帧头 12B、r0..r7 复制、深度 64 双检查） | ✅ do_call/do_ret |
|
||||
| 19 类型 func 驱动（整数饱和 / 无符号 / F32 / F64 IEEE） | ✅ exec_arith/exec_cmp |
|
||||
| CAL 15 条（TON/TOF/TP/CTU/DCTU/CTD/DCTD/CTUD/DCTUD/R_TRIG/F_TRIG/SR/RS/PWM/RTC） | ✅ do_cal |
|
||||
| 故障（None/CycleLimit/StackOverflow/BadOp/BadSlot/BadConst） | ✅ |
|
||||
| 边沿缓冲 edge_prev_（每槽 2 字节，跨周期） | ✅ |
|
||||
| 确定性：同一 I 序列跑两遍，数据区完全一致 | ✅ vm_test |
|
||||
|
||||
指令执行语义（帧/调用栈、指令表、定时器、故障、line1 推演）见 [`指令执行.md`](指令执行.md)。
|
||||
|
||||
### 步骤 0：数据段改 8 字节定宽槽（方案 a，前置）
|
||||
|
||||
VM 需要无歧义地访问数据区，当前变宽布局（BOOL 1B / INT 2B / TIME 8B 对齐）无法从槽号推断宽度。定案：**每槽 8 字节定宽**，指令 slot 语义 = **槽号**（数据偏移 = slot × 8）。
|
||||
|
||||
- 文档修订：`Doc/isa/指令与映像.md`（数据段规则 + slot 语义）、`Doc/compiler/寄存器码.md`（存储布局，`global_offset` 映射取消）、`Doc/isa/stb文件格式.md`（line1 数据段 16B → 56B）
|
||||
- `Codegen.cpp` 简化：`width_of`/`align_up` 删除、`layout_data`/`layout_fb_instances` 按槽号布局、指令 slot = 符号表槽号
|
||||
- `codegen_test` 断言更新（slot 从字节偏移变槽号、数据区字节数变化）
|
||||
|
||||
### 步骤 1：`Machine.h`（已落地 `vm/include/vm/Machine.h`）
|
||||
|
||||
```cpp
|
||||
namespace vm {
|
||||
enum class Fault { None, CycleLimit, StackOverflow, BadOp, BadSlot, BadConst };
|
||||
|
||||
class Machine {
|
||||
public:
|
||||
static bool create(const std::vector<uint8_t>& image, Machine* out, std::string* err);
|
||||
Fault run_cycle(); // MAIN pc=0 → RET（MAIN 帧跨周期保留）
|
||||
// 可观察性（v1 预留，见上节）：
|
||||
bool step(); // 执行一条指令，停在指令边界
|
||||
uint32_t pc() / fn_id() / cycle_count() / call_depth();
|
||||
uint8_t* data(); // 数据区（I 采样 / Q 读回由外部做）
|
||||
int64_t reg(uint8_t i); // 当前帧寄存器
|
||||
};
|
||||
}
|
||||
```
|
||||
|
||||
- `Fault` 枚举 + 帧结构 `{ fn_id, regs[nregs], ret_pc, ret_fn_id }`；调用栈深度上限 64
|
||||
- 只依赖 `isa`（指令定义）+ 自带 `vm::Image`（.stb 读）
|
||||
|
||||
### 步骤 2：`Machine.cpp` 译码 switch（已落地）
|
||||
|
||||
- 取指：函数表 → `code_offset`（字节）→ 读 u32 → 拆 `op/rd/a/b`
|
||||
- 标量：`MOVE` / `LOADK`（常量表 tag 定值表示）/ `NOT` / `AND` / `OR`（布尔）/ `ADD/SUB/MUL/DIV`（`sat_*`）/ `CMP_xx`（全宽比较）
|
||||
- 跳转：`JMP` / `JT` / `JF`（`pc += off`，相对下一条语义）
|
||||
- 数据区：`LOAD_I/LOAD_M/LOAD_GLOBAL`、`STORE_Q/STORE_M/STORE_GLOBAL`（同一实现，slot × 8）
|
||||
|
||||
### 步骤 3：CALL / RET 帧栈 + 故障（已落地）
|
||||
|
||||
- `CALL fn_id`：压新帧（复制 r0..r7）→ pc=0；`RET`：复制 r0..r7 回调用方 → 弹栈（MAIN 的 RET = 周期结束）
|
||||
- `cycle_limit` 超限（用例 6）、栈深 > 64、`BadOp` / `BadSlot` / `BadConst` → 周期中止返回故障
|
||||
|
||||
### 步骤 4：定时器与边沿（已落地）
|
||||
|
||||
- 执行时用映像 `dt_ms` 推进（每周期一次调用 = 推进一次），不读系统时钟
|
||||
- TON：in 真 → et += dt（到 pt 停）、q = et ≥ pt；in 假 → et = 0
|
||||
- TOF：in 真 → q=1、et=0；掉电 → et += dt、et ≥ pt → q=0
|
||||
- CTU：cu 上升沿（**上次 cu 存 VM 侧 vector**，按实例基槽索引）→ cv+1；r → 复位；q = cv ≥ pv
|
||||
|
||||
### 步骤 5：可观察性基础（已落地）
|
||||
|
||||
- `step()` / `pc` / `fn_id` / `cycle_count` / `call_depth` / `reg` 落基础实现；`snapshot()` 留 12.11 补全
|
||||
|
||||
### 步骤 6：`vm_test`（已落地）
|
||||
|
||||
- 手工拼小映像（`isa` 编码函数）：赋值、跳转、CALL/RET 帧复制、cycle_limit
|
||||
- 编译器产物全链路：用例 01/02/04/05/07/09/13/15/17/18/20 跑周期断言寄存器与数据区
|
||||
- 用例 06：`cycle_limit` 打满 → `CycleLimit` 故障
|
||||
- TON：dt=10、pt=30 → 第 3 周期 q=1；CTU：上升沿计数
|
||||
- **确定性**：同一 I 序列跑两遍，数据区完全一致
|
||||
|
||||
### 步骤 7：验证 + 提交（已落地，ctest 14/14）
|
||||
|
||||
- `cmake --build` + `ctest`（新增 `vm_cycles` 后 10/10 全绿）；20 用例扫描：14 正例执行通过
|
||||
|
||||
Reference in New Issue
Block a user