wandering1/STM32F4-Base
1
0
Fork 0
Code Issues 29 Pull Requests 1 Actions Packages Projects 2 Releases Wiki Activity
669 Commits 4 Branches 0 Tags
c1e7e8c42c2d3642e9beeab7b719fc0c70d49e73
Commit Graph

4 Commits

Author SHA1 Message Date
wandering1 b623a406ad fix(栈·存储·UI 收尾): 断掉临界区↔断言幻影环回到 1,464，标定门控单点化，卷锁五态可观测 
这四笔在主树里已经互相纠缠（同一次 @build 编译、同一份 .htm 度量），拆成四笔就不
存在任何一个被真编过的中间态，所以合一笔入库；下面按模块分段陈述，作者与出证归属
逐段写明。

—— 一、崩溃证据路径的整行独占收尾（log-maint-writer，task-26）——
上午那笔 1d4b6a17 之后，stack_report 报 iec104Task 静态最坏链 1,544 / margin 1,016，
低于 1,024 的 ISR 底线。真因不是新增局部缓冲，而是本模块与内核临界区之间新长出
一条环：taskEXIT_CRITICAL ⇒ vPortExitCritical ⇒ configASSERT ⇒ vApplicationAssertFailed
⇒ dbg_console_write_raw ⇒ 回到本模块。armlink 把这一整坨计入**每一个含临界区的
任务链**（vApplicationAssertFailed 的 Max Depth 由约 40 B 涨到 128 B + In Cycle），
所以九条链同涨约 80 B——同涨本身就排除了任何单个调用方。
改法两处：① 本模块三处窗口（取凭证 / 还凭证 / 整行入环）改用 CON_CRIT_ENTER/EXIT
（PRIMASK 保存恢复到局部变量；注释写全为什么不能直接 __enable_irq()——嵌套时会
替别人打开任务级临界区——以及屏蔽面变宽是有意为之）；② 异常/终点钩子里那对
自证空转的 begin/end 摘掉（异常态 begin 放行但不持有、end 是幂等空操作，调它只有
成本没有收益），任务态 STALL 行保留 begin/end，这个区分写进两处注释与文档 §4.4.1。
实测四棵树逐个 .htm 解析（身份钉 tree + Linker run 时刻 + 产物来源）：A=77779d49
链 1,456；B=1d4b6a17 链 1,464 / margin 1,096 PASS；C=含未提交钩子接线的工作树
1,544 / 1,016 FAIL；D=本轮修复后（Linker run 22:52）回到 **1,464 / 1,096 PASS**，
九条链齐降 80 B。断环图证：vPortExitCritical 由 136 B + In Cycle 变 8 B 且不再
In Cycle，con_tx_release 子树 152→8；Error_Handler 回到 280 + In Cycle = A 树同值
（既有发送环无人拆动）。顺带删掉 Src/freertos.c 崩溃路径里最后一个 HAL_Delay(200)
（该文件真实调用现为 0）。
测试：console_log 152→**153** 条（只增不减）；换钉不删防——015 现在钉「PRIMASK
窗口 2 次、深度 1、内核临界区 0 次」，新钉 015c 绝不等待，160 注入点搬到
con_pm_hook，176 强化到未调度路径连 PRIMASK 窗口都不开；红线水位
con_pm_at_tx_max 与 con_uart_crit_at_tx_max 双 0；判据⑦（延后的行与当场直发逐
字节相同）170b/171/178 仍全绿。作者自报并纠正一处：换钉时曾把 TC-CONLOG-015b 改
编号，而 015b 在生产注释与文档里都被引用——已恢复「编号不退役、语义搬过去」。
覆盖率 App/log/console_log.c 199/200 → 256/257 行、21/21 函数（只增）。

