0f7b5a87fb
登记簿、文档与代码注释里的存量字母加数字编号(N-x / S-x / T-x / E-x / A-x / 卡号) 一律改写为语义短语,净删 2,028 处引用;删除基线与待确认、并行分道方案、排期详述、 采集保护收尾 4 篇(内容已并入 docs/任务规划/README 与登记簿)。 门禁机器与三张账同批重打:check_ids.py 新增变更记录行豁免与第二根护栏 undecidable_total_ceiling;check_test_traceability.py 只加 stdout/stderr UTF-8 reconfigure(TC_RE 未动);check_cubemx_survival.py 的 --write 固定 newline=LF; id_registry / id_aliases(+19 条 retired-to-phrase)/ id_known_backlog 重打。 test/ 56 个文件同步 TC 标签语义化,其中 18 个 TU 改了 CHECK / printf 里的标签文字, 是本批唯一改变构建产物的文件集合。 为什么合成一笔、不拆四笔(实测撞闸,非偏好):pre-commit 跑钩子前会 stash 未 staged 部分,拆开后中间提交必然是「新规则 + 旧语料」——实跑可判定 85.15% < 基线 86.00%、 不可判定 1,453 > 上限 1,166,编号门禁直接拦下。编号识别面与它描述的语料只能同码移动。 实跑基线(工作区全量):754 文件 / 8,230 处编号字面量 / 可判定 7,079 = 86.01% (基线 86.0%,容差 0.1pp)/ 不可判定绝对数 1,151(上限 1,166)/ 校验 1-6 错误级 0 / 告警 = 悬空 2(App/algo/freq.c 的 S2,属 §4.4 同号不同义)+ 孤儿 50。 基线从 84.0 抬到 86.0 的理由见 docs/门禁说明/id-check.md §7.6:本批真删了 2,028 处 引用,可判定面随真实内容上升,不是把分母做小。同批新增排除 docs/硬件平台/ 语料,使 识别面少 264 处——芯片手册位号与网表料号不属编号空间(registry 有 excluded_paths_note)。 ⚠ 余量只剩 0.11pp(约 10 处)与绝对数 15 处:把「可判定的引用」改成散文会立刻撞第二 根护栏。另遗留一项:id_aliases 里 retired 的 N / S / T / A 别名没有 scope(U1~U5 有), 今后有人新写一个 A-4,校验 3 不会响,只能靠人,建议下批补 scope。 固件不变证据:115 个 .c/.h 剥注释并归一字符串后与 HEAD 逐字节全等,残留代码差异 0; App / Src / Drivers 的字符串字面量零改动。@build 0 错误 0 警告;40/40 主机套件、2,889 断言全通过;覆盖率 line 89.2% / func 92.6%;pre-commit 48 钩子 --all-files 全绿; check_doc_links --all 通过(176 文档,章节引用无法判定 0);逐字节卫生核过:14 个带 BOM 文件与 HEAD 一致、0 个 CR、0 个 U+FFFD,字符串字面量纯 ASCII。 .cubemx_survival_baseline.json 的 watchdog-module 哈希 56bf27 变 2bb051 属合法: Src/freertos.c 的 USER CODE 区内只有注释文字随编号改写,代码未变。 同批带上体积同码凭证与 RAM 台账行(@build 之后盖戳):RW_IRAM1 79,008 B / 60.3%, RW_CCM 57,376 B / 87.9%,阈值 92%。
180 lines
5.2 KiB
C
180 lines
5.2 KiB
C
/*
|
||
* 模块名称:cfg_file_store (模拟器后端)
|
||
* 模块功能:cfg_file 存储后端——模拟器工作目录宿主文件 sim_config.ini;
|
||
* 原子写 = 临时文件 sim_config.ini.tmp + rename;mtime 变更令牌 =
|
||
* 宿主文件 mtime(秒级)
|
||
* 适用平台:PC 模拟器
|
||
* 作者:王建锋
|
||
* 创建日期:2026-09-14
|
||
* 修改记录:
|
||
* v1.0 2026-09-14 王建锋 创建初始版本
|
||
* v1.1 2026-09-18 王建锋 增 cfg_store_alloc / cfg_store_free / cfg_store_heap_free
|
||
* (宿主 CRT 堆实现,对齐 MCU 端 FreeRTOS 堆语义)
|
||
*/
|
||
|
||
/* 头文件包含区 */
|
||
#include <stdio.h>
|
||
#include <stdlib.h>
|
||
#include <string.h>
|
||
#include <sys/stat.h>
|
||
|
||
#include "cfg_file_store.h"
|
||
|
||
/* 静态变量定义区 */
|
||
|
||
static const char s_path[] = "sim_config.ini";
|
||
static const char s_path_tmp[] = "sim_config.ini.tmp";
|
||
|
||
/* 函数定义区 */
|
||
|
||
/*
|
||
* 函数功能:读文件(最多 cap 字节)
|
||
* 入口参数:p_path - 文件路径 const char *
|
||
* p_buf - 接收缓冲(不可为 NULL) uint8_t *
|
||
* cap - 缓冲容量 size_t
|
||
* p_nread - 实际读字节数输出(不可为 NULL) size_t *
|
||
* 返回值:0 - 成功;-1 - 文件缺失/读失败 int
|
||
* 限定条件:无
|
||
*/
|
||
int cfg_store_read(const char *p_path, uint8_t *p_buf, size_t cap, size_t *p_nread) {
|
||
FILE *fp;
|
||
size_t n;
|
||
|
||
if (p_buf == NULL || p_nread == NULL) {
|
||
return -1;
|
||
}
|
||
fp = fopen(p_path, "rb");
|
||
if (fp == NULL) {
|
||
return -1;
|
||
}
|
||
n = fread(p_buf, 1u, cap, fp);
|
||
(void)fclose(fp);
|
||
*p_nread = n;
|
||
return 0;
|
||
}
|
||
|
||
/*
|
||
* 函数功能:原子写文件(先写 sim_config.ini.tmp,成功后 rename 覆盖目标)
|
||
* 入口参数:p_path - 目标文件路径 const char *
|
||
* p_buf - 待写数据(不可为 NULL) const uint8_t *
|
||
* len - 数据长度 size_t
|
||
* 返回值:0 - 成功;-1 - 写/改名失败(临时文件清理) int
|
||
* 限定条件:MSVC rename() 不覆盖已存在目标(C1117),须先 remove 再 rename
|
||
* (tmp 已完整写盘关闭后操作,中断窗口仅毫秒级;目标丢失时引擎
|
||
* 下次加载自动重建出厂模板,与 MCU 端 f_rename 直接替换等效)
|
||
*/
|
||
int cfg_store_write_atomic(const char *p_path, const uint8_t *p_buf, size_t len) {
|
||
FILE *fp;
|
||
size_t n;
|
||
|
||
if (p_buf == NULL) {
|
||
return -1;
|
||
}
|
||
fp = fopen(s_path_tmp, "wb");
|
||
if (fp == NULL) {
|
||
return -1;
|
||
}
|
||
n = fwrite(p_buf, 1u, len, fp);
|
||
(void)fclose(fp);
|
||
if (n != len) {
|
||
(void)remove(s_path_tmp);
|
||
return -1;
|
||
}
|
||
(void)remove(p_path); /* 目标可能不存在(首写):remove 失败忽略 */
|
||
if (rename(s_path_tmp, p_path) != 0) {
|
||
(void)remove(s_path_tmp);
|
||
return -1;
|
||
}
|
||
return 0;
|
||
}
|
||
|
||
/*
|
||
* 函数功能:文件状态(size + mtime 变更令牌)
|
||
* 入口参数:p_path - 文件路径 const char *
|
||
* p_st - 输出(不可为 NULL) cfg_file_stat_t *
|
||
* 返回值:0 - 成功;-1 - 文件缺失/读失败 int
|
||
* 限定条件:无
|
||
*/
|
||
int cfg_store_stat(const char *p_path, cfg_file_stat_t *p_st) {
|
||
struct stat st;
|
||
|
||
if (p_st == NULL) {
|
||
return -1;
|
||
}
|
||
if (stat(p_path, &st) != 0) {
|
||
return -1;
|
||
}
|
||
p_st->size = (uint32_t)st.st_size;
|
||
p_st->mtime = (uint32_t)st.st_mtime;
|
||
return 0;
|
||
}
|
||
|
||
/*
|
||
* 函数功能:删除文件
|
||
* 入口参数:p_path - 文件路径 const char *
|
||
* 返回值:0 - 成功;-1 - 文件缺失/删除失败 int
|
||
* 限定条件:无
|
||
*/
|
||
int cfg_store_remove(const char *p_path) {
|
||
if (remove(p_path) != 0) {
|
||
return -1;
|
||
}
|
||
return 0;
|
||
}
|
||
|
||
/*
|
||
* 函数功能:取配置文件路径
|
||
* 入口参数:无
|
||
* 返回值:"sim_config.ini"(模拟器工作目录) const char *
|
||
* 限定条件:无
|
||
*/
|
||
const char *cfg_store_config_path(void) {
|
||
return s_path;
|
||
}
|
||
|
||
/*
|
||
* 函数功能:取配置文件临时文件路径
|
||
* 入口参数:无
|
||
* 返回值:"sim_config.ini.tmp" const char *
|
||
* 限定条件:无
|
||
*/
|
||
const char *cfg_store_tmp_path(void) {
|
||
return s_path_tmp;
|
||
}
|
||
|
||
/*
|
||
* 旧版遗留档 getter(cfg_store_legacy_path)已于 2026-10-10 随旧档迁移
|
||
* net_cfg_legacy 一并删除:旧格式 sim_netcfg.bin 不再读取
|
||
*/
|
||
|
||
/*
|
||
* 函数功能:分配共享核心临时缓冲(宿主 CRT 堆)
|
||
* 入口参数:size - 字节数 size_t
|
||
* 返回值:缓冲指针(内容未清零);失败返回 NULL void *
|
||
* 限定条件:释放必须用 cfg_store_free
|
||
* 函数说明:模拟器进程堆以 MB 计,直接 malloc;与 MCU 端差异仅在本后端
|
||
*/
|
||
void *cfg_store_alloc(size_t size) {
|
||
return malloc(size);
|
||
}
|
||
|
||
/*
|
||
* 函数功能:释放 cfg_store_alloc 分配的临时缓冲
|
||
* 入口参数:p_buf - 缓冲指针(NULL 安全) void *
|
||
* 返回值:无
|
||
* 限定条件:p_buf 必须来自 cfg_store_alloc
|
||
*/
|
||
void cfg_store_free(void *p_buf) {
|
||
free(p_buf);
|
||
}
|
||
|
||
/*
|
||
* 函数功能:空闲堆字节数(诊断用)
|
||
* 入口参数:无
|
||
* 返回值:恒 0(宿主 CRT 不提供可移植的空闲堆查询) uint32_t
|
||
* 限定条件:无
|
||
*/
|
||
uint32_t cfg_store_heap_free(void) {
|
||
return 0u;
|
||
}
|