diff --git a/docs/子系统设计/配置文件设计说明.md b/docs/子系统设计/配置文件设计说明.md index cd953592..4d194a87 100644 --- a/docs/子系统设计/配置文件设计说明.md +++ b/docs/子系统设计/配置文件设计说明.md @@ -588,3 +588,4 @@ void adc_cfg_init(void) | 2026-09-18 | v1.11：**P0-1 修复（临时缓冲改走平台堆）**——共享核心 4 处 `malloc`（读缓冲 4,097B / 模板输出 5,120B / 外科保存 Pass1 副本 + 输出 5,120B）此前落在 **MicroLIB C 堆**上，而该堆由 `startup_stm32f407xx.s` 的 `Heap_Size EQU 0x200` 限定为 **512 B**，真机必然分配失败 → 配置加载静默回落工厂默认（模拟器用宿主 CRT 堆，两端不一致，故双端 0 警告 0 错也照不出来）。① `cfg_file_store` 新增 `cfg_store_alloc/cfg_store_free/cfg_store_heap_free` 后端三件套（MCU = `pvPortMalloc/vPortFree`，与 `lftpd_io.c` 同模式；模拟器 = `malloc/free`），共享核心不再出现 C 库分配符号；② 新增编译期堆峰值预算 `CFG_HEAP_BUDGET = 10240B`（typedef 负数组实现，ARMCC 5 C99 无 `_Static_assert`），放大 `CFG_FILE_MAX_LEN`/`CFG_OUT_MAX` 直接编译失败；③ 四条失败路径（load 读失败 / 模板写失败 / 保存分配失败 / 保存写盘失败）增 `syslog_post(SYSLOG_SELFTEST, …)` 上报，不再只留串口行；`load: OK` 行附带 `heap free` 实测值；④ 属主任务注释同步为 defaultTask。map 复核：`malloc.o` 不参与链接、`Removing startup_stm32f407xx.o(HEAP), (512 bytes)`，静态区 126,584 → **126,064 B**（余 4,488 → **5,008 B**）；双端 0 错 0 警、`--cfgtest` PASS | | 2026-09-22 | v1.12：**E-01 超长守卫根治**（错误码传播审计第一档 #3，commit d030cb0）——poll 的"超长=损坏"检查写在截断后读长（`s_load_file` 读长钉死 4096）上**恒假=死码**，超长文件被截断当有效解析 → 界外静默回工厂默认 → 基线粘住 → 用户配置销毁链。① poll 沉降分支判定改用 `cfg_store_stat` 真实 `st.size` 且**先于读取**，超长走"工厂默认 + 重建模板 + `cfg poll oversized` 自检留痕"，**刻意不触发段回调**（避免按工厂 IP 重建网络造成静默失联，保留 FTP 修复通道，保存/重启收敛）② `s_surgical` 输出上限 `CFG_OUT_MAX`(5120) 收紧至 `CFG_FILE_MAX_LEN`(4096)，超限走溢出中止路径（原文件不动 + `cfg save overflow` 自检）——消除"合法写出 4097~5120B 文件 = 下次开机销毁"的雷 ③ `s_write_doc` 唯一落盘闸口硬拒 >4096B（结构性保证）④ load 超长分支补 `cfg load oversized` 自检；`cfg_file.h` v1.2 契约同步；模拟器 cfgtest 新增两回归锁（4160B 伪造 → poll 判损坏重建；4000B 注释文件 → save 拒写且原文件未动）。**台架验证暴露并修复**：`cfg_store_write_atomic` MCU 后端 `f_rename` 对已存在目标返回 `FR_EXIST` 不覆盖 → 设备端一切"目标存在的覆盖写"（UI 保存/模板重建）静默失败、仅首启建文件成功——v1.9 已为模拟器后端修过同款（MSVC `rename()` C1117），MCU 侧漏了对称修复；修复 = rename 前先 `unlink` 目标（commit 70f1cc8）。双端 0 错 0 警、cfgtest PASS、台架 FTP 5047B 用例 poll/load 双路径自愈 PASS（重建 523B 工厂模板 + selftest 留痕 + 不掉线）、`@test` 默认闭环 PASS、ST-LINK 全片回读一致 | | 2026-10-03 | v1.13：**真机验证 PASS（A1 闭环）**——v1.11 的 P0-1 堆分配改造在真机上验证通过：`[CFG] load: OK (523B, heap free 8840B)`（**经 FreeRTOS 堆分配**，即 512B C 堆约束的验收点）；Forbidden `FAIL`/`[ERR]` 零命中；FTP 改配置 IP→`192.168.1.101` 后**复位即加载生效**（`[NET_CFG] load: OK ip=192.168.1.101` + 芯片 `IP_INF` .101 + 21 端口探测可达），原档恢复后复测回 .100。真机全闭环 `@test` PASS 7/7。**台架步骤与判据见 `测试说明/实机测试实施指南.md` §3 / §10** | +| 2026-10-04 | **P0-1 真机独立复跑 PASS（二次确认，代码零改动）**——`@build` 0/0（增量，无源文件新于镜像）→ `@test` **VERDICT PASS（rc=0）**：`[2026-10-04 00:01:21][CFG] load: OK (523B, heap free 8840B)` + `[NET_CFG] load: OK ip=192.168.1.100`，Forbidden `FAIL`/`ERROR`/`HardFault`/`[ERR]` 零命中，`selftest: no fault record`（先清掉 2026-10-02/03 故障注入窗口遗留的 67 条台账）→ ST-LINK 全片回读 `No difference found`（`0x08000000~0x08040F9B`）。**本次为 `待处理内容.md` §4.1「待验证」唯一未闭环项（P0-1）的收口**，该节现已清空 | diff --git a/docs/待处理内容.md b/docs/待处理内容.md index ed468f5e..2b54262b 100644 --- a/docs/待处理内容.md +++ b/docs/待处理内容.md @@ -37,7 +37,7 @@ | 级别 | 数量 | 关键项 | |---|---|---| -| **P0** | 0 | P0-1 已修复（2026-09-18），仅剩真机 `@test` 验证（见 §4） | +| **P0** | 0 | **P0-1 已闭环**：2026-09-18 修复（cfg_file 临时缓冲改走 FreeRTOS 堆）+ 2026-10-03 真机 `@test` PASS + 2026-10-04 独立复跑 PASS（见 §4 说明与 `子系统设计/配置文件设计说明.md` v1.13） | | **P1** | 2 (+1 收尾) | **P1-1 ADC 采样路径产品构建中死亡**；**P1-7 MAC 写入顺序**（待 CH395F 手册 §9.2.1）；P1-10 测试固件构建实测闭环（主体已闭环，见 §3.1） | | **P2** | 10 | 健壮性/错误传播/文档失真：P2-1/2/7/8/9/10/11/12/13/15（详见 §3.2） | | **P3** | 6 | 卫生项：P3-1/2/4/6/8/11（其余已销项），可随其他修改顺手处理 | @@ -294,13 +294,13 @@ S14 已在 workflow 显式提示"体积门禁未执行"（`::notice::`）并在 --- -## 4. 待验证与待确认 +## 4. 待确认（需手册/硬件/产品定义，暂不直接改码） -### 4.1 待验证 - -- **P0-1**（2026-09-18 修复：cfg_file C 库 `malloc` → `cfg_store_alloc/free/heap_free`，MCU 端 = FreeRTOS 堆，`CFG_HEAP_BUDGET=10,240B` 编译期预算 + 四条失败路径自检）：真机 `@test` 一次，确认 `load: OK` 出现且 Forbidden `FAIL` 零命中（双端构建/`--cfgtest` 已绿；模拟器宿主堆照不出真机问题，真机正向确认是最后一道门）。 - -### 4.2 待确认（需手册/硬件/产品定义，暂不直接改码） +> **原 §4.1「待验证」已清空**：唯一条目 **P0-1**（cfg_file 堆分配改造的真机 `@test` 正向确认） +> 已于 **2026-10-03** 真机 PASS，并于 **2026-10-04 独立复跑 PASS** 二次确认： +> `[CFG] load: OK (523B, heap free 8840B)`（经 FreeRTOS 堆分配）+ Forbidden `FAIL`/`ERROR`/`HardFault`/`[ERR]` 零命中 + +> `selftest: no fault record` + ST-LINK 全片回读 `No difference found`。 +> 证据沉淀见 `子系统设计/配置文件设计说明.md`（v1.11 实施 / v1.13 真机验证）。 1. TPAFE5160 是否有自动扫描模式（决定 P1-1 定 P0 还是 P1）。 2. CH395F 手册 §9.2.1：`INIT_CH395` 是否锁存 MAC 寄存器（决定 P1-7 修复紧迫度）。 diff --git a/docs/测试说明/实机测试实施指南.md b/docs/测试说明/实机测试实施指南.md index 6fe22b58..db93628e 100644 --- a/docs/测试说明/实机测试实施指南.md +++ b/docs/测试说明/实机测试实施指南.md @@ -417,7 +417,7 @@ CH395F / STORAGE / GD5F，未含 RTC；怀疑 RTC 构建下 `testTask` 不被创 | 事项 | 状态 | 实施细节 / 证据所在 | |---|---|---| | **S7** 自检结果判定 | ✅ 已落地并投用 | `测试说明/自动化测试流程.md`；提交 `4a4cd29` | -| **A1** P0-1 `cfg_file` 堆分配改造 | ✅ 已闭环（含真机持久化） | `子系统设计/配置文件设计说明.md`（实施 v1.11 + 2026-10-03 真机验证记录） | +| **A1** P0-1 `cfg_file` 堆分配改造 | ✅ 已闭环（含真机持久化） | `子系统设计/配置文件设计说明.md`（实施 v1.11 + 2026-10-03 真机验证记录 + 2026-10-04 独立复跑记录） | | **A2** P1-8 网络重建失败恢复 | ✅ 已闭环（正常路径零回归；故障分支见 N-16） | `网络/Net层阻塞模型架构设计.md` | | **A3** E-34 CH395F 字节命令超时 | ✅ 已闭环（正常路径零回归；故障分支待专项窗口） | `问题记录/错误码传播审计.md` E-34 | | **A4** E-04 `remo_send` 返回值 | ✅ 已闭环（正常路径零回归；推流压测待专项窗口） | `问题记录/错误码传播审计.md` E-04 | diff --git a/docs/问题记录/项目审查与优化建议报告.md b/docs/问题记录/项目审查与优化建议报告.md index d11c3de9..e1c2087e 100644 --- a/docs/问题记录/项目审查与优化建议报告.md +++ b/docs/问题记录/项目审查与优化建议报告.md @@ -11,7 +11,7 @@ > **与既有文档的关系**：本报告不重复 `docs/待处理内容.md`（逐条缺陷台账）与 `docs/内存管理/RAM使用分析与优化方案.md`（内存专项方案），而是做**体系层评审 + 量化补强 + 新增发现**。新增发现统一编号 `N-xx`，已在台账中的条目按 `P1-x/P2-x/P3-x` 引用。 -> **落地进展（2026-09-18）**：**N-01 已修复**（L0 方案，台账 `P0-1`）——`cfg_file_store` 后端新增 `cfg_store_alloc/cfg_store_free/cfg_store_heap_free`，MCU 端落到 FreeRTOS 堆（`pvPortMalloc`），共享核心 C 库分配符号清零 + 编译期堆峰值预算 + 四条失败路径上报自检记录。双端 0 错 0 警、`--cfgtest` PASS；map 复核 `malloc.o` 已不参与链接且 `Removing startup_stm32f407xx.o(HEAP), (512 bytes)`，**SRAM1 由 126,584 B / 96.6%（余 4,488 B）降到 126,064 B / 96.2%（余 5,008 B）**。本报告其余内存数字仍以修复前的 2026-09-16 map 为基线，逐条换算时扣 512 B 即可；真机 `@test` 正向确认仍待执行。 +> **落地进展（2026-09-18）**：**N-01 已修复**（L0 方案，台账 `P0-1`）——`cfg_file_store` 后端新增 `cfg_store_alloc/cfg_store_free/cfg_store_heap_free`，MCU 端落到 FreeRTOS 堆（`pvPortMalloc`），共享核心 C 库分配符号清零 + 编译期堆峰值预算 + 四条失败路径上报自检记录。双端 0 错 0 警、`--cfgtest` PASS；map 复核 `malloc.o` 已不参与链接且 `Removing startup_stm32f407xx.o(HEAP), (512 bytes)`，**SRAM1 由 126,584 B / 96.6%（余 4,488 B）降到 126,064 B / 96.2%（余 5,008 B）**。本报告其余内存数字仍以修复前的 2026-09-16 map 为基线，逐条换算时扣 512 B 即可；**真机 `@test` 正向确认已于 2026-10-03 执行并 PASS（2026-10-04 独立复跑 PASS）**，证据见 `子系统设计/配置文件设计说明.md` v1.13。 --- @@ -32,7 +32,7 @@ | # | 编号 | 问题 | 影响 | 状态 | |---|------|------|------|------| -| 1 | **N-01** | `App/cfg/cfg_file.c` 用 C 库 `malloc(4097/5120)`，而本工程 MicroLIB C 堆只有 **512 B**（`startup_stm32f407xx.s:43 Heap_Size EQU 0x200`，map 中 `HEAP` ZI = `0x200`） | 真机上配置**加载/模板生成/外科式保存全部失败**并静默回落工厂默认；PC 模拟器用宿主 CRT 堆 → 掩盖问题 | ✅ **已修复（2026-09-18，L0；台账 P0-1）**，真机 `@test` 正向确认待跑 | +| 1 | **N-01** | `App/cfg/cfg_file.c` 用 C 库 `malloc(4097/5120)`，而本工程 MicroLIB C 堆只有 **512 B**（`startup_stm32f407xx.s:43 Heap_Size EQU 0x200`，map 中 `HEAP` ZI = `0x200`） | 真机上配置**加载/模板生成/外科式保存全部失败**并静默回落工厂默认；PC 模拟器用宿主 CRT 堆 → 掩盖问题 | ✅ **已修复（2026-09-18，L0；台账 P0-1）**，**真机 `@test` 正向确认 PASS（2026-10-03；2026-10-04 复跑 PASS）** | | 2 | **N-02** | `lftpd.c:367-371 cmd_pass` 对任意口令无条件回 `230` | 局域网内任意主机可读写 `/config.ini`（含 IP/MAC/网关）→ 可远程断网；单连接 CH395F 上还可挤掉 UI/对时服务 | 代码级确凿 | | 3 | **N-03** | 无独立看门狗（IWDG）；`configASSERT` 为 `taskDISABLE_INTERRUPTS(); for(;;);`；多处初始化失败即 `for (;;)` 挂死 | 现场死机不可自恢复，且断言时**连日志都没有** | 全局 | | 4 | **N-04** | SRAM1 余 4,488 B（P0-1 修复后 5,008 B）而 **CCM 64 KB 未使用**；**栈水位零观测**（`uxTaskGetStackHighWaterMark` 全库零调用）；堆水位原本被链接器整体裁掉，随 P0-1 修复已由 `cfg_store_heap_free` 引入（`load: OK …, heap free NB` 行开始打印实测值） | 任何新功能都会撞 `L6406E`；无法判断栈是过大还是不足 | 量化见 §5 | @@ -367,7 +367,7 @@ D-2/D-3 的共同根因：**没有任何机械检查**保证"文档说的 = 代 > **实施记录（2026-09-18，按方案 A 落地，两处必要调整）**：① 分配接口**不写在 `cfg_file.c` 里，而是加到 `cfg_file_store` 后端**（`cfg_store_alloc` / `cfg_store_free` / `cfg_store_heap_free`）——`cfg_file.c` 是双端共享源码，直接写 `pvPortMalloc` 会让 PC 模拟器断链；MCU 后端 = `pvPortMalloc/vPortFree`，模拟器后端 = `malloc/free`。② 编译期峰值约束改用 **typedef 负数组**（`CFG_HEAP_BUDGET = 10,240 B`）——ARMCC 5 只到 C99，**没有 `_Static_assert`**（方案 A 原文此处需修正）。③ 另补 4 条失败路径的 `syslog_post(SYSLOG_SELFTEST, …)` 与 `load: OK …, heap free NB` 实测行。台账：`docs/待处理内容.md` **P0-1**；设计文档：`docs/子系统设计/配置文件设计说明.md` §6.2/§8 + v1.11。 -> **诚实标注**：本结论由静态分析得出（映射表 + 启动文件 + 调用图三重证据），**尚未上机确认**。`test/host/verify_log.py`（PowerShell 版 `test/verify_log.ps1:34-35` 已删除，2026-09-20 起为纯 Python）的 Forbidden 标记含 `FAIL`，而失败路径会打印 `read: malloc 4097B FAIL` / `template: malloc 5120B FAIL`，因此**一次 `@test` 即可判定**（若近期 `@test` 曾 PASS，需先确认当时是否真的进入了文件读取分支，例如 `/config.ini` 不存在或大小为 0）。**（2026-09-18 已按上述实施；修复后的真机 `@test` 正向确认——`load: OK` 出现且 `FAIL` 零命中——仍待执行。）** +> **诚实标注**：本结论由静态分析得出（映射表 + 启动文件 + 调用图三重证据），**尚未上机确认**。`test/host/verify_log.py`（PowerShell 版 `test/verify_log.ps1:34-35` 已删除，2026-09-20 起为纯 Python）的 Forbidden 标记含 `FAIL`，而失败路径会打印 `read: malloc 4097B FAIL` / `template: malloc 5120B FAIL`，因此**一次 `@test` 即可判定**（若近期 `@test` 曾 PASS，需先确认当时是否真的进入了文件读取分支，例如 `/config.ini` 不存在或大小为 0）。**（2026-09-18 已按上述实施；修复后的真机 `@test` 正向确认——`load: OK` 出现且 `FAIL` 零命中——已于 2026-10-03 执行 PASS，2026-10-04 独立复跑再次 PASS：`[CFG] load: OK (523B, heap free 8840B)`、Forbidden `FAIL`/`ERROR`/`HardFault`/`[ERR]` 零命中、`selftest: no fault record`、ST-LINK 全片回读 `No difference found`。）** ### 4.5 日志子系统（`App/log/sys_log_mcu.c`）