docs(console): 控制台单写者日志档改为现状设计,引用全仓校准
CI / 静态门禁 (pre-commit) (push) Failing after 24s
CI / 主机侧单测 (MSVC) (push) Failing after 44s

按前面几篇的同一标准改造 docs/子系统设计/控制台单写者日志设计.md:
494 行 -> 320 行,只描述系统现状。

结构(10 节):1 设计目标与约束 / 2 总体架构(2.1 单写者模型、
2.2 文件清单、2.3 拓扑、2.4 台架采集口、2.5 并发语义)/ 3 详细设计
(3.1 环形缓冲、3.2 生产者路径、3.3 写者路径、3.4 裸发、3.4.1 行级
单一所有者、3.5 fputc 重定向、3.6 时间参数)/ 4 API 参考 / 5 常量 /
6 失效模式与可观测性 / 7 内存预算 / 8 设计决策与否决的替代方案 /
9 当前限制 / 10 相关文档。

删除:版本号块、背景(F1/F2 故障表与 C1/C2/C3 根因表)、验证记录、
实施时间线(12 条日期)、ORE 僵尸通道历史叙述与更正块、开放问题
O1~O4、附录 A(一次性评估全过程)。

新增当前限制五条:控制台口 RX 使能不消费(ORE 永不自愈,缓解 =
250 ms 预算 + 300 ms 冷却 + DWT 硬上界;根治 .ioc 改只发不收已裁定
不做,按长期现状对待)、极早期崩溃完全静默、ISR 直发与写者竞争
best-effort、dbg_console_tx_timeout 未接入 STALL 行、printf 逐字节开销。

2.4 只留软件面事实(台架端口 COM3、115200 8N1 只发不读);引脚与
端子接法归还 docs/架构设计/硬件规格与能力边界.md 2 节。

顺带纠正事实错误:原 3.1 写作「拷贝与推进 head 在同一次
taskENTER_CRITICAL 内完成」,实为 PRIMASK 窗口(CON_CRIT_ENTER/EXIT,
刻意不用内核临界区以免幻影环,见 console_log.c con_ring_try 注释)。

引用校准 14 处:

- 代码注释:Src/freertos.c 4.4.1 -> 3.4.1;Src/stm32f4xx_it.c 12 -> 9、
  4.4.1 -> 3.4.1;App/task/protect_task.c 3.4 -> 2.5;
  App/log/console_log.c 12 -> 9(三处)。
- 文档:看门狗设计说明 12 -> 9、4.4.1 -> 3.4.1;链路延迟测试说明
  4 -> 8、3.4 -> 2.5;模拟器差距清单 4.1 -> 3.1;实机测试实施指南
  两处 12 -> 9;硬件规格与能力边界、产品需求设计文档(2 处)、
  参考产品复刻明细、屏板链路设计 的端子引用改指硬件规格档 2 节。
- 主机单测覆盖率口径第 9 条:生产者口径互斥疑点已收敛(入环判据与
  写入现处同一 PRIMASK 窗口,3.1 节已统一为多生产者/单写者)。

验证:keil-build 0 Error 0 Warning;pre-commit 48 钩子全 Passed;
check_doc_links --sections-strict 通过。
This commit is contained in:
2026-11-15 22:27:32 +08:00
parent 69431f4d2f
commit 0c76be0fe8
14 changed files with 113 additions and 291 deletions
+1 -1
View File
@@ -278,7 +278,7 @@ void vApplicationStackOverflowHook(xTaskHandle xTask, signed char *pcTaskName)
* ③ 归还所有权在这里没有下游读者:这一行发完就 NVIC_SystemReset()。
* 对照:**任务态**多段裸发(App/util/task_watchdog.c 的 STALL 行)仍然包 begin/end
* —— 那里既不空转(同任务后面还要接着发),也不在断言子树上。这条区分写进
* docs/子系统设计/控制台单写者日志设计.md §4.4.1,别让下一个人以为是我们漏了。 */
* docs/子系统设计/控制台单写者日志设计.md §3.4.1,别让下一个人以为是我们漏了。 */
dbg_console_write_raw(msg_head, (unsigned)(sizeof(msg_head) - 1u));
if ((pcTaskName != NULL) && (hook_ptr_ok(pcTaskName) != 0)) {
+2 -2
View File
@@ -27,7 +27,7 @@
* 原来这里直接调 HAL_UART_Transmit,于是崩溃路径成了绕过 console_log 行级独占的
* **第三个写者**,并且带两条本仓已实证的失效:① 超时判据是 HAL_GetTick()(TIM7 停摆
* 时永不成立,第 8a/8b 轮台架实证);② 僵尸通道(ORE 锁存)下 HAL 恒快速失败
* (docs/子系统设计/控制台单写者日志设计.md §12)—— 而 [ERR] 崩溃行正是台架
* (docs/子系统设计/控制台单写者日志设计.md §9)—— 而 [ERR] 崩溃行正是台架
* 「出现即不通过」的判据来源,快速失败 = 关键证据整条蒸发。 */
#include "console_log.h"
/* USER CODE END Includes */
@@ -142,7 +142,7 @@ static void hard_fault_puthex(uint32_t v)
* margin 顶到 1,016 < 1,024 ISR 底线)。真正救这条崩溃行的是另外两件事:**发送口归一**
* (hard_fault_write 改走 dbg_console_write_raw,三条理由见其函数头)与**去掉
* HAL_Delay**(少一条 tick 依赖)。整行性的真实依据与残余见
* docs/子系统设计/控制台单写者日志设计.md §4.4.1:
* docs/子系统设计/控制台单写者日志设计.md §3.4.1:
* 故障上下文 IPSR != 0,begin() 是**放行**(返回 1 但**不持有**凭证——异常上下文
* 绝不允许等待或失败),所以这里的原子性**不是**靠凭证,而是靠"Fault 优先级 -1、
* 外设中断 ≥5、任务全冻结 ⇒ 没有第二个写者能跑进来"。唯一残留:被抢占任务**已经