codecin 5.8.0__tar.gz → 5.9.0__tar.gz

{codecin-5.8.0 → codecin-5.9.0}/CHANGELOG.md

@@ -5,6 +5,149 @@
 
 ---
 
+## [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
+
+一次以「真实压测程序暴露的错误信息与栈安全」为主线的修复发布。核心结论：
+5.5.3 的浮点下标修复在三条执行路径均有效（`a[(n * p) / 100]` 一类变量参与
+的浮点表达式同样覆盖）；用户在 Termux 上报告的 `address ffffffffffffc6f8
+out of bounds` 实为**局部大数组把栈推成负地址**——`int lat[10000]` 需要
+80 KB 局部空间，超过默认 64 KB 内存后 SP 绕回，越界检查检查的是绕回后的
+地址。为此新增带防护的帧分配系统调用（SYS 137），并全面改进运行时/编译期
+错误信息、补齐 CLI 直传参数与高精度计时。
+
+### 修复 (Fixed)
+
+#### 局部大数组撑爆栈（静默生成负地址）
+- **函数序言的帧分配改为带防护的系统调用**。此前 prologue 用裸 `ADDI sp, sp,
+  -frame_bytes` 递减栈指针，局部数组总大小超过可用内存时 SP 绕回为巨大无符号
+  值（如 0xFFFFFFFFFFFFC6F8），后续所有访问都指向"负地址"，报错只看到一句
+  out of bounds，看不出真因。现在两侧编译器（`cin.py` / `codegen.go`）改为
+  `SYS ALLOCFRAME`：VM 侧用**有符号比较**在分配前检查栈余量（含 4 KB 警戒
+  线），不足时直接报
+  `Stack overflow: frame needs N bytes, stack headroom only M bytes (...)
+  Try --mem-size (default 65536) or smaller local arrays`，
+  不再让绕回地址流入访存路径。Python 解释器、JIT、Go 原生三条路径语义一致。
+- **负地址越界提示兜底**：地址 >= 2^63 的越界报错（Python `memory.py` 与
+  Go `checkAddr`）追加
+  `(negative address: stack overflow or bad pointer?)`，把"看起来像随机大数"
+  的地址翻译成可排查的方向。
+
+#### 错误信息补全（问题 2/4/5）
+- **Heap exhausted 附用量与建议**：三处堆耗尽点（malloc / 字符串拼接 / 字符串
+  操作）在 Python 与 Go 两侧逐字一致地报
+  `Heap exhausted: need N bytes, free M bytes (heap 0x...0x...).
+  Try --mem-size (default 65536) or reduce allocations`。
+- **非常量数组长度的编译期报错附 hint**：
+  `array lengths must be compile-time constants; declare it as
+  \`const int NAME = ...\`; variable-length arrays are not supported —
+  use a fixed-size array plus a count variable`。
+- **`float(x)` / `int(x)` 报错附替代写法**：提示使用 `to_float(x)` / `to_int(x)`
+  或依赖混合表达式的隐式提升。
+
+#### 兼容层与文档
+- `gostd.cin` 头注释明确列出当前覆盖的包（strings / strconv / math / slices /
+  os.Args）与**未覆盖项**（time、os 文件读写、net/http、sync），并指向对应
+  内建（`time_ms/time_us/time_ns`、`file_*` 函数族），避免"Go 标准库兼容层"
+  的命名让人误以为常用包会逐步全覆盖。
+
+### 新增 (Added)
+
+#### CLI 程序名后直传参数
+- `codecin 压测.cin https://example.com 24` 现在可用：程序文件之后的裸参数
+  原样传给 CIN 程序（`arg_count()` / `arg(i)`），已知 CLI 选项放在程序之前或
+  之后均可识别；形如选项的直传参数给出 stderr 提示并用 `--` 显式分隔。
+  `--` 分隔符行为不变且优先级最高，`--help` 新增 Program arguments 说明段。
+
+#### 高精度计时 `time_us()` / `time_ns()`（SYS 138/139）
+- 微秒 / 纳秒级单调计时，补齐 `time_ms()` 只能测毫秒的短板（压测与微基准
+  基础设施）。两侧编译器同步登记，解释器 / JIT / 原生三条路径均可用；
+  与 ALLOCFRAME 同属核心 VM 机制，不触发沙箱门禁与原生路径限定。
+
+#### 显式类型转换 `to_int()` / `to_float()`
+- 数值类型（int/float/bool）间的显式转换，语义与隐式转换一致（float→int 向零
+  截断）。非数值参数在编译期报错并说明。
+
+---
+
 ## [5.8.0] - 2026-10-04
 
 一次「图形、媒体与跨平台兼容」发布：新增 **GUI 窗口**（Windows Win32 /