chentianya/Interpreter
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
78 Commits 2 Branches 1 Tag
main
Commit Graph
10 Commits
Author SHA1 Message Date
Admin fff7aef968 vm 模块注释完善：Doxygen 风格。 
- Image.h/.cpp：头 104 布局逐字段、SHA-256 增量状态机（update/process/final）、
  校验项清单（from）、型号标识契约、func_row/const_entry/data_len 等访问器语义
- Machine.h/.cpp：Fault 枚举逐项、create 校验顺序（解析→SHA→型号）、
  调用约定（r0 结果/r1..r7 实参）、exec_one 取指/计数/分发流程、
  do_call/do_ret 帧语义、do_cal 八 FB 字段布局、slot_get/set 边界契约
 2026-08-21 23:21:51 +08:00
Admin b13585711a 阶段 C 步骤 8：vm 读侧型号匹配 + SHA-256 校验。 
- vm/Image.cpp：执行器侧 SHA-256 实现（与 compiler 各一份）、fill_model_id、
  model_id()/model_matches()/sha_ok()；data_len 不含 SHA 尾
- Machine::create：sha256 不匹配 → 'image sha256 mismatch'；型号不匹配 →
  'image model mismatch'（内建 kModelName=STATOR/kModelVersion=1），均拒绝
- vm_test：手拼映像填型号（修越界读 bug）+ compiler::sha256 填尾（95 断言）；
  新增篡改拒绝（sha256 mismatch）与型号不匹配（重算 SHA 后 model mismatch）用例
- 验证：line1 正常执行 Q=1；篡改一字节 → 执行器 'image sha256 mismatch' 拒绝；ctest 12/12
 2026-08-21 22:29:33 +08:00
Admin 5fccbadaa8 阶段 C 步骤 7：isa 拆出 Image，vm 依赖收窄。 
- 删 isa/Image.h + Image.cpp（ImageView/FNV/写文件/sidecar 不再属于 isa）
- vm 自实现只读视图 vm/Image.h/cpp：头 104（12.13）/段校验/缺 SHA 尾报错
  （型号匹配与 SHA 校验留步骤 8）；Machine 改用 vm::Image + vm::ImageHeader
- executor：本地读文件（替换 isa::read_stb_file）
- 测试：isa_test 删映像/FNV 部分；codegen_test/vm_test 改用 compiler::StbView /
  vm::ConstEntry；vm_test 手拼映像适配新格式（头 104 + 尾 32 占位）
- 验证：line1 编译 288 字节 → BytecodeExecutor 回放 Q 正确；ctest 12/12
 2026-08-21 22:24:57 +08:00
Admin 26256a36b9 扩充内置功能块为 8 个：TON/TOF/TP/CTU/CTD/CTUD/R_TRIG/F_TRIG。 
- isa：CAL_* 操作码连续占 24..31（CALL/RET 后移为 32/33，kOpCount=34）；disasm 支持 5 个新操作码
- 词法/语法/链接：新 8 个关键字与冻结布局（TP=in/pt/q/et、CTD=cd/ld/pv/q/cv、
  CTUD=cu/cd/r/lu/pv/qu/qd/cv、R_TRIG/F_TRIG=clk/q）
- VM：do_cal 全 8 个语义（TP 脉冲、CTD 递减、CTUD 双向+装载、R_TRIG 上升沿、F_TRIG 下降沿）；
  edge_prev_ 每槽 2 字节存边沿上次输入；exec_one 分发补 5 个新操作码
- 验证：TP 30ms 脉冲 2 周期、CTD 装载+递减到 q=1、CTUD cu/cd 双向、R/F_TRIG 交替；
  ctest 11/11 全绿
- 文档：指令与映像/词法/初步计划/符号表与链接/指令执行/扫描周期/使用说明 同步
 2026-08-21 20:38:27 +08:00
Admin 66d9c6c548 12.11 闭环：二十用例点亮 + 单步观察。 
- cases_test：tests/cases/01..20 逐一跑完整管线（解析→链接→类型→码→VM 周期），
  按 EXPECTED.md 期望断言：13 正例运行通过（含双周期可重复）、06 CycleLimit、6 负例报错类别
