From 72b4b0943c6345d088d2a90ae1bebbe44ddc51ac Mon Sep 17 00:00:00 2001 From: super_agent_bot Date: Mon, 2 Nov 2026 03:33:51 +0800 Subject: [PATCH] docs: clear task and layer shorthand IDs MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Replace task/batch shorthand IDs and residual layer labels in human-facing docs with semantic phrases. Add the new cleanup policy to docs/编号规范.md and update the entry docs. Machine keys (TC/CODE-RULE/MENU-STATE/TRAP/FR), hardware designators/pins/MAC, protocol/version numbers and frozen historical evidence are intentionally kept. Docs only; no code behavior change. Verified with check_doc_links.py --all and git diff --check. --- AGENTS.md | 10 +-- App/algo/README.md | 2 +- App/cfg/README.md | 2 +- App/log/README.md | 6 +- Drivers/BSP/TPAFE5160/README.md | 4 +- README.md | 16 ++--- docs/README.md | 2 +- docs/UI设计/页面扩充详细方案.md | 4 +- docs/UI设计/页面补齐规划.md | 8 +-- docs/产品需求/产品需求设计文档.md | 2 +- docs/任务规划/暂缓-RS485.md | 22 +++---- docs/任务规划/登记簿.md | 4 +- docs/内存管理/RAM使用分析与优化方案.md | 18 +++--- docs/内存管理/RAM预算台账.md | 12 ++-- docs/内存管理/内存内容分配策略.md | 4 +- docs/子系统设计/IEC104上行设计说明.md | 38 +++++------ docs/子系统设计/控制台单写者日志设计说明.md | 12 ++-- docs/子系统设计/看门狗设计说明.md | 8 +-- docs/架构设计/STM32F4-Base存储架构说明.md | 4 +- docs/架构设计/项目启动顺序管理.md | 6 +- docs/架构设计/项目架构总览.md | 14 ++-- docs/测试说明/专项验证/存储维护与容量恢复.md | 2 +- docs/测试说明/专项验证/模拟器差距清单.md | 4 +- docs/测试说明/专项验证/链路延迟测试说明.md | 14 ++-- docs/测试说明/单元测试/主机单测覆盖率口径.md | 4 +- docs/测试说明/板级测试/实机测试实施指南.md | 2 +- docs/测试说明/流程与规范/测试开发标准流程.md | 4 +- .../测试工具/ST-LINK_CLI_复位使用说明.md | 2 +- docs/算法/继电保护功能复现规划.md | 64 +++++++++---------- docs/算法/采集与算法层设计说明.md | 16 ++--- docs/编号规范.md | 23 ++++++- docs/网络/BSD_Socket_API_函数调用关系.md | 2 +- docs/网络/网络自愈架构设计.md | 10 +-- docs/门禁说明/host-unit-tests.md | 6 +- test/host/README.md | 4 +- 35 files changed, 188 insertions(+), 167 deletions(-) diff --git a/AGENTS.md b/AGENTS.md index 9d4a2c78..97bcbe72 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -10,11 +10,11 @@ ## 项目概况 -**现状一句话**：平台能力（网络 / 存储 / 时间 / UI / 日志 / 看门狗 / FTP / 配置）**已实现并台架验收**；采集主线已闭环到业务消费者（语义取数与有效性→全周傅氏相量→测频与遥测快照→保护判据 protectTask→104 遥信/遥测+UI，B5/批 2）；⚠ **保护判据现处于「未标定闭锁」态**——产品构建下 `adc_cal_flags()` 的 `ADC_CAL_F_VALID` 未置位，`App/task/protect_task.c:268` 判停（判定本体 = `adc_cal_prot_blocked()`，本任务只是消费者），等两点标定写入 `[adc_cal] valid` 后自动解卡（用户裁定 2026-10-25：保持闭锁，不用万用表走捷径）；**RS-485 采集尚未接线**（B2 按用户决策冻结，见 `docs/任务规划/暂缓-RS485.md`）——当前最大功能缺口，接线节奏受 **RS-485 接线门禁**约束（见「平台约束」）。 +**现状一句话**：平台能力（网络 / 存储 / 时间 / UI / 日志 / 看门狗 / FTP / 配置）**已实现并台架验收**；采集主线已闭环到业务消费者（语义取数与有效性→全周傅氏相量→测频与遥测快照→保护判据 protectTask→104 遥信/遥测+UI）；⚠ **保护判据现处于「未标定闭锁」态**——产品构建下 `adc_cal_flags()` 的 `ADC_CAL_F_VALID` 未置位，`App/task/protect_task.c:268` 判停（判定本体 = `adc_cal_prot_blocked()`，本任务只是消费者），等两点标定写入 `[adc_cal] valid` 后自动解卡（用户裁定 2026-10-25：保持闭锁，不用万用表走捷径）；**RS-485 采集尚未接线**（按用户决策冻结，见 `docs/任务规划/暂缓-RS485.md`）——当前最大功能缺口，接线节奏受 **RS-485 接线门禁**约束（见「平台约束」）。 **数据主线**（能力视角；分层图与跨层依赖表 → `docs/架构设计/项目架构总览.md`）： -- **采集**：TPAFE5160（计量级 8 路，并行总线）+ 片内 ADC1（9 路，DMA）→ TIM3 1 kHz 节拍 + 原子快照 → adcTask → 语义取数与有效性校验 → 全周傅氏相量 → **测频与遥测快照（`meas` 200 ms 双区，104 与 UI 共用同一份上游，批 2）**+ 保护判据（protectTask 20 ms 判据节拍，B5）→ 104 遥信/遥测上送 +- **采集**：TPAFE5160（计量级 8 路，并行总线）+ 片内 ADC1（9 路，DMA）→ TIM3 1 kHz 节拍 + 原子快照 → adcTask → 语义取数与有效性校验 → 全周傅氏相量 → **测频与遥测快照（`meas` 200 ms 双区，104 与 UI 共用同一份上游）**+ 保护判据（protectTask 20 ms 判据节拍）→ 104 遥信/遥测上送 - **存储**：GD5F SPI NAND → dhara FTL → FatFs → `/log` 运行/自检等七本记录 + SOE、`/config.ini` 配置、FTP 根目录 - **网络**：CH395F → netTask 串行 socket 栈 → FTP(21) / 对时(8888) / RemoDispBus 远程显示(7003) / IEC 60870-5-104 上行(工厂默认 2404) - **人机**：LVGL 160×160 单色菜单（uiTask），**与 PC 模拟器同一份 UI 源码**，远端可看图 + 注键 @@ -46,7 +46,7 @@ - netTask：`net_stack_bring_up`（配置已由 defaultTask 在屏障前加载，本任务只读 RAM 副本）→ 置 NET_READY → 循环 `net_poll` + `net_process_messages`；消费 `SYS_EVT_NET_RECONFIG` → 按网络代次号重建监听（新 IP 免重启生效） - defaultTask：`f_mount` forced（无卷自动 `f_mkfs`；挂载后卷健康探针，FAT 区陈旧时自愈重格式化）→ 加载网络配置 → STORAGE_READY → LED 闪烁；同时是 `/log` 的**唯一写者**（syslog 七本 run/selftest/accid/alarm/start/oper/yk，定长 64B 记录 + `soe.log` 事件序列；`wdev.log` 是变长取证行）与**配置引擎属主**（netTask/uiTask 不得直接触碰配置引擎） - adcTask：**纯消费者**——每拍 `adc_input_poll()`（TPAFE 原子快照 + 消费一帧 STM32 ADC1 DMA 双缓冲），只取数不做保护运算；**节拍与唤醒同源**（TIM3 ISR 内触发 CONVST + 同一更新事件经 TRGO 触发 ADC1，并调 `adc_tick_irq_notify()` 置位，任务 `osThreadFlagsWait` 等唤醒）。⚠ ISR 侧**只能**走 `adc_tick_irq_notify()`（内含"消费者就绪"门，TIM3 比调度器早 ≈100 ms 启动）；手写于 `Src/freertos.c` 的 `USER CODE` 区，纳入 IWDG `required_mask`（`TASK_WD_ADC`） -- **采集与算法层（语义取数与有效性/全周傅氏相量/保护判据）落在 `App/algo/`**：`adc_input`/`adc_health` = 语义取数与有效性，`sample_ring`/`phasor` = 全周傅氏相量，`freq` = 测频与遥测快照（B8，自适应窗），`prot_set`/`prot_elm` = 保护判据。板端消费者 = **protectTask**（B5，2026-10-12）：20 ms 节拍 `prot_elm_run()` + 自检失败闭锁（采样故障闭锁）+ 定值校验和巡检；跨上下文复归（104 YK11）经 `prot_elm_request_reset()` 落请求。纳入 IWDG `required_mask`（`TASK_WD_PROTECT`，产品 `0x1F7`）。→ `docs/算法/采集与算法层设计说明.md`（设计与判据）、`App/algo/README.md`（目录索引） +- **采集与算法层（语义取数与有效性/全周傅氏相量/保护判据）落在 `App/algo/`**：`adc_input`/`adc_health` = 语义取数与有效性，`sample_ring`/`phasor` = 全周傅氏相量，`freq` = 测频与遥测快照（自适应窗），`prot_set`/`prot_elm` = 保护判据。板端消费者 = **protectTask**（2026-10-12）：20 ms 节拍 `prot_elm_run()` + 自检失败闭锁（采样故障闭锁）+ 定值校验和巡检；跨上下文复归（104 YK11）经 `prot_elm_request_reset()` 落请求。纳入 IWDG `required_mask`（`TASK_WD_PROTECT`，产品 `0x1F7`）。→ `docs/算法/采集与算法层设计说明.md`（设计与判据）、`App/algo/README.md`（目录索引） - 全景 → `docs/架构设计/项目架构总览.md`；启动时序与内核前模式 → `docs/架构设计/项目启动顺序管理.md` @@ -143,7 +143,7 @@ ## 模块约定 -- **CH395F 单连接 socket**：监听与数据通道复用同一 Socket（CONNECT 后转数据通道，DISCONNECT/TIMEOUT 后重开 → LISTEN）；所有 CH395F 中断在 `net_poll()` 内经 `GET_GLOB_INT_STATUS` 集中读取并清除，**不得**在 ISR 或其他地方单独处理。⚠ 全局寄存器**整体读即清、芯片无按位清除手段**，而 net_poll 只在全局位为 1 时才读该 Socket 的 SINT → "顺手全量清一遍"等于把别的在用 Socket 的门焊死（B3 实证）。**现存读清点全量审计 + 新增一处读清的三条准入判据 → `docs/网络/网络自愈架构设计.md` §4.10** +- **CH395F 单连接 socket**：监听与数据通道复用同一 Socket（CONNECT 后转数据通道，DISCONNECT/TIMEOUT 后重开 → LISTEN）；所有 CH395F 中断在 `net_poll()` 内经 `GET_GLOB_INT_STATUS` 集中读取并清除，**不得**在 ISR 或其他地方单独处理。⚠ 全局寄存器**整体读即清、芯片无按位清除手段**，而 net_poll 只在全局位为 1 时才读该 Socket 的 SINT → "顺手全量清一遍"等于把别的在用 Socket 的门焊死（台架实证）。**现存读清点全量审计 + 新增一处读清的三条准入判据 → `docs/网络/网络自愈架构设计.md` §4.10** - 所有 `net_*` socket 操作经 `netMsgQueue` 在 netTask 串行执行；非 netTask 任务直接调 `net_*` API，勿直接碰 CH395F 驱动 - **`net_*` 公开 API 的错误码经"任务通知值"回传**：`net_msg_t` 是**按值拷入队列**的，netTask 改的是自己那份副本，调用方永远看不到 → 错误码搭 `xTaskNotify()` 通知值回来。**勿给 `net_msg_t` 加"回传用"字段**（调用方只会读到栈垃圾） - **单连接 socket 的断开语义**：EOF 时 net 层已 `auto_relisten`，应用层**不得**在 EOF 时 `net_close` 该 fd（会连监听一起毁掉 → 端口"连接被拒"）；仅当数据 fd ≠ 监听 fd（模拟器多连接后端）时才关 @@ -178,7 +178,7 @@ | 存储栈（FatFs / dhara / lftpd / 两条 FatFs 陷阱） | `docs/架构设计/STM32F4-Base存储架构说明.md` | | RAM / 栈预算 / 容量台账 | `docs/内存管理/RAM使用分析与优化方案.md`、`内存内容分配策略.md` | | **每个提交门禁一篇详解**（查什么 / 拦下过什么真事 / 限制与盲区 / 基线口径） | `docs/门禁说明/README.md`（52 个钩子 → 30 篇索引，其中 2 篇是退役留档 + 1 指针） | -| **还想给东西发编号？**（**2026-10-29 用户裁定：一律不发**，写语义短语；§4.1 五个存量族的既有号只读引用——「停发」不等于「暂缓」，也不等于「可以清号」）/ 编号门禁现状（**两道都已退役**：全库八项校验 2026-10-28、只查新增行 2026-10-29；此后无机器面，只靠 §1 与评审） | `docs/编号规范.md`（§1 默认答案、§4.1 存量族〔穷举〕与『已停发』栏、§8.5 手工普查与恢复机器面） | +| **还想给东西发编号？**（**2026-11-02 用户裁定：人读文档清退存量编号**，写语义短语；任务/批次短号与残留分层叫法先清，机器键例外见 §0；后续批次继续清退） | `docs/编号规范.md`（§0 新口径、§1 默认答案、§4.1 存量族、§8.5 手工普查） | | 提交门禁通用机制（阶段 / stash 陷阱 / 触发面 / 增量拦截三段式） | `docs/代码规范/pre-commit使用说明.md` §2 | | 代码规范 V1.0 / cppcheck 口径 | `docs/代码规范/嵌入式C语言代码规范_V1.0.md`、`cppcheck使用说明.md` | | 自动化测试 / 实机测试 / 板级套件 | `docs/测试说明/流程与规范/自动化测试流程.md`、`实机测试实施指南.md`、`board-test-suite` skill | diff --git a/App/algo/README.md b/App/algo/README.md index 5335014c..06efd851 100644 --- a/App/algo/README.md +++ b/App/algo/README.md @@ -121,7 +121,7 @@ ADC 引脚电压 V）+ `adc_health_rail_watch()` ×9（「采样通道自检」 调 `meas_tick()`（非拍计数——idle/skip 拍拉长名义节拍）。docs/任务规划/数据可信.md §8 风险表"快照双写"行 = 评审判据：全仓 `meas_tick` 调用点数须为 1；iec104Task / uiTask 只读。 -- 值口径（批 2「遥测快照发布」的 A-lite 裁决）：**基波有效值瞬时透传**，与 phasor 使用区 +- 值口径（第二轮「遥测快照发布」的 A-lite 裁决）：**基波有效值瞬时透传**，与 phasor 使用区 **同拍同核逐位相等**（单测钉死）；**不做** 4 点平均 / 谐波方和根——按 docs/任务规划/数据可信.md §4.5"上送节拍非平均窗，再平均引入滞后"；谐波 k-bin 轨 （docs/算法/继电保护功能复现规划.md 「遥测谐波轨（可选）」）扩展只许结构尾部追加， diff --git a/App/cfg/README.md b/App/cfg/README.md index 2b56fbe9..e0ea7376 100644 --- a/App/cfg/README.md +++ b/App/cfg/README.md @@ -10,7 +10,7 @@ | `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` | **保护定值持久化胶水（B7）**：`/prot_set.bin` blob 读写（blob 格式/校验/原子装载在 `App/algo/prot_set.c` 纯逻辑层）；装载 = storage bring-up（屏障前），落盘 = defaultTask 消费 `SYS_EVT_PROT_SET_SAVE` | +| `prot_set_store.c/h` | **保护定值持久化胶水**：`/prot_set.bin` blob 读写（blob 格式/校验/原子装载在 `App/algo/prot_set.c` 纯逻辑层）；装载 = storage bring-up（屏障前），落盘 = defaultTask 消费 `SYS_EVT_PROT_SET_SAVE` | ## 设计要点 diff --git a/App/log/README.md b/App/log/README.md index 95715294..3197bcd3 100644 --- a/App/log/README.md +++ b/App/log/README.md @@ -10,8 +10,8 @@ | `sys_log.h` | **日志接口（平台无关）**：定长 64B 记录，七类各一个 `/log` 文件（run / selftest / accid / alarm / start / oper / yk）| | `sys_log_mcu.c` | `sys_log` 的 MCU 端后端实现（NAND + FatFs） | | `console_log.c/h` | **控制台单写者日志**：多任务日志经队列汇入唯一写者，避免串口输出交错 | -| `soe_rec.c/h` | **SOE 记录纯编解码**（B9）：64B 定长记录（CP56Time2a 时标 + 类型 + 元件号 + 单调序号 + 值 + sum8 撕裂校验），零 I/O 零 OS 依赖，主机单测覆盖 | -| `soe_store.c/h` | **SOE 落盘胶水**（B9）：`/log/soe.log`，protectTask 投递（零文件系统）→ defaultTask 排空落盘 | +| `soe_rec.c/h` | **SOE 记录纯编解码**：64B 定长记录（CP56Time2a 时标 + 类型 + 元件号 + 单调序号 + 值 + sum8 撕裂校验），零 I/O 零 OS 依赖，主机单测覆盖 | +| `soe_store.c/h` | **SOE 落盘胶水**：`/log/soe.log`，protectTask 投递（零文件系统）→ defaultTask 排空落盘 | ## 关键机制 @@ -90,7 +90,7 @@ - 多任务的生产者 → **单写者消费者**，消除任务间日志行交错 - 设计详见 `docs/子系统设计/控制台单写者日志设计说明.md` -### soe（SOE 事件顺序记录，B9） +### soe（SOE 事件顺序记录，SOE 记录） - **记录 = 64 B 定长二进制**（`soe_rec.h` 布局），落 `/log/soe.log`； 与 run.log 分文件——run.log 是文本记录、有 UI/主机读取方，二进制 SOE diff --git a/Drivers/BSP/TPAFE5160/README.md b/Drivers/BSP/TPAFE5160/README.md index 9b75ec12..f56081b8 100644 --- a/Drivers/BSP/TPAFE5160/README.md +++ b/Drivers/BSP/TPAFE5160/README.md @@ -16,11 +16,11 @@ ## 关键点 -- **周期重触发由 TIM3 更新事件（1 kHz）驱动**（2026-10-10）：`app_main_init` 末尾 `HAL_TIM_Base_Start_IT(&htim3)` 启动节拍，`Src/main.c` 的 `HAL_TIM_PeriodElapsedCallback` 在 TIM3 分支内调 `tpafe5160_start_conv_irq()`（ISR 内仅两次 GPIO 写）。B1 阶段曾由 `adcTask` 每 1 ms 软触发（已改）。⚠ **节拍源必须是 TIM3 而非 TIM6**：TIM3 的同一个更新事件还经 **TRGO** 硬件触发 STM32 ADC1，两片转换器由此同源对齐；F4 上 TIM6/TIM7 的 TRGO 只接 DAC，喂不到 ADC1 +- **周期重触发由 TIM3 更新事件（1 kHz）驱动**（2026-10-10）：`app_main_init` 末尾 `HAL_TIM_Base_Start_IT(&htim3)` 启动节拍，`Src/main.c` 的 `HAL_TIM_PeriodElapsedCallback` 在 TIM3 分支内调 `tpafe5160_start_conv_irq()`（ISR 内仅两次 GPIO 写）。ADC 采集链路 阶段曾由 `adcTask` 每 1 ms 软触发（已改）。⚠ **节拍源必须是 TIM3 而非 TIM6**：TIM3 的同一个更新事件还经 **TRGO** 硬件触发 STM32 ADC1，两片转换器由此同源对齐；F4 上 TIM6/TIM7 的 TRGO 只接 DAC，喂不到 ADC1 - **取数只用 `tpafe5160_snapshot(int16_t *dst, uint8_t count)`**（**仅任务上下文**，内部临界区原子拷贝；返回 1=新帧 / 0=无新帧 / -1=参数无效）。配套的 `tpafe5160_frame_seq()` 给帧序号、`tpafe5160_frstdata_err()` 给"FRSTDATA 无跳变"帧计数 - ⚠️ **不要用缓冲区指针取数**：旧的 `get_buf()` / `data_ready()` / `clear_ready()` 已于 2026-10-10 **删除**——`get_buf` 只给指针、任务再逐通道拷，中间被 BUSY EXTI 抢占就拷回**两帧混合**数据；`s_ready` 电平标志在 `start_conv_irq` 里被清 0，等于**用重触发去丢帧**。现由**帧序号**（只增不清）+ **临界区快照**取代 - **`tpafe5160_init()` 做首帧有效性自检**：完整跑一帧转换+读取，若整帧读下来 FRSTDATA **没有发生任何跳变**（芯片没在驱动并行总线；板上上拉会把它钉死为高）→ 返回 `BSP_ERR_NO_DEVICE`（旧 `TPAFE5160_FRSTDATA_ERR(-3)`，2026-10-23 收编）并打 `[ERR] Init FRSTDATA no-toggle`。判据刻意不锁死"哪个 RD 边沿拉高/拉低"（手册只给"RD 下降沿 → FRSTDATA 高/低"两个跳变，本板未实测边沿次序），只要求"一帧内必须跳变" → 既抓死芯片，也不会因极性假设错误误杀好芯片 -- 采样数据的消费者 `App/task/adc_task.c` **已实现**（B1，2026-10-10：`tpafe5160_snapshot()` 原子取数 + 帧统计；`adcTask` 在 `Src/freertos.c` 的 `USER CODE` 区创建）。**v2.2（2026-10-10）**：采样节拍改由定时器更新中断硬件触发，本任务退化为纯消费者；**v2.8（2026-10-10）**：节拍源改 TIM3（同时经 TRGO 触发 ADC1 + DMA），STM32 侧改为消费 DMA 乒乓缓冲，单拍耗时 122 µs → **8 µs** +- 采样数据的消费者 `App/task/adc_task.c` **已实现**（ADC 采集链路，2026-10-10：`tpafe5160_snapshot()` 原子取数 + 帧统计；`adcTask` 在 `Src/freertos.c` 的 `USER CODE` 区创建）。**v2.2（2026-10-10）**：采样节拍改由定时器更新中断硬件触发，本任务退化为纯消费者；**v2.8（2026-10-10）**：节拍源改 TIM3（同时经 TRGO 触发 ADC1 + DMA），STM32 侧改为消费 DMA 乒乓缓冲，单拍耗时 122 µs → **8 µs** - CONVST→BUSY→RD 三段时序对**建立/保持时间敏感**，改动需对照芯片手册 - ⚠️ 本项目 ADC 相关功能**新增任务/缓冲前须核算 RAM**（见 `docs/内存管理/`）；接消费者前的强制门禁见根 `AGENTS.md`「接 ADC / RS-485 消费者前的强制门禁」 - ⚠️ **通道语义不是通道号**：`buf[i]` 对应哪个电气量必须查 `docs/硬件平台/ADC通道映射说明.md`（`buf[2]=IA`、`buf[5]=UN`、`buf[6]=UA`）；V0.1 上 8 路电气量分属两片转换器属硬件缺陷（登记簿条目「双转换器无共同采样触发」）→ **禁止**跨转换器做相位/功率/功率因数类运算 diff --git a/README.md b/README.md index 87dd97b0..701b277d 100644 --- a/README.md +++ b/README.md @@ -21,7 +21,7 @@ | USART1 | 串口 | PA9 TX, PA10 RX | 115200bps 调试串口 | | SD2506 RTC | I2C1 | PB6 SCL, PB7 SDA | 墙钟基准与日志时间戳 | | 6x LED | GPIO | PC5, PB0, PB1, PB2, PF11, PF12 | 低电平点亮 | -| RS-485 | UART4 | PC10 TX, PC11 RX, PA15 DE | 半双工通信（B2 暂缓，见 `docs/任务规划/暂缓-RS485.md`） | +| RS-485 | UART4 | PC10 TX, PC11 RX, PA15 DE | 半双工通信（暂缓，见 `docs/任务规划/暂缓-RS485.md`） | | SWD | — | PA13 SWDIO, PA14 SWCLK | 调试口 CN2（XH-3A） | ## 项目架构 @@ -30,19 +30,19 @@ flowchart TB subgraph APP["应用层 (App/)"] direction LR - A1["app/app_main.c"] ~~~ A2["task/net_task.c"] ~~~ A3["task/ui_task.c"] ~~~ A4["sync/time_sync.c"] ~~~ A5["algo/（语义取数与有效性~保护判据）"] + APPMAIN["app/app_main.c"] ~~~ NETTASK["task/net_task.c"] ~~~ UITASK["task/ui_task.c"] ~~~ TIMESYNC["sync/time_sync.c"] ~~~ ALGO["algo/（语义取数与有效性~保护判据）"] end subgraph BSP["驱动层 (Drivers/BSP/)"] direction LR - B1["CH395F"] ~~~ B2["GD5F2GQ5UE"] ~~~ B3["TPAFE5160"] ~~~ B4["SD2506"] ~~~ B5["RS485"] ~~~ B6["UI"] + ETH["CH395F"] ~~~ NAND["GD5F2GQ5UE"] ~~~ ADC["TPAFE5160"] ~~~ RTC["SD2506"] ~~~ RS485["RS485"] ~~~ UI["UI"] end subgraph MW["中间件 (Middlewares/ & Lib/)"] direction LR - C1["FreeRTOS"] ~~~ C2["FatFs"] ~~~ C3["dhara FTL"] ~~~ C4["LVGL"] + FREERTOS["FreeRTOS"] ~~~ FATFS["FatFs"] ~~~ DHARA["dhara FTL"] ~~~ LVGL["LVGL"] end subgraph HAL["HAL 层 / CMSIS"] direction LR - D1["STM32F4xx_HAL_Driver/"] ~~~ D2["CMSIS/"] + HALDRV["STM32F4xx_HAL_Driver/"] ~~~ CMSIS["CMSIS/"] end HW["硬件 (STM32F407ZGTx)"] APP --> BSP --> MW --> HAL --> HW @@ -85,7 +85,7 @@ main.c | timeSyncTask | 640 words | Normal | 墙钟时间同步 | | adcTask | 640 words | AboveNormal | TPAFE5160 采样（TIM3 1kHz 事件驱动 + 原子快照 + STM32 ADC DMA，纯消费者） | | iec104Task | 640 words | Normal | IEC 60870-5-104 上行（工厂默认 :2404 监听，遥信/遥测/定值区） | -| protectTask | 512 words | Normal | 保护判据 20ms 节拍（保护判据元件 + 采样故障闭锁，B5） | +| protectTask | 512 words | Normal | 保护判据 20ms 节拍（保护判据元件 + 采样故障闭锁） | > 上表与 `Src/freertos.c` 的 `osThreadAttr_t` 一致（2026-10-14 校准，9 任务）；改动栈大小前先读 @@ -131,7 +131,7 @@ STM32F4-Base/ │ │ ├── adc_task.c/h # ADC 任务（语义取数与有效性/全周傅氏相量纯消费者，TIM3 1kHz 唤醒） │ │ ├── iec104_serv.c/h # IEC 60870-5-104 上行服务 │ │ ├── protect_task.c/h # 保护判据任务（保护判据 20ms 节拍） -│ │ └── rs485_task.c/h # RS-485 任务（已实现，未创建，B2 暂缓） +│ │ └── rs485_task.c/h # RS-485 任务（已实现，未创建，暂缓） │ ├── util/ # 工具函数（crc / ringbuf / sys_clock） │ └── protocol/ # 通信协议（预留） ├── Drivers/ @@ -421,7 +421,7 @@ pre-commit run --all-files | `docs/网络/BSD_Socket_API_使用指南.md` | BSD Socket API 使用指南（`net_socket` / `net_select`：线程安全 / 快速开始 / TCP / UDP / I/O 多路复用 / 事件回调 / API 参考 / 常见问题） | | `docs/网络/Net层阻塞模型架构设计.md` | NET 阻塞模型（挂起请求表五路语义，recv 一期 / SEND 二期已落地） | | `docs/网络/网络自愈架构设计.md` | 网络自愈架构（监听重建 / 沉降隔离 / 周期对账） | -| `docs/子系统设计/IEC104上行设计说明.md` | IEC 60870-5-104 上行（工厂默认 :2404 监听，B4） | +| `docs/子系统设计/IEC104上行设计说明.md` | IEC 60870-5-104 上行（工厂默认 :2404 监听） | | `docs/子系统设计/ADC采样节拍设计说明.md` | TIM3 1kHz 采样节拍（两片转换器同源硬件驱动） | | `docs/UI设计/UI_设计架构.md` | LVGL UI 系统架构（菜单 / 内容页 / 内存预算） | | `docs/UI设计/菜单页面设计.md` | 菜单导航行为、数据流与内容页设计 | diff --git a/docs/README.md b/docs/README.md index 950cb35f..ed118c51 100644 --- a/docs/README.md +++ b/docs/README.md @@ -95,7 +95,7 @@ docs/ | [`看门狗设计说明.md`](子系统设计/看门狗设计说明.md) | IWDG（CubeMX 配置）+ 任务心跳位图：选型与超时推导、掩码与埋点、取证机制、验证记录；已台架闭环（V2/V4/V5）。**§11 = 任务级饥饿的诊断方法与 `[PROF]` 实测基线**（诊断沉淀：判读口径、量化归因、三条脆弱点、明确不做的四条） | | [`ADC采样节拍设计说明.md`](子系统设计/ADC采样节拍设计说明.md) | **ADC 采集链路采样节拍（现状说明）**：TIM3 1 kHz 更新事件同时触发 TPAFE CONVST 与（经 TRGO）STM32 ADC1 + DMA 乒乓缓冲；节拍源为什么是 TIM3、DMA 硬约束、事件驱动消费与就绪门、实现落点、观测计数、性能特征与设计边界 | | [docs/子系统设计/故障录波设计说明.md](子系统设计/故障录波设计说明.md) | **故障录波设计与口径属主**：1 kHz 起步与 80 点口径的偏离登记、存原始码值的理由、四段所有权与四条并发陷阱、段文件字节布局、现场单通道回放显示契约、预算与 R6 前置 | -| [`IEC104上行设计说明.md`](子系统设计/IEC104上行设计说明.md) | **B4 上行规约**：IEC 60870-5-104 被控站（TCP 工厂默认 2404）范围/点表（V0.1 有效子集）/链路流程（k/w/t1~t3、总召、COV、遥控两段式、定值）/netTask 接入决策/预算与测试方案；协议核心纯逻辑 + 主机侧纯逻辑单测全栈单测 | +| [`IEC104上行设计说明.md`](子系统设计/IEC104上行设计说明.md) | **IEC 104 上行规约**：IEC 60870-5-104 被控站（TCP 工厂默认 2404）范围/点表（V0.1 有效子集）/链路流程（k/w/t1~t3、总召、COV、遥控两段式、定值）/netTask 接入决策/预算与测试方案；协议核心纯逻辑 + 主机侧纯逻辑单测全栈单测 | | [`屏板链路设计说明.md`](子系统设计/屏板链路设计说明.md) | **屏板串口链路（主机侧，`Drivers/BSP/ScreenLink/`）设计**：链路与角色、USART1 700 kbaud 配置与中断收发、物理接线（含台架日志口与 PC 顶替屏板）、协议实现口径（CRC 字节序 / 整帧 DMA / 时序）、键值与状态灯映射表、资源与耗时、对外接口表、验证状态与未闭环项、坑账本 | | [`网络/BSD_Socket_API_使用指南.md`](网络/BSD_Socket_API_使用指南.md) | **上层视图**：BSD Socket API 公开语义、示例、常见问题 | | [`网络/BSD_Socket_API_函数调用关系.md`](网络/BSD_Socket_API_函数调用关系.md) | **内部视图**：netTask / 消息队列 / 保护判据挂起 / 重试对账的调用关系与设计意图 | diff --git a/docs/UI设计/页面扩充详细方案.md b/docs/UI设计/页面扩充详细方案.md index a43bd295..4f514ce2 100644 --- a/docs/UI设计/页面扩充详细方案.md +++ b/docs/UI设计/页面扩充详细方案.md @@ -581,7 +581,7 @@ void ui_w_soe_refresh(ui_w_soe_t *inst, uint16_t row, char *name, char *valu |---|---|---|---| | **1** | 交流量（回炉）、直流量（回炉）、装置信息（回炉）、参数/定值/控制字/软压板**查看**（4）、遥信量 | **8** | 批 0 | | **2** | 整定 4 页、时钟设置、强制复归、清除记录、通讯设置 | **8** | 批 1 + 写路径 | -| **3** | 事故/操作/告警/启动/遥控记录（5）、SOE记录、运行报告、遥测死区、遥测系数 | **9** | 批 2 + 5 个写入方 + `run_par` + `soe` 读 API | +| **3** | 事故/操作/告警/启动/遥控记录（5）、SOE记录、运行报告、遥测死区、遥测系数 | **9** | 第二轮 + 5 个写入方 + `run_par` + `soe` 读 API | | **4**（可选） | 遥信类型/遥信防抖/双点遥信、手动录波、SNTP设置 | **5** | 开入采集 / 录波 / SNTP 客户端 | ### 6.3 依赖关系 @@ -595,7 +595,7 @@ void ui_w_soe_refresh(ui_w_soe_t *inst, uint16_t row, char *name, char *valu SNTP 客户端 ──────→ 批4 SNTP设置 ``` -**关键路径**：批 0 → 批 1 → 批 2。批 3 的 5 个记录页可以并行（写入方在 App 侧，页面在 BSP 侧，互不阻塞）。 +**关键路径**：批 0 → 批 1 → 第二轮。批 3 的 5 个记录页可以并行（写入方在 App 侧，页面在 BSP 侧，互不阻塞）。 --- diff --git a/docs/UI设计/页面补齐规划.md b/docs/UI设计/页面补齐规划.md index 815ba35e..96974f4f 100644 --- a/docs/UI设计/页面补齐规划.md +++ b/docs/UI设计/页面补齐规划.md @@ -201,7 +201,7 @@ ui_page_ac / ui_page_yx / ui_page_setlist ... **退出判据**：主站改一条定值 → 就地页面 200 ms 内显示新值；SOE 记录页能翻到最近 20 条。 -### 批 2：整定与通讯（6 个叶子） +### 第二轮：整定与通讯（6 个叶子） 9. **`ui_w_editor`**（§3.2）→ **定值整定 4 页**（8/9/10/11）。 10. **通讯设置**（29）：需先建 `comm_cfg`（`[comm]` 段：104 公共地址/端口/主站地址），照 `net_cfg` 的"RAM 副本 + 保存请求交接"范式。 @@ -248,12 +248,12 @@ ui_page_ac / ui_page_yx / ui_page_setlist ... | 参考项 | 本项目 | 价值判断 | |---|---|---| | 版本信息（板件版本） | 无 | **建议合并进"装置信息"**——单板设备，装置信息已有型号/软硬件版本/校验和/日期，再开一页是重复 | -| 恢复默认（全部/参数/定值/软压板） | 无 | **建议做**：生产返修与现场救急必备；依赖定值/参数模型（批 2 之后） | +| 恢复默认（全部/参数/定值/软压板） | 无 | **建议做**：生产返修与现场救急必备；依赖定值/参数模型（第二轮 之后） | | 元件配置 | 无 | 不做：本项目元件表是编译期数据驱动，运行期改元件等于改点表，超出 V0.1 范围 | | 交流显示（一次/二次值切换） | 无 | 建议做（1 项配置）：依赖标定，随批 3 | -| 装置调试：虚拟遥信/交流虚遥测/动作虚事件/动作出口 | 无 | **建议做"虚拟注入"**：无标准源也能验证 UI/104/记录全链，正好补 B10 的前置条件（详见下） | +| 装置调试：虚拟遥信/交流虚遥测/动作虚事件/动作出口 | 无 | **建议做"虚拟注入"**：无标准源也能验证 UI/104/记录全链，正好补 第三方送检验收 的前置条件（详见下） | -> **虚拟注入的价值**：当前送检等标准源（B10），而虚拟注入能让"改一个假值 → 看 UI 是否变 → 看 104 是否上送 → 看 SOE 是否记录"这条链在没有硬件激励的情况下闭环。它是**测试基础设施**，不是产品功能，建议放在厂家菜单并加明显标识（标题后缀"调试"）。 +> **虚拟注入的价值**：当前送检等标准源（第三方送检验收），而虚拟注入能让"改一个假值 → 看 UI 是否变 → 看 104 是否上送 → 看 SOE 是否记录"这条链在没有硬件激励的情况下闭环。它是**测试基础设施**，不是产品功能，建议放在厂家菜单并加明显标识（标题后缀"调试"）。 > > **代价**：菜单树从当时 42 节点扩到约 48~50 节点（节点数现值 43，2026-10-29 录波道加「录波回放」叶），`ui_menu_tree.txt` 改动会触发菜单 8 状态像素回归与 `task-table` 式索引文档同步。**这是需要拍板的项**——见 §8。 diff --git a/docs/产品需求/产品需求设计文档.md b/docs/产品需求/产品需求设计文档.md index a46b8fbd..94f843bf 100644 --- a/docs/产品需求/产品需求设计文档.md +++ b/docs/产品需求/产品需求设计文档.md @@ -869,7 +869,7 @@ ISR 抢占，一抢就撞第 1 条，而后果在屏板侧完全不可见。时 | **USART2** | PD5 / PD6 | **RS232#3**（U10 隔离 → U13 TPT3232E → CN1） | 已初始化、固件未占用（日志最终选了 UART5） | | UART5 | PC12 / PD2 | **RS232#1**（U9 隔离 → U13 → CN1） | ✅ **调试日志**（115200，已迁移、台架在用；端子见 `docs/子系统设计/屏板链路设计说明.md` §3.2） | | UART4 | PC10 / PC11，DE = **PA15** | **RS485#4**（U11 隔离 → U15 → A/B → CN1） | 冻结簇，本项不碰 | -| USART3 | PB10 / PB11 | U5 直连 TTL（ST_TX2/RX2） | 空闲 | +| USART3 | P第三方送检验收 / PB11 | U5 直连 TTL（ST_TX2/RX2） | 空闲 | **为什么是 USART1**：它是唯一一条**不经收发器、MCU 引脚直出**的通道，而 700 kbaud 恰好卡在收发器上 （`U15 = TP8485E-SR` 只有 250 kbps，`docs/芯片手册/TP8485E-SR.md`）。换到这条线上，速率问题从根上消失， diff --git a/docs/任务规划/暂缓-RS485.md b/docs/任务规划/暂缓-RS485.md index 605b30ee..6145bdcd 100644 --- a/docs/任务规划/暂缓-RS485.md +++ b/docs/任务规划/暂缓-RS485.md @@ -1,24 +1,24 @@ # 暂缓：RS-485 整簇（用户决定，2026-10-12） -> **当前没有处理 RS-485 的打算**，以下条目整体冻结、不占执行队列；**重启 B2 时先回本文件评估前置，勿直接开工**。 +> **当前没有处理 RS-485 的打算**，以下条目整体冻结、不占执行队列；**重启 RS-485 采集链路时先回本文件评估前置，勿直接开工**。 > 本文件**不是销项**：条目仍在簿，只是暂缓（`docs/任务规划/README.md` §3 维护约定）。 | 项 | 内容 | 重启时的前置 | |---|---|---| -| **B2** | **RS-485 采集链路实现**：双缓冲 + 序号（防包撕裂）+ DE 收尾（超时路径等 TC）+ ModBus RTU 状态机（`App/protocol/` 正是为此预留） | **RS-485 接线门禁尚未满足**：先修单缓冲包撕裂、TX 超时拉 DE 未等 TC 两条，修完才允许接消费者 | +| **RS-485 采集链路** | **RS-485 采集链路实现**：双缓冲 + 序号（防包撕裂）+ DE 收尾（超时路径等 TC）+ ModBus RTU 状态机（`App/protocol/` 正是为此预留） | **RS-485 接线门禁尚未满足**：先修单缓冲包撕裂、TX 超时拉 DE 未等 TC 两条，修完才允许接消费者 | | RS485 DE 收尾 | RS485 DE 收尾（原属结构债一档剩余，已移出） | 同上 | -| 采集链路测试可验证性约束 · RS485 侧 | 双缓冲 + 序号、DE 超时路径覆盖（约束正文 = 本文「采集链路测试可验证性约束」一节） | 随 B2 设计文档落地 | -| 待确认-3 | RS-485 PD0 DE 半双工方向语义硬件实测确认（本次仅静态审查） | 需硬件实测窗口 | -| 网络性能资源建议簇中 DE 项 | `HAL_Delay(1)` 阻塞 DE | 随 B2 | +| 采集链路测试可验证性约束 · RS485 侧 | 双缓冲 + 序号、DE 超时路径覆盖（约束正文 = 本文「采集链路测试可验证性约束」一节） | 随 RS-485 设计文档落地 | +| RS-485 方向控制硬件实测 | RS-485 PD0 DE 半双工方向语义硬件实测确认（本次仅静态审查） | 需硬件实测窗口 | +| 网络性能资源建议簇中 DE 项 | `HAL_Delay(1)` 阻塞 DE | 随 RS-485 采集链路 | --- -## 采集链路测试可验证性约束（B2 动手前必须落实） +## 采集链路测试可验证性约束（RS-485 动手前必须落实） -> 原属 `docs/任务规划/测试与架构专项.md` §2.2（该文档已删除，2026-10-28）。ADC 侧随 B1 闭环， -> **没落实的只剩 RS-485 侧**，所以约束正文收在本节——重启 B2 以这里为准，不要再另起一份。 +> 原属 `docs/任务规划/测试与架构专项.md` §2.2（该文档已删除，2026-10-28）。ADC 侧随 ADC 采集链路闭环， +> **没落实的只剩 RS-485 侧**，所以约束正文收在本节——重启 RS-485 采集链路以这里为准，不要再另起一份。 -本项**不是缺陷，是对上游 B2 的设计约束**：`rs485_task.c` 仍是空桩、`App/protocol/` 只有占位文件；动手前不落实 +本项**不是缺陷，是对上游 RS-485 采集链路的设计约束**：`rs485_task.c` 仍是空桩、`App/protocol/` 只有占位文件；动手前不落实 这三条，事后无法补测（撕裂与错误路径在真机上不可稳定复现）。 1. **协议解析必须与硬件 I/O 分离**：`App/protocol/` 的解析函数应接受 `(const uint8_t *buf, size_t len)` 并返回 @@ -27,6 +27,6 @@ 必须在设计上消除； 3. **DE 收尾必须有超时路径覆盖**（RS-485 半双工特有陷阱）。 -**完成判据**：B2 设计文档体现上述三条；协议解析函数有对应的主机侧纯逻辑单测。 -（ADC 侧不需要再做：它没有协议解析面，"同一时刻性"由 `tpafe5160_snapshot()` 原子快照保证，2026-10-10 随 B1 +**完成判据**：RS-485 设计文档体现上述三条；协议解析函数有对应的主机侧纯逻辑单测。 +（ADC 侧不需要再做：它没有协议解析面，"同一时刻性"由 `tpafe5160_snapshot()` 原子快照保证，2026-10-10 随 ADC 采集链路 闭环 → `docs/硬件平台/ADC通道映射说明.md` §8 与 `App/algo/README.md`。） diff --git a/docs/任务规划/登记簿.md b/docs/任务规划/登记簿.md index 5ffb7316..3ae8f4fa 100644 --- a/docs/任务规划/登记簿.md +++ b/docs/任务规划/登记簿.md @@ -28,7 +28,7 @@ | # | 事项 | 发现 | 证据与现状 | 出处 | |---|---|---|---|---| -| 双转换器无共同采样触发 | **8 路电气量分属两片转换器（V0.1 硬件缺陷，需下一版硬件修改）**——UA/UN/IA 走 TPAFE5160（16 位、8 通道同步、±5 V 双极性），UB/UC/IB/IC/IN 走 STM32 ADC（12 位、顺序扫描、0～3.3 V 单极性）：① 两片转换器无共同采样触发 + STM32 侧顺序扫描（9 通道一轮 ≈ 67 µs）→ 跨转换器通道**无同一时刻性、相位关系不确定**，主板侧功率/功率因数/相角/对称分量类运算不成立；② 同族电气量精度与量程不一致（LSB ≈ 152.6 µV vs ≈ 806 µV，且 STM32 侧前端无中点偏置、负半周削顶）；③ 语义与硬件归属交叉，固件映射/UI 通道序/自检注入须逐通道查表绕开 | 2026-10-10 定性更正（**撤销** 2026-10-09 建档时"有意分配、不要修正"的说法） | **V0.2 改版要求**：8 路电气量 UA/UB/UC/UN/IA/IB/IC/IN **全部接 TPAFE5160**，与 TPAFE 上 5 路备用路（AIN5/13/7/15/12）对调串联电阻在转换器一侧的目的地——元件数量与料号不变，属走线级改动。**V0.1 现板软件口径**：主板侧只做逐通道独立监视，禁止跨转换器做相位/功率/功率因数/矢量类运算（此类量取子板计量模块结果）。固件侧消费者已落地（B1，2026-10-10，按语义映射表取数）→ V0.2 改版只改映射表内容，上层语义与代码不动 | `../硬件平台/ADC通道映射说明.md` §1/§7；`../硬件平台/V0.1_网表详细分析报告.md` §1.4 V10、§6-3 | +| 双转换器无共同采样触发 | **8 路电气量分属两片转换器（V0.1 硬件缺陷，需下一版硬件修改）**——UA/UN/IA 走 TPAFE5160（16 位、8 通道同步、±5 V 双极性），UB/UC/IB/IC/IN 走 STM32 ADC（12 位、顺序扫描、0～3.3 V 单极性）：① 两片转换器无共同采样触发 + STM32 侧顺序扫描（9 通道一轮 ≈ 67 µs）→ 跨转换器通道**无同一时刻性、相位关系不确定**，主板侧功率/功率因数/相角/对称分量类运算不成立；② 同族电气量精度与量程不一致（LSB ≈ 152.6 µV vs ≈ 806 µV，且 STM32 侧前端无中点偏置、负半周削顶）；③ 语义与硬件归属交叉，固件映射/UI 通道序/自检注入须逐通道查表绕开 | 2026-10-10 定性更正（**撤销** 2026-10-09 建档时"有意分配、不要修正"的说法） | **V0.2 改版要求**：8 路电气量 UA/UB/UC/UN/IA/IB/IC/IN **全部接 TPAFE5160**，与 TPAFE 上 5 路备用路（AIN5/13/7/15/12）对调串联电阻在转换器一侧的目的地——元件数量与料号不变，属走线级改动。**V0.1 现板软件口径**：主板侧只做逐通道独立监视，禁止跨转换器做相位/功率/功率因数/矢量类运算（此类量取子板计量模块结果）。固件侧消费者已落地（ADC 采集链路，2026-10-10，按语义映射表取数）→ V0.2 改版只改映射表内容，上层语义与代码不动 | `../硬件平台/ADC通道映射说明.md` §1/§7；`../硬件平台/V0.1_网表详细分析报告.md` §1.4 V10、§6-3 | ## 4. 测试与验证基础设施 @@ -40,7 +40,7 @@ | # | 事项 | 影响 / 现状 | 处置方向 | 状态 | 出处 | |---|---|---|---|---|---| -| rs485_task 白名单缺口 | **KNOWN_GAPS 白名单清理**——现存唯一缺口 = `App/task/rs485_task.c`（RS-485 接线门禁未满足、刻意不接线，随 B2 暂缓，见 `暂缓-RS485.md`） | 白名单不清 = "写了不编译"盲区仍在 | 随 B2 一并出白名单（`--strict` 供审计复跑） | 结构债 | 报告 N 族残余（报告已删） | +| rs485_task 白名单缺口 | **KNOWN_GAPS 白名单清理**——现存唯一缺口 = `App/task/rs485_task.c`（RS-485 接线门禁未满足、刻意不接线，随 RS-485 采集链路 暂缓，见 `暂缓-RS485.md`） | 白名单不清 = "写了不编译"盲区仍在 | 随 RS-485 采集链路 一并出白名单（`--strict` 供审计复跑） | 结构债 | 报告 N 族残余（报告已删） | | 缩堆迁 CCM 后半（暂缓） | **内存优化簇剩余**：原报告缩堆建议的后半（缩堆 56→32 KB → 迁 CCM）· 同类三项 | ⏸ **整簇暂缓**（2026-10-15 用户裁定）：没有功能在等这块预算，而搬迁要动 scatter、要逐条过 DMA 可达性清单、缩堆还要上板复测。⚠ 代价落在"以后加任务 / 抬栈 / 加堆"那一刻——CCM 只剩 7,904 B、FreeRTOS 堆 `min_ever` 8,464 B，届时 `mem-budget` 会先报警 | 重开条件见 `../内存管理/RAM使用分析与优化方案.md` §4。⚠ **原报告另有一条已判定不可行**（CMSIS-RTOS2 `freertos_os2.h` 有 `#if (configMAX_PRIORITIES != 56) #error`，改小直接编译失败），不再列入 | **暂缓** | 报告 R 族剩余/§5.5（报告已删） | | 仓库体积膨胀观察 | **仓库膨胀**：`.git` **233 MB**（2026-10-25 实测）+ 手册图片 36.3 MB（受控文件合计仅 79.3 MB，`.git` 已是它的 3 倍） | clone/备份慢，且持续恶化 | 降采样 / 拆 submodule / LFS 三选一 **+ 一次 `git filter-repo` 历史重写**（三项都不解决历史膨胀）。**已决策（2026-10-11）：暂不处理、登记观察**——推送/协作前重评 | **仓库决策** | 报告 D 族 | diff --git a/docs/内存管理/RAM使用分析与优化方案.md b/docs/内存管理/RAM使用分析与优化方案.md index f1d8db32..ad927422 100644 --- a/docs/内存管理/RAM使用分析与优化方案.md +++ b/docs/内存管理/RAM使用分析与优化方案.md @@ -59,7 +59,7 @@ dhara 失败类 +84；RO 另 +208，全是该失败类名表）→ `ER_IROM1` |---|---|---| | 主 SRAM (0x20000000) | 128 KB（RW_IRAM1 Max `0x20000`） | scatter `STM32F407-Demo.sct:22` | | CCM SRAM (0x10000000) | 64 KB；FreeRTOS 堆于 2026-09-21 迁入（§4.1.2） | scatter `STM32F407-Demo.sct:25`；RM0090 §3.1.1 | -| FreeRTOS 堆 (heap_4) | **56 KB（57,344 B）**，**位于 RW_CCM**；2026-10-12（B5）由 48 KB 扩容（protectTask/iec104Task 栈入堆，CCM 水位 87.9% < 92% 门禁）；旧 48KB 池实测 `free=8,784 / min_ever=4,848` B（2026-10-03），新池 min_ever 待上板复测 | `Inc/FreeRTOSConfig.h:71` `configTOTAL_HEAP_SIZE`（语义取数与有效性：`.ioc` `FREERTOS.configTOTAL_HEAP_SIZE`） | +| FreeRTOS 堆 (heap_4) | **56 KB（57,344 B）**，**位于 RW_CCM**；2026-10-12（保护任务）由 48 KB 扩容（protectTask/iec104Task 栈入堆，CCM 水位 87.9% < 92% 门禁）；旧 48KB 池实测 `free=8,784 / min_ever=4,848` B（2026-10-03），新池 min_ever 待上板复测 | `Inc/FreeRTOSConfig.h:71` `configTOTAL_HEAP_SIZE`（语义取数与有效性：`.ioc` `FREERTOS.configTOTAL_HEAP_SIZE`） | | C 库堆/栈 (startup) | 512 B / 1 KB，启动期 main() 用 | map `startup_stm32f407xx.o` HEAP/STACK 节 | ### 2.2 静态大项排行（2026-10-10 当前，完整台账 `data/ram_report_20261010.md`） @@ -103,7 +103,7 @@ dhara 失败类 +84；RO 另 +208，全是该失败类名表）→ `ER_IROM1` `Src/freertos.c` 中 `osThreadAttr_t.stack_size` 单位为**字节**（CubeMX 生成代码，`1024 * 4` 表示 4096 字节）： > ✅ **本表已于 2026-10-10 重新基线**（产品构建 `suite=NONE`，开机 + 空闲采样，静态链取 `stack_report.py`）。 -> 同日**增列 `adcTask`**（B1：ADC 采集消费者，512 words，静态最坏链 504 B / 余 75%）。 +> 同日**增列 `adcTask`**（ADC 采集链路：ADC 采集消费者，512 words，静态最坏链 504 B / 余 75%）。 > **2026-10-11 全周傅氏相量层接入后复测**：adcTask 静态 **832 B** / 台架实测峰值 **928 B / 2048（余 54%）**， > 增量为压环 + `phasor_run()`（`win[20]` 80 B）+ `log_phasors` 日志链；仍高于 1024 B 底线，7 任务全 PASS。 > **同日采样有效性校验后抬栈 512→640 words**：`adc_health_report`→`syslog_post` 控制台回显尾把静态 @@ -111,7 +111,7 @@ dhara 失败类 +84；RO 另 +208，全是该失败类名表）→ `ER_IROM1` > 堆 `min_ever` 7152 → **6640 B**（-512 B，符合预算）。 > 此前 2026-10-04 的 V5 30 min 重采曾把 defaultTask 推到 **3664B/4096（余量 432B ≈ 10%，曾登记在案）**； > 2026-10-10 的栈整改（**未抬栈**，见 §4 阶段 0 的"2026-10-10 复测"）把它压回 **2152B/4096**，该项已销项。 -> **2026-10-12 栈余量收口（登记簿销项，「采集保护收尾」M1）**：B7 定值持久化把 defaultTask 静态链推到 **3016 B** +> **2026-10-12 栈余量收口（登记簿销项，「采集保护收尾」M1）**：保护定值持久化把 defaultTask 静态链推到 **3016 B** > （storage_bring_up→cfg 写→f_rename→dhara GC→控制台回显尾），1024 words 余 1080 B < 30% 线； > timeSyncTask 链 **1264 B**（同一控制台回显尾），512 words 余 784 B < ISR 底线 → **抬栈** > defaultTask 1024→**1280**、timeSyncTask 512→**640**（堆 +1536 B，台账 §6 已登记）； @@ -126,9 +126,9 @@ dhara 失败类 +84；RO 另 +208，全是该失败类名表）→ `ER_IROM1` | testTask | `2048*4` | 8KB | 测试套件（产品构建不创建；存储套件深链需要） | 未创建 / 静态 496 B | | defaultTask | `1280*4` | 5KB | FatFS 挂载/探针 + 配置引擎 + syslog + 栈水位探针 | 2152 B（余 41%）/ 静态 **3016 B**（栈余量收口时抬栈 1024→1280，2026-10-12） | | timeSyncTask | `640*4` | 2.5KB | TCP 时间同步 | 616 B（余 50%）/ 静态 **1264 B**（栈余量收口时抬栈 512→640，2026-10-12） | -| adcTask | `640*4` | 2.5KB | TPAFE5160 采样消费 + 全周傅氏相量 + 有效性校验（TIM3 1 kHz 节拍，B1→全周傅氏相量→「采样有效性校验」 2026-10-11） | **952 / 2560**（余 1608 B / 62%，台架 `/serial-boot-test` 实测 2026-10-11）；静态 **1320 B**（2026-10-12 复测，保护判据接线后） | -| iec104Task | `640*4` | 2.5KB | IEC104 上行服务（默认 2404 监听 + link 状态机，B4 2026-10-12） | 未上板 / 静态 **1456 B**（拆链→重建监听→net_bind→SPI 故障→日志尾，日志主导；512 words 时余 592 B < ISR 底线 → 抬至 640，余 1104 B / 43%） | -| protectTask | `512*4` | 2KB | 保护判据节拍（prot_elm_run 消费者 + 「自检失败闭锁」采样闭锁，B5 2026-10-12） | 未上板 / 静态 **872 B**（float 判据 + phasor 快照 + 日志尾，余 1176 B / 57%） | +| adcTask | `640*4` | 2.5KB | TPAFE5160 采样消费 + 全周傅氏相量 + 有效性校验（TIM3 1 kHz 节拍，ADC 采集链路→全周傅氏相量→「采样有效性校验」 2026-10-11） | **952 / 2560**（余 1608 B / 62%，台架 `/serial-boot-test` 实测 2026-10-11）；静态 **1320 B**（2026-10-12 复测，保护判据接线后） | +| iec104Task | `640*4` | 2.5KB | IEC104 上行服务（默认 2404 监听 + link 状态机，IEC 104 上行 2026-10-12） | 未上板 / 静态 **1456 B**（拆链→重建监听→net_bind→SPI 故障→日志尾，日志主导；512 words 时余 592 B < ISR 底线 → 抬至 640，余 1104 B / 43%） | +| protectTask | `512*4` | 2KB | 保护判据节拍（prot_elm_run 消费者 + 「自检失败闭锁」采样闭锁，保护任务 2026-10-12） | 未上板 / 静态 **872 B**（float 判据 + phasor 快照 + 日志尾，余 1176 B / 57%） | | idle（内核） | `configMINIMAL_STACK_SIZE=128` | 0.5KB | 空闲 | 未观测（未取句柄） | | timer（内核） | `configTIMER_TASK_STACK_DEPTH=256` | 1KB | 软定时器 | 未观测 | @@ -548,7 +548,7 @@ Linker run 时刻**——commit hash 不是稳定身份（重写正文即换 has 依据 RM0090 §3.1.1：F407 的 64KB CCM @0x10000000 仅 CPU 可访问（DMA 不可达、无 cache）。 -**进度（2026-09-21）**：第一阶段已落地——scatter 新增 `RW_CCM` 区（`sct:25`，注释 "FreeRTOS heap only"）并把 **FreeRTOS 堆整体迁入**（当时历史快照：49,184 B，CCM 占用 75.3%；现值见 §2.1——2026-10-12 B5 堆已扩至 56 KB）。下表缓冲迁入清单为**后续剩余项**（LVGL 池/UI 缓冲现仍在主 SRAM）；`APP_CCM_ENABLE` 门禁宏**尚未实现**（scatter 无开关，见下"风险门禁"）。 +**进度（2026-09-21）**：第一阶段已落地——scatter 新增 `RW_CCM` 区（`sct:25`，注释 "FreeRTOS heap only"）并把 **FreeRTOS 堆整体迁入**（当时历史快照：49,184 B，CCM 占用 75.3%；现值见 §2.1——2026-10-12 保护任务 堆已扩至 56 KB）。下表缓冲迁入清单为**后续剩余项**（LVGL 池/UI 缓冲现仍在主 SRAM）；`APP_CCM_ENABLE` 门禁宏**尚未实现**（scatter 无开关，见下"风险门禁"）。 **迁入 CCM 的缓冲（全部纯 CPU 读写）：** @@ -654,7 +654,7 @@ ISR 余量：该任务运行期间可能被中断打断的最深中断链（SPI/ |---|---|---| | 主 SRAM 静态占用 | 87,040 B / 128KB（66.4%） | **~27KB / 128KB**（LVGL 池 + UI 缓冲迁 CCM、`ui_net_sink` 关） | | 主 SRAM 余量 | 44,032 B（43.0KB） | **~101KB** | -| CCM 使用 | 49,184 B / 64KB（75.0%，FreeRTOS 堆，历史当时值。2026-10-12 B5 后堆 56 KB / 87.9%） | ~56KB / 64KB（堆 32K + 池 16K + UI 缓冲 + BBT） | +| CCM 使用 | 49,184 B / 64KB（75.0%，FreeRTOS 堆，历史当时值。2026-10-12 保护任务 后堆 56 KB / 87.9%） | ~56KB / 64KB（堆 32K + 池 16K + UI 缓冲 + BBT） | | 任务栈合计 | 38,912 B（38.0KB） | ~21.5KB（§4.1.3 修正目标） | | FreeRTOS 堆 | 49,152 B（`free=8,784 / min_ever=4,848` B） | 32,768 B（余 ≥8KB，全负载验证） | | **总余量** | **~68KB**（47.9 + 16.0 + 4.8） | **~120KB** | @@ -675,7 +675,7 @@ ISR 余量：该任务运行期间可能被中断打断的最深中断链（SPI/ | 步骤 5 | §4.1.1 LVGL 池 40K→16K | UI 全量回归（模拟器 + 实机），无断言失败 | ✅ **2026-10-15**（11 页黄金参考 + 池水位 5,448 B + `/serial-boot-test` 真机 `used=3192`；实测峰值 6,568 B = 池的 40%，§2.6.2） | | 步骤 6 | §4.1.2 CCM（scatter + section + 门禁宏） | map 显示 `RW_CCM`；关 `APP_CCM_ENABLE` 也能编译通过 | ⏸ **暂缓（2026-10-15 裁定）**；已完成部分仅 `RW_CCM` + 堆迁入（09-21），缓冲 section 迁移与门禁宏不再排期 | | 步骤 7 | §4.1.3 栈缩减（按步骤 3 数据）+ 复测 | 每任务 `free_min ≥ 新栈×30%`，无溢出钩子触发 | ⏸ **暂缓（2026-10-15 裁定）**（目标值已按 09-21 实测修正，重开时可直接用） | -| 步骤 8 | §4.2.2 堆 48K→32K + 复测 | 全负载 `heap free ≥ 8KB` | ⏸ **暂缓（2026-10-15 裁定）**；⚠ 2026-10-12 B5 反向扩容至 56 KB，重开时须重跑 `stack_report.py` + 上板 `min_ever` | +| 步骤 8 | §4.2.2 堆 48K→32K + 复测 | 全负载 `heap free ≥ 8KB` | ⏸ **暂缓（2026-10-15 裁定）**；⚠ 2026-10-12 保护任务 反向扩容至 56 KB，重开时须重跑 `stack_report.py` + 上板 `min_ever` | | 步骤 9 | §4.1.5 小项 + 台账/门禁/AGENTS.md | `/keil-build` + `/serial-boot-test` 全绿 | ◐ AGENTS.md 内存条目已增补（09-21）；台账 / 趋势 / `mem-budget` 三件套 ✅ 2026-10-12（**常开，不受暂缓影响**） | 每步都必须 `/keil-build` 通过（0 错误 0 警告）后再进入下一步；涉及 UI 的步骤用 `simulator` 先过一遍再上实机。 diff --git a/docs/内存管理/RAM预算台账.md b/docs/内存管理/RAM预算台账.md index 9b4ab92d..2465297a 100644 --- a/docs/内存管理/RAM预算台账.md +++ b/docs/内存管理/RAM预算台账.md @@ -42,7 +42,7 @@ ## 2. 子系统配额口径 配额值（`ram_baseline.py` 的 `QUOTAS`，**本文件即唯一权威**； -RTOS 堆 2026-10-12 B5 扩容 48→56 KB 见 §6）：**网络 12 KB / 存储 12 KB / +RTOS 堆 2026-10-12 保护任务 扩容 48→56 KB 见 §6）：**网络 12 KB / 存储 12 KB / UI 16 KB / RTOS 堆 56 KB / 应用 8 KB**。归集口径（按 `.map` 对象名，首匹配）： | 子系统 | 计入对象（前缀/精确名） | 不计入 | @@ -60,7 +60,7 @@ UI 16 KB / RTOS 堆 56 KB / 应用 8 KB**。归集口径（按 `.map` 对象名 帧/远显缓冲 ≈12.8 KB，实测 30,412 B。配额 16 KB 描述的是 **把 UI 侧缓冲迁进 CCM 之后的目标态**， 而 **该搬迁的后半已按用户裁定 2026-10-15 整簇暂缓**（`docs/任务规划/登记簿.md` §5 保留重启条件）→ **这条 ⚠ 会长期挂着**，判读时按已知挂账处理，别每轮当新问题追；重开条件 → `RAM使用分析与优化方案.md` §4。 -- **RTOS 堆 = 配额本身**：56 KB 即 `configTOTAL_HEAP_SIZE`（2026-10-12 B5 由 48 KB 扩容，见 §6； +- **RTOS 堆 = 配额本身**：56 KB 即 `configTOTAL_HEAP_SIZE`（2026-10-12 保护任务 由 48 KB 扩容，见 §6； `heap_4.o` 另含 32 B 元数据，不计超）；**改堆 = 改配额**，必须先过本文件 §6 登记。 - **应用 ⚠ 超配额**（现值见 §1 受管区）：8 KB 为报告规划值；2026-10-10 栈整改把 3 处 `FIL` 从栈搬进 BSS （静态 +4,128 B，见 `docs/内存管理/RAM使用分析与优化方案.md` §4"2026-10-10 复测"）—— @@ -74,9 +74,9 @@ UI 16 KB / RTOS 堆 56 KB / 应用 8 KB**。归集口径（按 `.map` 对象名 | 项 | 值 | 说明 | |---|---|---| | CCM 容量 | `RW_CCM` Max 见受管区 | scatter `RW_CCM`；**仅 CPU 可达，DMA 不可达**（RM0090 §3.1.1） | -| 现占用 | 仅 FreeRTOS 堆 `heap_4`（56 KB，2026-09-21 迁入；2026-10-12 B5 扩容 48→56 KB） | 其余候选全部仍在 SRAM1 | +| 现占用 | 仅 FreeRTOS 堆 `heap_4`（56 KB，2026-09-21 迁入；2026-10-12 保护任务 扩容 48→56 KB） | 其余候选全部仍在 SRAM1 | | 现余量 | 受管区 RW_CCM 容量 − 占用 = **7,904 B** | **不够** 迁 CCM 后半的 UI 侧待迁体量（缩池后 **29,570 B**）——⏸ 该搬迁已暂缓，见下行 | -| 迁 CCM 后半解锁链 | ⏸ **整簇暂缓（用户裁定 2026-10-15）**，本行保留作重开时的现状基线：① **缩池 ✅ 2026-10-15**：`LV_MEM_SIZE` 40→16 KB → 待迁体量 54,146 → **29,570 B**（SRAM1 74.9% → **56.1%**，实测池峰值 6,568 B）→ ② ~~现在卡在这一步~~：堆 56→32 KB（`docs/内存管理/RAM使用分析与优化方案.md` §4.2.2（阶段 2 第 2 项"缩堆"），再腾 24 KB；⚠ 2026-10-12 B5 反向扩容至 56 KB——9 任务栈 + 队列实测需要，缩回 32 KB 前必须重跑 `stack_report.py` + 上板 min_ever 复测）→ ③ CCM 余 ≈31.9 KB ≥ 29,570 B → 迁入 | **暂缓期间不启动**；重开条件 → `RAM使用分析与优化方案.md` §4。**若重开，顺序不可颠倒**；每步前后跑 `stack_report.py` / `ram_report.py`（铁律） | +| 迁 CCM 后半解锁链 | ⏸ **整簇暂缓（用户裁定 2026-10-15）**，本行保留作重开时的现状基线：① **缩池 ✅ 2026-10-15**：`LV_MEM_SIZE` 40→16 KB → 待迁体量 54,146 → **29,570 B**（SRAM1 74.9% → **56.1%**，实测池峰值 6,568 B）→ ② ~~现在卡在这一步~~：堆 56→32 KB（`docs/内存管理/RAM使用分析与优化方案.md` §4.2.2（阶段 2 第 2 项"缩堆"），再腾 24 KB；⚠ 2026-10-12 保护任务 反向扩容至 56 KB——9 任务栈 + 队列实测需要，缩回 32 KB 前必须重跑 `stack_report.py` + 上板 min_ever 复测）→ ③ CCM 余 ≈31.9 KB ≥ 29,570 B → 迁入 | **暂缓期间不启动**；重开条件 → `RAM使用分析与优化方案.md` §4。**若重开，顺序不可颠倒**；每步前后跑 `stack_report.py` / `ram_report.py`（铁律） | | 迁入前置 | 目标缓冲必须过 DMA 可达性清单（`内存内容分配策略.md`） | 违例 = 静默传错（越界不校验的同类坑）；克隆芯片 CCM 可靠性风险见 `docs/内存管理/RAM使用分析与优化方案.md` §7 | ## 4. 趋势基线（`scripts/ram_baseline.tsv`） @@ -97,7 +97,7 @@ UI 16 KB / RTOS 堆 56 KB / 应用 8 KB**。归集口径（按 `.map` 对象名 | 日期 | 变更 | 原因 / 出处 | |---|---|---| | 2026-10-12 | 建档：三件套落地（本台账 + `scripts/ram_baseline.py` + `scripts/ram_baseline.tsv` + pre-commit `mem-budget` 钩子） | 登记簿 N-27 前半 | -| 2026-10-12 | **RTOS 堆配额 48 KB → 56 KB**（`QUOTAS` 同步） | B5 protectTask 立项：iec104Task(2.5KB)+protectTask(2KB)+TCB 入堆后 48KB 池 min_ever 预估跌破 3,072 B 告警线 → `.ioc` 语义取数与有效性参数 `configTOTAL_HEAP_SIZE` 49152→57344（CCM 水位 75.3%→87.9%，仍 <92% 门禁；CCM 空闲降至 ≈8 KB）。连带影响见 §3 迁 CCM 后半链注记 | -| 2026-10-12 | **任务栈 +1536 B（堆内用量，配额 56 KB 不变）**：defaultTask 1024→1280 words（+1024 B）、timeSyncTask 512→640 words（+512 B）；产品任务栈合计 37,632→39,168 B | 登记簿 N-33 栈收口：B7 定值持久化把 defaultTask 静态链推到 3016 B（余 1080 < 30% 线）、timeSyncTask 链 1264 B（余 784 < ISR 底线 1024）；B6 台架背书 min_ever=10000 → 抬后实测 `heap free=16400 / min_ever=8464`（与预算 −1536 完全吻合，>3072 告警线）；`stack_report` 9 任务 0 FAIL + `@test` PASS，见 `RAM使用分析与优化方案.md` §1.4 | +| 2026-10-12 | **RTOS 堆配额 48 KB → 56 KB**（`QUOTAS` 同步） | 保护任务 protectTask 立项：iec104Task(2.5KB)+protectTask(2KB)+TCB 入堆后 48KB 池 min_ever 预估跌破 3,072 B 告警线 → `.ioc` 语义取数与有效性参数 `configTOTAL_HEAP_SIZE` 49152→57344（CCM 水位 75.3%→87.9%，仍 <92% 门禁；CCM 空闲降至 ≈8 KB）。连带影响见 §3 迁 CCM 后半链注记 | +| 2026-10-12 | **任务栈 +1536 B（堆内用量，配额 56 KB 不变）**：defaultTask 1024→1280 words（+1024 B）、timeSyncTask 512→640 words（+512 B）；产品任务栈合计 37,632→39,168 B | 登记簿 N-33 栈收口：保护定值持久化把 defaultTask 静态链推到 3016 B（余 1080 < 30% 线）、timeSyncTask 链 1264 B（余 784 < ISR 底线 1024）；台架复测背书 min_ever=10000 → 抬后实测 `heap free=16400 / min_ever=8464`（与预算 −1536 完全吻合，>3072 告警线）；`stack_report` 9 任务 0 FAIL + `@test` PASS，见 `RAM使用分析与优化方案.md` §1.4 | | 2026-10-29 | **故障录波数据面入册**：新增对象 `wave_ring.o` 5,300 B（ZI 5,256 + RW 44，落 SRAM1、CCM 增量 0）；`default_task.o` 静态 2,736 → 3,940 B（+1,204 B，落盘道 `FIL` 528 + 分片缓冲 256 + 段头副本 136 + 段路径 17 + 打包上下文与 `DIR`/`FILINFO`）；`RW_IRAM1` 81,536 → 89,936 B（62.2 % → 68.6 %，仍远低于 92 % 门禁）；`RW_CCM` 三档恒 57,376 B | 决定人 lead。实测数字出自 lead 的权威构建（本工作树 `MDK-ARM/STM32F407-Demo/STM32F407-Demo.map`，0 错误 0 警告，`scripts/ram_baseline.py --update` 同批入 tsv）；预估约 5.9 KB vs 实测数据面 +6,760 B 的差额构成与三档对照见 `docs/内存管理/内存内容分配策略.md` §6；**未抬栈**（`scripts/stack_report.py` 九任务全 PASS），判据出处 `docs/子系统设计/故障录波设计说明.md` §7 | | 2026-10-29 | **归集口径修正（非配额改动）**：`subsystem_of()` 补 `wave_` `iec104*` `soe_*` `meas` `freq` `run_par` `protect_task` `task_prof` `boot_stats` `vol_idle_sync` 等前缀——12 个 `App/` 对象 9,445 B 此前静默落「其它」；「应用」16,888 → 26,333 B、「其它」15,849 → 6,404 B，区域水位与 92% 红线均未变。同脚本加兜底：`App/**/*.c` 的对象落进「其它」时 `--gate` 逐条 WARN（不拦） | 配额表看不见录波/SOE 支路；口径依据本文件 §2「应用 = `App/` 其余」 | diff --git a/docs/内存管理/内存内容分配策略.md b/docs/内存管理/内存内容分配策略.md index 63405add..0f87f242 100644 --- a/docs/内存管理/内存内容分配策略.md +++ b/docs/内存管理/内存内容分配策略.md @@ -38,7 +38,7 @@ ## 4. 内容分配规则 -- **R1（CCM 驻留）**：CCM 只放"**CPU-only 且损坏即致命、无自愈**"的内存。当前唯一驻留者 = **FreeRTOS 堆**（`heap_4.o`，56KB——2026-10-12 B5 由 48KB 扩容，`.ioc` 语义取数与有效性参数 `configTOTAL_HEAP_SIZE=57344`；全部任务栈/队列/定时器）。scatter 的 RW_CCM 节**不得**再列其他对象；任何新增必须经 §5 式裁决并走 §7 完整验证阶梯。 +- **R1（CCM 驻留）**：CCM 只放"**CPU-only 且损坏即致命、无自愈**"的内存。当前唯一驻留者 = **FreeRTOS 堆**（`heap_4.o`，56KB——2026-10-12 保护任务 由 48KB 扩容，`.ioc` 语义取数与有效性参数 `configTOTAL_HEAP_SIZE=57344`；全部任务栈/队列/定时器）。scatter 的 RW_CCM 节**不得**再列其他对象；任何新增必须经 §5 式裁决并走 §7 完整验证阶梯。 - **R2（DMA 缓冲）**：只允许文件作用域静态缓冲，必须落 SRAM。**三层防线缺一不可**： - **窗口防线（编译期）**：DMA 白名单窗口 `GD5F_DMA_RAM_BASE/END`（0x20000000~0x20020000，须与 scatter `RW_IRAM1` 一致）与 CCM 窗口**永不得重叠**，另锁死阈值契约 `132 ≤ GD5F_DMA_THRESHOLD < GD5F_PAGE_SIZE`——两条都用项目惯用的**负数组 typedef 断言**（AC5 不支持 C11 `_Static_assert`），有人改窗口常量或阈值当场编译失败（`gd5f2gq5ue.h`）。 - **尺寸防线**：GD5F DMA 阈值 `GD5F_DMA_THRESHOLD=1024`（>1024B 才走 DMA；阈值以下一律 CPU 轮询）。取值须 ≥ 存储路径上可能出现在任务栈的最大缓冲（dhara meta 132B、`dhara_nand_is_free` 64B）、且 < 页大小（2048，保住页级热路径的 DMA）。 @@ -115,7 +115,7 @@ CCM 64KB 只能容纳 {FreeRTOS 堆 48KB} 与 {LVGL 集合 ~52.5KB} 之一（两 | 区域 | 总量 | 已用 | 空闲 | 驻留内容 | |---|---|---|---|---| | RW_IRAM1（SRAM） | 131,072B (128KB) | 89,936B (87.83KB, 68.6%) | 41,136B (~40.2KB) | 全部静态（除堆），含录波环 `wave_ring.o` 5,300B 与 LVGL 池 16,384B（`lv_mem_core_builtin.o` 实测） | -| RW_CCM | 65,280B（64KB 减 256B `UNINIT_CCM` 尾，与 `.sct` 一致） | 57,376B (56.03KB, 87.9%) | 7,904B | **仅** `heap_4.o`（ucHeap 56KB，2026-10-12 B5 扩容）；256B 尾区现用 48B | +| RW_CCM | 65,280B（64KB 减 256B `UNINIT_CCM` 尾，与 `.sct` 一致） | 57,376B (56.03KB, 87.9%) | 7,904B | **仅** `heap_4.o`（ucHeap 56KB，2026-10-12 保护任务 扩容）；256B 尾区现用 48B | 数字身份：`RW_IRAM1` / `RW_CCM` / `ER_IROM1` 三行取自 lead 2026-10-29 权威构建（本工作树 `MDK-ARM/STM32F407-Demo/STM32F407-Demo.map`，0 错误 0 警告，`scripts/ram_baseline.py --update` 同批入 tsv）。受管快照区在 `docs/内存管理/RAM使用分析与优化方案.md`，子系统配额表在 `docs/内存管理/RAM预算台账.md`，两处由脚本渲染、本卡不手改。 diff --git a/docs/子系统设计/IEC104上行设计说明.md b/docs/子系统设计/IEC104上行设计说明.md index 6b509ac7..7cefe2f6 100644 --- a/docs/子系统设计/IEC104上行设计说明.md +++ b/docs/子系统设计/IEC104上行设计说明.md @@ -1,8 +1,8 @@ -# IEC 60870-5-104 上行设计说明（B4） +# IEC 60870-5-104 上行设计说明（IEC 104 上行） > **定位**：DTU 上行规约 IEC 60870-5-104（DL/T 634.5104-2009）的设计基线—— > 范围、点表、链路流程、板端接入、预算与测试。规格来源 -> `docs/算法/继电保护功能复现规划.md` §1.5（B0 产品定义，验收 = 省电科院点表）； +> `docs/算法/继电保护功能复现规划.md` §1.5（产品定义，验收 = 省电科院点表）； > 代码落点 `App/protocol/iec104/`；未闭环的送检验收挂 `docs/任务规划/登记簿.md` §7。 > **角色**：本 DTU = **被控站（受控端）**，104 **TCP 服务器，端口 `[comm]` 段 `port`（工厂默认 2404）**；主站 > （控制端，点表参考 `192.168.1.199`）主动连入。 @@ -13,7 +13,7 @@ |---|---|---| | 链路 | APCI U/S/I、STARTDT/STOPDT/TESTFR、k/w 窗、t1/t2/t3 | 多主站并发（单连接语义，见 §5） | | 遥测 YC | 短浮点 M_ME_NC_1（系数 1）：背景/周期/死区上送 | 归一化/标度、谐波轨（「遥测谐波轨（可选）」） | -| 遥信 YX | 单点 M_SP + 双点 M_DP：背景 + 突发（COT=3）；**突发单点带 CP56 时标 = M_SP_TB_1（B9，随「SOE 记录」 SOE 落地）** | 双点带时标（V0.1 双点恒 IV，无意义） | +| 遥信 YX | 单点 M_SP + 双点 M_DP：背景 + 突发（COT=3）；**突发单点带 CP56 时标 = M_SP_TB_1（SOE 记录，随「SOE 记录」 SOE 落地）** | 双点带时标（V0.1 双点恒 IV，无意义） | | 遥控 YK | 双点 C_DC 两段式（选择 82H/执行 02H） | 带时标、升降/步位 | | 定值 | C_RD 读 + C_SE_NC 两段写（地址 = prot_set `comm_addr`） | 定值区切换/下装文件 | | 其他 | C_CS 对时（→ `sys_clock`）、C_TS、C_RP | 固有参数 8001H~800AH（字符串类）、C_CI 电度、文件传输（录波） | @@ -42,7 +42,7 @@ | 0x4014 | 1U0 | 快照槽 `ADC_SEM_UN`（外部零序专用通道） | ✅ 有效 | | 0x4015 | 1Ia | 快照槽 `ADC_SEM_IA` | ✅ 有效 | | 0x4016~0x4018 | 1Ib/1Ic/1I0 | 同 Ub/Uc：绑槽 + 品质驱动 | ❌ 发 IV | -| 0x401D | 1f 频率 | 快照 `freq_hz`（频率点绑定；B8 自适应窗测频 `freq_get()` 同源） | ✅ 随测频收敛生效；`freq_valid()==0` → IV（该点 DoD 原句） | +| 0x401D | 1f 频率 | 快照 `freq_hz`（频率点绑定；测频与遥测快照 自适应窗测频 `freq_get()` 同源） | ✅ 随测频收敛生效；`freq_valid()==0` → IV（该点 DoD 原句） | - **数据源 = 测频与遥测快照**（`App/algo/meas.h`，「数据可信」遥测快照发布与 104 消费）：200 ms 基波有效值 + 每点品质，104 与 UI 共用同一份上游；读数单位 = ADC 引脚电压（eng=0，`App/algo/adc_cal` @@ -69,17 +69,17 @@ | 19~20 | 零序过流 Ⅰ/Ⅱ | 「三段式零序过流」未实现 | ❌ IV | | 21~22 | 接地故障/重载 | 未实现 | ❌ IV | | 23 | 过载 | `PE_OL` asserted | ✅ | -| 24~30 | 外部遥信（RS-485） | B2 暂缓（`docs/任务规划/暂缓-RS485.md`） | ❌ IV | +| 24~30 | 外部遥信（RS-485） | RS-485 采集链路 暂缓（`docs/任务规划/暂缓-RS485.md`） | ❌ IV | | 31 | 保护闭锁 | `prot_set_locked()` | ✅ | | 32~33 | 预留 | — | ❌ IV | > **点存在性优先**：无效点照常入总召/周期表并置 IV——点表是验收口径，缺行比 > 置 IV 更糟（主站侧无法区分"没做"与"接线错"）。 > -> **保护类 YX（15/16~18/23/31）自 B5（2026-10-12）起为活数据**：protectTask +> **保护类 YX（15/16~18/23/31）自 保护任务（2026-10-12）起为活数据**：protectTask > 20 ms 判据节拍驱动 `prot_elm` 状态 → pts COV 变位上送（≤120 ms 端到端）。 > -> **突发单点遥信自 B9（2026-10-12）起带时标 = M_SP_TB_1（30）**：仅自发 +> **突发单点遥信自 SOE 记录（2026-10-12）起带时标 = M_SP_TB_1（30）**：仅自发 > （COT=3）单点组（idx≥4）换型，信息体 = SIQ + CP56Time2a（8B）；**总召/ > 周期扫描保持 M_SP_NA_1/M_DP_NA_1**（时标只用于变位事件，标准语义，防 > "全量换型"）。时标源 = `sys_clock`（link cfg `epoch_ms` 回调）：秒域时基 @@ -93,8 +93,8 @@ | IOA | 点 | V0.1 行为 | |---|---|---| | 0x6000~0x6003 | YK1~4 开关 | **否定确认**（无出口硬件，`docs/算法/继电保护功能复现规划.md` R7） | -| 0x600A | YK11 信号复归 | ✅ 执行段 → `prot_elm_request_reset()`（B5 起跨上下文安全：请求由 protectTask 下一拍 eval 头部消费，不当拍直接复位） | -| 0x600B | YK12 遥控软压板 | ✅ 两段式转真（B7）：选择段校验 DPC（ON/OFF，非法即 PN）；执行段 → `prot_set_set_sealed(PS_GLOBAL_EN)` 原子写+封存；protectTask 下一拍读到退出态即复位元件并停判据（`App/task/protect_task.c`） | +| 0x600A | YK11 信号复归 | ✅ 执行段 → `prot_elm_request_reset()`（保护任务 起跨上下文安全：请求由 protectTask 下一拍 eval 头部消费，不当拍直接复位） | +| 0x600B | YK12 遥控软压板 | ✅ 两段式转真（保护定值持久化）：选择段校验 DPC（ON/OFF，非法即 PN）；执行段 → `prot_set_set_sealed(PS_GLOBAL_EN)` 原子写+封存；protectTask 下一拍读到退出态即复位元件并停判据（`App/task/protect_task.c`） | | 0x600C | YK13 电池活化 | 否定确认（无对应硬件） | | 0x600D | YK14 解除闭锁 | 否定确认（闭锁源于定值校验和，只能重写定值解除） | @@ -103,11 +103,11 @@ - 地址 = `App/algo/prot_set.h` 元数据 `comm_addr`（0x8820 基址 + 告警段 0x8027~0x802A， 逐项对照参考项目 `Const_CommSetPara.c`，见 `docs/算法/继电保护功能复现规划.md` §5.4）—— **点表不另立地址表**，prot_set 即单一事实源。`comm_addr = 0` 的本地项（投退/返回系数/ - 全局软压板）不可经 C_RD/C_SE 寻址（B7 起显式排除，防 IOA=0 误命中首个本地项）。 + 全局软压板）不可经 C_RD/C_SE 寻址（保护定值持久化 起显式排除，防 IOA=0 误命中首个本地项）。 - 写两段式：选择 = 范围校验；执行 = `prot_set_set_sealed`（**原子写+封存**：影子区 写好后单字交换活跃区，protectTask 的「定值校验和」巡检任何时刻都看到自洽快照， - B5 登记的 µs 级竞态窗口就此收口）。 -- 持久化（B7）：执行段置 prot_set 脏标志 → iec104Task 每轮 poll `dirty_peek` 投递 + 保护任务 登记的 µs 级竞态窗口就此收口）。 +- 持久化（保护定值持久化）：执行段置 prot_set 脏标志 → iec104Task 每轮 poll `dirty_peek` 投递 `SYS_EVT_PROT_SET_SAVE` → **defaultTask（配置引擎属主）** 经 `App/cfg/prot_set_store.c` 原子写 `/prot_set.bin`（blob = magic+版本+计数+值区+sum32 正/反码对）； 开机在 STORAGE_READY 屏障前装载，损坏/越界/版本换代 = 整表拒绝保持出厂默认 @@ -161,7 +161,7 @@ 手写于 `Src/freertos.c` USER CODE 区（timeSyncTask/adcTask 同款先例），文件 `App/task/iec104_serv.c`（纯编排，协议语义全在 `App/protocol/iec104/`）。 - **看门狗**：`TASK_WD_IEC104 = 7` 纳入 `wd_required_mask()` 两分支（产品 0x1F7 / - HW 测试层 0x1F5，含 B5 protect 位 bit8）；主循环 100ms 节拍喂位，屏障等待按 + HW 测试层 0x1F5，含 保护任务 protect 位 bit8）；主循环 100ms 节拍喂位，屏障等待按 100ms 分片喂位（timeSyncTask 2026-10-02 台架先例）。 - **就绪屏障**：等 `SYS_EVT_NET_READY`（`osFlagsNoClear` + 分片）后才建监听。 - **单连接语义**（`AGENTS.md` 模块约定，抄 `ui_net_sink.c` 模板）：监听端口（工厂默认 2404）与 @@ -196,7 +196,7 @@ 通道五同构：分层 / 模拟器 / 「写值+置脏」原子性）编辑 ca/port；合法带由执行侧 现给（面板粗守与 setter 守卫同一出口，抄数即第二真源）。保存行 ENTER → WAIT/OK 锁存判定 = `iec104_comm_dirty_peek()`，落盘 = defaultTask 每轮无条件 - `iec104_comm_store_save()`（run_par/prot_set 同款 B7 脏位形态，**无事件位**， + `iec104_comm_store_save()`（run_par/prot_set 同款 保护定值持久化 脏位形态，**无事件位**， 延续上条 D5 口径）。屏上 OK 只证明**落盘完成**，不证明"已在新值上运行"—— 生效时刻仍按上条（ca 重启 / port 重 bind）。容量核对：生产占 **6/8 段、 [comm] 2/16 键**，超限现象 = 注册返 -1 → `comm init: FAIL` 启动锚 + getter @@ -229,23 +229,23 @@ | 层 | 内容 | |---|---| -| 主机侧纯逻辑单测 | `test/host/iec104/`：APCI 重组/坏帧、STARTDT 握手、总召全流程（含 RBT/分片/预算）、COV、k/w 窗、t1/t2/t3（假时基）、遥控两段式与 PN、YK12 软压板两段转真 + 置脏（B7）、定值两段写 + set_sealed 后 selfcheck、C_RD（含本地项不可寻址）、C_CS（含闰年）、错地址/错类型 EVI；**板端默认源真实链**（ring→phasor→freq→meas 快照，非桩）：值/品质透传、CLIPPED→IV、0x401D 绑频（收敛 ±0.02 Hz / 未新鲜 IV）、死区运行时化 + 2 点确认/回摆撤销、seq 去重（104 改读快照与频率点绑定，TC-IEC104-025~028）+ 运行参数段路由/两段式/RMW（TC-IEC104-029）+ `[comm]` 段真链（道G task-8，TC-IEC104-031~033：注册/出厂模板/沉降重载/带外自愈/setter 守卫/ca 端到端 = C_RD 正答与旧写死 ca=1 转 COT13+EVI）；`test/host/iec104_serv/` 钉端口与 ca 取值来源（TC-I104SRV-001b/c）；`test/host/cfg_file/` 钉段/键容量上限（TC-CONFIG-056/057）；`test/host/run_par/`：[run_par] 注册/落盘往返/守卫/系数直通合法带（TC-RUNPAR-001~008）；`test/host/prot_set/`：blob 往返 + 损坏整表拒绝（all-or-nothing）| +| 主机侧纯逻辑单测 | `test/host/iec104/`：APCI 重组/坏帧、STARTDT 握手、总召全流程（含 RBT/分片/预算）、COV、k/w 窗、t1/t2/t3（假时基）、遥控两段式与 PN、YK12 软压板两段转真 + 置脏（保护定值持久化）、定值两段写 + set_sealed 后 selfcheck、C_RD（含本地项不可寻址）、C_CS（含闰年）、错地址/错类型 EVI；**板端默认源真实链**（ring→phasor→freq→meas 快照，非桩）：值/品质透传、CLIPPED→IV、0x401D 绑频（收敛 ±0.02 Hz / 未新鲜 IV）、死区运行时化 + 2 点确认/回摆撤销、seq 去重（104 改读快照与频率点绑定，TC-IEC104-025~028）+ 运行参数段路由/两段式/RMW（TC-IEC104-029）+ `[comm]` 段真链（道G task-8，TC-IEC104-031~033：注册/出厂模板/沉降重载/带外自愈/setter 守卫/ca 端到端 = C_RD 正答与旧写死 ca=1 转 COT13+EVI）；`test/host/iec104_serv/` 钉端口与 ca 取值来源（TC-I104SRV-001b/c）；`test/host/cfg_file/` 钉段/键容量上限（TC-CONFIG-056/057）；`test/host/run_par/`：[run_par] 注册/落盘往返/守卫/系数直通合法带（TC-RUNPAR-001~008）；`test/host/prot_set/`：blob 往返 + 损坏整表拒绝（all-or-nothing）| | 静态门禁 | `iec104-unit-test` 钩子 + cppcheck/coding-standard | -| 台架 | `/serial-boot-test` 锚点（104 服务启动/监听行）；**PC 主站客户端 `test/host/iec104_master.py`（纯标准库，B6 2026-10-12 就绪）**：STARTDT/总召四组+actterm/C_SE 定值两段写→YX15·16 变位（COT=3）/恢复复归/YK11 两段正答/C_RD 读回，台架往返 **18/18 PASS**（证据 `../测试说明/测试数据/boot_log_data/20261012_B6_iec104_roundtrip_log.txt`）；**B7 持久化模式 `--b7-pre/--b7-post/--b7-mark/--b7-check`**（中间 ST-LINK 复位）：YK12 两段投退→保护退出/联动、**定值与压板态跨复位保持**（含非默认 7.5 往返），**21/21 + 13/13 + 4/4+4/4 PASS**（证据 `../测试说明/测试数据/boot_log_data/20261012_B7_iec104_persist_log.txt`）；**B9 SOE 腿**（同工具同轮回归）：自发 YX 断言 **M_SP_TB_1 带 ts**（工具解析 type 30/1 双型）+ FTP 下载 `/log/soe.log` 经 `test/host/soe/decode_soe.py` 解码断言（校验和/seq 单调/CP56↔epoch UTC 交叉），pre 21/21 + post 13/13 不回归；lib60870 级第三方全流程归 B10 | +| 台架 | `/serial-boot-test` 锚点（104 服务启动/监听行）；**PC 主站客户端 `test/host/iec104_master.py`（纯标准库，台架复测 2026-10-12 就绪）**：STARTDT/总召四组+actterm/C_SE 定值两段写→YX15·16 变位（COT=3）/恢复复归/YK11 两段正答/C_RD 读回，台架往返 **18/18 PASS**（证据 `../测试说明/测试数据/boot_log_data/20261012_B6_iec104_roundtrip_log.txt`）；**保护定值持久化模式 `--b7-pre/--b7-post/--b7-mark/--b7-check`**（中间 ST-LINK 复位）：YK12 两段投退→保护退出/联动、**定值与压板态跨复位保持**（含非默认 7.5 往返），**21/21 + 13/13 + 4/4+4/4 PASS**（证据 `../测试说明/测试数据/boot_log_data/20261012_B7_iec104_persist_log.txt`）；**SOE 记录腿**（同工具同轮回归）：自发 YX 断言 **M_SP_TB_1 带 ts**（工具解析 type 30/1 双型）+ FTP 下载 `/log/soe.log` 经 `test/host/soe/decode_soe.py` 解码断言（校验和/seq 单调/CP56↔epoch UTC 交叉），pre 21/21 + post 13/13 不回归；lib60870 级第三方全流程归 第三方送检验收 | ## 8. V0.1 限制与待办（如实登记） 1. 固有参数 8001H~800AH 未实现（字符串类无法短浮点上送）→ 未知 IOA 应答；随送检需求再设计。 -2. ~~SOE 带时标~~ **突发单点已带 CP56 时标 = M_SP_TB_1（B9 落地，见 §3.2）**； +2. ~~SOE 带时标~~ **突发单点已带 CP56 时标 = M_SP_TB_1（SOE 记录 落地，见 §3.2）**； 双点带时标不做（V0.1 双点恒 IV，无意义）。 -3. YK1~4/13/14 否定确认——出口硬件确认后（R7）转真执行（YK12 已于 B7 转真）。 +3. YK1~4/13/14 否定确认——出口硬件确认后（R7）转真执行（YK12 已于 保护定值持久化 转真）。 4. ~~遥测死区 10.0 码值为拟定值~~——工程量死区已于 2026-10-25 随下游常数按工程量重定落地（额定 0.5%）； 104 改读快照已加 2 点确认；运行参数段（2026-10-25）已落地 **0x8020~0x8058 读写映射 + [run_par] 持久化 + 系数覆盖直通 adc_cal**——死区系数唯一真源 = cfg 引擎副本（run_par 存死区、 **不存系数**，系数真源在 [adc_cal] 段，见 §3.4 表注），`iec104_pts_yc_set_deadband` 降级为转发壳。 5. 多主站/双链路冗余不做（单连接语义）。 -6. 主站侧验证工具 = `test/host/iec104_master.py`（B6 2026-10-12 就绪，台架往返 18/18，覆盖总召/变位/遥控/定值）；**第三方送检环境仍未就绪**——lib60870 级第三方全流程归 B10。 +6. 主站侧验证工具 = `test/host/iec104_master.py`（台架复测 2026-10-12 就绪，台架往返 18/18，覆盖总召/变位/遥控/定值）；**第三方送检环境仍未就绪**——lib60870 级第三方全流程归 第三方送检验收。 7. **后连优先未实现**（V0.1 = 首到优先）：单连接 socket 连接态无法 accept， 旧会话结束前新主站接入被拒；后连优先需 net 层（CH395F 单连接模型）支持， 真需要冗余切换时随 net 扩展立项。 diff --git a/docs/子系统设计/控制台单写者日志设计说明.md b/docs/子系统设计/控制台单写者日志设计说明.md index 7e8a820b..554cb2fe 100644 --- a/docs/子系统设计/控制台单写者日志设计说明.md +++ b/docs/子系统设计/控制台单写者日志设计说明.md @@ -114,9 +114,9 @@ flowchart LR | 写者未注册（内核启动 → attach） | 任何任务都可能记日志（2026-10-26 起这是**常态而非违规**） | **整行独占**（行级单一所有者，§4.4.1）：同一时刻只有一个上下文在写 `CON_UART->DR`，抢不到独占的整行转入环形缓冲延后发 → 交错结构性消除，且不丢行 | | 写者已注册（稳态） | 任务上下文唯一调用者 = 写者 | 任务上下文零竞争；残余窗口 = ISR 直发撞写者发送中（丢失、不挂死，§7） | -**纪律（2026-10-10 固化，2026-10-10 / 2026-10-26 两次台架实证其不足）**：周期 / 常驻任务**不得**在写者注册前记日志——用 `dbg_console_writer_ready()`（§5）门控自身日志（`adcTask` 的首帧与 10 s 心跳、`protectTask` 的启动锚点行即按此门控——后者 2026-10-12 B6 台架实证：B5 接线时启动行未门控，注册前裸发被交错损坏致 `/serial-boot-test` 锚点 MISS，见 §11 变更记录）。内核前代码仍可直接裸发（单线程，无并发）。 +**纪律（2026-10-10 固化，2026-10-10 / 2026-10-26 两次台架实证其不足）**：周期 / 常驻任务**不得**在写者注册前记日志——用 `dbg_console_writer_ready()`（§5）门控自身日志（`adcTask` 的首帧与 10 s 心跳、`protectTask` 的启动锚点行即按此门控——后者 2026-10-12 台架复测实证：保护任务 接线时启动行未门控，注册前裸发被交错损坏致 `/serial-boot-test` 锚点 MISS，见 §11 变更记录）。内核前代码仍可直接裸发（单线程，无并发）。 > -> ⚠ **自愿门控挡不住边沿留痕**——它在 2026-10-12（B6，启动锚点）与 2026-10-26（未标定闭锁边沿，见 §4.4.1）两次被同一个窗口咬到， +> ⚠ **自愿门控挡不住边沿留痕**——它在 2026-10-12（台架复测，启动锚点）与 2026-10-26（未标定闭锁边沿，见 §4.4.1）两次被同一个窗口咬到， > 因为"这条行要不要留痕"是**业务边沿**决定的，调用方无法预知它是否落在未注册期。2026-10-26 起该窗口改由**机制**兜住 > （§4.4.1 行级单一所有者）；`dbg_console_writer_ready()` 保留，但语义降级为**降延迟**（少让路一次、少占一点环位）， > 不再是防交错的唯一手段——新代码不必再为它改写业务分支。 @@ -361,8 +361,8 @@ sequenceDiagram | 2026-10-10 | **新增 `dbg_console_writer_ready()` + 未注册期纪律固化**：裸发为寄存器级轮询（无 `gState`）→ 未注册期多任务并发**逐字节交错**（台架 `adcTask` 首帧日志与 `[NAND_FTL]` 行交错实证）。新增 `dbg_console_writer_ready()` 供周期任务门控；`adcTask` 首帧/心跳日志据此门控（§3.4 / §4.4） | | 2026-10-25 | **N-2 × S8 合并评估收口（评估任务，零代码）**：S8 生产者侧判定已达成、TX IT/DMA 维持否决并绑定 S-3 复议条件、N-2 收敛到 V5 复跑双零判据——全文见文末附录 | | 2026-10-26 | **崩溃上报归一 + 多段裸发收口（道G task-26，接 task-23 第二段）**：`Src/stm32f4xx_it.c hard_fault_report`（四个 Fault 共用，14 段裸发）原**自行调用 `HAL_UART_Transmit`** ⇒ 绕过本模块行级独占的**第三个写者**，并带两条已实证失效：HAL 超时依赖 `HAL_GetTick()`（TIM7 停摆永不成立）与僵尸通道下恒快速失败（**关键 `[ERR]` 证据整条蒸发**）。现改 `dbg_console_write_raw`（**不包** `tx_begin()/tx_end()`，理由见 §4.4.1）；`hard_fault_report` 与栈溢出钩子输出后的 `HAL_Delay(200)` 一并删除（本口已等 TC；少一条 tick 依赖，避免卡在复位之前）。同类收口只落在任务态：`App/util/task_watchdog.c` STALL 行 2 段包进一次独占；`Src/freertos.c` 栈溢出钩子（3 段）与断言钩子（5 段）以及 `hard_fault_report`（14 段）**不包**（异常态空转 + 代价 ×9 条任务链，见 §4.4.1）。**语义**：异常上下文 `tx_begin()` 放行不持有，故障行整行性靠 Fault 优先级与任务冻结，残留 ≤1 个移位寄存器字节（落在行前，不影响 `[ERR]` grep）。**未消除**：ORE/NE/FE 脏标志、极早期（串口未初始化）崩溃静默。主机侧复用既有判据 `TC-CONLOG-100 与 TC-CONLOG-102`（NULL 短路）与 `TC-CONLOG-174`（一次独占内多段连发不自我丢弃），未新增用例；实机验证设计见 §4.4.1 末。**行序口径**：让路行入环后位置后移，台架 5/5 观察到 `[NAND_FTL]` 稳定排在 `[PROT]` 前一行（旧缺陷形态相反）⇒ 行序与时间戳先后**都不再是判据**，只能按整行逐字节锚定（§4.4.1） | -| 2026-10-26 | **O1 第二个实例 → 未注册期裸发加「行级单一所有者」（道G task-23）**：台架同镜像两次"仅复位"启动，`[PROT]` 未标定闭锁边沿行内分别多出 `[20`（3 字节）与 `[`（1 字节），而紧随其后的 `[NAND_FTL] Initializing NAND FTL...` 行恰好缺同样那几个字节的**行首**（字节账与三次启动命中两次的频率见 §4.4.1）→ 判据"framing 错不会让行变长"锁定为**两个写者并发裸发**，即 O1 的第二个实例（第一个是 2026-10-12 B6）。修法 = 非阻塞行所有权（`con_tx_try_claim`/`con_tx_release`，只在几条指令的临界区里 test-and-set；发送全程**不关中断**）+ 让路整行原文入环延后发（不丢、不补前缀、不重打时间戳）+ drain 每轮先取凭证（堵掉"attach 撞上别人半行"）+ `[ERR]` 只在"抢不到且环也满"时红。新增 `dbg_console_tx_begin/tx_end`（多段裸发收口，调用点改造 → task-26）。主机单测 127 → **152** 条（M 族 `TC-CONLOG-170 至 TC-CONLOG-179`，含逐字节相同判据），四处生产码注入反证各自转红（取消独占 11 红 / 让路改静默丢 5 红 / 非属主可归还 1 红 / 把发送包进临界区 3 红）。§3.4 / §4.4 / §7 / §13-O1 同步 | -| 2026-10-12 | **纪律盲区台架实证（B6）**：`protectTask`（B5 接线，台架腿当时未跑）启动锚点行在写者注册前裸发 → 与 defaultTask 启动日志**逐字节交错**（`st[art: cycle=220ms elm=70`，两次开机同形复现 = 启动调度确定性的竞态，非 USB 噪声）→ `@test` 锚点 MISS。修复 = 启动行改 `dbg_console_writer_ready()` 首拍补打（adcTask 首帧同款），`@build` 0/0 + `@test` PASS 复验（锚点完好 +577 ms）。§3.4 纪律示例更新 | +| 2026-10-26 | **O1 第二个实例 → 未注册期裸发加「行级单一所有者」（道G task-23）**：台架同镜像两次"仅复位"启动，`[PROT]` 未标定闭锁边沿行内分别多出 `[20`（3 字节）与 `[`（1 字节），而紧随其后的 `[NAND_FTL] Initializing NAND FTL...` 行恰好缺同样那几个字节的**行首**（字节账与三次启动命中两次的频率见 §4.4.1）→ 判据"framing 错不会让行变长"锁定为**两个写者并发裸发**，即 O1 的第二个实例（第一个是 2026-10-12 台架复测）。修法 = 非阻塞行所有权（`con_tx_try_claim`/`con_tx_release`，只在几条指令的临界区里 test-and-set；发送全程**不关中断**）+ 让路整行原文入环延后发（不丢、不补前缀、不重打时间戳）+ drain 每轮先取凭证（堵掉"attach 撞上别人半行"）+ `[ERR]` 只在"抢不到且环也满"时红。新增 `dbg_console_tx_begin/tx_end`（多段裸发收口，调用点改造 → task-26）。主机单测 127 → **152** 条（M 族 `TC-CONLOG-170 至 TC-CONLOG-179`，含逐字节相同判据），四处生产码注入反证各自转红（取消独占 11 红 / 让路改静默丢 5 红 / 非属主可归还 1 红 / 把发送包进临界区 3 红）。§3.4 / §4.4 / §7 / §13-O1 同步 | +| 2026-10-12 | **纪律盲区台架实证（台架复测）**：`protectTask`（保护任务 接线，台架腿当时未跑）启动锚点行在写者注册前裸发 → 与 defaultTask 启动日志**逐字节交错**（`st[art: cycle=220ms elm=70`，两次开机同形复现 = 启动调度确定性的竞态，非 USB 噪声）→ `@test` 锚点 MISS。修复 = 启动行改 `dbg_console_writer_ready()` 首拍补打（adcTask 首帧同款），`@build` 0/0 + `@test` PASS 复验（锚点完好 +577 ms）。§3.4 纪律示例更新 | | 2026-10-29 | **端口迁移**：控制台从 USART1 迁到 **UART5（RS232#1，PC12 / PD2，经 U9 → U13 → CN1）**，`console_log.c` 收口成 `CON_UART*` 单点宏（句柄 / IRQn / 时钟 / 重初始化一体）；USART1 现仅服务屏板链路（700 kbaud，`屏板链路设计说明.md`）；台架日志口因此为 `COM3`（USB 转 RS-232 适配器 → CN1 端子，`.serialtest/config.json` 已配） | ## 12. ORE 僵尸通道（2026-10-02 台架实证；当时端口 USART1，现 UART5 同机理） @@ -400,7 +400,7 @@ sequenceDiagram | # | 项 | 说明 | |---|----|------| -| O1 | 未注册期裸发无互斥 —— **已处置（2026-10-26，v1.6）** | 启动窗口（内核启动 → attach）`dbg_console_write_raw` 无互斥 → 多任务并发**逐字节交错**。两个台架实例：2026-10-12 B6（`protectTask` 启动锚点，靠自愿门控修）与 2026-10-26（`protectTask` 未标定闭锁边沿 × `defaultTask` `[NAND_FTL]` bring-up 行，字节账见 §4.4.1）——**第二个实例证明自愿门控本身不可靠**（边沿留痕无法预知自己落在哪个窗口）。现由机制收口：非阻塞整行独占 + 让路行入环延后发（§4.4.1），`dbg_console_writer_ready()` 降级为延迟优化。曾评估的两个替代方案（提前 attach / 整段进环）均因"把等串口塞进存储时序敏感段"与"死机期全瞎"被否，理由记录在 §4.4.1 末。**残余**：`IPSR != 0` 放行仍可能插入他任务半行（不构成标记漏检，§7）；多段裸发钩子的段间缝 → task-26 | +| O1 | 未注册期裸发无互斥 —— **已处置（2026-10-26，v1.6）** | 启动窗口（内核启动 → attach）`dbg_console_write_raw` 无互斥 → 多任务并发**逐字节交错**。两个台架实例：2026-10-12 台架复测（`protectTask` 启动锚点，靠自愿门控修）与 2026-10-26（`protectTask` 未标定闭锁边沿 × `defaultTask` `[NAND_FTL]` bring-up 行，字节账见 §4.4.1）——**第二个实例证明自愿门控本身不可靠**（边沿留痕无法预知自己落在哪个窗口）。现由机制收口：非阻塞整行独占 + 让路行入环延后发（§4.4.1），`dbg_console_writer_ready()` 降级为延迟优化。曾评估的两个替代方案（提前 attach / 整段进环）均因"把等串口塞进存储时序敏感段"与"死机期全瞎"被否，理由记录在 §4.4.1 末。**残余**：`IPSR != 0` 放行仍可能插入他任务半行（不构成标记漏检，§7）；多段裸发钩子的段间缝 → task-26 | | O2 | `HAL_UART_Transmit` 超时未计数 —— **已处置（2026-10-24，v1.5）** | 三本账已分离：`dbg_console_dropped()` = **真没落地**的数（缓冲满丢的一行，或没能确认送达而出环的一个块）；`dbg_console_tx_fault()` = 外设**软复位自愈次数**（语义不变）；新增 `dbg_console_tx_timeout()` = 写者排空时看到的**块超时次数**（TXE 与 TC 两条硬上界都算）。**口径边界**：裸发路径（内核前 / ISR / 两条告警行自身）的超时**不进**超时账——裸发没有「块」的概念，混进来读数失去意义。**尚未接线**：本读口暂无生产调用者；候选位置 `App/util/task_watchdog.c` 的 `STALL` 行是**被解析的证据行**，加字段要连解析端与台架判据一起改 → 列为后续项 | | O3 | `printf` 逐字节开销 | 遗留 `printf` 路径 = 逐字节临界区 + 逐字节事件置位；遗留调用点全部切 `DBG_*` 宏后开销自然消失（不改变机制） | | O4 | **ORE 僵尸未根治** | §12：现仅有缓解（250ms 预算 / 300ms 冷却 / DWT 超时），机制根源是控制台口（现 UART5）使能 RX 不消费。根治 = `.ioc` 改只发不收 + CubeMX 重生成，**2026-10-26 用户裁定不做** → O4 是**长期现状**而非待办（见 §12） | @@ -413,7 +413,7 @@ sequenceDiagram - `docs/测试说明/流程与规范/自动化测试流程.md` —— `/serial-boot-test` 标记体系（Required / Forbidden 模式，`[ERR]` 语义） - AGENTS.md —— 平台约束（内核前禁内核对象 / C 堆禁令 / 事件位语义 / 内存预算） -## 附录：日志静默观察项 × 步骤 8 合并评估（2026-10-25，道F 批 2 / task-18，零代码改动） +## 附录：日志静默观察项 × 步骤 8 合并评估（2026-10-25，道F 第二轮 / task-18，零代码改动） > 评估任务（登记簿曾登记的**日志静默观察项**，已销项；残余动作是「与步骤 8 合并评估」）：该观察项 > （49s 全系统日志静默，2026-09-22 L3 台架世代号 181）与步骤 8（日志非阻塞化，需求 diff --git a/docs/子系统设计/看门狗设计说明.md b/docs/子系统设计/看门狗设计说明.md index e3753b43..d55bd574 100644 --- a/docs/子系统设计/看门狗设计说明.md +++ b/docs/子系统设计/看门狗设计说明.md @@ -520,7 +520,7 @@ snapshot == required → miss_streak=0、证据门闩复位、喂狗 - `Src/iwdg.c`：`USER CODE BEGIN 0` 放空实现 + `#define HAL_IWDG_Init(a_h) iwdg_deferred_start(a_h)` → 生成区原样、**重生成零 diff**（§2.4）。 - `Src/stm32f4xx_it.c`：4 个 `__asm void X_Handler` 放 `USER CODE BEGIN 0`，**必须写在 4 个 `#define X X_Gen` 之前**（写在之后会被自己的宏改名）；生成实体经宏改名让位，链接器自动移除（`.map` 各 `Removing … (2 bytes)`），向量表仍指向我们的 `__asm` 版。 -> **审计兜底清单已清空**：所有定制要么写进 `.ioc`、要么搬进 `USER CODE` 区——**重生成应当零 diff**。剩余 1 项 WARN 是 `Src/freertos.c` 的 `timeSyncTask` 手工定义（属性块在 `USER CODE BEGIN Variables` 区，本身受保护，WARN 只提示"它不在 `.ioc` 里"）。**`adcTask`（B1，2026-10-10）同为手工定义**——属性块在同区、`osThreadNew` 在 `USER CODE BEGIN RTOS_THREADS` 区，同样受保护、同样不在 `.ioc` 里（B1 原计划走「写进 `.ioc`」，实际按 timeSyncTask 先例落「搬进 USER CODE 区」：避免为单任务触发全工程重生成）。 +> **审计兜底清单已清空**：所有定制要么写进 `.ioc`、要么搬进 `USER CODE` 区——**重生成应当零 diff**。剩余 1 项 WARN 是 `Src/freertos.c` 的 `timeSyncTask` 手工定义（属性块在 `USER CODE BEGIN Variables` 区，本身受保护，WARN 只提示"它不在 `.ioc` 里"）。**`adcTask`（ADC 采集链路，2026-10-10）同为手工定义**——属性块在同区、`osThreadNew` 在 `USER CODE BEGIN RTOS_THREADS` 区，同样受保护、同样不在 `.ioc` 里（ADC 采集链路 原计划走「写进 `.ioc`」，实际按 timeSyncTask 先例落「搬进 USER CODE 区」：避免为单任务触发全工程重生成）。 **为什么 `fault_handler_enable()`（SHCSR 使能三位）写不进 `.ioc`**（2026-10-01 查模板源码三重证据）：① `tpl_main_c.ftl` 的 `MX_NVIC_Init()` 只在 `systemHandler=="false"` 时生成 `HAL_NVIC_EnableIRQ`，而三个 Fault 在 `NVIC-STM32F417_Modes.xml` 都标 `Y`；② 全部模板中 `SHCSR` 只出现 1 次且是 MPU 清理的 `&= ~MEMFAULTENA`（禁用），无任何 `|=`；③ `.ioc` 无 MPU，且 `HAL_MPU_Enable` 只置 `MEMFAULTENA` 一位。⚠ `.ioc` 的 `NVIC.MemoryManagement_IRQn=true` **不代表已使能**（只是向量可见）。现走 USER CODE 区（`USER CODE BEGIN 1`）+ 审计项兜底。 @@ -706,10 +706,10 @@ enter/exit 段还能读出"此刻仍在段内已多久"——**永久阻塞的 | 2026-10-09 | **IWDG 延后启动由审计兜底升级为 USER CODE 区：不再需要每次重生成后手工删那一句** | 起因是提问"能否在初始化函数下方的自定义区里先反初始化"。查证：**反初始化不可行**——IWDG 一旦启动就**无法停止**（参考手册：唯一停止手段是复位），故不能在 `IWDG_Init 2` 区撤销。改用等价且免手工的做法：`Src/iwdg.c` 的 `USER CODE BEGIN 0`（标准保护位）放空实现 `iwdg_deferred_start()` + `#define HAL_IWDG_Init(a_h) iwdg_deferred_start(a_h)`，把**本编译单元里**那句生成调用 `HAL_IWDG_Init(&hiwdg)` 改名到空实现 → 生成区保持 CubeMX 原样、**重生成零 diff**。`.map` 证实 `Removing stm32f4xx_hal_iwdg.o(i.HAL_IWDG_Init), (94 bytes)`、`iwdg.o(i.MX_IWDG_Init)` 只引用 `.bss`（空实现被编译器消掉）。审计项 `iwdg-defer-start` 相应由 `wholefile`+锚点注释改为 `protected`（区 `0`）+ 代码符号断言（`iwdg_deferred_start` / `#define HAL_IWDG_Init`——`protected` 比对前会剥掉注释，锚点注释不能当断言）。§10.2 硬教训②与审计兜底存量清单同步：审计兜底只剩 4 个 Fault Handler 实体（同一招可根治，尚未做）。`@build` 0 错误 0 警告；审计 21 通过 / 1 警告 / 0 失败 | | 2026-10-09 | **4 个 Fault Handler 由审计兜底升级为 USER CODE 区：重生成完全零 diff** | 用与 iwdg 同一招。`Src/stm32f4xx_it.c` 的 4 个 `__asm void X_Handler` 从**生成区**搬进 `USER CODE BEGIN 0`，且必须写在文件头那 4 个 `#define X X_Gen` **之前**（写在之后会被自己的宏改名）；配套的 `#undef X` 随之删除（不再需要）。生成区恢复 CubeMX 原样（`void HardFault_Handler(void)` + `HardFault_IRQn 0` / `W1_HardFault_IRQn 0` 标记区），4 个锚点注释（`HARD-FAULT-ANCHOR` / `MEMFAULT-ANCHOR` / `BUSFAULT-ANCHOR` / `USAGEFAULT-ANCHOR`）全部退役。`.map` 复核：`startup_stm32f407xx.o(RESET) refers to stm32f4xx_it.o(.emb_text) for HardFault_Handler`（向量表仍指向我们的 `__asm` 版）、`.emb_text → i.fault_entry_* → i.hard_fault_report`、4 个 `*_Gen` 各 `Removing ... (2 bytes)`。审计项 `hardfault-handler` / `fault-handlers-3` 由 `wholefile`+锚点改为 `protected`（区 `0`）+ 代码符号断言。**审计兜底清单清空**，重生成预期零 diff。`@build` 0 错误 0 警告；审计 21 通过 / 1 警告 / 0 失败 | | 2026-10-10 | **正文按当前代码重写（清理立项前的描述）** | 正文原样保留了大量**立项前（2026-09-29）**的状态取证与已废弃的"路径 C 考古"，与现状矛盾，故重写为现状设计说明（1144 → 571 行；**历史与逐次决策全部保留在下方变更记录，未删**）。主要更正：① §1.1"现状：无任何硬件看门狗"改为**历史背景**（IWDG 已在 `.ioc`/`hal_conf`/工程三处就位）；② **ftpTask 早已纳入监视**——经 `lftpd_task_wd_beat()` 弱钩子（事件循环 / RETR·STOR 分片 / 连接与卷锁等待），旧正文"首期不埋点、由掩码剔除"及 R3/O1 已作废；③ 补齐正文缺失的三块现状实现：**FTL 心跳路由**（`task_wd_bind()` + `nand_ftl_wd_beat()`）、**FTL 直接喂狗**（`nand_ftl_wd_feed()`，含"设备存活但功能冻结"边界）、**round 7/8/8b 取证机制**（`/log/wdev.log`、`.noinit` 槽 + `UNINIT_CCM`、`PREVRUN`/`TICKRUN`/`MISS start`/`STALL`）；④ 掩码改为按代码实况列表（产品 `0x37` / `ENABLE_HW_LAYER_TESTS` `0x35` / **testTask 任何构建都不入掩码**）并写明"精确相等"语义；⑤ 复位原因优先级按 `reset_cause_str()` 实际顺序改写（旧表把 POR 排第一，代码是 **IWDG 最优先**）；⑥ §4.6 更正为**已集成**：看门狗复位写 `selftest.log`（旧正文"未改"）；⑦ §8 预算改用 `.map` 实测（`task_watchdog.o` 1098 B 代码 / 44+104 B RAM / `.noinit` 48 B；`iwdg.o` 仅 28 B，`HAL_IWDG_Init` 94 B 被移除）；⑧ 附录 B 自相矛盾修正（旧表把"借助 CubeMX"列为否决，实际已选它）；⑨ §7 由"验证计划"改为**验证记录**（V2/V4/V5 ✅、U1 39 断言 ✅，V3/V6/V7 标为未单独注入、V8 未做）。连带同步：`Src/iwdg.c`、`Src/freertos.c`、`App/task/default_task.c` 三处注释的章节引用（旧 §4.5/§4.6 → 新 §4.1/§4.4），`scripts/check_cubemx_survival.py` 提示语（§10.1 → §10.2/§10.3），`实机测试实施指南.md`（§10 → §7 ×3）、`看门狗单元测试说明.md`（§10 → §7）、`模拟器差距清单.md` H-1（§4.9 → §4.7，并更正"模拟器不编译本模块、无 IWDG 桩"）、`docs/README.md`（"实施中/待验证" → 已闭环）。⚠️ **下方历史行里的 §x.y 引用指当时编号**，不再回溯改写 | -| 2026-10-10 | **adcTask 纳入监视（B1）：必需掩码 `0x37`→`0x77`** | B1（ADC 采集链路）落地时新增 `adcTask`（`App/task/adc_task.c`：1 ms 采样节拍触发 CONVST + 消费 `tpafe5160_snapshot()`）并纳入 IWDG 监视：`task_wd_id_t` 新增 `TASK_WD_ADC = 6`；`wd_required_mask()` 产品 `0x37`→`0x77`、`ENABLE_HW_LAYER_TESTS` `0x35`→`0x75`（adcTask **不依赖任何就绪屏障** → 任何构建都置位）。adcTask 主循环每 1 ms `task_wd_beat(TASK_WD_ADC)`；**不做 NAND I/O → 不登记 FTL 心跳路由**（无需 `task_wd_bind()`）。主机侧单测 `beat_all()` 与掩码断言（`tc_003`/`tc_005`/`tc_011` 的 `0x37`→`0x77`）同步，39 断言全绿。任务由 `Src/freertos.c` 的 `USER CODE` 区手工创建（同 timeSyncTask，不在 `.ioc` 里），栈 512 words、优先级 Normal，`stack_report.py` 实测最坏链 504 B（余 1544 B / 75%）。见 `docs/算法/继电保护功能复现规划.md` §7 | -| 2026-10-10 | **B1 `@test` 实机闭环：adcTask 掩码真机验证** | 台架闭环（`.dsh/skills/serial-boot-test/scripts/run_boot_test.py`）确认 `adcTask` 纳入掩码后**无 adc 相关误复位**：`[STACK] adc peak_used=496/2048 free_min=1552 (75%)`、`frames/seq` 每 10 s 严格 +10000（=1000 Hz）、`idle=0`/`frst_err=0`、全片回读 `No difference found`。启动早期两次 `MISS start snap=0x67 req=0x77` 仅缺 bit4（`timeSync` 未启动，属正常就绪窗；adc 的 bit6 自始置位），掩码随后收敛、全程无复位。同轮另修 `dbg_console_writer_ready()` 门控（adcTask 周期日志在写者注册前抑制，见 `控制台单写者日志设计说明.md`） | +| 2026-10-10 | **adcTask 纳入监视（ADC 采集链路）：必需掩码 `0x37`→`0x77`** | ADC 采集链路（ADC 采集链路）落地时新增 `adcTask`（`App/task/adc_task.c`：1 ms 采样节拍触发 CONVST + 消费 `tpafe5160_snapshot()`）并纳入 IWDG 监视：`task_wd_id_t` 新增 `TASK_WD_ADC = 6`；`wd_required_mask()` 产品 `0x37`→`0x77`、`ENABLE_HW_LAYER_TESTS` `0x35`→`0x75`（adcTask **不依赖任何就绪屏障** → 任何构建都置位）。adcTask 主循环每 1 ms `task_wd_beat(TASK_WD_ADC)`；**不做 NAND I/O → 不登记 FTL 心跳路由**（无需 `task_wd_bind()`）。主机侧单测 `beat_all()` 与掩码断言（`tc_003`/`tc_005`/`tc_011` 的 `0x37`→`0x77`）同步，39 断言全绿。任务由 `Src/freertos.c` 的 `USER CODE` 区手工创建（同 timeSyncTask，不在 `.ioc` 里），栈 512 words、优先级 Normal，`stack_report.py` 实测最坏链 504 B（余 1544 B / 75%）。见 `docs/算法/继电保护功能复现规划.md` §7 | +| 2026-10-10 | **ADC 采集链路 `@test` 实机闭环：adcTask 掩码真机验证** | 台架闭环（`.dsh/skills/serial-boot-test/scripts/run_boot_test.py`）确认 `adcTask` 纳入掩码后**无 adc 相关误复位**：`[STACK] adc peak_used=496/2048 free_min=1552 (75%)`、`frames/seq` 每 10 s 严格 +10000（=1000 Hz）、`idle=0`/`frst_err=0`、全片回读 `No difference found`。启动早期两次 `MISS start snap=0x67 req=0x77` 仅缺 bit4（`timeSync` 未启动，属正常就绪窗；adc 的 bit6 自始置位），掩码随后收敛、全程无复位。同轮另修 `dbg_console_writer_ready()` 门控（adcTask 周期日志在写者注册前抑制，见 `控制台单写者日志设计说明.md`） | | 2026-10-10 | **新增 §11：任务级饥饿的诊断方法与实测基线** | 承接 Task #32（`task stall: mask=0x67 req=0x77`，缺 `TASK_WD_UI`）结案后的沉淀——原分析文档 `docs/问题记录/UI任务看门狗停摆分析.md` 按"完成即销项"删除，可复用部分并入本文：**§11.1** 三条易误读的判读口径（启动期 `MISS start 0x67` 良性、`miss=` 是累计不是连续、`reset cause` 不能区分 IWDG 与台架）；**§11.2** 诊断四步（先看掩码缺几位 → 量化占空比 → 用计数速率反证空转 → 用 `[PROF]` 指认占用者；本例否掉"CPU 饱和"，实测 10%~13%）；**§11.3** 三条结构性脆弱点（uiTask 唯一 BelowNormal／心跳依赖 netTask 往返／自定截止期不可恢复）与两个顺带修掉的**正确性**缺陷（无新帧仍压环 ≈3% 频率失配、失败拍静默沿用旧值）；**§11.4** `[PROF]`/`[PROF2]` 全字段语义 + v2.8 基线（含 `netp=0` 是真实值、`adcm` 峰值来自心跳日志、`uip` 地板 = LVGL 帧周期）与三机理判读口诀；**§11.5** 三条教训（门控须留低频兜底、门控会消灭暴露路径、事件驱动要核对节拍源与消费者创建时刻）；**§11.6** 明确不做的四条及理由。§9.1 的 R7 行改指本文 §11.3 | | 2026-10-11 | **新增 §10.4：ARMCC `__asm` 的三条语法约束** | AGENTS.md 瘦身：「ARMCC 内联汇编语法」条目的完整细节（GCC 语法报 `#18`、块内联把寄存器名当 C 标识符报 `#20`、`__asm` 取不到 C 数据符号 `A1516E`、可用写法 = 整函数 `__asm void f(void)` + `B` 到 C 入口、`#define f f_Gen` 让位机理）迁入本文，AGENTS.md 只留一行禁令与指针 | -| 2026-10-12 | **iec104Task / protectTask 纳入监视（B4/B5）：必需掩码 `0x77`→`0xF7`→`0x1F7`** | 两行合并记录（B4 落地时漏补本文，B5 一并纠偏）：**B4** 新增 `TASK_WD_IEC104 = 7`（iec104Task 100 ms 服务循环喂位，NET_READY 屏障等待按 100 ms 分片喂位），产品 `0x77`→`0xF7`、HW 层 `0x75`→`0xF5`；**B5** 新增 `TASK_WD_PROTECT = 8`（protectTask 20 ms 判据节拍喂位，见 `docs/算法/继电保护功能复现规划.md` §7），产品 `0xF7`→`0x1F7`、HW 层 `0xF5`→`0x1F5`。两任务均**不依赖存储/网络之外的屏障**（protectTask 无任何屏障）→ 任何构建都置位；均不做 NAND I/O → 不登记 FTL 心跳路由。主机侧单测 `beat_all()` 与 `tc_003`/`tc_005`/`tc_011` 掩码断言同步至 `0x1F7`，39 断言全绿。⚠ 注意 `0x1F7` 不含 bit3（testTask 任何构建不入掩码，口径不变） | +| 2026-10-12 | **iec104Task / protectTask 纳入监视（IEC 104 上行/保护任务）：必需掩码 `0x77`→`0xF7`→`0x1F7`** | 两行合并记录（IEC 104 上行 落地时漏补本文，保护任务 一并纠偏）：**IEC 104 上行** 新增 `TASK_WD_IEC104 = 7`（iec104Task 100 ms 服务循环喂位，NET_READY 屏障等待按 100 ms 分片喂位），产品 `0x77`→`0xF7`、HW 层 `0x75`→`0xF5`；**保护任务** 新增 `TASK_WD_PROTECT = 8`（protectTask 20 ms 判据节拍喂位，见 `docs/算法/继电保护功能复现规划.md` §7），产品 `0xF7`→`0x1F7`、HW 层 `0xF5`→`0x1F5`。两任务均**不依赖存储/网络之外的屏障**（protectTask 无任何屏障）→ 任何构建都置位；均不做 NAND I/O → 不登记 FTL 心跳路由。主机侧单测 `beat_all()` 与 `tc_003`/`tc_005`/`tc_011` 掩码断言同步至 `0x1F7`，39 断言全绿。⚠ 注意 `0x1F7` 不含 bit3（testTask 任何构建不入掩码，口径不变） | | 2026-10-25 | **停喂判定按位分账（v1.5，大窗判读 F2）**：stall/停喂唯一判据从「复合连续缺席窗数」改为「**任一必需位的连续缺席窗数**」——同一任务连续 8 窗（800 ms）没跑过才申报停摆并停喂；多任务交替缺席（本窗缺 A、下窗缺 B）各自清零、且缺席窗在容忍线下**照常喂狗**（旧实现自第一个缺席窗起就不喂，800ms 只是申报点）。动因 = 2026-10-25 台架大窗：54 个探针重建窗里 9 条 stall 行中 16:24/16:28 两起为复合误升级（mg=877/918，无任何单位到 800ms 单串），16:39 为真 UI 单串（~1.2 s，受害者面修复另立 F3 票）；`MISS start` 降级为复合边沿**诊断行**（不再代表停喂，判读口径 §6.1/§11.1 同步）；真停摆到复位的总时长最坏 +约 0.7 s（§2.2 链注）。§0/§2.2/§3.2/§5.3/§6.1/§11.1/§11.6 同步；主机单测 `test/host/watchdog/watchdog_test.c` 断言按新判据改写 + 新增 **TC-WATCHDOG-017**（20 窗交替缺席：零 stall、20 窗持续喂）/ **TC-WATCHDOG-018**（同位 8/9/10 连击必报停 + 停喂；恢复窗喂、账本重启，第二段亚容忍串不误报），47 断言全绿 | | 2026-10-26 | **卷锁 try 失败纳入 ④「只计数」口径 + 修一处会骗人的契约（道G task-17）** | §4.3 场景表新增一行：卷锁 try 失败（defaultTask / uiTask 从不等锁，取不到就跳过本轮）既不需要分片也不需要心跳，缺的是**可观测**。落地形态：`App/fs/vol_lock.c` 记 5 态计数（`acquired` / `try_timeout` / `blk_timeout` / `failopen`，共 16 B 静态、一次自增），`vol_lock_get_stats()` **不取锁**、不关中断、任意上下文可调、NULL 无害。为什么不许在 try 失败处补一条日志：能把事写下来的通道（`/log/wdev.log`、`run.log`）自己也要取这把锁，而卷锁**非递归**，被卷忙挡住时既写不出东西还会自取死锁——所以留痕只能由 syslog 唯一写者按差值 latch 补投（另立 task-40 接在 `syslog_drain()` 的 `s_quiet_drop` 差值块之后）。同时修契约：`App/fs/vol_lock.h` 原写「0 - 超时未获取」、`vol_lock.c` 原 :38 把 fail-open 归给 0，而代码（:46）与 `TC-VOLLOCK-008` 都是**返 1**；现在两处都按代码写实并显式警告「返 1 也可能是零互斥」，`failopen` 计数就是它的证据。**观测时刻刻意不在锁层**：记时刻要读 tick，等于给 defaultTask 取锁链添 callee 与本帧（本档 §11 一贯按字节省的就是这条链），改由消费方观测并自盖 `obs_first_ms` / `obs_last_ms`——那是**被观测到的时刻**，不等于发生时刻，命名与文案都不许写成"首次发生"。机器证据：`test/host/vol_lock` 新增 TC-VOLLOCK-015~019（45 断言全绿：T2/T3 互不冒领、fail-open 计数可累加、读取不消耗证据）；另把「喂狗点取锁一律 timeout=0」从注释纪律升级成会 FAIL 的断言——4 套假件加 `s_last_wait_to`，断言落在 TC-SYSLOG-010/012、TC-SOESTORE-016/018、TC-CFGFST-003/016/032/033、TC-LFTPIO-034，并做过红-绿反证（把 `sys_log_mcu.c:318` 的 `0u` 改 `50u` → 135/137 双红；把 `lftpd_io.c:48` 的 `100u` 改 `0u` → 32/33 红；随后按原串改回、SHA-256 逐字节相同） | diff --git a/docs/架构设计/STM32F4-Base存储架构说明.md b/docs/架构设计/STM32F4-Base存储架构说明.md index faceea12..9a516045 100644 --- a/docs/架构设计/STM32F4-Base存储架构说明.md +++ b/docs/架构设计/STM32F4-Base存储架构说明.md @@ -34,7 +34,7 @@ HAL_Init → SystemClock_Config → MX_GPIO/DMA/USART1/SPI2/SPI1/I2C1/UART4/IWDG ├─ adcTask → TIM3 1kHz 唤醒，ADC 采集（纯消费者） ├─ iec104Task → IEC 60870-5-104 上行（默认 :2404） ├─ protectTask → 保护判据 20ms 节拍 - └─ rs485Task → 未创建（B2 暂缓，见 docs/任务规划/暂缓-RS485.md） + └─ rs485Task → 未创建（RS-485 暂缓，见 docs/任务规划/暂缓-RS485.md） ``` --- @@ -391,7 +391,7 @@ FTL 之上还有一个 **单页写回缓存 (write-back cache)**： - **写**: 写入缓存 → 标记脏 - **全页写入**: 直接刷出 (跳过缓存) - **同步 (CTRL_SYNC)**: 刷出脏页 + dhara_map_sync -- **空闲 flush 兜底（2026-10-25，道F 批 2）**: defaultTask 主循环按"存储就绪 + +- **空闲 flush 兜底（2026-10-25，道F 第二轮）**: defaultTask 主循环按"存储就绪 + 卷空闲（`vol_lock_wait(0)` try）+ 周期节流（5 s）"周期性下发一次 `CTRL_SYNC`， 把"缓存留脏、之后再无调用触发 sync"的漏网脏页其掉电驻留窗封顶为一个周期； 卷锁被持有（syslog 落盘 / 配置保存 / lftpd open...close 进行中）时跳过， diff --git a/docs/架构设计/项目启动顺序管理.md b/docs/架构设计/项目启动顺序管理.md index 9b5eb130..b4537472 100644 --- a/docs/架构设计/项目启动顺序管理.md +++ b/docs/架构设计/项目启动顺序管理.md @@ -15,10 +15,10 @@ | `start_test_task`（testTask） | 统一测试入口，按 `TEST_SUITE_*` 分发 | NET 模式下 `osEventFlagsWait(SYS_EVT_NET_READY, osFlagsWaitAny \| osFlagsNoClear, osWaitForever)` 阻塞等待 | | `timeSyncTask` | 墙钟时间同步 | `osEventFlagsWait(SYS_EVT_NET_READY, … \| osFlagsNoClear)` 后开始同步 | | `uiTask` | LVGL UI（`ui_port_init` → `ui_menu_init` → `ui_net_sink` :7003 → 10ms 刷新） | `osEventFlagsWait(SYS_EVT_NET_READY, osFlagsWaitAny \| osFlagsNoClear, osWaitForever)` | -| `iec104Task` | IEC 60870-5-104 上行（工厂默认 :2404 监听 + link 状态机，B4） | `osEventFlagsWait(SYS_EVT_NET_READY, … \| osFlagsNoClear)` | +| `iec104Task` | IEC 60870-5-104 上行（工厂默认 :2404 监听 + link 状态机，IEC 104 上行） | `osEventFlagsWait(SYS_EVT_NET_READY, … \| osFlagsNoClear)` | | `adcTask` | TIM3 1kHz 采样节拍**纯消费者**（`adc_input_poll()`，语义取数与有效性/全周傅氏相量取数，不做保护运算） | **无事件位依赖**：TIM3 ISR 内 `adc_tick_irq_notify()` 直接唤醒（TIM3 比调度器早 ≈100ms 启动，ISR 侧只能走该通知函数） | -| `protectTask` | 保护判据 20ms 节拍（`prot_elm_run()`，保护判据，B5） | 无（节拍自持，不依赖网络） | -| `rs485_task` | RS-485 通信（任务体已实现） | **未在 `freertos.c` 创建**（B2 暂缓，见 `docs/任务规划/暂缓-RS485.md`） | +| `protectTask` | 保护判据 20ms 节拍（`prot_elm_run()`，保护判据，保护任务） | 无（节拍自持，不依赖网络） | +| `rs485_task` | RS-485 通信（任务体已实现） | **未在 `freertos.c` 创建**（RS-485 采集链路 暂缓，见 `docs/任务规划/暂缓-RS485.md`） | ### 1.2 改造前（已废弃）的依赖管理手段 > 以下为引入 Event Flags 之前的历史做法，仅作背景记录，当前代码已不再使用。 diff --git a/docs/架构设计/项目架构总览.md b/docs/架构设计/项目架构总览.md index 40862054..0af53031 100644 --- a/docs/架构设计/项目架构总览.md +++ b/docs/架构设计/项目架构总览.md @@ -56,7 +56,7 @@ > **与 §1 分层图的分工**：§1 回答「谁属于哪一层、层间单向依赖」，本图回答「一条数据从引脚走到 104 报文 / 显存 / 记录文件要穿过哪些框、谁在什么时候被谁唤醒」。图里的五条纵带只是**列分组**（便于对齐），不是依赖声明——依赖方向仍以 §1.1 表与 `layer-deps` 门禁为准。 > 影响链路走向的两条行为条件已画进图内（RS-485 未接线 → 暂缓接语义取数层；跨任务握手集中经 `就绪屏障`）；其余行为条件（未标定闭锁、`osFlagsNoClear`、CH395F 单连接、V0.1 双转换器无共同采样触发）不在图上重复，见 AGENTS.md「项目概况 / 平台约束」与 §2.2、§5。 -> `*` `rs485_task.c` 任务体已实现，但**当前未在 `freertos.c` 创建**（B2 暂缓，见 `docs/任务规划/暂缓-RS485.md`）；`adc_task.c` 已于 2026-10-10 接入创建（`adcTask`）。 +> `*` `rs485_task.c` 任务体已实现，但**当前未在 `freertos.c` 创建**（RS-485 采集链路 暂缓，见 `docs/任务规划/暂缓-RS485.md`）；`adc_task.c` 已于 2026-10-10 接入创建（`adcTask`）。 > 串口三分（2026-10-29 屏板批 0 后的定态）：**USART1 = 屏板链路 700 kbaud**、**UART4 = RS-485（115200，未接线）**、**UART5 = 控制台日志 115200**——日志口原在 USART1，屏板占用后迁至 UART5（RS232#1 台架线改接日志口）。 --- @@ -74,10 +74,10 @@ | `uiTask` | 16384 | BelowNormal | 等网络 → `ui_port_init`/`ui_menu_init`/`ui_standby_init`(空闲 60s 切待机屏)/`ui_net_sink` → 10ms 刷新：`ui_data_feed_tick()` 三帧装配 + 屏板链路驱动（组帧 B / 出键 / 离线判定 / 状态灯位）+ 录波回放页 | `ui_task_func` | | `timeSyncTask` | 2560 | Normal | 等网络 → TCP :8888 收 PC 推送时间 → 写 RTC | `time_sync_task` | | `adcTask` | 2560 | AboveNormal | 纯消费者 + **唯一发布者**：`osThreadFlagsWait` 等 TIM3 1kHz 唤醒（ISR 内 `adc_tick_irq_notify` 置位）→ `adc_input_poll()`（TPAFE 原子快照 + STM32 ADC1 DMA 双缓冲）→ 标定折算 → 相量 → 测频；录波支路 `wave_ring_push()/tick()`；**每 200ms `meas_tick()` 发布遥测快照**（双区无锁，104 与 UI 共用同一份上游） | `adc_task_func` | -| `iec104Task` | 2560 | Normal | 等网络 → IEC 60870-5-104 上行（工厂默认 :2404 监听 + link 状态机；遥测读 meas 快照、遥信读 `prot_elm` 元件态，COV 死区/变位上送；`[comm]`/`[run_par]` 配置；B4/批 2）。任何构建都创建，纳入 IWDG `required_mask` | `iec104_serv_task` | -| `protectTask` | 2048 | Normal | 保护判据 20ms 节拍：`prot_elm_run()` + 「自检失败闭锁」采样故障闭锁 + 定值校验和巡检 + 动作/复归边沿 SOE 投递（B5）；⚠ **当前处于「未标定闭锁」态**——`adc_cal_flags()` 无 VALID 时判据停走，两点标定写入 `[adc_cal]` 后自动解卡（用户裁定 2026-10-25：保持闭锁，不用万用表走捷径）；纳入 IWDG `required_mask`（产品 `0x1F7`） | `protect_task` | +| `iec104Task` | 2560 | Normal | 等网络 → IEC 60870-5-104 上行（工厂默认 :2404 监听 + link 状态机；遥测读 meas 快照、遥信读 `prot_elm` 元件态，COV 死区/变位上送；`[comm]`/`[run_par]` 配置；IEC 104 上行/第二轮）。任何构建都创建，纳入 IWDG `required_mask` | `iec104_serv_task` | +| `protectTask` | 2048 | Normal | 保护判据 20ms 节拍：`prot_elm_run()` + 「自检失败闭锁」采样故障闭锁 + 定值校验和巡检 + 动作/复归边沿 SOE 投递（保护任务）；⚠ **当前处于「未标定闭锁」态**——`adc_cal_flags()` 无 VALID 时判据停走，两点标定写入 `[adc_cal]` 后自动解卡（用户裁定 2026-10-25：保持闭锁，不用万用表走捷径）；纳入 IWDG `required_mask`（产品 `0x1F7`） | `protect_task` | -> `idle`（128 words）/ `timer`（256 words）由 FreeRTOS 内核创建。所有任务栈从 FreeRTOS `heap_4` 堆分配（**已迁 CCM**，2026-10-12 B5 由 48KB 扩容至 56KB，见 `docs/内存管理/RAM使用分析与优化方案.md` §4.1.2/§2.3）。 +> `idle`（128 words）/ `timer`（256 words）由 FreeRTOS 内核创建。所有任务栈从 FreeRTOS `heap_4` 堆分配（**已迁 CCM**，2026-10-12 保护任务 由 48KB 扩容至 56KB，见 `docs/内存管理/RAM使用分析与优化方案.md` §4.1.2/§2.3）。 > **栈台账**：权威逐任务数字在内存方案 §2.3；`stack_report.py` 9/9 PASS（2026-10-22 静态最坏链 + 同日真机 `[STACK]` 水位；defaultTask 最坏 3024B/5120B 余 40%、protectTask 静态 872B/2048B 余 57%）。⚠ 改栈或加大栈内局部变量前后**必须**重跑该脚本——静态分析低估含递归/间接调用的链（优化前 ftpTask：静态 2528B vs 实测 3480B）。 ### 2.2 就绪屏障（Event Flags，取代魔法延时） @@ -179,7 +179,7 @@ flowchart LR SLG["sys_log + soe_store
/log/run.log · selftest.log · soe.log"] LF["lftpd
FTP 文件读写（录波取回同通道）"] WS["录波落盘道（defaultTask）
/wave 段文件（8.3 短名 WAVE 轮转）"] - PS["prot_set_store
/prot_set.bin（B7 原子写）"] + PS["prot_set_store
/prot_set.bin（保护定值持久化原子写）"] ST["测试套件
STORAGE/GD5F"] end @@ -314,12 +314,12 @@ STM32F4-Base/ │ │ adc_input / adc_health / adc_cal / sample_ring / phasor / freq / meas / │ │ prot_set / prot_elm / run_par / wave_ring / wave_store / sb_led_map │ ├── task/ default_task / net_task / ui_task / adc_task / iec104_serv / protect_task / -│ │ rs485_task*（*未创建，B2 暂缓）+ task_handles.h +│ │ rs485_task*（*未创建，RS-485 暂缓）+ task_handles.h │ ├── protocol/iec104/ IEC 60870-5-104：iec104_asdu / iec104_link / iec104_pts（点表：遥测读 meas、遥信读 prot_elm）/ iec104_comm（[comm] 段） │ ├── log/ sys_log 记录引擎（定长 64B，/log 唯一写者=defaultTask）、 │ │ console_log（UART5 控制台单写者）、soe_rec（64B SOE 纯编解码）+ soe_store（投递/落盘胶水） │ ├── cfg/ 配置引擎：cfg_file（静态态单任务收敛于 defaultTask）、store（MCU=FreeRTOS 堆）、 -│ │ prot_set_store（/prot_set.bin 原子写，B7） +│ │ prot_set_store（/prot_set.bin 原子写，保护定值持久化） │ ├── fs/ 卷锁 vol_lock（syslog / cfg / lftpd 三条路径 try 语义）、vol_idle_sync │ ├── sync/ time_sync（TCP 对时服务） │ └── util/ sys_clock（墙钟）、task_watchdog（IWDG 判定状态机）、boot_stats、sha256、task_prof diff --git a/docs/测试说明/专项验证/存储维护与容量恢复.md b/docs/测试说明/专项验证/存储维护与容量恢复.md index cf27c214..5da8e844 100644 --- a/docs/测试说明/专项验证/存储维护与容量恢复.md +++ b/docs/测试说明/专项验证/存储维护与容量恢复.md @@ -91,7 +91,7 @@ → `f_write(64)` → `f_close`），**不持有常驻句柄** → 从 FTP 侧 `DELE` 不会撕裂，下次有 故障时自动重建文件。清理前先把导出副本留档（1856 B = 29×64）。 - **产品数据一条不动**：`run.log`（运行记录）、`wdev.log`（掉电取证，带 8 KB 护栏）、 - `soe.log`（B9 SOE 动作记录）——这三条是固件在写的活文件，容量护栏由固件自己管，别手删。 + `soe.log`（SOE 记录 SOE 动作记录）——这三条是固件在写的活文件，容量护栏由固件自己管，别手删。 - **顺带清掉的孤儿**：`/log/flushchk.bin` **32,768 B**，全库零引用——已退役的 flush 诱导实验 留下的（`sys_log_mcu.c` 注释里那句"旧称 flush 诱导"就是它）。**删前先 RETR 出来验过内容**： 256 种字节值全部出现、前 64 字节全 `FF` → 就是一份 0..255 图案的写盘校验填充，没有任何 diff --git a/docs/测试说明/专项验证/模拟器差距清单.md b/docs/测试说明/专项验证/模拟器差距清单.md index 60289f4a..b0a623f2 100644 --- a/docs/测试说明/专项验证/模拟器差距清单.md +++ b/docs/测试说明/专项验证/模拟器差距清单.md @@ -68,8 +68,8 @@ | **GD5F NAND** | 无 | SPI NAND：BBT 扫描、ECC、坏块管理、dhara FTL | 坏块/ECC/写入失败等路径完全不可测 | 板端 GD5F 套件（76 断言点）+ `/serial-boot-test` | | **SD2506 RTC** | 无 | I2C RTC：时间读写、闹钟、温度、电池电压 | 时间源相关（`sys_clock_init` 降级路径）在模拟器上不可触发 | 板端 RTC 套件（18 断言点）+ `sys_clock` 主机侧纯逻辑单测（已覆盖算术面） | | **开机账本 boot_stats（上电次数 / 复位原因快照）** | **不编译** `App/util/boot_stats.c`（依赖 SD2506 用户 SRAM 与 `RCC_CSR`）；UI「运行报告」页的四个数在模拟器上是 `simulator/main.c` 的**固定假数据**（`boot_count=7`、`seq_state=延续`、`rst_cause=上电复位`、104 四枚 3 / 128 / 0 / 4096、`uptime_s=0`） |`boot_stats_init()` 读 SRAM → 自增 → 写回 → 快照驻留；四个 104 观测计数由 iec104Task 真实累加（跨重连不清零、断电归零） | 「自增有没有真落 SRAM」「电池域掉电后是否落 RESTARTED」「写失败是否只少计不重复」「104 计数是否跨重连累计」四类事在模拟器上**结构上不可见**；黄金参考只拍得到显示口径（范围标签在不在屏上、值有没有串行、`boot_ready=0` 是否显 `--` 而不是 0） | 主机单测 `test/host/boot_stats/`（SRAM 状态机与四态判定）+ 真机 `/serial-boot-test`：上电一次看 `boot_count` +1、拔电池后落 RESTARTED、IWDG 复位后 `rst_cause=IWDG`、主站连一次看 `conn_up` +1 | -| **TPAFE5160 ADC** | 无 | SPI ADC + BUSY EXTI 中断 | 中断驱动采集链路 | 待功能实现（上游 B1） | -| **RS-485 半双工** | 无 | UART4 + DE 方向控制，DWT 微秒延时 | DE 收发切换时序（特有陷阱） | 待功能实现（上游 B2） | +| **TPAFE5160 ADC** | 无 | SPI ADC + BUSY EXTI 中断 | 中断驱动采集链路 | 待功能实现（上游 ADC 采集链路） | +| **RS-485 半双工** | 无 | UART4 + DE 方向控制，DWT 微秒延时 | DE 收发切换时序（特有陷阱） | 待功能实现（上游 RS-485 采集链路） | | **启动段硬件初始化** | 只跑纯软件部分 | I2C/SPI 外设初始化、BBT 扫描耗时、FatFS 挂载 | 启动段死机（无看门狗保护窗口）**只能在真机复现** | 真机开机日志判读（`项目启动顺序管理.md` §6 已落地） | ### 2.4 哪些差异是"有意的对齐"（非缺陷） diff --git a/docs/测试说明/专项验证/链路延迟测试说明.md b/docs/测试说明/专项验证/链路延迟测试说明.md index be876f5b..b23bea93 100644 --- a/docs/测试说明/专项验证/链路延迟测试说明.md +++ b/docs/测试说明/专项验证/链路延迟测试说明.md @@ -340,9 +340,9 @@ DMA 斜率实测 1.56µs/B（≈5.25 Mbit/s，与 SPI2 分频 8 @42MHz APB1 设 ### 6.2 M2 段（Phase 13，芯片 + 队列） -2026-09-22 重锁（P0-a/P0-b）：同日 A/B 两档对照——**B1**（周期 500ms + per-recv 日志，= run15 条件， -复跑数值与 run15 基线重合 ±0.2%）→ **B2**（周期 200ms + per-recv 日志已删，= 当前代码）。 -两档全部 `1/1 PASSED`、零尖峰、peer exit 0；下表 = **B2 基线**（A/B 差值即 P0-b 效果，P0-a 在干净链路上惰性）。 +2026-09-22 重锁（P0-a/P0-b）：同日 A/B 两档对照——**ADC 采集链路**（周期 500ms + per-recv 日志，= run15 条件， +复跑数值与 run15 基线重合 ±0.2%）→ **RS-485 采集链路**（周期 200ms + per-recv 日志已删，= 当前代码）。 +两档全部 `1/1 PASSED`、零尖峰、peer exit 0；下表 = **RS-485 采集链路 基线**（A/B 差值即 P0-b 效果，P0-a 在干净链路上惰性）。 **MCU 侧（`[LAT]` 报告，安静档 `ftp_stress=0`）** @@ -442,11 +442,11 @@ med 65.0ms/max 133.5ms（133.5 = 压力启动瞬态单帧）；**挂起 recv 化 | **芯片→线上+PC/生产路径帧周期** peer cycle | 生产客户端完整帧周期（发→收齐 3209B） | **58.9ms**（发送分块握手重锁） | 47.7/72.1ms | 50 | — | 见 §7 | | **Δ** | `peer cycle(设备) − peer cycle(模拟器)` | **52.1ms**（发送分块握手重锁） | — | 50/50 | ≤80ms | 见 §7.1 | -¹ 队列往返两行为 2026-09-22 上午分片时代（M2 B2 档）数值：发送分块握手对 DONTWAIT 快速路径**逐位不变**（dispatch +¹ 队列往返两行为 2026-09-22 上午分片时代（M2 RS-485 采集链路 档）数值：发送分块握手对 DONTWAIT 快速路径**逐位不变**（dispatch → `net_poll` → `get_recv_len` 读，无 readable 门控），pending tick 无 pending 时为纯指针读零 SPI （µs 级）——机制上不影响队列往返；M2 重验未在本轮执行（低风险，留待 Phase 13 下次窗口，见 `docs/任务规划/README.md` 条目「队列往返基线待重验」）。 -数据来源：SPI 字节命令/SPI DMA = §6.1；发送分块握手/队列往返/请求→首字节/整帧 3209B 往返 = M2 B2 档（200ms、per-recv 日志已删）串口 `[LAT]` 行 +数据来源：SPI 字节命令/SPI DMA = §6.1；发送分块握手/队列往返/请求→首字节/整帧 3209B 往返 = M2 RS-485 采集链路 档（200ms、per-recv 日志已删）串口 `[LAT]` 行 （`../测试数据/m2_data/m2_quiet_r200.json`）；生产路径帧周期/连接/重监听/uiTask 节拍 = **挂起 recv 构建 2026-09-22 16:42/16:43 重锁** （`../测试数据/m3_data/m3_pending_quiet.json` / `m3_pending_stress.json` 之 MCU 侧 `[LAT]` 行）；日志税 = M3 静默档 （`../测试数据/m3_data/m3_dev_quiet_r200.json`，与发送分块握手无关的串口税段）；A/B 对照档 = `m2_quiet_r500.json`（旧条件）； @@ -751,8 +751,8 @@ sock4 auto-relisten ok / relisten retry ok ← 监听器随后自行恢复 | `../测试数据/m2_data/m2_quiet_run13.json` | M2 run13（独立 PASS 对照） | | `../测试数据/m2_data/m2_quiet_run14.json` | M2 run14（仅 peer 侧有效；MCU 侧因热路径日志洪水不作基线，D12-b） | | `../测试数据/m2_data/m2_serial_excerpt_run13/15.txt` | M2 串口 `[LAT]`/`[NET]` 证据片段（旧基线，A/B 历史对照） | -| `../测试数据/m2_data/m2_quiet_r500.json` | 2026-09-22 A/B 对照档 B1（500ms + per-recv 日志 = 旧基线条件；复跑与 run15 重合 ±0.2%） | -| `../测试数据/m2_data/m2_quiet_r200.json` | **2026-09-22 M2 重锁基线** B2（200ms、per-recv 日志已删 = 当前代码） | +| `../测试数据/m2_data/m2_quiet_r500.json` | 2026-09-22 A/B 对照档 ADC 采集链路（500ms + per-recv 日志 = 旧基线条件；复跑与 run15 重合 ±0.2%） | +| `../测试数据/m2_data/m2_quiet_r200.json` | **2026-09-22 M2 重锁基线** RS-485 采集链路（200ms、per-recv 日志已删 = 当前代码） | | `../测试数据/m2_data/README.md` | M2 数据说明（逐帧尾批明细、方法学约束） | | `../测试数据/m3_data/m3_dev_quiet.json` | 真机 65 帧生产周期（D10/头阻塞/D17 修复前基线） | | `../测试数据/m3_data/m3_dev_quiet_fixed.json` | 真机 65 帧（修复后：帧周期 65.7ms、relisten OK、INIT framebytes=3200） | diff --git a/docs/测试说明/单元测试/主机单测覆盖率口径.md b/docs/测试说明/单元测试/主机单测覆盖率口径.md index 4df79f4e..37b75350 100644 --- a/docs/测试说明/单元测试/主机单测覆盖率口径.md +++ b/docs/测试说明/单元测试/主机单测覆盖率口径.md @@ -248,7 +248,7 @@ | 批次 | 文件（有效代码行） | 逻辑度 | 要桩什么 | 判据出处（直接抄成用例） | 为什么值得 | |---|---|---|---|---|---| | **FTP 一套** | `lftpd.c`(694)、`lftpd_io.c`(207)、`lftpd_inet.c`(171)、`lftpd_string.c`(11) = 1,083 | 0.99/0.90/0.93 | 真实 `ff.h` + 假 diskio；复用 `net_socket.h` | `docs/测试说明/板级测试/FTP_Test_Guide.md`、`docs/子系统设计/网络配置说明.md` §3.4（`pwd_hash`=SHA-256(user‖password)、连续 5 次失败锁 60 s、默认口令启动告警） | **20 次提交里 6 次是 fix**，最近两条都是"静默型"：LIST/NLST 满块被截断回 550、对端行为误打 `[ERR]`（2026-10-23）——覆盖率最擅长照的就是这类"日志看不出根因" | -| **NET 拆出来的四块** | `net_pending.c`(287)、`net_events.c`(263)、`net_listener.c`(191)、`net_select.c`(162) = 903 | 0.90/0.78/–/0.93 | **新建 `stub/ch395f.h`**（芯片寄存器只到函数边界）+ 假任务通知；`net_socket.h` 已有 | `docs/网络/网络自愈架构设计.md` §4.10（socket 读清点审计 + 新增一处读清的三条准入判据）、`docs/网络/Net层阻塞模型架构设计.md` | 挂起 recv、监听按代次重建、退避这些**语义在真机上极难复现**；这一族的 B3（"顺手全量清一遍把别的 socket 门焊死"）与 N34 E14 都是 fix 出来的真事 | +| **NET 拆出来的四块** | `net_pending.c`(287)、`net_events.c`(263)、`net_listener.c`(191)、`net_select.c`(162) = 903 | 0.90/0.78/–/0.93 | **新建 `stub/ch395f.h`**（芯片寄存器只到函数边界）+ 假任务通知；`net_socket.h` 已有 | `docs/网络/网络自愈架构设计.md` §4.10（socket 读清点审计 + 新增一处读清的三条准入判据）、`docs/网络/Net层阻塞模型架构设计.md` | 挂起 recv、监听按代次重建、退避这些**语义在真机上极难复现**；这一族的 网络自愈（"顺手全量清一遍把别的 socket 门焊死"）与 N34 E14 都是 fix 出来的真事 | | **配置与工具（最便宜，建议第一个落地）** | `net_cfg.c`(167)、`task_prof.c`(160)、`ftp_cfg.c`(59)、`prot_set_store.c`(43) = 429 | 1.00/0.97/–/– | 真实头即可（`cfg_file.h` 已被现有单测证明能在 PC 上编），最多补 `dbg_log.h` | `docs/子系统设计/网络配置说明.md`（工厂默认 192.168.1.100/24、MAC 全零=芯片内置、保存立即生效）、`docs/算法/采集与算法层设计说明.md` | 硬件符号 0~2 处，纯解析/编解码/格式化。**一天内能出第一份绿**，用来把"新增 `files_tested`"这条路先跑通 | | **104 服务层** | `iec104_serv.c`(202) | 0.96 | 复用 `time_sync`/stub 的 `cmsis_os2.h` + 已有 `net_socket.h` | 与 `test/host/iec104/`（97 用例）同一套脚手架 | 同族的 `iec104_pts.c` 现在只有 **67.2%**（全仓最低之一）；服务层进来才能把 YK/YX 编排的分支照全 | @@ -379,7 +379,7 @@ uint16_t ch395f_link_change_count(void); **假芯片必须复刻的两条芯片怪癖**（不复刻就等于把被测代码的坑假件掉）： 1. `get_sock_int_status` 是**整体读即清**、芯片没有按位清除手段。假件要按"每次调用 返回该 socket 的挂起位图并**同时清空**"实现，并允许逐 socket 独立预置——否则 - 照不出 AGENTS「模块约定」里 B3 那条实证坑：*"顺手全量清一遍"等于把别的在用 + 照不出 AGENTS「模块约定」里 网络自愈 那条实证坑：*"顺手全量清一遍"等于把别的在用 Socket 的门焊死*。 2. 状态是**缓存值**而非现场值（`sock_state_cached`/`link_up_cached`）：假件要把 "缓存更新发生在哪一次调用之后"做成可脚本化，才能测出对账循环读到陈旧状态的路径。 diff --git a/docs/测试说明/板级测试/实机测试实施指南.md b/docs/测试说明/板级测试/实机测试实施指南.md index b26956c6..bc4e8802 100644 --- a/docs/测试说明/板级测试/实机测试实施指南.md +++ b/docs/测试说明/板级测试/实机测试实施指南.md @@ -271,7 +271,7 @@ $cli = if ($env:DTU_STLINK_CLI) { $env:DTU_STLINK_CLI } else { (Get-Command ST-L 挂起客户端窗口内**——与「探针窗口心跳缺口」同源（探针场景专属，非通用负载）。 - **结论**：49s 静默在当前固件 + V5 负载下**不复现**；可观测性缺口已由既有代码补齐。 日志静默观察项降级为**低风险**（保留登记，若再现则借 `[ERR] CONSOLE dropped` 计数定位）。 -- **后续（2026-10-25，道F 批 2 合并评估）**：窗内静默的同源阻塞机制 +- **后续（2026-10-25，道F 第二轮 合并评估）**：窗内静默的同源阻塞机制 （`drop_conn` 同步占用 netTask 400-600ms）已随「登记式拆链」修复 （`../../网络/网络自愈架构设计.md` §4.6）；日志静默观察项与日志单写者化的合并评估已完成，结论与「无源 vs 真停滞」判别口径落 `../../子系统设计/控制台单写者日志设计说明.md` 文末附录—— diff --git a/docs/测试说明/流程与规范/测试开发标准流程.md b/docs/测试说明/流程与规范/测试开发标准流程.md index 6bbf6fa0..cf229d22 100644 --- a/docs/测试说明/流程与规范/测试开发标准流程.md +++ b/docs/测试说明/流程与规范/测试开发标准流程.md @@ -329,9 +329,9 @@ static void phaseN_run(void) { | `App/log/sys_log_mcu.c` | — | ⬜ 候选 | 记录编解码（定长 64B） | 编解码纯逻辑；写入端依赖 FatFS + 队列，测编解码即可 | | `App/util/time_sync.c` | — | ⬜ 候选 | 协议帧编解码 | 报文组装/解析纯逻辑；网络收发不测 | | `Drivers/BSP/NETCFG/net_cfg_legacy.c` | — | ⛔ 已删除（2026-10-10） | — | 旧档 NCFG 迁移整体移除（旧档 `/cfg/netcfg.bin` 不读、不删、不迁移），测试候选随之撤销 | -| `App/protocol/iec104/*`（104 协议栈） | — | ✅ 已覆盖（82 断言，2026-10-12 B4） | 数据源 vtable + tick 注入 + 发送回调注入 | APCI 重组/总召分片/COV/k-w-t1~t3/两段式全离线穷举；`iec104-unit-test` 钩子 | +| `App/protocol/iec104/*`（104 协议栈） | — | ✅ 已覆盖（82 断言，2026-10-12 IEC 104 上行） | 数据源 vtable + tick 注入 + 发送回调注入 | APCI 重组/总召分片/COV/k-w-t1~t3/两段式全离线穷举；`iec104-unit-test` 钩子 | | `Drivers/BSP/GD5F2GQ5UE/nand_ftl.c`（dhara 移植层） | 573 行 | ✅ 已覆盖（149 断言，2026-10-15 起离线钉死 dhara 移植层两条硬约束） | 11 个 SPI 原语（`gd5f2gq5ue.h`）→ **RAM 假芯片** | 移植层是纯地址算术 + 边界判定，换掉芯片即可离线跑；钉死 is_free 整页扫描与六入口越界守卫，并内联旧算法做对照证明断言有牙 | -| `App/util/rs485.c` | — | ⏸ 待功能实现 | — | 上游 B2；当前为空桩 | +| `App/util/rs485.c` | — | ⏸ 待功能实现 | — | 上游 RS-485 采集链路；当前为空桩 | | `Drivers/BSP/TPAFE5160/*.c` | — | ❌ 不适格 | — | 寄存器序列为主，需真机时序 | | 其余驱动（CH395F/GD5F2GQ5UE 芯片层/SD2506） | — | ❌ 不适格 | — | 需硬件时序 / SPI / I2C 总线。⚠ **例外**：GD5F 之上的 `nand_ftl.c` 移植层**适格**（见上一行）——"驱动不适格"不等于"驱动之上的胶水层不适格" | | `App/util/crc.c` · `ringbuf.c` | 120/154 行 | ⛔ 已删除（2026-10-02） | — | 孤儿文件，零引用，已 `git rm` | diff --git a/docs/测试说明/测试工具/ST-LINK_CLI_复位使用说明.md b/docs/测试说明/测试工具/ST-LINK_CLI_复位使用说明.md index 9a8f3fd8..db1c8f05 100644 --- a/docs/测试说明/测试工具/ST-LINK_CLI_复位使用说明.md +++ b/docs/测试说明/测试工具/ST-LINK_CLI_复位使用说明.md @@ -182,7 +182,7 @@ Get-Content .dsh\skills\serial-assistant\scripts\state\serial.log -Tail 100 **B. 完整烧写 + 运行**：`stlink-flash` skill 的 `stlink_flash.py flash [xxx.hex]`（= `-c SWD -P -Rst -Run`；09/19 实测 1MB ≈ 6.5s，09/20 复测 6.47s + 全片 `-CmpFile` 逐字节一致）。**2026-10-10 起 CLI 路径即唯一烧录路径**——原 `download.bat` 的 `UV4 -f` 与 `reset.bat` 均已删除。 -**B2. 回读校验**：`stlink_flash.py cmp [xxx.hex]`（= `-c SWD -CmpFile 0x08000000`，2026-10-10 加；默认对最新构建 hex）。判定看输出行首的 `No difference found`（`This file is already downloaded` 是同义提示）。⚠ **连接即复位目标**：实测比对瞬间板子重打一遍开机日志 → 在自动化闭环里回读必须排在**日志采集之后**（`run_boot_test.py` 已按此顺序内置）。 +**RS-485 采集链路. 回读校验**：`stlink_flash.py cmp [xxx.hex]`（= `-c SWD -CmpFile 0x08000000`，2026-10-10 加；默认对最新构建 hex）。判定看输出行首的 `No difference found`（`This file is already downloaded` 是同义提示）。⚠ **连接即复位目标**：实测比对瞬间板子重打一遍开机日志 → 在自动化闭环里回读必须排在**日志采集之后**（`run_boot_test.py` 已按此顺序内置）。 **C. 救援**（板子起不来 / 疑似 Flash 问题）——本机 3 线接线的可行子集： diff --git a/docs/算法/继电保护功能复现规划.md b/docs/算法/继电保护功能复现规划.md index 8e635d68..c3a03d53 100644 --- a/docs/算法/继电保护功能复现规划.md +++ b/docs/算法/继电保护功能复现规划.md @@ -4,7 +4,7 @@ > **参考来源**：`D:\Code\DTU\参考资料\huaiyuan\huaiyuan\Scatter_P_HV03.01_SV01.01\项目分析文档\04-算法与采样专题\ADC采集至数据使用全流程详解`（同专题另有《项目详细分析-交流采样与有效值计算》《傅氏算法详解》《项目详细分析-阶段6-继电器保护单元分析》）。 > **阅读前提**：先读 `docs/算法/傅氏算法详解.md`（算法原理）与 `docs/硬件平台/ADC通道映射说明.md`（采样通道权威口径）。 > **相关文档**：`docs/产品需求/产品需求设计文档.md`、`docs/任务规划/README.md`、`docs/内存管理/RAM使用分析与优化方案.md`。 -> **状态**：**P0 采样与相量底座已台架闭环（2026-10-11）**——语义取数与有效性采集链路（B1，2026-10-10）、 采样有效性校验与 全周傅氏相量层（`sample_ring` + `phasor`，57 项主机单测 + 台架 `/serial-boot-test` 含 `phasor(first)/phasor(hb)` 标记闭环）均已落地；**P1/P2 保护元件与定值模型软件侧完成（2026-10-11，`prot_set` + `prot_elm`，57 项主机单测）**；**B5 板端接线完成（2026-10-12）**——`protectTask`（20 ms 判据节拍 + 「自检失败闭锁」采样故障闭锁 + 定值校验和巡检，IWDG `TASK_WD_PROTECT` bit8，栈 512 words 静态链 872 B / 余 57%），判据结果经 B4 IEC104 遥信（YX15~23/31）上送；**B7 定值持久化 + 全局软压板 + 竞态收口完成（2026-10-12，含台架腿验证）**；**出口记录（出口与记录）与标准源注入验收为下一步**（见 §7）。 +> **状态**：**P0 采样与相量底座已台架闭环（2026-10-11）**——语义取数与有效性采集链路（ADC 采集链路，2026-10-10）、 采样有效性校验与 全周傅氏相量层（`sample_ring` + `phasor`，57 项主机单测 + 台架 `/serial-boot-test` 含 `phasor(first)/phasor(hb)` 标记闭环）均已落地；**P1/P2 保护元件与定值模型软件侧完成（2026-10-11，`prot_set` + `prot_elm`，57 项主机单测）**；**保护任务板端接线完成（2026-10-12）**——`protectTask`（20 ms 判据节拍 + 「自检失败闭锁」采样故障闭锁 + 定值校验和巡检，IWDG `TASK_WD_PROTECT` bit8，栈 512 words 静态链 872 B / 余 57%），判据结果经 IEC 104 遥信（YX15~23/31）上送；**保护定值持久化 + 全局软压板 + 竞态收口完成（2026-10-12，含台架腿验证）**；**出口记录（出口与记录）与标准源注入验收为下一步**（见 §7）。 --- @@ -37,7 +37,7 @@ | 操作系统 | FreeRTOS V10.3.1（CMSIS-RTOS v2） | | 已实现子系统 | 网络（CH395F）、存储（GD5F2GQ5UE SPI NAND + dhara FTL + FatFs）、时间（SD2506 RTC + `sys_clock`）、配置（cfg_file）、日志、UI（远端显示）、看门狗（IWDG）、FTP | | 采样硬件 | TPAFE5160（16 位、8 通道**同步**、±5 V 双极性、并行 `GPIOG[15:0]`）+ STM32 内部 ADC1（12 位、9 通道**顺序**扫描、0~3.3 V 单极性） | -| 采样软件 | `Drivers/BSP/TPAFE5160/tpafe5160.h` 驱动就绪（原子快照 API）；`App/task/adc_task.c` **已实现真实消费者（B1，2026-10-10）**——`tpafe5160_snapshot()` 取数 + 帧统计；**采样节拍由 TIM3 更新事件（1 kHz）硬件触发**（2026-10-10；同一事件经 TRGO 触发 ADC1 + DMA）；STM32 侧 **`App/algo/adc_input.c` 已实现语义映射 + ADC1 DMA 乒乓帧消费（「STM32 ADC1 启动与扫描」，v2.0）**，`HAL_ADC_Start_DMA` 已出现 | +| 采样软件 | `Drivers/BSP/TPAFE5160/tpafe5160.h` 驱动就绪（原子快照 API）；`App/task/adc_task.c` **已实现真实消费者（ADC 采集链路，2026-10-10）**——`tpafe5160_snapshot()` 取数 + 帧统计；**采样节拍由 TIM3 更新事件（1 kHz）硬件触发**（2026-10-10；同一事件经 TRGO 触发 ADC1 + DMA）；STM32 侧 **`App/algo/adc_input.c` 已实现语义映射 + ADC1 DMA 乒乓帧消费（「STM32 ADC1 启动与扫描」，v2.0）**，`HAL_ADC_Start_DMA` 已出现 | | 保护算法层 | **全周傅氏相量层已实现并台架闭环**（`App/algo/sample_ring.c` + `phasor.c`：全周傅氏 5 实例、双区交换、每 1 ms 刷新，2026-10-11 `/serial-boot-test`）；**保护判据元件框架 + 过流/过负荷/过压/欠压/零序过压 + 定值模型软件侧完成**（`prot_elm.c` + `prot_set.c`，2026-10-11，57 项主机单测）；**出口 / SOE 记录仍缺失**（P4） | | 已知硬件缺陷 | 登记簿条目「双转换器无共同采样触发」：8 路电气量分属两片转换器 → V0.1 上禁止跨转换器做相位/功率/矢量运算 | @@ -56,7 +56,7 @@ - 方向元件 / 功率 / 功率因数 / 对称分量类运算——受「双转换器无共同采样触发」制约，V0.1 上取子板计量结果，或待 V0.2 硬件改版后实现。 - 三相完整过流、零序过流、依赖三相的 PT/CT 断线——需 V0.2 硬件（8 路电气量全上 TPAFE + 中点偏置）后启用。 -- 重合闸、馈线自动化（FA）等 FTU 专有功能——视产品定义（B0）。 +- 重合闸、馈线自动化（FA）等 FTU 专有功能——视产品定义）。 - 双核 / DSP 拆分、VxWorks 特有机制、IEC 61850、完整故障录波——与单核 FreeRTOS 平台不匹配。 - 参考系统 89 个模块的**全量**移植——按需裁剪，只复现本产品定义的元件集。 @@ -64,12 +64,12 @@ | 依赖 | 说明 | 状态 | | --- | --- | --- | -| **B0 产品定义** | 采集是否持续 / 采样率与通道 / 转发目标 / 保护元件清单——决定 B1 与保护层的**规模** | ✅ 已确认（2026-10-10，见 §1.5） | -| **B1 ADC 采集链路** | 周期 CONVST + `adc_task` 消费 `tpafe5160_snapshot()` + 建任务 + 栈预算 | ✅ 已实现并 `/serial-boot-test` 实机闭环（2026-10-10；`adcTask` 512 words，台架 1000 Hz） | +| **产品定义** | 采集是否持续 / 采样率与通道 / 转发目标 / 保护元件清单——决定 ADC 采集链路 与保护层的**规模** | ✅ 已确认（2026-10-10，见 §1.5） | +| **ADC 采集链路** | 周期 CONVST + `adc_task` 消费 `tpafe5160_snapshot()` + 建任务 + 栈预算 | ✅ 已实现并 `/serial-boot-test` 实机闭环（2026-10-10；`adcTask` 512 words，台架 1000 Hz） | | **双转换器无共同采样触发（硬件缺陷）** | V0.1 跨转换器无同一时刻性 → 限定 V0.1 可实现的保护范围 | ⚠️ 硬件改版项（V0.2） | -| **栈预算** | 保护任务栈需入 `Src/freertos.c` 并经 `scripts/stack_report.py` 核算 | ✅ 两任务均已核算：`adcTask`（**「采样有效性校验」后：栈抬至 640 words，静态 1080 B / 台架实测峰值 952/2560 / 余 57%**）；`protectTask`（B5，2026-10-12：**512 words，静态链 872 B / 余 1176 B / 57%**，台架水位待 `/serial-boot-test`） | +| **栈预算** | 保护任务栈需入 `Src/freertos.c` 并经 `scripts/stack_report.py` 核算 | ✅ 两任务均已核算：`adcTask`（**「采样有效性校验」后：栈抬至 640 words，静态 1080 B / 台架实测峰值 952/2560 / 余 57%**）；`protectTask`（保护任务，2026-10-12：**512 words，静态链 872 B / 余 1176 B / 57%**，台架水位待 `/serial-boot-test`） | -### 1.5 B0 产品定义（2026-10-10 确认） +### 1.5 产品定义（2026-10-10 确认） > **来源**：两份合并——①《检测平台配电终端送检要求（点表）》（省电科院送检要求，**验收口径**）；② 参考项目 `APP/EquipCfg/Const_CommPara.c`（**DTU410 / F30(Z)** 的 IEC 104 信息体地址点表，**实现细节**）。 > **口径**：点表定"上送什么、什么格式、什么地址"；`Const_CommPara.c` 定"怎么编号、哪些定值"。 @@ -87,7 +87,7 @@ | 遥信 | 双位置遥信上**双点**，其余**单点**；点号 `0+` | | 遥控 | **双点命令**，合闸选择 `82H`、执行 `02H`；点号 `6000H+` | | **RS-485** | **对下 ModBus RTU 采集**（下行采集口，非上行口） | -| 对时 | 点表要求 **SNTP `192.168.1.121:5105`**；本项目**保留自定义 TCP 8888**，SNTP 本期不实现（B0-b） | +| 对时 | 点表要求 **SNTP `192.168.1.121:5105`**；本项目**保留自定义 TCP 8888**，SNTP 本期不实现（产品定义中的对时方式） | | 固有参数 | `8001H~800AH`：终端类型/操作系统/制造商/硬件版本/软件版本/校验码/规约类型/型号/ID/MAC | | 运行参数 | `8020H~8058H`：死区（电流/交流电压/直流电压/功率/频率/功率因数）、PT/CT 变比、负荷越限/重载/过载报警、录波投退与定值、功率置负 | | 定值 | `8820H~8882H`：过流 I/II/III 段、零序过流 I/II 段、重合闸、低压/低频、励磁涌流闭锁、小电流接地等 | @@ -96,14 +96,14 @@ | 点号 | 点表语义 | 本项目来源（V0.1） | | --- | --- | --- | -| `4010` | UBA 后备电源电压 | ⚠️ 无对应硬件通道 → **本期不做**（B0-a） | +| `4010` | UBA 后备电源电压 | ⚠️ 无对应硬件通道 → **本期不做**（产品定义中的后备电源与直流遥测裁剪） | | `4011~4013` | `1Ua/Uab`、`1Ub/Uca`、`1Uc/Ubc` | `UA`/`UB`/`UC`（映射见 `docs/硬件平台/ADC通道映射说明.md`） | | `4014` | `1U0` 零序电压 | `UN`（外部专用零序电压通道） | | `4015~4017` | `1Ia`、`1Ib`、`1Ic` | `IA`/`IB`/`IC` | | `4018` | `1I0` 零序电流 | `IN`（外部专用零序电流通道） | | `4019~401c` | `1P`/`1Q`/`1S`/`1Pf` | 计算量（受「双转换器无共同采样触发」制约，V0.1 不可做） | | `401d` | `1f` 频率 | 软件测频 | -| `401e/f` | `V1`/`V2` 直流量（点表注"FTU 无"） | ⚠️ 无对应硬件通道 → **本期不做**（B0-a） | +| `401e/f` | `V1`/`V2` 直流量（点表注"FTU 无"） | ⚠️ 无对应硬件通道 → **本期不做**（产品定义中的后备电源与直流遥测裁剪） | **（3）遥信 / 遥控点号** @@ -122,17 +122,17 @@ | 104 读文件目录/文件 | ≤ 30000 ms | | 录波文件存储 | ≤ 15000 ms | -**（5）B0 残留项处置（2026-10-10 确认）** +**（5）产品定义 残留项处置（2026-10-10 确认）** | # | 事项 | 处置 | | --- | --- | --- | -| B0-a | `UBA` 后备电源电压、`V1/V2` 直流量三路遥测的硬件来源 | **本期不做**——V0.1 无对应硬件通道，不加子板/通道；点表此三项本期空缺 | -| B0-b | 对时 | **保留自定义 TCP 8888**；点表要求的 **SNTP 5105 本期不实现** | -| B0-c | 保护/控制范围 | **本期 = 骨架全做 + 有效通道子集闭环**（2026-10-10 用户确认），评估见 §1.6 | +| 产品定义中的后备电源与直流遥测裁剪 | `UBA` 后备电源电压、`V1/V2` 直流量三路遥测的硬件来源 | **本期不做**——V0.1 无对应硬件通道，不加子板/通道；点表此三项本期空缺 | +| 产品定义中的对时方式 | 对时 | **保留自定义 TCP 8888**；点表要求的 **SNTP 5105 本期不实现** | +| 产品定义中的本期保护范围 | 保护/控制范围 | **本期 = 骨架全做 + 有效通道子集闭环**（2026-10-10 用户确认），评估见 §1.6 | -> **B0 至此全部闭环**：上行 IEC 60870-5-104 / 持续采集 / 1000 Hz 已定（§1.5 表 1~4）；B0-a / B0-b 本期不做或维持现状；B0-c 的范围裁剪见 §1.6。 +> **产品定义 至此全部闭环**：上行 IEC 60870-5-104 / 持续采集 / 1000 Hz 已定（§1.5 表 1~4）；产品定义中的后备电源与直流遥测裁剪 / 产品定义中的对时方式 本期不做或维持现状；产品定义中的本期保护范围 的范围裁剪见 §1.6。 -### 1.6 B0-c 本期保护范围评估（2026-10-10 确认） +### 1.6 产品定义中的本期保护范围 本期保护范围评估（2026-10-10 确认） **（1）V0.1 硬件约束（两条叠加）** @@ -200,7 +200,7 @@ | 采样节拍 | 定时器中断（TIMx） | **1 ms** | 最高（ISR） | 产生 CONVST 脉冲；ISR 内只置事件/计数，不做重运算 | | 采集与预处理 | `adcTask` | 1 ms | 高 | `tpafe5160_snapshot()` 取数 → 标定 → 存入采样环 | | 相量计算 | `adcTask` 内联 或 `algoTask` | 1 ms | 高 | 全周傅氏 → 相量双区交换 | -| 保护判据 | `protectTask` | 1 ms | 高 | 各保护元件 Init/Main → 出口。**✅ B5 已落地（2026-10-12）：V0.1 实为 20 ms / Normal**——元件吃 50 Hz 基波 rms（phasor 每工频周更新），延时精度由 `prot_elm` 的 now_ms 差值法保证、与节拍无关；1 ms/高是参考系统瞬时值元件口径，随 P2 瞬时值元件再评 | +| 保护判据 | `protectTask` | 1 ms | 高 | 各保护元件 Init/Main → 出口。**✅ 保护任务已落地（2026-10-12）：V0.1 实为 20 ms / Normal**——元件吃 50 Hz 基波 rms（phasor 每工频周更新），延时精度由 `prot_elm` 的 now_ms 差值法保证、与节拍无关；1 ms/高是参考系统瞬时值元件口径，随 P2 瞬时值元件再评 | | 遥测与显示 | 复用 `uiTask` / 新增 `measTask` | 200 ms | 中 | 谐波方和根、死区/平滑、UI 与上送 | | 记录 | `defaultTask`（已有） | 事件驱动 | 低 | SOE/动作记录落 `sys_log` | @@ -239,7 +239,7 @@ | 功能名 | 关键参数 | 完成判据 | 状态 | | --- | --- | --- | --- | | 周期 CONVST 重触发 | 1000 Hz（与保护节拍同源） | 示波器见 U3 `BUSY` 连续脉冲；`tpafe5160_frame_seq()` 持续递增 | ✅ 2026-10-10：**TIM3 更新事件（1 kHz）硬件触发**（ISR 内 `tpafe5160_start_conv_irq()`；方案 A，零引脚/零驱动改动。⚠ 节拍源**不能**是 TIM6/TIM7——F4 上 ADC1 收不到它们的 TRGO，见 `docs/子系统设计/ADC采样节拍设计说明.md` §3.2）；台架 `/serial-boot-test` PASS——`seq` 每 10 s 精确 +10000 = 1000.0 Hz、`frst_err=0`（早期证据 `docs/测试说明/测试数据/boot_log_data/20261010_prod_adc_tim6_boot_log.txt`，节拍源当时为 TIM6） | -| TPAFE 快照消费 | 8 通道 / 帧 | `adc_task` 每拍调 `tpafe5160_snapshot()`，返回 1/0/-1 有处理 | ✅ B1 已实现并 `/serial-boot-test` 闭环（`adc_task.c`；台架 `idle=0`、`frst_err=0`） | +| TPAFE 快照消费 | 8 通道 / 帧 | `adc_task` 每拍调 `tpafe5160_snapshot()`，返回 1/0/-1 有处理 | ✅ ADC 采集链路 已实现并 `/serial-boot-test` 闭环（`adc_task.c`；台架 `idle=0`、`frst_err=0`） | | STM32 ADC1 启动与扫描 | 9 通道、144 cycles、**TIM3 TRGO 硬件触发 + DMA** | 全库出现 `HAL_ADC_Start_DMA`；9 通道码值随注入变化 | ✅ 2026-10-10（v2.0）：`App/algo/adc_input.c` 的 `stm32_take()`——ADC1 由 TIM3 更新事件经 TRGO 触发一轮 9 通道，`HAL_ADC_Start_DMA(&hadc1, buf, 18)` + DMA2_Stream4 循环模式把码值自动搬进**乒乓双缓冲**，任务侧只消费刚完成的半区（**零忙等**，实测单拍 `adcp` 122 µs → **8 µs**）；台架 `/serial-boot-test` PASS——`adc1_seq` 每拍 +1、`adc1_err=0`、`adc1_hw=0`。⚠ 「9 通道码值随注入变化」已由 2026-10-27 台架已知电压注入直接证实（六项判据全 PASS，实测记录 `docs/硬件平台/ADC通道映射说明.md` §8.1）；两点标定与端子/子板变比确认仍待做 | | 通道语义映射 | 见 `docs/硬件平台/ADC通道映射说明.md`（**按语义取数，不写死下标**） | `UA→buf[6]`、`UN→buf[5]`、`IA→buf[2]`；STM32 侧 `UB→ADC_CHANNEL_14` | ✅ 2026-10-10：`App/algo/adc_input.c` 的 `k_adc_map[]` 语义表（`UA/UN/IA`→TPAFE `buf[6]/[5]/[2]`，`UB/UC/IB/IC/IN/TEMP`→ADC1 `CH14/3/6/1/2/5`）+ `adc_input_raw()` 按语义取数；开机**映射自检**（`adc_input_init()` 校验 STM32 映射通道必落在扫描序列内 → 挡住"映射到不扫描的通道"静默错）通过（`ADC input layer init: OK`）。台架首帧日志 8 路 + 温度全部读出：`UA=11429 UN=11454 IA=11452`（与 TIM3 轮次一致）、`UB=1018 UC=1044 IB=943 IC=1069 IN=1052 T=850`（互异、非饱和；**两次开机读数不同** → 确为实时转换而非常量） | | 通道标定（一次系数 + 零漂） | 每通道 `k`、`b`；系数定点 `2^10` | 注入标准源，读数误差 ≤ 目标精度 | ⬜ | @@ -277,11 +277,11 @@ | 元件 | 判据要点 | 关键定值 | 状态 | | --- | --- | --- | --- | -| 三段式相间过流 | 相电流基波 > 定值，经延时出口；返回系数滞回 | Ⅰ/Ⅱ/Ⅲ 段电流 + 延时 | 🔶 2026-10-11 主机实现：`App/algo/prot_elm.c` 通用"滞回+定时限"核 + `prot_set.c` 定值（Ⅰ/Ⅱ/Ⅲ 段，A 相 `IA`），单测 27 用例含 1.01× 启动/100 ms 到点/滞回保持/返回释放；**板端接线已落地（B5，2026-10-12：protectTask 20 ms 节拍，动作经 104 YX16~18 上送）**；出口（出口与记录）待做 | +| 三段式相间过流 | 相电流基波 > 定值，经延时出口；返回系数滞回 | Ⅰ/Ⅱ/Ⅲ 段电流 + 延时 | 🔶 2026-10-11 主机实现：`App/algo/prot_elm.c` 通用"滞回+定时限"核 + `prot_set.c` 定值（Ⅰ/Ⅱ/Ⅲ 段，A 相 `IA`），单测 27 用例含 1.01× 启动/100 ms 到点/滞回保持/返回释放；**板端接线已落地（保护任务，2026-10-12：protectTask 20 ms 节拍，动作经 104 YX16~18 上送）**；出口（出口与记录）待做 | | 三段式零序过流 | 零序电流 > 定值，经延时出口 | Ⅰ/Ⅱ/Ⅲ 段零序电流 + 延时 | ⬜（双转换器无共同采样触发：`IN` 走 STM32，V0.2 使能；框架已就绪，加实例表一行即可） | -| 过负荷 | 相电流 > 定值，告警/跳闸可整定 | 过负荷电流 + 延时 | 🔶 同「三段式相间过流」（`OL-IA` 实例，默认告警不跳闸；板端接线随 B5 落地，YX23 上送） | +| 过负荷 | 相电流 > 定值，告警/跳闸可整定 | 过负荷电流 + 延时 | 🔶 同「三段式相间过流」（`OL-IA` 实例，默认告警不跳闸；板端接线随 保护任务 落地，YX23 上送） | | 过压 / 欠压 | 相/线电压越限，经延时出口 | 过压定值、失压定值 + 延时 | 🔶 同「三段式相间过流」（`OV-UA`/`UV-UA`，欠量方向单测覆盖；沿用参考告警段 0x8027/0x8029） | -| 过频 / 低频 | 频率越限，经延时出口 | 过频、低频定值 + 延时 | ✅ 软件侧完成（B8，2026-10-12）：`freq` 层测频（自适应窗，45~55 Hz 扫频最坏 **0.0101 Hz** / 1% 噪声 0.0160 Hz）+ `OF/UF` 实例（51.0/49.0 Hz、dly 1000 ms、返回系数 0.99/1.01，本地定值 8 项）；OF/UF 暂无独立遥信点，动作仅经 YX15 总聚合可见（独立分点 + 注入验收 = B10） | +| 过频 / 低频 | 频率越限，经延时出口 | 过频、低频定值 + 延时 | ✅ 软件侧完成（测频与遥测快照，2026-10-12）：`freq` 层测频（自适应窗，45~55 Hz 扫频最坏 **0.0101 Hz** / 1% 噪声 0.0160 Hz）+ `OF/UF` 实例（51.0/49.0 Hz、dly 1000 ms、返回系数 0.99/1.01，本地定值 8 项）；OF/UF 暂无独立遥信点，动作仅经 YX15 总聚合可见（独立分点 + 注入验收 = 第三方送检验收） | | 零序过压 | 零序电压 > 定值 | 零序过压定值 + 延时 | 🔶 同「三段式相间过流」（`3U0-UN` 实例，外部零序电压通道，不受双转换器无共同采样触发限制） | **扩展集（P2/P3）** @@ -300,7 +300,7 @@ | 元件 | 制约 | | --- | --- | | 方向元件 / 功率方向 | 需跨转换器相位一致 → V0.1 不可做 | -| 重合闸 | FTU 专有，视 B0 产品定义 | +| 重合闸 | FTU 专有，视产品定义 | | 手动跳闸 / 遥控 | 依赖出口硬件与协议定义 | > **V0.1 可行性**：上表按元件类型分组，但**V0.1 上能否闭环**取决于通道（见 **§1.6**）——核心集中 `IA`/`UA`/`UN` 可做（A 相过流、过负荷、过压/欠压、零序过压），**三段式零序过流与 B/C 相过流本期不可做**（`IN`/`IB`/`IC` 削顶）；扩展集「涌流制动」~「无压/无流闭锁」多依赖三相，本期**建接口不使能**。 @@ -312,18 +312,18 @@ | 跳闸出口（KO） | 判据满足 → 驱动出口继电器，带保持/脉冲 | ⬜ | | 告警出口 / 信号 | 告警类动作驱动信号灯/继电器 | ⬜ | | 出口自检 | 出口回路检测（若有回读） | ⬜ | -| SOE 记录 | 带时标的事件顺序记录 | ✅（B9，2026-10-12：`/log/soe.log` 64 B 定长记录 = 类型 + 元件号 + seq(u32) + CP56Time2a + epoch + 校验和；台架 FTP 下载解码 PASS，时标与 104 CP56 交叉一致） | -| 动作记录 | 保护动作/返回记录，落 `/log/soe.log` | ✅（B9，2026-10-12：六类边沿全覆盖——元件动作/复归、软压板投/退、采样数据块/恢复；protectTask 只投递（SPSC 环，post 禁 DBG），defaultTask `syslog_drain()` 落盘，动作路径无 NAND I/O） | +| SOE 记录 | 带时标的事件顺序记录 | ✅（SOE 记录，2026-10-12：`/log/soe.log` 64 B 定长记录 = 类型 + 元件号 + seq(u32) + CP56Time2a + epoch + 校验和；台架 FTP 下载解码 PASS，时标与 104 CP56 交叉一致） | +| 动作记录 | 保护动作/返回记录，落 `/log/soe.log` | ✅（SOE 记录，2026-10-12：六类边沿全覆盖——元件动作/复归、软压板投/退、采样数据块/恢复；protectTask 只投递（SPSC 环，post 禁 DBG），defaultTask `syslog_drain()` 落盘，动作路径无 NAND I/O） | | 故障录波（可选） | 4000 Hz 内部节拍预留 | ⬜ | ### 3.5 动作留痕自检与闭锁 | 功能名 | 说明 | 状态 | | --- | --- | --- | -| 定值校验和 | `tagPRS_XXX` 的 `dwTagSum` 自检，定值非法闭锁 | 🔶 2026-10-11：`prot_set.c` 已实现 sum32 正/反码封存 + selfcheck 失配置闭锁（参考 `dwTagSum/dwTagSumN` 模式）；**B7（2026-10-12）竞态收口**：104 定值写改 `prot_set_set_sealed`（影子区写+封存后单字交换）+ selfcheck seqlock 式复核（提交撞见 = 本轮跳过），B5 登记的 µs 级误锁窗口消除；定值持久化 `/prot_set.bin`（blob 带 sum32 正/反码对，整表原子装载）；元件级 tagPRS 常量表校验仍待补 | +| 定值校验和 | `tagPRS_XXX` 的 `dwTagSum` 自检，定值非法闭锁 | 🔶 2026-10-11：`prot_set.c` 已实现 sum32 正/反码封存 + selfcheck 失配置闭锁（参考 `dwTagSum/dwTagSumN` 模式）；**保护定值持久化（2026-10-12）竞态收口**：104 定值写改 `prot_set_set_sealed`（影子区写+封存后单字交换）+ selfcheck seqlock 式复核（提交撞见 = 本轮跳过），保护任务 登记的 µs 级误锁窗口消除；定值持久化 `/prot_set.bin`（blob 带 sum32 正/反码对，整表原子装载）；元件级 tagPRS 常量表校验仍待补 | | 采样通道自检 | 通道码值越界/静默检出 | 🔶 静默/丢帧/序号倒退/错误增量已由「采样有效性校验」 `adc_health` 检出（2026-10-11）；码值越界待做 | | 硬件自检 | 出口回路、电源、时钟 | ⬜ | -| 自检失败闭锁 | 任一项失败 → 闭锁相关保护并告警 | 🔶 定值闭锁 → 全元件复位已联动（`prot_elm_eval` 读 `prot_set_locked()`，单测覆盖）；**采样故障闭锁已落地（B5，2026-10-12）**：protectTask 每拍读 `adc_health_flags()` 电平位（TPAFE/STM32 stall + 序号倒退）→ 命中即 `prot_elm_init()` 复位 + 本拍不判据，自愈后自动恢复；锁存类事件位（FRSTDATA/HW_ERR）不构成"当前测量不可信"→ 不闭锁，如实登记 | +| 自检失败闭锁 | 任一项失败 → 闭锁相关保护并告警 | 🔶 定值闭锁 → 全元件复位已联动（`prot_elm_eval` 读 `prot_set_locked()`，单测覆盖）；**采样故障闭锁已落地（保护任务，2026-10-12）**：protectTask 每拍读 `adc_health_flags()` 电平位（TPAFE/STM32 stall + 序号倒退）→ 命中即 `prot_elm_init()` 复位 + 本拍不判据，自愈后自动恢复；锁存类事件位（FRSTDATA/HW_ERR）不构成"当前测量不可信"→ 不闭锁，如实登记 | --- @@ -360,7 +360,7 @@ | 相量区 RAM | `tVectorRly[2][N] × sizeof(相量)` | 双区 + **5 实例**（本项目；参考项目 4 实例） | | 采样缓冲 RAM | 40 点/通道 × 通道数 × 字宽 | 双缓冲 2 周波 | | 定值区 RAM | 元件数 × 定值项 × 字宽 | 可由 cfg_file 载入 | -| 任务栈 | `adcTask` ✅ / `protectTask` ✅（B5：512 words，静态链 872 B / 余 57%） | 建任务前后各跑 `scripts/stack_report.py` | +| 任务栈 | `adcTask` ✅ / `protectTask` ✅（保护任务：512 words，静态链 872 B / 余 57%） | 建任务前后各跑 `scripts/stack_report.py` | > ⚠️ **改内存相关代码后必须刷新快照**：`/keil-build` 出 `.map` 后跑 `scripts/check_mem_numbers.py --write`，同步 `docs/内存管理/RAM使用分析与优化方案.md` §2.1（`mem-numbers` 钩子会因体积变化 FAIL）。 @@ -374,7 +374,7 @@ ## 5. 定值参数模型 -定值分三类：**固有参数**（只读）、**运行参数**（可整定）、**保护定值**（可整定）；地址口径来自 B0（§1.5 表 1，源参考项目 `APP/EquipCfg/Const_CommPara.c`）。 +定值分三类：**固有参数**（只读）、**运行参数**（可整定）、**保护定值**（可整定）；地址口径来自 产品定义（§1.5 表 1，源参考项目 `APP/EquipCfg/Const_CommPara.c`）。 ### 5.1 定值分类与地址 @@ -470,11 +470,11 @@ | 阶段 | 名称 | 内容 | 前置 | 里程碑 | | --- | --- | --- | --- | --- | -| **P0** | 采样与相量底座 | B1（周期 CONVST + `adcTask` 消费 + 建任务 + 栈预算）+ 语义取数与有效性 + 全周傅氏相量 | B0 + B1 ✅ | 每 1 ms 产出正确的基波相量 —— **✅ 2026-10-11 台架闭环**（「采样有效性校验」同日落地 ✅；「通道标定（一次系数 + 零漂）」标定 / 「等周波采样（软件测频 + 调频闭环）」等周波为 P0 遗留项，精度复核依赖标准源） | -| **P1** | 基础保护元件 | **V0.1 有效子集**：过流（A 相，`IA`）、过负荷（A 相）+ 定值模型；B/C 相过流**建接口不使能** | P0 | 标准源注入 A 相可正确动作 —— 🔶 **软件侧 2026-10-11 完成**（`prot_set` 定值模型 30 用例 + `prot_elm` 元件框架/过流三段/过负荷 27 用例，主机全绿）；**板端接线已落地（B5，2026-10-12：protectTask + IWDG bit8 + 栈核算 + 104 YX 上送）**；标准源注入验收待做 | -| **P2** | 电压/频率类保护 | 过压/欠压（`UA`）、过频/低频、零序过压（`UN`） | P0 | 电压/频率越限正确动作 —— 🔶 过压/欠压/零序过压随 P1 同批主机完成（同框架实例）；过频/低频 ✅ **B8 已落地（2026-10-12）**：freq 层（自适应窗，扫频最坏 0.0101 Hz）+ OF/UF 实例；出口独立遥信点与注入验收归 B10 | +| **P0** | 采样与相量底座 | ADC 采集链路（周期 CONVST + `adcTask` 消费 + 建任务 + 栈预算）+ 语义取数与有效性 + 全周傅氏相量 | 产品定义 + ADC 采集链路 ✅ | 每 1 ms 产出正确的基波相量 —— **✅ 2026-10-11 台架闭环**（「采样有效性校验」同日落地 ✅；「通道标定（一次系数 + 零漂）」标定 / 「等周波采样（软件测频 + 调频闭环）」等周波为 P0 遗留项，精度复核依赖标准源） | +| **P1** | 基础保护元件 | **V0.1 有效子集**：过流（A 相，`IA`）、过负荷（A 相）+ 定值模型；B/C 相过流**建接口不使能** | P0 | 标准源注入 A 相可正确动作 —— 🔶 **软件侧 2026-10-11 完成**（`prot_set` 定值模型 30 用例 + `prot_elm` 元件框架/过流三段/过负荷 27 用例，主机全绿）；**板端接线已落地（保护任务，2026-10-12：protectTask + IWDG bit8 + 栈核算 + 104 YX 上送）**；标准源注入验收待做 | +| **P2** | 电压/频率类保护 | 过压/欠压（`UA`）、过频/低频、零序过压（`UN`） | P0 | 电压/频率越限正确动作 —— 🔶 过压/欠压/零序过压随 P1 同批主机完成（同框架实例）；过频/低频 ✅ **测频与遥测快照已落地（2026-10-12）**：freq 层（自适应窗，扫频最坏 0.0101 Hz）+ OF/UF 实例；出口独立遥信点与注入验收归 第三方送检验收 | | **P3** | 异常检测与闭锁 | 动作留痕自检闭锁、采样通道自检；三相类（涌流/PT·CT 断线/母线接地）**建接口不使能** | P1/P2 | 自检失败闭锁；未使能元件不误动 | -| **P4** | 出口、记录与定值集成 | 出口与记录、§5 定值模型落 cfg_file、UI 显示、上送 | P1 | 动作出口 + SOE 记录 + UI 显示闭环（**定值持久化 + 软压板 + 竞态收口 = B7 完成 2026-10-12，台架腿已验 ✅**；**SOE/动作记录 = B9 完成 2026-10-12 ✅**：protectTask 边沿→SPSC 环→defaultTask 落盘 `/log/soe.log`，protectTask 静态链 872 B 不变，自发 YX 上送 M_SP_TB_1 带时标；出口继电器「跳闸出口（KO）」~「出口自检」仍 ⬜——V0.1 无出口硬件，跳闸维持否定确认 R7 口径） | +| **P4** | 出口、记录与定值集成 | 出口与记录、§5 定值模型落 cfg_file、UI 显示、上送 | P1 | 动作出口 + SOE 记录 + UI 显示闭环（**定值持久化 + 软压板 + 竞态收口 = 保护定值持久化 完成 2026-10-12，台架腿已验 ✅**；**SOE/动作记录 = SOE 记录 完成 2026-10-12 ✅**：protectTask 边沿→SPSC 环→defaultTask 落盘 `/log/soe.log`，protectTask 静态链 872 B 不变，自发 YX 上送 M_SP_TB_1 带时标；出口继电器「跳闸出口（KO）」~「出口自检」仍 ⬜——V0.1 无出口硬件，跳闸维持否定确认 R7 口径） | | **P5** | 方向/功率类（延后） | 「方向元件 / 功率方向」方向元件等 | V0.2 硬件 / 子板计量 | 跨转换器相位一致后实现 | > ⚠️ **V0.1 硬件裁剪**（2026-10-10，详见 §1.6）：V0.1 上只有 TPAFE 三路（`UA`/`UN`/`IA`）测量有效。故 **P0 骨架全做**（与通道无关），**P1/P2 只做有效通道子集**——A 相过流、A 相过负荷、过压/欠压、零序过压、过频/低频；**三相过流（B/C 相）、零序过流、方向/功率类、PT/CT 断线**依赖 V0.2 硬件（修复「双转换器无共同采样触发」+ 中点偏置），本期**建接口不使能**。 diff --git a/docs/算法/采集与算法层设计说明.md b/docs/算法/采集与算法层设计说明.md index 4869d8d6..bc123613 100644 --- a/docs/算法/采集与算法层设计说明.md +++ b/docs/算法/采集与算法层设计说明.md @@ -42,7 +42,7 @@ 单测以 `#include` 原样纳入、离线全覆盖（落实 `docs/任务规划/暂缓-RS485.md`「采集链路测试可验证性约束」），不需要真机就能钉死判据。 - **上下文约束**：`*_init()` 一律无 RTOS 依赖、幂等，由 `app_main_init()` 在**内核启动前**调用； `adc_input_poll()` / `phasor_run()` / `freq_run()` **仅任务上下文**（快照走临界区）。 -- **消费者在 `App/task/`**：`adcTask` 采集并压环、`protectTask`（B5）跑 `prot_elm_run()`； +- **消费者在 `App/task/`**：`adcTask` 采集并压环、`protectTask`（保护任务）跑 `prot_elm_run()`； 新算法一律落在 `App/algo/`，**勿塞进 `App/task/`**（任务只做消费与编排）。 --- @@ -340,7 +340,7 @@ UA 无幅值落 IA → 0.0020 Hz。 | `prot_set_init()` | 装默认值 + 封存校验和；幂等 | 内核前可调 | | `prot_set_load_raw(vals)` | 整表装载，逐项范围校验 | **all-or-nothing**：任一项越界则**整表不装载**，`prot_set_bad_mask()` 指认越界项；影子区 + 单字交换 → 读侧永不见中间态 | | `prot_set_set(id, q10)` | 单项写入（范围校验，批处理路径） | **不自动重封存**——批量改完必须 `prot_set_seal()`，否则 selfcheck 判"非法改写" | -| `prot_set_set_sealed(id, q10)` | **原子写 + 封存**：影子区改好重封后单字交换 | 自检永不见中间态（收口 B5 发现的竞态窗口）；置脏标志 | +| `prot_set_set_sealed(id, q10)` | **原子写 + 封存**：影子区改好重封后单字交换 | 自检永不见中间态（收口 保护任务 发现的竞态窗口）；置脏标志 | | `prot_set_dirty_peek()` / `_take()` / `_mark()` | 脏标志三件套（落盘握手） | peek = 通知 iec104Task；take = 属主落盘前消费；mark = 写失败回置重试 | | `prot_set_store_serialize()` / `_parse()` | 持久化 blob：`PSET` + 版本 + 值区 + sum32 正 / 反码对 | parse **整表原子**：magic / 版本 / 长度 / 校验对 / 范围任一失败 = **一字不动** | | `prot_set_get_f()` / `get_ctl()` | 工程量浮点 / 投退读取 | 单字读原子 | @@ -354,13 +354,13 @@ UA 无幅值落 IA → 0.0020 Hz。 `0x8820`）；单测 TC-PROTSET-006 钉死"地址不重复、`min ≤ def ≤ max`、投退项 0..1"。 - ⚠ **默认值与范围是拟定值**（参考 EEPROM 出厂表不在本仓库），待对照修订——进度注见 `docs/算法/继电保护功能复现规划.md` §5.4。 -- **OF / UF 八项尾追加**（B8，32 → 40 项）：`PS_OF_EN / OF_HZ / OF_DLY / UF_EN / UF_HZ / UF_DLY +- **OF / UF 八项尾追加**（测频与遥测快照，32 → 40 项）：`PS_OF_EN / OF_HZ / OF_DLY / UF_EN / UF_HZ / UF_DLY / RET_OF / RET_UF`——**编号不回收，枚举序 = 数组序 = 校验和覆盖序**，故只许尾部追加。 这八项的逐项通讯地址不在本仓库（参考表只示"含低压 / 低频"类目）→ 全部按 **本地项 `comm_addr = 0`** 登记（104 C_SE 不可寻址），待对照补。 - **频率返回系数独立**：`RET_OF = 0.99` / `RET_UF = 1.01`（返回门槛 = 定值 × 系数）—— 频率滞回带与电气量的 0.95 / 1.05 不同量级，**勿共用一个返回系数**。 -- **换代语义**（B7 → B8）：项数变 → blob 144 → 176 B、`PROT_SET_BLOB_VER` 1 → 2。旧档（ver = 1 / +- **换代语义**（保护定值持久化 → 测频与遥测快照）：项数变 → blob 144 → 176 B、`PROT_SET_BLOB_VER` 1 → 2。旧档（ver = 1 / 32 项）在新固件 parse 时被**版本 / 长度闸**拒绝 → 回落出厂默认，`prot_set_store_load()` **返回 2 = 换代**（打 INFO，**不是** CORRUPT、不记自检），`-1` 才是真损坏。 升级路径**不得**报成损坏（判读细节见 §12.3）。 @@ -395,7 +395,7 @@ UA 无幅值落 IA → 0.0020 Hz。 - 频率类**无有效读数 → 按方向填"必不启动"值**（过量填 `0`、欠量填 `1e30` → 滞回比较恒假 → 元件复位），**不整拍跳过**——频率源缺失不得饿死电流 / 电压类元件。 - **V0.1 实例表**（受双转换器无共同采样触发约束）：`OC1 / OC2 / OC3 / OL`（IA）、`OV / UV`（UA）、`3U0` - （UN 外部通道）、`OF / UF`（`freq` 测频，B8）。**零序过流（IN 走 STM32）故意不在表中** + （UN 外部通道）、`OF / UF`（`freq` 测频，测频与遥测快照）。**零序过流（IN 走 STM32）故意不在表中** ——跨转换器不构成同刻矢量。 - **OF / UF 的出口可见性**：两元件**未单独映射 104 遥信点**（送检点表口径见 `docs/算法/继电保护功能复现规划.md` §7），动作目前**只经 YX15 保护总聚合可见** @@ -404,7 +404,7 @@ UA 无幅值落 IA → 0.0020 Hz。 - **板端接线**：`App/task/protect_task.c`（protectTask，20 ms）消费 `prot_elm_run()` + 自检失败闭锁 + 定值校验和巡检；判据结果经 104 遥信上送（`iec104_pts` YX15~23 / 31） → `docs/算法/继电保护功能复现规划.md` §7。实例数变化会同时改变启动锚点 `elm=` 数字与 - `prot_elm_active_mask()` 位宽（B8：7 → 9 实例），串口锚点表若含该数字须同步核对。 + `prot_elm_active_mask()` 位宽（测频与遥测快照：7 → 9 实例），串口锚点表若含该数字须同步核对。 --- ## 10. 关键约定与禁令 @@ -465,8 +465,8 @@ UA 无幅值落 IA → 0.0020 Hz。 | `sample_ring.c` `s_ring[9][40]`（`float`） | **1440 B** | 周波数 / 通道数一改就成倍变化 | | `phasor.c` `s_zone[2][5]`（`phasor_t`） | 160 B | 随实例数线性 | | `freq.c` 相位增量环 `fq_d[96]` + 状态 | **≈ 520 B** | 随 `FREQ_AVG_TAPS` 变化 | -| `prot_set.c` `s_val[2][40]` + 封存 / `uint64_t` 位图 / 闭锁 | 336 B | 项数 32 → 40（B8）后的量 | -| `prot_elm.c` `s_rt[9]`（16 B / 实例） | 144 B | 实例 7 → 9（B8）后的量 | +| `prot_set.c` `s_val[2][40]` + 封存 / `uint64_t` 位图 / 闭锁 | 336 B | 项数 32 → 40（测频与遥测快照）后的量 | +| `prot_elm.c` `s_rt[9]`（16 B / 实例） | 144 B | 实例 7 → 9（测频与遥测快照）后的量 | | `adc_input.c` `s_stm32_raw[16]` + `s_tpafe_raw[8]` | 48 B | — | | `adc_input.c` `s_stm32_dma[2×9]`（`uint16_t`） | 36 B | 必须在 `RW_IRAM1`（DMA2 不可达 CCM）→ `docs/子系统设计/ADC采样节拍设计说明.md` §4.3 | | `adc_health.c` 内部状态 | ≈ 40 B | — | diff --git a/docs/编号规范.md b/docs/编号规范.md index 377ef308..da582de3 100644 --- a/docs/编号规范.md +++ b/docs/编号规范.md @@ -17,7 +17,28 @@ --- -> **本文范围**：这里只留**现在还生效**的口径。编号治理的**过程记录**（八条设计原则、基线数字、批次流水、 +## 0. 2026-11-02 用户裁定：人读文档清退存量编号 + +> **新口径：人读文档里不再出现字母+数字编号，一律写语义短语。** 此前「停发但不清理存量」的做法 +> 从本节起作废——用户明确要求把编号删掉，因为它们同形多义、读者只能靠查表才能看懂。 +> +> 本批先清退两类： +> - 任务/批次类短号（如 `B0`～`B10`、`批 2`）； +> - 残留的分层叫法（如 `L0`/`L0.5`/`L1`/`L2`/`L3`/`L2.5`）。 +> +> 后续批次继续清退审计、报告、差距、阶段、复审等编号族；判据仍是「人读的文档写短语，机器读的键才留号」。 +> +> **例外（不要误删）**： +> - 脚本按字面量读取的机器键：`TC-*`（测试用例追溯）、`CODE-RULE-*`（代码规范门禁）、 +> `MENU-STATE-*`（UI 像素回归）、`TRAP-*`（陷阱台账）、`FR-*`（需求追溯）； +> - 硬件位号/网名/引脚名（`U5.B10`、`PB12`、`A4:94:B6:...` 等）、协议号（`IEC 104`、`RS-485`、`2404`）、 +> 版本号（`V0.1`/`V0.2`）、文件路径与原始日志； +> - 冻结的历史证据（`docs/测试说明/测试数据/`、历史串口日志）不回改，避免破坏取证。 +> +> 清理时**绝不全局查找替换**：同一裸形字面量可能同时是任务号、引脚名、MAC 地址或图节点 ID； +> 必须先判族、再限定 scope，每处断言命中数。 + + > 存量清点与逐号换算表）2026-10-28 已整体移入 `scripts/archive/id_gate/编号治理历史.md`，下文简称 > **`编号治理历史.md`**；它的节号沿用旧编号、故意不重排（外部文档与脚本引的是 `§4.1` / `§8.5` 这类号， > 重排等于制造一批假链接）。要查历史判据、批次流水、「数据可信」任务卡号换算表，去那篇； diff --git a/docs/网络/BSD_Socket_API_函数调用关系.md b/docs/网络/BSD_Socket_API_函数调用关系.md index 367c6e2d..f8c14093 100644 --- a/docs/网络/BSD_Socket_API_函数调用关系.md +++ b/docs/网络/BSD_Socket_API_函数调用关系.md @@ -395,7 +395,7 @@ sequenceDiagram | 8 | **close 前先结束挂起 recv + 排空残留 DISCONNECT** | TRAP-NET-12：锁存的陈旧 DISCONNECT 秒断下一连接 | | 9 | **两段式等待防丢失通知**：零等待拾取 + 阻塞；清除掩码全 1；以 pdTRUE 判定 | run3~11：丢失通知 → 挂死 / 结果错位；0 结果误判"无通知" → 永久挂死 | | 10 | **网络重建先取消并通知全部挂起，再复位芯片** | 取消不通知 = 调用方永久挂死 | -| 11 | **监听重建只有一个所有者**（`net_reconcile_tick` 形态③④；原 `net_listener_pump` 已删）；其它位置**只置事实**（置 CLOSED / 登记沉降），不做重建动作 | B10：多所有者导致"谁先看到 DISCONNECT 就谁重建"的竞争与重建风暴 | +| 11 | **监听重建只有一个所有者**（`net_reconcile_tick` 形态③④；原 `net_listener_pump` 已删）；其它位置**只置事实**（置 CLOSED / 登记沉降），不做重建动作 | 第三方送检验收：多所有者导致"谁先看到 DISCONNECT 就谁重建"的竞争与重建风暴 | --- diff --git a/docs/网络/网络自愈架构设计.md b/docs/网络/网络自愈架构设计.md index 4a379b91..d49af0df 100644 --- a/docs/网络/网络自愈架构设计.md +++ b/docs/网络/网络自愈架构设计.md @@ -99,7 +99,7 @@ fd 别名让这个边沿**必须有人接**，而"谁重建监听"在类型上 | 失效 | 机理 | 现状机制 | |---|---|---| -| 孤儿监听（B10） | 边沿没人接 → net 层等应用重建、应用等 net 层给 EOF、对账只裁 ESTABLISHED/LISTENING 直接跳过、芯片不会自己回 LISTEN → **四方互等** | 对账形态④ 认领孤儿（§4.1）+ 应用侧 `net_drop_conn`（§4.6） | +| 孤儿监听（第三方送检验收） | 边沿没人接 → net 层等应用重建、应用等 net 层给 EOF、对账只裁 ESTABLISHED/LISTENING 直接跳过、芯片不会自己回 LISTEN → **四方互等** | 对账形态④ 认领孤儿（§4.1）+ 应用侧 `net_drop_conn`（§4.6） | | 消费者卡死 | 抢先 relisten 把慢消费者的 EOF **永久**吞掉 → `g_client` 不清、新连接被旧会话静默吸收 | `session_dead` 粘滞**电平**消除（§3.3） | | 监听被误关 | `net_can_read` 在非 ESTABLISHED（**含 LISTENING**）返 1 → 消费者 recv 得 `WOULDBLOCK` → 判"真错误"后无护栏 `net_close` 等于**关掉监听 fd** | 应用侧 `g_client != g_listen` 护栏（`Drivers/BSP/UI/ui_net_sink.c`）+ 红线 8（§6） | @@ -190,12 +190,12 @@ WCH 官方博客 cnblogs sw111/18451802。 | # | 不变量 | 违反的后果 | |---|---|---| | I1 | **单一事实源**：芯片状态的权威副本 = 驱动每 Socket 缓存，唯一刷新点 = `net_poll` 每轮全量刷新；net 层 8 态 `net_sock_state_t` 只是"会话投影"（展示/门控），决策点读缓存或主动回读 | 有损镜像产生"镜像说 A、芯片是 B"的决策窗口（§7「有损镜像决策窗口」） | -| I2 | **单一重建所有者**：唯一周期性监听重建决策者 = `net_reconcile_tick` 形态③④；事件处理器与沉降登记**只置事实、不动作** | 多所有者竞争——"谁先看到 DISCONNECT 谁重建"→ 抢先 relisten 吞掉慢消费者的 EOF（B10） | +| I2 | **单一重建所有者**：唯一周期性监听重建决策者 = `net_reconcile_tick` 形态③④；事件处理器与沉降登记**只置事实、不动作** | 多所有者竞争——"谁先看到 DISCONNECT 谁重建"→ 抢先 relisten 吞掉慢消费者的 EOF（第三方送检验收） | | I3 | **事件只负责提前唤醒，正确性靠回读 + 有界超时** | 纯事件驱动 → 事件被读清消费竞态吞掉后监听静默死亡（TRAP-NET-17；E14 复核：事件非芯片侧丢失，是被消费） | | I4 | **监听常驻 = 软件承诺**（`auto_relisten`），不是芯片属性 | 出向连接被误判孤儿 / 监听永久失效 | | I5 | **复用前清理内联进事务**：`sock_reset` = 排空 RX → CLOSE → 排空事件（quiescent）→ 等 byte0=00H | 带非空 RX 关闭 → 拆链停滞、SYN 被吞、级联自持（E4 变体 C 0/20） | | I6 | **分层**：驱动持事实与机械；net 层持策略与所有权；应用层零自愈责任 | 应用层重试/手动自愈 = 又一层补丁（原引用号在 §7 无定义行，删号留事实） | -| I7 | **全局中断寄存器唯一读者 = `net_poll`**（§7「全局读即清搁浅事件」；测试/台架代码同样禁自行读取，等事件一律直读本 Socket SINT） | 吞掉其它 Socket 的 CONNECT/DISCONNECT/RECV_OK 边沿事件（B3 级事故） | +| I7 | **全局中断寄存器唯一读者 = `net_poll`**（§7「全局读即清搁浅事件」；测试/台架代码同样禁自行读取，等事件一律直读本 Socket SINT） | 吞掉其它 Socket 的 CONNECT/DISCONNECT/RECV_OK 边沿事件（网络自愈 级事故） | | I8 | **不留未证明的复杂度**（TRAP-NET-20 铁律） | 正面执行：U15 内化不立项（E6 命中=0）；TSL 变体只作待用补丁（E12） | **去抖 + 冷却**：失配连续 N 轮才动手（分级，见 §4.1）+ 动手后 1s 冷却。去抖与冷却本是 @@ -645,7 +645,7 @@ DISCONNECT 会被 `(void)` 丢掉。但 RECV_OK 是条件位（下轮补回） ## 6. 红线（明确不做的事） 1. **不改 EXTI/ISR**：全局事件寄存器整体读即清，ISR 读寄存器会把事件从 netTask 抢走 - ——正是 B3 事故形状。 + ——正是 网络自愈 事故形状。 2. **不启用多连接模式（FUN_PARA bit1）**：不支持多监听（A′ 出局）；监听常驻只能软件承诺。 3. **不删消费者驱动即时登记 ×3**（§4.2；删除 → CLOSED 窗口拉长 → `[WD] task stall`）。 4. **不改单连接复用模型**：硬 TCP 栈原生主流形态（ioLibrary 无 accept、FreeRTOS reuse @@ -741,7 +741,7 @@ DISCONNECT 会被 `(void)` 丢掉。但 RECV_OK 是条件位（下轮补回） | D3 | 周期对账**保留**，其副作用由不变量消除 | TRAP-NET-17 实证事件面不是可靠唯一信源（E14 复核：非芯片侧丢失，是读清消费）→ 周期对账不可删 | | D4 | `FUN_PARA` **保持 `0x08`**，不因孤儿态改配置 | bit3=1 是"保留排空现场"契约；bit3=0 会令芯片在 DISCONNECT/TIM_OUT 时**当场清缓冲** →「发完即 FIN」的尾部数据必被硬件擦除、**不可补救**。完整论证见 §4.9 | | D6 | 真机/模拟器**双模型分裂暂不消除** | 消除即等于做监听器一等对象化；先靠不变量把应用侧契约对齐 | -| D7 | 同族残留**不在监听生命周期根治范围**，各自单列：U1（CONNECTING 滞留）、U11、U12、U14、U15，以及审计项 B4~B9 | 与监听生命周期不同因，混做会让回归面失控 | +| D7 | 同族残留**不在监听生命周期根治范围**，各自单列：U1（CONNECTING 滞留）、U11、U12、U14、U15，以及审计项 IEC 104 上行~SOE 记录 | 与监听生命周期不同因，混做会让回归面失控 | > `D5` 是"分阶段实施顺序"的决策，实施完成后不再构成任何设计含义 → 已删除；**编号不回收** > （沿用 `docs/编号规范.md` §5.5 的游标不回退约定）。 diff --git a/docs/门禁说明/host-unit-tests.md b/docs/门禁说明/host-unit-tests.md index edd4a164..2b2dd9df 100644 --- a/docs/门禁说明/host-unit-tests.md +++ b/docs/门禁说明/host-unit-tests.md @@ -42,9 +42,9 @@ |---|---|---| | `sha256`（FTP 鉴权） | 13 例 | FIPS 180-4 标准向量（空串 / `abc` / 56 B 补位跨界 / 1 MB）+ `hex_eq` 非法输入。哈希算错是"正确口令被拒 / 错误口令放行"的静默语义错误，板端只见 `530`/`230` 看不出根因 | | `ftp-auth`（FTP 鉴权） | 36 例 | 连续 5 败锁定 / 60 s 解锁 / 成功清零 / tick 32 位回绕。板端每验一条要真等 60 s、回绕要跑满 49.7 天；纯函数（tick 由参数注入）就是为了让这些分支能毫秒级穷举 | -| `iec104`（B4） | 82 例 | CP56 往返 / APCI 半帧粘帧坏帧 / STARTDT-STOPDT / 总召分片 / COV 死区 / k=12 窗满 / w=8 触发 S / 三个超时定时器 / N(R) 倒退。板端复现要真主站 + 真等待（t1=15 s、窗满要发满 12 帧） | -| `freq`（B8） | 46 断言 | 扫频 45~55 Hz 误差 ≤0.02 Hz（实测 0.0101）/ 1% 噪声 ≤0.10 Hz / 启动收敛 ≤40 ms / 阶跃 ≤120 ms。板端无标准源照不出来；定长窗的负序泄漏纹波（0.317 Hz）只有合成扫频能暴露 | -| `soe`（B9） | 32 断言 | 64 B 定长记录编解码往返 / 截断与坏校验和拒绝 / IV 位 / seq 连续性 / 类型枚举。记录格式是**磁盘上的字节级契约**，错了要 FTP 下载再解码才看得见 | +| `iec104`（IEC 104 上行） | 82 例 | CP56 往返 / APCI 半帧粘帧坏帧 / STARTDT-STOPDT / 总召分片 / COV 死区 / k=12 窗满 / w=8 触发 S / 三个超时定时器 / N(R) 倒退。板端复现要真主站 + 真等待（t1=15 s、窗满要发满 12 帧） | +| `freq`（测频与遥测快照） | 46 断言 | 扫频 45~55 Hz 误差 ≤0.02 Hz（实测 0.0101）/ 1% 噪声 ≤0.10 Hz / 启动收敛 ≤40 ms / 阶跃 ≤120 ms。板端无标准源照不出来；定长窗的负序泄漏纹波（0.317 Hz）只有合成扫频能暴露 | +| `soe`（SOE 记录） | 32 断言 | 64 B 定长记录编解码往返 / 截断与坏校验和拒绝 / IV 位 / seq 连续性 / 类型枚举。记录格式是**磁盘上的字节级契约**，错了要 FTP 下载再解码才看得见 | | `nand-port`（dhara 移植层两条硬约束） | 149 断言 | 整页扫描的空闲判定（页首 64 B 全 0xFF 而第 1000 字节有数据等形态）+ **与旧算法对照**（旧实现只看页首，同一页答"空闲"）。这类缺陷真机极难复现，发作后只表现为"某次复位后丢数据" | - 运行器统一用 MSVC `cl.exe`（远端 CI 的 主机侧纯逻辑单测层）；公共骨架是 diff --git a/test/host/README.md b/test/host/README.md index e4cb388c..8a40cba5 100644 --- a/test/host/README.md +++ b/test/host/README.md @@ -31,7 +31,7 @@ | `pasv_probe.py` | PASV 数据通道时序探针 | | `ch395f_reuse_host.py` | Socket 复用/中止形态 PC 对端（bench 配套） | | `ftp_auth_bench.py` | FTP 鉴权/锁定台架腿 | -| `iec104_master.py` | **IEC 60870-5-104 主站客户端（B6/B7）**：连设备 :2404（工厂默认，`--port` 可指别的）跑 STARTDT → 总召（actcon/四组背景扫描/actterm）→ 经 C_SE 两段写临时压低 OC1 定值确定性触发 YX16 变位（COT=3）→ 恢复 → YK11 两段式 → C_RD 读回；**B7 持久化模式 `--b7-pre/--b7-post/--b7-mark/--b7-check`**（中间 ST-LINK 复位）：YK12 两段投退→保护退出/联动、定值与压板态跨复位保持（含非默认 7.5 往返）；纯标准库，输出纯 ASCII 可直接重定向归档为台架证据（判据 exit 0/1/2） | +| `iec104_master.py` | **IEC 60870-5-104 主站客户端（台架复测/保护定值持久化）**：连设备 :2404（工厂默认，`--port` 可指别的）跑 STARTDT → 总召（actcon/四组背景扫描/actterm）→ 经 C_SE 两段写临时压低 OC1 定值确定性触发 YX16 变位（COT=3）→ 恢复 → YK11 两段式 → C_RD 读回；**保护定值持久化模式 `--b7-pre/--b7-post/--b7-mark/--b7-check`**（中间 ST-LINK 复位）：YK12 两段投退→保护退出/联动、定值与压板态跨复位保持（含非默认 7.5 往返）；纯标准库，输出纯 ASCII 可直接重定向归档为台架证据（判据 exit 0/1/2） | ### 时间 / 时延 @@ -65,7 +65,7 @@ | `time_sync/run_unit_test.py` | **时间同步单测**：离线编译真实 `App/sync/time_sync.c`，80 断言点覆盖分片喂狗延时 / 监听退避 / 时间包重组（半包·粘连·EOF·真错·预算耗尽·tick 回绕）/ 任务主循环（**探针窗口心跳缺口的全部逻辑贡献者**） | | `time_sync/time_sync_test.c` | 测试单元本体（`#include` 生产源码 + 网络 / 事件 / RTOS 可脚本化桩 + `longjmp` 跳出 `for(;;)` 任务循环） | | `time_sync/stub/` | 桩头文件（`FreeRTOS.h` / `task.h` / `cmsis_os2.h` / `net_socket.h` / `sys_clock.h` / `sys_events.h` / `dbg_log.h`） | -| `iec104/run_unit_test.py` | **IEC 60870-5-104 协议栈单测（B4）**：离线编译真实 `App/protocol/iec104/` 三模块 + 数据源（prot_set/prot_elm/phasor/sample_ring），**82** 用例覆盖 CP56 往返 / APCI 半帧·粘帧·坏帧 / STARTDT 握手 / 总召分片+RBT / COV 死区 / k=12 窗满 / w=8 触发 S / t1·t2·t3 / N(R) 倒退判故障 / 遥控·定值两段式与 PN / C_CS / 未知类型·地址错误应答 | +| `iec104/run_unit_test.py` | **IEC 60870-5-104 协议栈单测（IEC 104 上行）**：离线编译真实 `App/protocol/iec104/` 三模块 + 数据源（prot_set/prot_elm/phasor/sample_ring），**82** 用例覆盖 CP56 往返 / APCI 半帧·粘帧·坏帧 / STARTDT 握手 / 总召分片+RBT / COV 死区 / k=12 窗满 / w=8 触发 S / t1·t2·t3 / N(R) 倒退判故障 / 遥控·定值两段式与 PN / C_CS / 未知类型·地址错误应答 | | `nand_port/run_unit_test.py` | **dhara NAND 移植层单测**：离线编译真实 `Drivers/BSP/GD5F2GQ5UE/nand_ftl.c` + 真实 `Lib/dhara/{journal,map}.c`，以 **RAM 假芯片**驱动，**149** 断言覆盖 is_free 整页扫描 / 六个 HAL 入口的越界守卫 / 故障注入 / dhara map"写入 → 重新 resume"场景 | | `nand_port/nand_port_test.c` | 测试单元本体（`#include` 生产源码 + RAM 假芯片；内联一份"只看页首 64 B"的**旧算法对照**，证明断言能咬人） | | `nand_port/stub/` | 桩头文件（`gd5f2gq5ue.h` 芯片几何与 SPI 原语声明 / `dbg_log.h` 日志宏计数） |