—— 二、未标定闭锁判据收成单点访问器（ui-param-writer，task-16）——
「UA/UN/IA 三相 VALID 全置位才允许跑判据」这条门控原先在两处各自镜像实现
（protect_task.c 的 s_cal_locked 与 ui_data_feed.c 的 feed_cal_block），改一处另一处
静默失效且无门禁可照。现新增 adc_cal_prot_blocked() 落在 App/algo/adc_cal，DTU_BENCH
特例收进一处；两个消费者同批改调、本地副本删除。作者还查实并纠正了我先前一句
错判：全仓 App/app→App/task 的 include 实为 0 条，故访问器不能落在 protect_task。
新增 TC-ADCCAL-018 八条（含冷启动即闭锁），adc_cal 套件 99/99。

—— 三、共享卷锁五态可观测性（ui-param-writer，task-17）——
原状比登记簿写的更糟：五个可区分态（未调用 / try 超时 / 分片超时 / fail-open /
未持锁却 release）生产侧零留痕，且 vol_lock.c 的返回值注释与代码相反——
fail-open（锁没建成、互斥已失效却在读写盘）被返 1 **谎报成取到锁**，而那正是
vol_lock.h 记录的台架实证故障（并发写坏 FTL → 喂狗点饥饿 → IWDG 误复位）的前置。
锁层加四个 volatile 计数（16 B 静态，零新局部、零新 callee、零日志、零 FatFs）与
不取锁的 vol_lock_get_stats()；13 处 try 调用点一字未动。**刻意不在锁层记时刻**：
记时刻要读 tick，等于给 defaultTask 取锁链添帧——诊断不值那几个字节；消费方若
自盖时间戳，那只能是被观测到的时刻而非发生时刻，.h 里已写明不得写成首次/末次。
四套本地假件各加 s_last_wait_to（字段名逐字一致），把「喂狗点取锁一律 timeout=0」
与「ftpTask 分片一律 100 ms」从注释纪律升级成会 FAIL 的断言；红-绿反证：临时把
sys_log_mcu.c 的 0u 改 50u → TC-SYSLOG-010/012 双红，把 lftpd_io.c 的 100u 改 0u →
TC-LFTPIO-034 红，两处按原串改回并用 SHA-256 证明逐字节还原。TC-VOLLOCK-015~019
共 45/45（无新桩）。

—— 四、UI 死接口清理（ui-maint-writer，task-6 收尾）——
删掉 ui_data_maint_ready()：全仓零消费者、只有它自己的用例在读。**更值得记的是
它为什么能活过一整轮评审**：头注释写的是「页面用它决定这页能不能操作」，而页面
从来没用过它——注释陈述的是意图，评审读的是意图，门禁读的是可达路径，两者都不
反驳「意图未实现」。作者对「连用例一起删」做了显式抗命：TC-UIDATA-025 的 13 条里
只有 4 条读那个死口，另 9 条钉的是真防线（六口未注入安全返回 / 残表整表拒绝 /
被拒不覆盖已生效的好表），故删冗余的 025a、把 025i/025k/025m 换成用 reset_req()
的可观察返回值判定，性质不丢。ui_data 套件 244 → 243（净减 1），黄金 40 页与
池 5448 B 未变（该刀零像素影响，参考图无 diff）。

—— 门禁与未跑项（本笔如实留账）——
cubemx-survival 基线已 --write（漂移 6 项全部是上述意图内区域：断言/栈溢出钩子
实现、看门狗模块行等），基线文件同笔入库，随后 --check 通过。
本笔未跑的钩子只有两条：mem-numbers 与 mem-budget——磁盘 .map 出自 22:52 那次
构建、含尚未入库的 UI 与工具改动，与 HEAD 台账必然不同码；按仓库既有约定允许
--no-verify + 正文留证，回填在紧随的台账一笔统一做（含 ram_baseline --update 与
覆盖率基线两条 [NOTE]：ui_data.c 65→316、iec104_comm.c 36/36）。
两条已挂着的账：① id-check 不可判定引用 1,162 / 上限 1,166，**余量只剩 4**，
主要吃进者是我今天推进的 UI 那笔（68 条文本断言的注释引用），账在 Lead；
② 崩溃注入腿（故意复位）台架复验未跑，需先由代码道提交触发器，且判据只判原子性
不判 [ERR]=0——IPSR 路径的主张归主机侧套件，硬件照不出来。