- BytecodeExecutor --step：采样 I → 逐指令打印 pc/fn/反汇编 + 执行后非零寄存器 → I/Q
- Machine 补 header()/ended()/nregs()/cur_instr() 观察接口
- ctest 11/11（cases_all 20 用例点亮）；line1 回放 0/1 组合 Q 正确、单步 I=[0 1]→Q=[1]
 2026-08-21 20:31:14 +08:00
Admin 00565f035d 12.10 双可执行接线：编译产出 sidecar，BytecodeExecutor 跑周期。 
- STCompiler -o：另写 <name>.runtime.toml（io 绑定 var→槽号→channel/bit，槽号来自链接结果）
- BytecodeExecutor <name>.stb [--cycles N] [--replay <file>]：加载 .stb + sidecar，
  逐周期采样 I（回放行按 io.input 顺序）→ 跑周期 → 打印 I/Q；故障打印 FAULT 退出码 1
- 手写 sidecar 解析（冻结 TOML 子集）；Machine 暴露 header()（dt_ms/cycle_limit）
- 验证：line1 回放 0/1 组合 Q 正确（急停/start 语义）、用例 06 CycleLimit FAULT；ctest 10/10
 2026-08-21 20:26:28 +08:00
Admin ada9e5f99e 12.9 步骤 4：定时器 CAL_TON/CAL_TOF/CAL_CTU。 
- do_cal：内建布局冻结（TON/TOF: in/pt/q/et、CTU: cu/r/pv/q/cv，字段=槽序号×8）
- TON：in 真 → et+=dt（到 pt 停）、q=et≥pt；假 → 清零
- TOF：in 真 → q=1/et=0；掉电 → et+=dt、et≥pt → q=0
- CTU：cu 上升沿（ctu_prev_ 跨周期）→ cv+1；r 复位；q=cv≥pv
- 抽 slot_get/slot_set 复用（exec_one 的 LOAD/STORE 同步重构）
- 验证：TON 3 周期到 q=1、TOF 掉电延时 2 周期、CTU 交替上升沿到 cv=3、复位；line1 三组 I 组合 Q 正确 + 确定性两遍一致
 2026-08-21 20:20:26 +08:00
Admin a84a1a62ce 12.9 步骤 3：CALL/RET 帧栈与故障。 
- do_call：压新帧（nregs 分配、复制 r0..r7、记 ret_pc/ret_fn_id）→ pc=0；fn_id 越界 BadOp、深度≥64 StackOverflow
- do_ret：复制 r0..r7 回调用方（r0=结果）→ 弹栈 → pc=ret_pc；MAIN 的 RET = 周期结束
- 验证：用例 13 x=Add(3,4)=7、双周期帧保留；手拼自调用映像触发 StackOverflow（深度 64 后清栈）
 2026-08-21 20:17:55 +08:00
Admin efe4dd1a2c 12.9 步骤 2：VM 译码 switch（标量/跳转/LOAD-STORE）。 
- Machine.cpp：create（拷贝数据段+建 MAIN 帧）、run_cycle、step、exec_one
- 标量：MOVE/LOADK（常量表 tag 定值表示）/NOT/AND/OR/四则饱和/CMP 全宽比较
- 跳转：JMP/JT/JF（相对下一条）；LOAD/STORE：slot×8 定宽槽，BadSlot 校验
- 寄存器越界检查按指令形态（a|b 作偏移/槽号/常量 id 时不查）
- 修：ImageView 默认构造公开（无效态）、Codegen 两个编译警告
- 冒烟：用例 02/04/07/05 跑通、06 触发 CycleLimit、step 单步
 2026-08-21 20:16:28 +08:00
Admin 9a35a881d1 建立四模块 CMake 骨架与 line1 样例。 
- compiler / vm 空静态库，host 可执行打印版本
- 顶层解开 add_subdirectory，tests 接入 CTest（host_version 通过）
- examples/line1 落地 project.toml 与三个 .st
- Types.h 注释补饱和规则，与 Doc/isa 一致
- .gitignore 忽略 Doc/会话记录.md
 2026-08-19 10:09:27 +08:00