codecin 5.8.2__tar.gz → 6.0.0__tar.gz

{codecin-5.8.2 → codecin-6.0.0}/CHANGELOG.md

@@ -5,6 +5,135 @@
 
 ---
 
+## [6.0.0] - 2026-10-17
+
+### 新增 (Added)
+
+- **恢复 `--debug` 调试模式**（native-only 架构下的等价能力）：强制 `DEBUG`
+  日志（优先于 `--log-level`）、执行结束输出寄存器/向量现场与执行统计表、
+  未预期异常打印 rich 完整堆栈；`Config.debug_mode` 配置项同步回归。
+- **native AOT 后端（第一阶段）**：新增 `--build-backend auto|native|vm`，默认
+  `auto` 在指令数 ≤ 20000 时走 `native`，把指令流直接展开为 Go 语句，核心
+  整数/控制流/内存/SYS 指令不再经过 UCBC 解码与 opcode dispatch，由 Go 编译器
+  产出 x86-64/ARM64 机器码；大程序自动回退 VM，避免大量指令让 `go build`
+  极慢。ARM64/RISC-V 扩展整数、FP 与 Vector 指令也已直接降级；仅动态控制流/
+  无法静态求值的操作数保留受控单指令回退。
+- **大程序 native 基本块拆分**：超过 800 条指令自动按跳转目标/返回点切分
+  为多个 Go 函数，避免单个函数过大导致 `go build` 极慢；`basic.cin`
+  （约 4500 条指令）现在可直接走 native 并产出与 VM 一致的输出。
+- **AOT 支持 ASM/PL/BIN 输入**：`--build-exe` 不再只接受 `.cin`；汇编器/
+  `crom.load_bin` 装载的指令流同样可走 native 或 VM 后端并生成静态可执行文件。
+- **AOT 增量构建缓存**：按源文件/import 闭包、目标平台、后端、优化级别、
+  内存/步数以及 Python/Go 工具链指纹缓存产物；命中时跳过 `go build`，
+  `--no-build-cache` 可禁用，`CODECIN_AOT_CACHE` 可指定缓存目录。
+  对象/归档链接同样按输入对象内容与链接选项缓存。
+- **AOT 调试构建**：`--build-debug` 跳过 `-s -w`，保留 Go 符号表/DWARF，
+  产物仍为独立静态可执行文件。
+- **独立编译/链接 (CIN/ASM/PL)**：`--emit-object` 生成可重定位 `.co` 对象
+  （保留未解析标签、代码/数据符号、内存段），`--link` 合并多个对象、
+  分配代码/数据基址并解析跨对象符号；链接结果可直接走 native/VM AOT，
+  并支持链接期 `--optimize 0-3`。重定位覆盖 `NAME±N` 与
+  `DW/DD/DQ label` 数据指针。CIN 新增 `extern function` / `extern` 全局
+  声明：无 `main` 的 CIN 文件可作为函数库对象参与链接，库内字符串/标量
+  全局/struct 指针槽会按对象数据基址重定位。
+- **`.colib` 静态库归档**：`--emit-archive` 把多个对象打包，`--link`
+  按未定义符号只拉取需要的归档成员 (C 风格静态库语义)。
+- **源文件直接链接**：`--link` 可直接接受 `.cin/.asm/.pl`，即时编译为
+  对象后链接，省去显式 `--emit-object` 步骤。
+- **链接期代码段 GC**：`--gc-sections` 从入口做保守控制流可达性分析，
+  删除未调用的函数/桩；遇到动态 CALL/JMP 或代码指针时自动放弃以避免误删。
+- **真实可用的 `--optimize 0-3`**：新增 IR 优化器（窥孔、常量折叠、不可达
+  代码删除），同时作用于 VM 执行路径、`--compile` 与 native AOT；
+  标签/入口在删除指令后自动重映射。
+- 新增 `NativeRuntime`（Go 引擎侧）与 `native_codegen`/`optimizer`（Python
+  侧），并补充 native AOT、优化器、交叉编译测试。
+
+### 修复 (Fixed)
+
+- native 后端 `ASR rd, rn, shift` 三操作数形式被误当成两操作数 Base 形式，
+  导致算术右移与复合赋值结果错误。
+
+---
+
+## [5.9.0] - 2026-10-05
+
+一次「单引擎 + 大内存 + 系统能力」的架构发布：**纯 Python 解释器与 JIT
+被移除**，全部程序统一由 Go 原生引擎执行；内存默认从 64 KB 提升到
+**1 GiB（稀疏分页, 按需提交）**；新增 **FFI 动态库调用**与**完整网络**
+（HTTP 扩展 / TCP / UDP / DNS）系统调用。持久化格式升级为段式
+（CROM v4 / BIN v3），只保存实际使用的内存页。
+
+### 变更 (Changed)
+
+#### 删除 Python 解释器与 JIT (native-only)
+- **`jit.py` / `debugger.py` / `cache.py` 整体删除**，`CPU` 重构为
+  native-only 执行编排：编译/装载 (.cin/.asm/.pl/.bin/.crom) + 结果回传。
+  动态库缺失时抛 `CPUSimulatorError` 并附重建指引（不再有解释器回退）。
+- 引擎 ABI 升级为 **v2**（`codecin_run_v2`）：一次调用回传寄存器/向量/
+  NZCV/脏内存段/输出，Python 侧无逐条解释开销。
+- 相关 CLI 选项与配置项（`use_native` / JIT 统计 / 调试器等）随之移除，
+  `--stats` 只保留原生引擎数据。
+- 新 ABI 下原生库版本不匹配（缺 `codecin_run_v2` 导出）会被识别并提示
+  重建，而非静默失败。
+
+#### 内存默认 64 KB -> 1 GiB (动态分配)
+- **逻辑 1 GiB, 4 KiB 稀疏分页**：Python 侧 `FastMemory` 重写为按需分配页
+  的稀疏字典，`resident_bytes` 只统计已触碰页——1 GiB 地址空间常驻内存
+  只有实际写入的几 KB。
+- Go 引擎侧配合 `make([]byte, memSize)`（OS 懒提交）+ **脏页位图**：执行
+  结束只回传被写过的 4 KiB 页（段式），整程序执行后写回稀疏内存。
+- 大数组/大缓冲不再需要 `--mem-size`：默认即可 `int a[1000000]`。
+
+#### 持久化格式: 段式 CROM v4 / BIN v3
+- CROM v4（16 B 头 + zlib 可选压缩段表）与 BIN v3（50 B 头 + 段表 +
+  bytecode）只保存已分配页；`.pytest_tmp` 内 1 GiB 镜像实测仅数 KB。
+- 旧 BIN v2（34 B 头）仍可读；反汇编器（`disasm.py`）同步支持两种头。
+
+### 新增 (Added)
+
+#### FFI: 动态库调用 (SYS 140-144)
+- `ffi_load(path)` / `ffi_find(handle, symbol)` / `ffi_call(fn, argbuf, n)` /
+  `ffi_callf(fn, argbuf, n)` / `lib_close(handle)`：Windows
+  (LoadLibrary/GetProcAddress) 与 Unix (dlopen/dlsym) 双实现，最多 8 个
+  int64/IEEE754 位参数（浮点经 Windows x64 XMM0-3 / SysV XMM0-7 正确传参）。
+- 标准库 `lib/ffi.cin`：`ffi_call0..ffi_call8` / `ffi_callf1..ffi_callf4`
+  便捷封装（局部数组作参数缓冲）。
+- 无效句柄/参数越界报明确错误信息；`dlopen`/`dlsym` 失败返回 0 不抛异常。
+
+#### 网络: HTTP 扩展 / TCP / UDP / DNS (SYS 145-157)
+- **HTTP**：`http_req(method, url, headers, body)`（自定义方法与
+  `Key: Value\n` 头）+ `http_code()` 状态码查询；既有 `http_get`/`http_post`
+  同样记录状态码。15 s 超时，响应体上限 8 MiB。
+- **TCP**：`tcp_dial` / `tcp_send` / `tcp_recv` / `tcp_close` /
+  `tcp_listen` / `tcp_accept`（10 s 连接超时；收发上限 4/8 MiB）。
+- **UDP**：`udp_open` / `udp_sendto` / `udp_recvfrom`（源地址回填
+  "ip:port"）/ `udp_close`。
+- **DNS**：`dns_lookup(host)` 返回 IP 字符串（偏好 IPv4 —— Windows 下
+  `localhost` 常先返回 ::1，对端只听 IPv4 时不再丢包）。
+- 主机名参数统一支持（`tcp_dial("example.com", 80)`、
+  `udp_sendto(fd, "localhost", ...)`）。
+- 标准库 `lib/net.cin`：字符串收发（`tcp_send_str`/`tcp_recv_line`/
+  `udp_send_str` 等）、`http_get_headers`/`http_post_headers`/`http_ok`、
+  `tcp_roundtrip`/`tcp_server`、`dns_resolve`/`dns_ok`。
+
+### 修复 (Fixed)
+- **`http_get`/`http_post` 不记录状态码**：`http_code()` 此前对这两个内建
+  恒返回 0（只有 `http_req` 更新 `lastHTTPSt`），现在三者语义一致。
+- **FFI 浮点传参走错寄存器**：C 桥此前把函数指针声明为整型参数，Windows
+  x64/SysV 下目标函数从 XMM 读到垃圾——`ffi_callf2(pow, 3.0, 4.0)` 实际算出
+  `pow(x, 0) = 1`。现按 double 类型传参（位模式经 memcpy 保持不变）。
+- `udp_sendto` 主机名解析只取第一个地址（可能为 IPv6），现偏好 IPv4。
+
+### 移除 (Removed)
+- `codecin/jit.py`、`codecin/debugger.py`、`codecin/cache.py` 及对应测试
+  （9 个废弃测试文件删除；`use_native` 参数化全部收敛为单路径）。
+- `PageFaultError`（并入 `MemoryAccessError`）。
+- 沙箱语义不变：`--sandbox` 下仅放行 ALLOCFRAME/TIMEUS/TIMENS，
+  其余宿主 SYS（网络/FFI/音频/画布等）报
+  `Host capability disabled in sandbox mode`。
+
+---
+
 ## [5.8.2] - 2026-10-04
 
 一次以「真实压测程序暴露的错误信息与栈安全」为主线的修复发布。核心结论：