产物身份（按 D 表要求钉死，避免数字与树脱钩）：本笔包含的固件树就是那张 D 表对应的
那一棵——MDK-ARM/.../STM32F407-Demo.htm 的 mtime = 2026-10-26 22:52:12（.htm/.map 按
约定不入库，故把时刻写进正文）。提交前在本树复跑 stack_report.py：exit 0，
iec104Task 1,464 / margin 1,096（42%）PASS、defaultTask 3,040 / 2,080（40%）PASS，
与 D 表逐项一致；本次运行不含任何未提交固件源码之外的新改动。
 2026-10-26 23:31:05 +08:00
wandering1 52e28885cb feat(UI): 装置维护 3 页落地（时钟 / 强制复归 / 清除记录），内容页黄金 27→40 
三个薄页面模块 ui_page_clock / ui_page_reset / ui_page_clear，页面注册由生成器
自动写双端（裁定 A-1：「三叶各绑一页」与「零新增 .c」不可兼得，选薄页面加生成器，
不写手写 node switch——那种分发在增删叶子时会静默换功能，且没有任何门禁照得到）。

数据侧是注入式函数表：UI 不 include App 层的头。两条硬理由都实测过——分层方向
（layer-deps）之外，模拟器根本不链 sys_clock，ALLOW 豁免挡得住 layer-deps，
挡不住模拟器链接期。面板对时的唯一真判据是回读 RTC：sys_clock_set() 恒返 0
（RTC 写失败只打日志），所以真机侧写 1 后回读 1，最坏约 200 ms 落在一次「保存」
按键上，IWDG 800 ms 窗有余；上界与依据都写进注释。

「无时钟」徽标位置有两个像素级实测坑：放标题带右侧会被 4 字标题连成「时钟设置
无时钟」一句话；放页脚带左侧 x=7 会压住页脚——页脚从 x=6 起排，不是居中。
最终落在清单末行与页脚之间的空带 y=124。clear_done 那张顺带给出像素证据：
清 run.log 之后「操作记录」那一行从 2 变 3，页面上没缓存、没撒谎。

ui_w_records 的 UI_W_REC_LOG_* 顺序必须等于 syslog_id_t 顺序（7 类，只准尾追加），
已加编译期顺序守卫；执行侧 7 条映射表同样带编译期守卫。

测试与真值：内容页黄金 27 → 40 页（+13），文本断言 +68、反向断言 ABSENT +19；
27 张旧参考 git diff 为空 = 逐字节未变。往返池 5448 B 与菜单常驻堆 5368 B 均未变；
字库未扩（源码在用 171 并 KEEP_EXTRA 39 = 清单 183），font-charset 与 cn-chars、
cn-font 字节一致。@build 0 错误 0 警告；uiTask 静态最坏链 1,336 B / 16,384
（余 91%）与基线相同，页面钩子没进最坏链。

一条测试学结论单独留痕：反向断言不能当「位置不重叠」的证据——本脚本的字形匹配
把 y 带判得比字面宽（徽标在 125..136、页脚在 144..155，仍被 (140,160) 判命中）。
该防线改由正向断言「页脚未被徽标压住」承担（压字那一版实测过不了它）。

两条自我更正一并记档（作者自报，按真值而非原口径）：
① 先前报「文案零新增汉字」是错的——观测行拟用「动作元件」，「元」不在子集，
cn-chars 与 font-charset 如实红；最终改「保护动作 N」才让「零新增」成为事实。
顺序是：先按机器红，再按真值写结论。
② 先前报「6 个文件 BOM 逐个核过」被 bom-guard 证伪：丢 BOM 发生在上一次编译之后，
正是 AGENTS 那句「历史 0 警告不代表安全」的活例；此后一律以退出码为准。

未覆盖项不假装：台架「N>0 → N=0」在产品构建的未标定闭锁期拿不到（闭锁期 N 恒 0），
判据显式退化为「页面受理 + 落一条操作记录」，写在 rs_watch 注释里。

