 Admin
|
dbedc17032
|
阶段4-2a：vm/Image V2（头 128B/6 段校验/槽表访问器）
- ImageHeader：V2 字段（offset_slots/offset_values + n_slots/values_size/
offset_meta/max_stack）；kModelVersion=2（STATOR2）
- 段校验：const/funcs/code/slots/values + meta=0 空段处理、尺寸一致性、对齐
- 常量表 8B 无 tag；FuncRow.code_len 字节；slot_addr/slots_bytes 访问器
- 验证：V2 产物解析 ok、model_matches(STATOR,2)/sha 校验通过
- 状态：Machine.cpp 仍破（4-2b）
|
2026-08-26 09:59:18 +08:00 |
|
|
Admin
|
7aa2bbefcf
|
stb 头字段偏移常量表：消除 vm/compiler 两侧裸魔法数
- vm/Image.cpp：匿名空间 constexpr 偏移常量（kOffMagic..kOffModelId + 段内行偏移），
from/model_id/model_matches/func_row/const_entry 全部替换
- compiler/Stb.h：同值 inline constexpr 表（Codegen 写侧 + Stb 读侧共用）
- compiler/Codegen.cpp assemble_image：put_* 头字段/行内偏移替换
- compiler/Stb.cpp StbView：读侧偏移替换
- 两侧 static_assert：头大小 = 72 + 型号标识、字段偏移单调、行内布局自洽
|
2026-08-24 08:55:57 +08:00 |
|
|
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 |
|