 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 |
|