生成物入库例外照用：uvprojx 只加 3 个 ui_page_ 的 FilePath（真增删源文件），
CMakeLists 同批；两处都由 gen_menu.py 自己写，没手写。

本笔先走了一次真钩子：20 条钩子实跑通过（ui-golden 菜单 8 状态加内容页 40 页、
generated-fresh、registration-check、font-charset、ui-data 单测、cppcheck、
coding-standard、bom、mojibake、id-check、doc-links 等），只有 mem-numbers 与
mem-budget 两条红——磁盘上的 .map 出自 20:39 那次构建、含三条在飞道的代码，
与 HEAD 台账必然不同码。按仓库既有约定（这两条等台账回填时允许 --no-verify 并
正文留证）落这一笔；回填由我统一在收尾一笔做。

三条在飞道（task-26 崩溃证据路径、task-16 与 task-17 谓词收敛和卷锁观测、
task-36 台架工具）的未暂存改动被 autostash 暂时收走，钩子看到的是 HEAD 加本笔；
过程中曾把 comm 道未跟踪的 iec104_comm.c 临时移出（它不在 stash 覆盖面内），
那次移出反而让 ui-golden 撞见 CMake 缓存里的悬空引用而红——已改用「先落 comm
那笔、再落本笔」的顺序消掉这个中间态。ui_data_maint_ready() 待删（只有测试在读
的自检口），排在本笔之后单独一笔。
 2026-10-26 22:43:54 +08:00
wandering1 77779d49d6 feat(ui+记录): 整定写路径与四类页落地，五类记录写入方补齐 
UI 面：ui_data 增加深度 4 参数写队列（请求 168 B、队列 .bss 672 B）与状态机
OK/ERR_RANGE/ERR_LOCKED/ERR_BUSY，ui_data_feed 出队后按注入 ops 走「闭锁 → 整批
预检 → 逐项 prot_set_set_sealed」，只提交改动位图；par 帧尾追加 cal_block
（口径 = UA/UN/IA 三路 ADC_CAL_F_VALID，与 protect_task 判据同构，不用 rt.eng
反推，V0.1 下 eng 恒 0）、UI_DATA_VER 升到 2。参数/定值/控制字/软压板四叶绑定
内容页（UI_PAGE_MAP_COUNT 12→16，复用四个查看模块，零新增 .c），编辑态按
is_editable 分派，LOCK（写不进去）与「未标定」（仍可改值）两源两通道两词。

记录面：syslog_request_clear/state/apply 三段式删除 API（UI 只发请求，落地在
defaultTask 的 drain 尾部且必须后置，卷锁一律 try，幂等只认 FR_NO_FILE）；
事故/告警/启动/操作/遥控五类各有一个真实写入点，记录类型 = 日志 ID 本身
（一类一个 /log 严格 8.3 文件；64B 定长体没有类型字段位，塞字段会砸掉既有读者）。
为守 protectTask 872 B 静态最坏链另拆 syslog_post_quiet()（无 DBG 的投递核，
丢弃留痕挪到 drain 侧差值补发），syslog_post 对外语义逐字不变。

为什么两道合成一笔而不是各一笔（实测，不是省事）：simulator/main.c 同时消费
两道新增 API（整定 pump 与 logtest 清除用例），按道切文件会让中间提交编不过；
RAM 受管快照与体积同码凭证描述的是合并后的 .map，拆开必落在「台账与 .map 不同
码」这条红线上。pre-commit 跑钩子前会 stash 未 staged 部分，这类耦合没法绕。

实测：@build 0 错误 0 警告；Code 228,260 / RO 24,960 / RW 1,440 / ZI 135,976 B；
RW_IRAM1 79,992 B = 61.0%、RW_CCM 87.9%（阈值 92%）；九个任务静态最坏链全 PASS，
protectTask 872 B / 57% 改前后逐字节不变（记录投递没垫栈）。主机单测 ui_data 82→
164、sys_log_mcu 106→137、prot_elm 47→60、iec104 141→154、iec104_serv 28→34，
既有断言零删改；48 个钩子 --all-files 全绿；编号门禁可判定 86.34%（基线 86.0%）、
不可判定 1,153 处低于上限 1,166；doc-links 无法判定 0；UI 黄金 18 页扩到 27 页
连跑两次逐字节一致；字库 diff 空。

