Files
STM32F4-Base/App/cfg
super_agent_bot 1a2ca0467d
CI / 静态门禁 (pre-commit) (pull_request) Failing after 6m33s
CI / 主机侧单测 (MSVC) (pull_request) Successful in 35s
CI / 静态门禁 (pre-commit) (push) Failing after 5m7s
CI / 主机侧单测 (MSVC) (push) Failing after 43s
fix(cfg): 视图守卫补内容判据——同尺寸全 0 旧映射块也能拦(#73)
台架(PR #82 head d9303e05,常授权烧写验证)在三点校验版守卫上继续复现
出打回形态:卷层给出的旧映射块与目标文件恰好同长(1064B)且整块全 0,
读长 == st.size 与读前后复 stat 全部通过,解析零错误、RAM 照样打回默认
(15:21 决定性轮:盘文件 RETR 校验七段完好,重载窗口内 s_sntp 三字节段
全 0)。纯令牌层校验对"内容坏"是盲的,必须补内容判据。

处置(引擎侧,与三点校验同族):
- 新增 s_view_bad:重载/保存读到的视图若为空读、或 [0,len) 内任意偏移
  含 NUL 字节即判坏——INI UTF-8 文本约定下任何偏移都不得含 0x00;解析
  器按行切分遇 NUL 即断行,零块之后的内容本就不可达(静默截断同源故障),
  拒之不误伤任何可解析文档。不要求首字节 ';'(手写文档可直接段名起始)。
- poll:坏内容 = 与长度/令牌不符同处置——拒绝应用,RAM 与基线不动,2s
  重试自愈,首次 ERROR + 自检留痕,每 30 趟一条 WARN(限速)。
- save:坏内容同族拒存返回 -1,原文件一字节不动,调用方 dirty 保留重试。
- 边界如实保留:内容合法但陈旧的整卷视图(长度/令牌/内容三者皆一致滞后)
  引擎层无法检出,属卷层(dhara/FTL)课题,重启必然收敛;"改过配置后
  重启一次"在卷层根治前仍是最稳口径。

测试:
- TC-CONFIG-061(poll 同尺寸全 0 块 HELD + 视图刷新自愈 + 零回调)、
  TC-CONFIG-062(save 遇全 0 块拒存、文件字节/写次数不动、追平后重试
  成功);桩新增 vfs_mark_stale_zeros() 注入同长全 0 旧视图。
- cfg_file 套件 259/259;iec104 179/179、run_par 67/67、adc_cal 117/117、
  sntp 98/98、cfg_file_store_mcu 34/34 复跑全绿。
- /keil-build 0 错 0 警:Code 254,784 -> 254,820 B(+36 B);台账与同码
  凭证已同步。台架实录见 PR #82 评论:NUL 注入块实机 HELD(16:55:46)
  + WARN 节拍 30/60 趟命中(16:56:42/16:57:41)+ 视图转新鲜后重载自动
  追平;残余打回事件均为"内容合法但陈旧"整卷视图(15:19:30/16:34:59/
  16:58:38),属已声明守卫边界,盘文件全程未吞段,重启收敛实机确认
  (17:04 RAM 回文件值)。

文档:
- 《配置文件设计说明》§4-(3)/§5.3 守卫描述补内容判据与 15:21 实证形态、
  风险表行更新、变更记录 v1.17 行同步;
- 《配置文件单元测试说明》TC-CONFIG-061/062 行 + 当前结果 259/259 +
  扩展指南补 vfs_mark_stale_zeros()。
2026-11-05 17:08:25 +08:00
..

App/cfg/ — 配置引擎

/config.ini 配置引擎:分层解析、持久化(原子写)。 属主 = defaultTask(单任务收敛,静态态);其它任务不得直接触碰。

文件一览

文件 作用
cfg_file.c/h 配置引擎核心:解析 / 查询 / 保存 / 2s 周期 cfg_file_poll
cfg_file_store.h 存储后端抽象接口(MCU=FreeRTOS 堆 / 模拟器=宿主堆,共享核心零分配符号)
cfg_file_store_mcu.c MCU 端后端实现:/config.ini(临时名由目标路径同目录推导 + f_rename 原子写)
prot_set_store.c/h 保护定值持久化胶水:/prot_set.bin blob 读写(blob 格式/校验/原子装载在 App/algo/prot_set.c 纯逻辑层);装载 = storage bring-up(屏障前),落盘 = defaultTask 消费 SYS_EVT_PROT_SET_SAVE

设计要点

  • 单任务收敛:cfg_file 为静态态,只有 defaultTask 操作;UI 保存请求经 SYS_EVT_CFG_SAVE 事件唤醒 defaultTask 执行(netTask/uiTask 不得直接调用); 定值落盘同构——iec104Task 只置事件位(SYS_EVT_PROT_SET_SAVE),不碰文件系统
  • 零分配共享核心:核心逻辑不含任何分配符号,动态内存收进平台后端 (cfg_store_alloc/free:MCU→pvPortMalloc,模拟器→宿主堆)
  • 原子写:写 /config.TMP 后 f_rename 替换,避免掉电损坏
  • 旧档迁移已删除(2026-10-10):旧格式 /cfg/netcfg.bin 不再读取——存在则被忽略(不读、 不删、不迁移),配置回落工厂默认;net_cfg_legacy.c/h 与 cfg_store_legacy_path() 已移除
  • 自研代码禁用 C 库堆分配:MicroLIB 堆仅 512B(malloc 必返回 NULL)

相关文档

  • docs/子系统设计/配置文件设计说明.md — 完整设计(分层/解析/持久化)
  • docs/子系统设计/网络配置说明.md — 网络段