fix(adc_task): 接上从未被调用的任务初始化入口(含判定层参照系)
问题:adc_task_func 函数头写「限定条件:adc_task_init() 已调用」,但 adc_task_init() 全库无调用点;同类空壳 net_task_init()(体内只有一条 DBG_INFO,函数头却写「创建 TCP Server 监听 Socket」)同样无人调用。 判定层为什么今天还没坏:状态全在 .bss(复位即 0),且 adc_health 的 首拍只建基线、不判定,所以漏调 init 只是「少清一次」。但假契约会让 下一个接手者照它推理,故必须修在成灾之前。 改动: - adc_task_func 进入循环之前(开闸 s_consumer_ready 之前)自己调用 adc_task_init(),不依赖外部接线;init 与首拍之间无抢占窗口 - adc_task_init() 去掉 DBG_INFO 并在函数头标注禁止加日志:它落在 adcTask 静态最坏调用链上,每条 DBG_* 约 216 B 栈,而这条启动行 无诊断价值(存活由首帧日志与 TASK_WD_ADC 心跳证明) - 删除 net_task.c/.h 里的空壳 net_task_init()(声明 + 定义 + 误述) - docs/算法/采样有效性校验设计说明.md §14 与变更记录同步改写: 原来登记的「init 不在产品路径」事实已修复,不留过时结论 实测(任务工作树 adc-health,构建 + 静态分析): - @build 0 错 0 警;Code 213356 → 213424(+68 B) - RW-data 1184 / ZI-data 131480 逐字节不变 ⇒ RAM 零增量 - stack_report:adcTask 静态最坏链 1320 B → 1320 B 不变, 余 1240 B / 48% 仍 PASS(netTask 1912 B、protectTask 872 B 不变) - ADC 有效性单测 31/31 通过(钩子按 adc_task.c 自动触发) - 字节卫生自查:BOM 无 / CR 0 / U+FFFD 0,字符串字面量纯 ASCII (中文只在注释里),新增行无非 ASCII 字面量 gate: only mem-budget/mem-numbers pending lead ledger backfill pre-commit run --all-files = 33 Passed / 2 Failed,失败仅这两条, 均为台账受管区与本树 .map 的 Flash 差异(233,120 → 233,188,即本次 +68 B);RW_IRAM1 75,240 与 RW_CCM 57,376 与台账完全一致。按并行 分支约定本分支不跑 --write,台账由 Lead 合并后统一回填。 另记一处门禁缺口(非本次引入):ui-golden 的黄金参考 simulator/ tests/ref/ 被 .gitignore 排除、从未入库,新工作树里必然失败;本树 用 check_content_pages.py --update 生成 11 页基线后 ui-golden Passed (即本次改动对 UI 像素中性)。是否让基线入库待裁。
This commit is contained in:
+18
-3
@@ -77,6 +77,13 @@
|
||||
* 恢复打 DBG_INFO;心跳日志增 tgap(TPAFE 侧丢帧,
|
||||
* 与 adc1_gap 对称)。判定不在本文件(A-4:算法与
|
||||
* I/O 分离),本文件只做"消费计数 → 告警"的编排
|
||||
* v3.0 2026-10-21 王建锋 修复"任务初始化入口从未被调用":adc_task_func 进入
|
||||
* 循环之前先调 adc_task_init()。原实现下判定层状态靠
|
||||
* .bss 清零 + 首拍建基线兜住,功能没错,但函数头写的
|
||||
* "限定条件:adc_task_init() 已调用"是假的,会误导后来
|
||||
* 者;该入口同时不再打日志——它落在本任务静态最坏链上,
|
||||
* 每条 DBG_* 约 216 B 栈,而这一行毫无诊断价值(本任务
|
||||
* 存活由首帧日志与 TASK_WD_ADC 心跳证明)
|
||||
*/
|
||||
|
||||
#include "adc_task.h"
|
||||
@@ -230,14 +237,17 @@ static void adc_health_report(const adc_health_status_t *hs) {
|
||||
* 入口参数:无
|
||||
* 返 回 值:0 - 成功,-1 - 失败
|
||||
* 限定条件:tpafe5160_init() 已在 app_main_init()(内核启动前)完成
|
||||
* 函数说明:驱动初始化不在本任务(见限定条件);此处仅清帧统计。
|
||||
* 函数说明:驱动初始化不在本任务(见限定条件);此处清帧统计 + 清判定层参照系
|
||||
* (adc_health_init())。由 adc_task_func 进入循环之前调用一次;幂等,
|
||||
* 可重复调用(运行期要重建判定参照系,走的也是这里)。
|
||||
* ⚠ 本函数内禁止加日志:它在 adcTask 的静态最坏调用链上,每条 DBG_*
|
||||
* 约 216 B 栈,而本任务栈余量按 1024 B ISR 底线核算。
|
||||
*/
|
||||
int adc_task_init(void) {
|
||||
s_frames_consumed = 0u;
|
||||
s_frames_idle = 0u;
|
||||
s_frames_skip = 0u;
|
||||
adc_health_init();
|
||||
DBG_INFO("adc_task_init");
|
||||
return 0;
|
||||
}
|
||||
|
||||
@@ -245,7 +255,8 @@ int adc_task_init(void) {
|
||||
* 函数功能:ADC 任务主函数
|
||||
* 入口参数:arg - FreeRTOS 传入参数(未使用)
|
||||
* 返 回 值:无
|
||||
* 限定条件:adc_task_init() 已调用;内核已启动
|
||||
* 限定条件:内核已启动。本函数自己在进入循环前调 adc_task_init()——不依赖外部
|
||||
* 调用(历史上该入口全库无调用点,判定层状态只靠 .bss 清零兜住)
|
||||
* 函数说明:每拍采集一次(adc_input_poll():TPAFE 原子快照 + 消费一帧 STM32 ADC1 DMA 乒乓缓冲)
|
||||
* 并统计。采样节拍由 TIM3 硬件定时器提供(ISR 内触发 CONVST),本任务不再触发;
|
||||
* **本任务的唤醒同样由该 TIM3 ISR 置位 ADC_WAKE_FLAG 驱动**(事件驱动,
|
||||
@@ -261,6 +272,10 @@ void adc_task_func(void *arg) {
|
||||
|
||||
(void)arg;
|
||||
|
||||
/* 任务自有状态清零(含判定层参照系)。放在开闸之前:此刻 ISR 还不会唤醒
|
||||
* 本任务,init 与首拍之间不存在"用半初始化状态做判定"的窗口 */
|
||||
(void)adc_task_init();
|
||||
|
||||
/* 开闸:此刻任务已存在、调度器必已运行 → ISR 的唤醒从此生效。
|
||||
* 放在进入循环之前:置位与等待之间不会漏唤醒(线程标志粘滞) */
|
||||
s_consumer_ready = 1u;
|
||||
|
||||
+4
-12
@@ -21,6 +21,10 @@
|
||||
* v1.8 2026-10-10 王建锋 任务耗时测量埋点:net_poll() 单独计时——
|
||||
* 本任务每 ~1ms 分派一次消息队列,若驱动轮询被拉长,
|
||||
* 其它任务(尤其 UI 的 net_accept 往返)的等待随之拉长
|
||||
* v1.9 2026-10-21 王建锋 删除 net_task_init():空壳入口(体内只有一条
|
||||
* DBG_INFO),全库无调用点,而函数头却写"创建 TCP
|
||||
* Server 监听 Socket,注册回调等"——描述与实际不符,
|
||||
* 监听实际在 net_stack_bring_up() 与各服务里做
|
||||
*/
|
||||
|
||||
#include <string.h>
|
||||
@@ -145,18 +149,6 @@ int net_stack_bring_up(void) {
|
||||
return 0;
|
||||
}
|
||||
|
||||
/*
|
||||
* 函数功能:网络任务初始化
|
||||
* 入口参数:无
|
||||
* 返 回 值:0 - 成功,-1 - 失败
|
||||
* 限定条件:CH395F 协议栈已初始化
|
||||
* 函数说明:创建 TCP Server 监听 Socket,注册回调等
|
||||
*/
|
||||
int net_task_init(void) {
|
||||
DBG_INFO("net_task_init");
|
||||
return 0;
|
||||
}
|
||||
|
||||
/*
|
||||
* 函数功能:网络任务主函数
|
||||
* 入口参数:arg - FreeRTOS 传入参数(未使用)
|
||||
|
||||
+1
-1
@@ -9,6 +9,7 @@
|
||||
* v1.1 2026-08-24 王建锋 提取 net_stack_bring_up() 供硬件层/NET 层两种测试模式共用
|
||||
* v1.2 2026-09-15 王建锋 硬件层模式描述修正:netTask 恒创建(基础线程),
|
||||
* 该模式下自挂起不运行(P1-6 守卫)
|
||||
* v1.3 2026-10-21 王建锋 删除 net_task_init() 声明(空壳入口、无调用点)
|
||||
*/
|
||||
|
||||
#ifndef NET_TASK_H
|
||||
@@ -23,7 +24,6 @@ extern "C" {
|
||||
* netTask 自挂起(创建但不运行),由 testTask 调用后独占 CH395F。 */
|
||||
int net_stack_bring_up(void);
|
||||
|
||||
int net_task_init(void);
|
||||
void net_task_func(void const *arg);
|
||||
|
||||
#ifdef __cplusplus
|
||||
|
||||
+11
-4
@@ -554,10 +554,16 @@ stateDiagram-v2
|
||||
3. 位图**不复用已冻结位号**:bit0..bit7 已分配,新位从 bit8 起;`events` 与 `sticky` 若要共享
|
||||
语义就必须共享位号(§7 的去重写法依赖这点)。
|
||||
|
||||
**当前事实登记**(改这段链时会撞上):产品启动路径上 `adc_health_init()` 并未被调用——
|
||||
`adc_task_init()` 目前在仓库里没有调用点(只有 `adc_task_func` 被 `Src/freertos.c` 建为任务)。
|
||||
判定仍然正确,因为判定层状态全在 `.bss`(复位即 0),而**首拍只建基线**这条设计让 init 变成
|
||||
可选动作。但「init 可选」不等于「init 无用」:运行期任何需要重建参照系的场合都必须显式调用。
|
||||
**启动路径事实**:`adc_health_init()` 由 `adc_task_init()` 调用,而 `adc_task_init()` 由
|
||||
`adc_task_func()` 在进入循环之前自己调用(在「开闸」`s_consumer_ready = 1` 之前,所以 init 与
|
||||
首拍之间不存在被抢占的窗口)。三点设计含义:
|
||||
|
||||
- 判定层的正确性**不依赖**这次调用——状态全在 `.bss`(复位即 0),加上**首拍只建基线**,
|
||||
漏调一次只是「少清一次」。这正是把 init 设计成幂等 + 首拍建基线换来的韧性。
|
||||
- 但入口必须真的存在并被调用:否则函数头的「限定条件」就是假的,而下一个人(或 agent)
|
||||
会照着它推理。运行期要重建参照系(例如重新跑了会清零计数的驱动 `*_init()`),调用的就是它。
|
||||
- 该入口**禁止加日志**:它在 adcTask 的静态最坏调用链上(栈预算口径见本节表末与
|
||||
`docs/内存管理/RAM使用分析与优化方案.md` §1.4)。
|
||||
|
||||
---
|
||||
|
||||
@@ -580,3 +586,4 @@ stateDiagram-v2
|
||||
| 日期 | 变更 | 说明 |
|
||||
|---|---|---|
|
||||
| 2026-10-21 | 新建 | 首版单文件深设计:判据推导、四种位语义、闭锁与兜底责任矩阵、验证分工与现场判读手册;新增三张配图生成器(`tools/arch_diagram/gen_adc_health_flow_svg.py`、`gen_adc_health_bitmap_svg.py`、`gen_adc_health_timeline_svg.py`)与产物 SVG |
|
||||
| 2026-10-21 | §14 更新 | 初始化入口已接线:`adc_task_func()` 进循环前调 `adc_task_init()`(该入口不再打日志);同时删除 `App/task/net_task.c` 里的空壳 `net_task_init()` |
|
||||
|
||||
Reference in New Issue
Block a user