顺手修掉三处既有缺陷（都是本轮第一个消费者才暴露）：sim_syslog.c 的 s_paths 行宽
16 而 "sim_selftest.log" 正好 16 字符没有 NUL 位（stat/remove 读越过数组尾，此前
靠后面 .rodata 碰巧为 0）；ui_w_setlist 二态行 ENTER 不回绕（控制字与软压板出厂值
全在最后一项，按了像没反应而叠层里已是越界值）；生成物 ui_menu_tab.h 与 gen_menu.py
模板漂移（上一笔改了模板没重跑生成器），现随生成器输出对齐。

未收口（不算完成）：保存后重启值保持与主站 C_RD 读回两条只能上板，台架窗口执行；
LOCK 屏显与越界反显的页面侧在模拟器造不出来（模拟器不跑定值自检、无 NAND），
已由生成侧单测与代码注释点名差距；同类页数与钩子数陈述残留另立待办。
 2026-10-26 15:51:12 +08:00
wandering1 201d713226 feat(ui-data): ui_data 三通道快照 + ui_data_feed 装配 + SOE 显示名映射 
按 docs/UI设计/UI_数据供给设计说明.md 的 D 方案把 App→UI 数据通道落地：
App 组帧、BSP 存帧、页面只读；UI 侧零 App include，薄包装只在两端适配层。
本笔是纯增层、不接任何页面 → 零像素变化（菜单 8 状态 + 内容页 11 页黄金
参考逐字节不变，simulator/tests/ref 无 diff，未刷基线）。

新增
- Drivers/BSP/UI/ui_data.{c,h}：实时量 rt / 参数 par / 装置信息 info 三通道存储
  + 发布序号盖章 + 只读访问。零 App include、零 LVGL include（分层叶子）；
  读写同在 uiTask 上下文串行 → 无锁、无双缓冲、无 seqlock（契约 §5.1）。
- App/app/ui_data_feed.{c,h}：快照唯一填充者。rt/info 每 200 ms 一帧，par 只在
  prot_set_checksum() 变化时重发；首轮立即发布，免启动初期闪一下 "--"。
- Drivers/BSP/UI/ui_w_soe.{c,h}：SOE 二进制记录的显示名映射与注入式 reader
  契约。未标定闭锁=7 / 标定复归=8 已进表——编号按 App/log/soe_rec.h 与
  App/algo/prot_elm.h 现场数过（类型 1..8 + 哨兵 9、元件 0..8、ELM_NONE=0xFF、
  FLG_IV=0x80），不采信文档与消息转述。reader 备好但两端未绑定：落盘侧还
  没有只读 API（Lead 已裁该 API 归下一工作项），未注入按"无记录"空态渲染。

量纲诚实性（契约 §4.1 同步改成真值口径，不再抄旧码值表述）
- eng 不写"0 = 原始码值"：标定层 ROM 系数是引脚侧 LSB，采样环折算出来的就是
  ADC 引脚电压（承诺边界 docs/任务规划/数据可信.md §2.6）；电气 8 路
  adc_cal_flags() 的 VALID 全置位才升 eng=1 二次值——整帧共用一个 eng，只要
  还有一路是引脚电压就不能贴"二次值"标签，宁可整体保守。
- TEMP 不参与线性标定 → 恒带新增品质位 UI_DATA_Q_RAW=0x20，页面不挂单位。
- UB/UC/IB/IC/IN 无基波相量实例（V0.1 削顶）→ Q_IV|Q_OV；未满一周波 → Q_NT。
- 谐波另开 ph[] 相量实例槽带：yc 的语义通道下标容不下同通道的二次/五次谐波。

接线与双端注册
- App/task/ui_task.c：ui_menu_init 之前 ui_data_init + 首帧发布；主循环每轮
  ui_data_feed_tick() 排在 ui_port_step 之前（本轮渲染用本轮刚发布的帧）。
- simulator/main.c：发布固定合成帧（无头与窗口两个初始化点，先于建页）；
  定值不手抄 40 个数，改为链入 App/algo/prot_set.c 取出厂默认（抄表等于造
  第二真相）；build_date 用固定串而非 __DATE__，否则跨天重建会把装置信息页
  黄金参考刷掉，而黄金参考是判据本身。
- 注册：uvprojx 加 3 条（App 组 ui_data_feed.c + UI 组 ui_data.c/ui_w_soe.c）与
  simulator/CMakeLists.txt；ui_data_feed.c 不进模拟器 → check_registration.py 的
  SIM_EXEMPT 加一行（App/app/app_main.c 先例，已报备）。

主机单测与钩子
- test/host/ui_data：82 断言全绿。钉三类事：快照语义（首帧前读 -1、序号由本层
  盖章、三通道互不串台、NULL 防御、init 幂等复位）；跨层不透明下标现场一致
  （yc 序 = adc_semantic_t、q10 序 = prot_set_id_t，同一 TU 里 include 两侧头）；
  SOE 编号与名字表现场一致（八类事件都有名、采样/标定四个词互不相同、
  名长不超列宽、越界回占位）。
- .pre-commit-config.yaml 加 ui-data-unit-test 钩子（第 43 个，Lead 已批自加）。
- scripts/id_registry.json 建族 TC-HOST-UIDATA（属主登记处 = 单测目录，同
  TC-HOST-ADCCAL 先例；不建族则新号被编号门禁判"未登记前缀"）。

体积（相对 HEAD 台账 Code 215744 / RO 21396 / RW 1224 / ZI 131984）
- Code +1272 B、RO +108 B（字库 4 字，见上一笔）、RW +24 B、ZI +696 B
  → ER_IROM1 238520 B（22.7%）、RW_IRAM1 76504 B（58.4%，台账 57.8%）。
- .map 逐项：ui_data.o 488 B（Code 184/RW 12/ZI 476）、ui_data_feed.o 221 B
  （1034/12/209）；LVGL 池 0 增量；ui_w_soe 未接线不进镜像（.map 无其符号）。
- 台架未跑（本笔零像素、零接线）：首帧时刻、200 ms 刷新、eng 升档与遥信
  位图真值全部留"待台架实测"，接线完成后请 Lead 排窗。

遗留与风险（随回报进台账）
- 写路径（契约 §6 的 param_request/state）不落：无消费者就是永不执行的死码，
  随整定 4 页一起落；届时须先定"UI 整定 vs iec104Task 写 prot_set"的并发口径
  （prot_set_set_sealed 的影子区非重入）。
- 公共地址 CA 未下发：固件里 CA 逐帧从 ASDU 头解析，无集中常量可取。
- 遥信位图与 App/protocol/iec104/iec104_pts.c 板端源是两处镜像（该文件位号
  写在函数体内未导出，UI 不得 include 协议头），开入采集落地时应并成单源。
- 版本类字段是本文件内的宏（仓库无产品级版本登记表，值沿用页面既有显示
  值）；软件校验位在拿到构建期 CRC 步骤前一律显示 "--"，不抄参考遗留值。

gate: 全量钩子（--all-files）40 项通过；cppcheck/test-cppcheck/coding-standard/
layer-deps（基线仍 3 条）/registration/bsp-err（存量 38 条不变）/font-charset/
id-check（增量无新账）/doc-links/ui-golden/主机单测与覆盖率全绿；唯一红项是
mem-numbers 与 mem-budget——两者只因 Flash/RAM 台账未回填（禁区，归 Lead）。

gate: only mem-budget/mem-numbers pending lead ledger backfill

自查：BOM（Drivers/BSP/UI/* 与 App/task/ui_task.c 保持 EF BB BF，新建 UI 两件
同规范；App/app 与 test/host 无 BOM 与本目录一致）；CR = 0 全 LF；U+FFFD = 0；
字符串字面量纯 ASCII（中文只进注释）。
 2026-10-25 09:56:22 +08:00