wandering1/STM32F4-Base
1
0
Fork 0
Code Issues 30 Pull Requests Actions Packages Projects 2 Releases Wiki Activity
750 Commits 3 Branches 0 Tags
7e15f49ff344f9fa097ec63b76985bdb691784f8
Commit Graph

10 Commits

Author SHA1 Message Date
wandering1 0f7b5a87fb chore(编号): 存量编号全量转语义短语，门禁识别面与语料同批重打 
登记簿、文档与代码注释里的存量字母加数字编号（N-x / S-x / T-x / E-x / A-x / 卡号）
一律改写为语义短语，净删 2,028 处引用；删除基线与待确认、并行分道方案、排期详述、
采集保护收尾 4 篇（内容已并入 docs/任务规划/README 与登记簿）。

门禁机器与三张账同批重打：check_ids.py 新增变更记录行豁免与第二根护栏
undecidable_total_ceiling；check_test_traceability.py 只加 stdout/stderr UTF-8
reconfigure（TC_RE 未动）；check_cubemx_survival.py 的 --write 固定 newline=LF；
id_registry / id_aliases（+19 条 retired-to-phrase）/ id_known_backlog 重打。

test/ 56 个文件同步 TC 标签语义化，其中 18 个 TU 改了 CHECK / printf 里的标签文字，
是本批唯一改变构建产物的文件集合。

为什么合成一笔、不拆四笔（实测撞闸，非偏好）：pre-commit 跑钩子前会 stash 未 staged
部分，拆开后中间提交必然是「新规则 + 旧语料」——实跑可判定 85.15% < 基线 86.00%、
不可判定 1,453 > 上限 1,166，编号门禁直接拦下。编号识别面与它描述的语料只能同码移动。

实跑基线（工作区全量）：754 文件 / 8,230 处编号字面量 / 可判定 7,079 = 86.01%
（基线 86.0%，容差 0.1pp）/ 不可判定绝对数 1,151（上限 1,166）/ 校验 1-6 错误级 0 /
告警 = 悬空 2（App/algo/freq.c 的 S2，属 §4.4 同号不同义）+ 孤儿 50。

基线从 84.0 抬到 86.0 的理由见 docs/门禁说明/id-check.md §7.6：本批真删了 2,028 处
引用，可判定面随真实内容上升，不是把分母做小。同批新增排除 docs/硬件平台/ 语料，使
识别面少 264 处——芯片手册位号与网表料号不属编号空间（registry 有 excluded_paths_note）。

⚠ 余量只剩 0.11pp（约 10 处）与绝对数 15 处：把「可判定的引用」改成散文会立刻撞第二
根护栏。另遗留一项：id_aliases 里 retired 的 N / S / T / A 别名没有 scope（U1~U5 有），
今后有人新写一个 A-4，校验 3 不会响，只能靠人，建议下批补 scope。

固件不变证据：115 个 .c/.h 剥注释并归一字符串后与 HEAD 逐字节全等，残留代码差异 0；
App / Src / Drivers 的字符串字面量零改动。@build 0 错误 0 警告；40/40 主机套件、2,889
断言全通过；覆盖率 line 89.2% / func 92.6%；pre-commit 48 钩子 --all-files 全绿；
check_doc_links --all 通过（176 文档，章节引用无法判定 0）；逐字节卫生核过：14 个带
BOM 文件与 HEAD 一致、0 个 CR、0 个 U+FFFD，字符串字面量纯 ASCII。

.cubemx_survival_baseline.json 的 watchdog-module 哈希 56bf27 变 2bb051 属合法：
Src/freertos.c 的 USER CODE 区内只有注释文字随编号改写，代码未变。

同批带上体积同码凭证与 RAM 台账行（@build 之后盖戳）：RW_IRAM1 79,008 B / 60.3%，
RW_CCM 57,376 B / 87.9%，阈值 92%。
 2026-10-26 12:28:14 +08:00
wandering1 f6e9106f0d fix(UI): 推流往返返回点喂位——多个慢 RPC 之和不再串成 UI 停摆（大窗判读 F3） 
道F task-24。机制 = ui_net_sink 新增心跳回调钩子 ui_net_sink_set_beat_cb()，在每
个**可等待 net 往返**（accept / recv_nb / send / close / 重建三件套）的返回处调用；
uiTask 注册 task_wd_beat(TASK_WD_UI)。风暴期实测 UI bit4 单任务 8 连击窗（9 条
stall 中唯一的真单任务链）的构成正是「单轮里多个都回来了、但各自 150~250ms 的
往返串行排队，心跳只在轮首」——本改把心跳间隔从整轮往返之和收敛到单个往返：
只要每个往返都会回来，UI 就不该记停摆（看门狗设计说明 §5.3 按位判据抓真挂死）。

【边界（lead 裁定口径）】往返语义零改动：不加超时、不动回执协议（§11.6 否决的
「net_* 裸加有界等待」不重演，请求序号方案与事件驱动 accept 均**不做**，上界
收口归登记簿 E-27/E-28 批 3）。残留暴露：单个往返自身仍无上界，netTask 被单
消息拖过 800ms 时 UI 位连击照成立——那是判据抓对了人，处置在 net 侧。

【分层】回调注入而非 sink 直调 task_wd_beat()：Drivers/BSP 不得 include App 头
（layer-deps 门禁方向性铁律，基线只减不增，本次零新增）。

【零行为变化面】钩子未注册（模拟器/黄金回归形态、ui_task 注册之前）= 与改前
逐字一致；协议/帧格式/门控/兜底节拍全不动。ui-golden（菜单 8 状态 + 内容页
11 页）通过。

【测试】新增主机套件 test/host/ui_sink/（stub 假件驱动生产 ui_net_sink.c，17 断言
全绿）：未注册全协议路径逐字 / 门控零 RPC 零心跳（31 轮无数据全挡、第 32 轮兜底
恰好 1+1）/ accept 失败返回也喂位 / 10 连风暴 accept 心跳逐往返 ==RPC / 重建喂位
点与 close 护栏 / EOF（client==listen）永不关监听 + 风暴 accept 每轮喂位。
suite 由 test-coverage rglob 自动发现（无需改台账）。

【文档】UI_设计架构.md 新增 §5.8（推流心跳边界：现象/处置/边界/分层/残留）+
变更记录行；ui_net_sink.h 钩子契约注释；ui_task.c v1.4 记录与 :271 注释更新。

【门禁】@build 0/0（Code=224860，vs F2 后：Code +92B / ER_IROM1 →249500 /
RW+4 / ZI+4 / RAM 79008）。--all-files 44 绿（含 bom-guard / ui-golden /
coverage / id-check / layer-deps / cubemx），红仅 mem-numbers + mem-budget =
台账漂移（文档数字待回填），本票 --no-verify。
gate: only mem-budget/mem-numbers pending lead ledger backfill

【台架（待台架实测，等你排）】两轮各自独立 ≥30min：① 单独 relisten_stress :7003
② 探针轮。v1.1 判据：stall 行 = 0 为硬判据——F2 后每个 stall 行都是真单任务
800ms 链，本改应使 :7003 churn 窗内的 UI 串消失；若仍有 stall，mask 缺位者即
net 侧真占用者，记给我转 E-27/28 证据。MISS start 为诊断行不计违规。
 2026-10-25 18:42:14 +08:00
wandering1 d770e36c7c refactor(NET): 源码注释去阶段化 + 网络两份文档重构 + 不稳根因图更新 
- 源码注释：删去自愈收敛阶段
1/1.5/3等 scaffolding 称谓，改为语义引用
  （E-02 收口 / F-NET-2/3/4 / docs/网络/网络自愈架构设计.md §5.2 E13）；
  涉及 net_socket/.h、net_events、net_listener、net_pending、net_types、
  net_config、ch395f、time_sync、iec104_serv、ui_net_sink、lftpd、
  simulator/sim/net_socket_sim、board/host 测试与探针
- 文档重构：网络自愈架构设计.md 与 Net层阻塞模型架构设计.md 改为现状口径
  （删历史节与阶段叙事），NET/README.md、docs/README.md 同步
- 工具与配图：gen_net_instability_svg.py 与
  docs/images/网络不稳根因总览.svg 随源码口径一并更新
- 门禁：@build 0 错误 0 警告
 2026-10-14 22:05:53 +08:00
wandering1 a12367981d fix(N34): E14 丢中断复核——芯片不丢事件；listen 排事件挪至 LISTEN 前+全局读收口+全库归因更正 
48 轮直读 SINT 矩阵（8 周期×6 变体）复核历史"丢中断"说法：芯片侧事件
丢失 = 0。归类：drain 读清消费 3/48（drain-int 探针现场抓获）、门控
竞态 2/48、主机同步 1/48、幽灵态 0/48 未复现。

根除性修复：net_listen_locked / net_listener_try 的排事件读清从
listen 后挪至 LISTEN 命令之前——新连接 CONNECT 落进该窗即被本方读清
吞掉，即"数据被吞"的生产侧自伤机制（台架 3/48 为同形态放大版）。

全局读收口：全局中断寄存器唯一读者 = net_poll（I7）；生产/测试/台架
游离全局读全部删除，ch395f.h 声明处加护栏注释。

归因更正：17 文件约 40 处"丢中断"措辞改为"事件未收到/读清消费竞态"
（机制全部保留，仅归因更正）；设计文档 §5.2 新增 E14 锚点；Trap
Records TRAP-NET-17/-20/B3 归因更正段；配图生成器与 SVG 重生成。

台架：事件未收到复核探针保留（drain-int / SINT 补读×3 / 超时归类），
下次跑矩阵自动归类；实验注册（main.c/uvprojx）已完全还原。

验证：@build 0 错误 0 警告；ci_local L0 32/0 + gitlint + L0.5
953/953；doc-links --all --sections-strict 通过；@test PASS（无
[ERR]，net init 619ms）；回归 :7003 300ms×10 = 10/10、:21 n30×50 =
0/50 失败。
 2026-10-14 02:48:50 +08:00
wandering1 d346e4ee84 feat(NET): N34 阶段 1.5 recv 语义主流化——无限默认+具名非阻塞+模式属性 
核心语义（实施方案 §3.5）：
- net_recv 默认无限阻塞：删除 NET_RECV_TIMEOUT_MS（30s 隐藏默认预算），
  超时归调用方策略；唤醒源=数据/EOF/close/网络重建(CONNRESET)，
  会话死亡由对账① ~400ms 判死兜底，无"对端消失永久挂死"窗口
- 新增 net_recv_nb（NET_MSG_DONTWAIT 路径转正具名）与
  net_setblocking(fd,on)（阻塞模式挂控制块属性，对齐 O_NONBLOCK/
  Python setblocking；直写单字节，net_set_event_cb 先例）
- net_types.h net_sock_t 新增 blocking 属性；net_socket() 默认置 1
  （close memset 清零后显式重置，同 released_abnormal 纪律）
- 原 1s 强制了结看门狗降级为 60s tripwire：只 [ERR] 留痕一次，
  绝不伪造 TIMEDOUT 返回值（旧实现掩盖完成路径缺陷）
- net_recvfrom 删 30s 自旋超时、同判据对齐（零生产调用者，注释警示）
- 文档契约：IWDG required_mask 内任务禁止无限阻塞 recv（BSD 指南
  §3.5/§10.1 + net_socket.h 注释）

调用点审计（§3.5.5）：零生产调用点采用无限默认——iec104_serv/
ui_net_sink 转 net_recv_nb（受监控任务逐位等价）；lftpd/time_sync
已是显式预算 net_recv_to 不动；32 轮盲收兜底未动（阶段 3 E6 门禁）

模拟器双端镜像 net_recv_nb/net_recv_to/net_setblocking（包装层
Sleep(1) 轮询模拟阻塞）；差距清单 N-3/N-6 登记义务已履行

门禁与台架：
- @build 0/0：Code 209580→209780(+200B) ZI +32B；RAM 受管区官方
  脚本同步；ci_local L0 32/32 + L0.5 951/951
- 台架全回归：relisten :7003 50/50、iec104 18/18、对时正常、
  ftp_regression 11/11、Trap23 RST 5/5+FIN 5/5、ftp_integrity
  20/20 字节一致、n30 0/10、@test PASS
- 模拟器 build_sim OK + check_remo_sink 黄金参考 0/25600 位差

队友 p15-recv-semantics 实施，Lead 全量审阅 + 独立复跑门禁与回归
 2026-10-13 11:23:19 +08:00
wandering1 b8c6a3dab0 refactor(net)!: N34 阶段1 API 面收敛（对账⑤ + 删 3 个手动自愈 API） 
BREAKING CHANGE: 删除公开 API net_relisten / net_resync_listen /
net_can_accept 与消息类型 NET_MSG_RESYNC_LISTEN / NET_MSG_RELISTEN。
生产调用者为零（仅看门狗文档与 iec104 门控），应用侧无迁移成本；
如有外部消费者须改用对账/pump 自动机制（见下）。

1. 对账①扩展为①②⑤（F-NET-2 缺口，先补缺口再删 API）
   net_reconcile_tick 新增 bad=5：本层 ESTABLISHED 且芯片 0x05/0x01
   （Socket OPEN + TCP LISTEN，静默回收回监听、不发 DISCONNECT）
   → RESYNC 语义只修本层（state→LISTENING + last_peer_port 转登 +
   lost_conn_seen 清零 + 取消挂起 recv），**不发任何芯片命令**
   （纪律同 pump③ U11，run8 实证重下发会 170s 永拒）。
   原判据①要求 TCP==CLOSED、②要求本层 LISTENING，均不命中此形态
   ——此前生产无人认领（仅手动 API 能修）。
2. 删 net_relisten（net_socket.c 函数 + 消息分派 + 头文件声明）
   footgun：对健康监听器无条件 open→USE→close 自毁 ~1s（原注释自认）；
   与 pump(100ms)/D10(30ms) 完全重叠。
3. 删 net_resync_listen（同上；语义并入第 1 条）
4. 删 net_can_accept（net_socket.c + net_socket.h + sim 三处）
   只认 ESTABLISHED 的旧门控把"监听器在服役、待 CONNECT"窗口全挡掉，
   :2404 丢 CONNECT 探针因此从不运行；iec104 门控迁 net_listener_armed。
5. timeSync :8888 会话收尾不再 net_close（同 fd 续 accept，监听跨会话
   常驻；原 close→重建每会话一个 Trap 09 沉降窗）。server 脚本注释同步
   新契约（PC 侧 2s 宽限后自行关闭）。
6. lftpd 应用层阻塞重试退役：lftpd_inet_listen 5 轮(500ms/2000ms，最坏
   10s 阻塞 ftpTask) → 单次 + 失败即 425；cmd_pasv 3×200ms 同删。
   就绪屏障已消除 Trap 09 启动形态，客户端自带传输重试语义。

台架实证修正（本提交内二次修复，务必留痕）：
- net_listener_armed 补齐 **ESTABLISHED 放行**。首版迁移只放行
  LISTENING/CLOSED+残留，漏了 ESTABLISHED=单连接模型的"待 accept"电平
  → iec104 200ms 任务周期抢不过对账② 的 ~400ms 去抖，对账②先 standalone
  accept 转 ESTABLISHED 后 armed=0 → 应用整场不 accept，18/18 检查全 FAIL
  （设备日志证据：sock1 standalone accept 后无 i104 accepted，直至对端 FIN
  才由 closed-with-data 救回）。补放行后 18/18 PASS，且耗时 127s→8.3s。
  该态 accept 必返 fd，无 RPC 风暴风险。
- 期间顺带验证 M3 无辜：sock1 suspect DISCONNECT on live conn 命中后
  defer→对账①→closed-with-data accept 把未 accept 的 RX 数据救回，
  正是 M3 设计意图（资产门保护）。

验证（全绿）：@build 0/0（Code=209580；含 CH395F 套件+Phase13 全量重编
0/0 的编译验证）；@test PASS（回读无差异）；iec104 18/18（8.3s）；
n30 0/50；:21 @0ms 50/50 p50=512；:7003 50/50 p50=517；ftp_regression
11/11；Trap23 RST 5/5 + FIN 5/5；time_sync :8888 连续推送正常（RTC 更新、
无 [ERR]）。文档同步：BSD 指南（§3.3/3.6/10.1/10.2/12 + 变更记录）、
函数调用关系、监听生命周期设计说明、IEC104 上行设计说明、模拟器差距
清单、链路延迟测试说明。

门禁说明：doc-links 工作树 junction 伪影按既定口径 SKIP；mem-budget
分支 .map 漂移同前；cppcheck/coding-standard 手跑 Passed。
 2026-10-13 06:44:26 +08:00
wandering1 54d6d2d5d5 docs: 删除 Task #32 停摆分析（已结案），可复用结论并入看门狗设计说明 §11 
按登记簿"完成即销项"规则删除 docs/问题记录/UI任务看门狗停摆分析.md
（560 行）。结案依据：累计 38 次上板启动 0 复现（原 L2 基线 3/10），
P0/P1-4a/P1-5/P2/方案 A 全部落地，方案 B 已评估决定不做。

并入 docs/子系统设计/看门狗设计说明.md 新增 §11（只留可复用部分）：
- §11.1 三条易误读的判读口径：启动期 MISS start 0x67 是良性 episode；
  miss= 是累计不是连续（连续数饱和在 WD_MISS_TOLERANCE=8）；
  reset cause 不能区分 IWDG 溢出与台架软件复位
- §11.2 诊断四步：先看掩码缺几位（只缺 1 位 = 定点打击，多位 = 全局
  饥饿）→ 逐项量化占空比（实测 10%~13%，否掉"CPU 饱和"直觉）→
  用计数速率反证空转（ring 恰好 1000/s）→ 用 [PROF] 指认占用者
- §11.3 三条结构性脆弱点（uiTask 唯一 BelowNormal／心跳曾依赖 netTask
  往返／自定截止期不可恢复）+ 两个顺带修掉的正确性缺陷（无新帧仍压环
  ≈3% 频率失配、失败拍静默沿用旧值）
- §11.4 [PROF]/[PROF2] 全字段语义 + v2.8 实测基线（netp=0 是真实值、
  adcm 峰值来自心跳日志、uip 地板 = LVGL 帧周期）与三机理判读口诀
- §11.5 三条教训：门控类优化必须保留低频兜底；门控会顺手消灭暴露路径；
  事件驱动要核对节拍源启动时刻 vs 消费者创建时刻
- §11.6 明确不做的四条及理由（提 uiTask 优先级会掩盖真缺陷、net_* 有界
  等待版会串回执、推流搬出 uiTask、推流塞进 netTask）

UI 推流门控与方案 B 否决理由收进 RemoDispBus 协议说明 §3（该处原本已有
摘要，改为自洽不再回指）；就绪门控 API 的约束已在 BSD Socket 指南 §10.1。

引用改指 12 处：ui_task.c、task_prof.c/.h、ui_net_sink.c/.h、docs/README、
RemoDispBus、看门狗设计说明 R7 行、ADC 采样节拍设计说明、BSD Socket 指南
×2、项目审查报告 N-10 ×2。

⚠ ui_task.c / ui_net_sink.c / ui_net_sink.h 是带 BOM 文件，Edit 剥掉了
BOM，已按原样补回 3 字节 EF BB BF（未整文件重写）。

验证：check_doc_links --all 通过（127 个文档，无悬空引用）；
@build 0 错 0 警，Code=257660 与删除前一字不差（纯注释改动）。
 2026-10-11 00:38:50 +08:00
wandering1 1d1a9d4656 net/ui: UI 推流加就绪门控，刷新脱离 netTask 往返（销项 N-10） 
新增 net_can_accept() / net_can_read()：纯 RAM 读 Socket 控制块，不入队、
不等 netTask 回执，供实时性敏感任务在发 RPC 前判断"有没有活"。
ui_net_sink_poll() 改为先门控再 RPC；无客户端时 RPC 从 100 msg/s 降到 0。

两条兜底（门控引入的新卡死路径，设计阶段未预见）：
- I-2 每 32 轮无条件 recv：readable 仅由 RECV_OK 中断置位，Trap 22 三类
  对账不含"RX 非空但 readable=0"，纯门控会把已到达的数据永久藏住；
- I-3 门控返 0 时查监听控制块，消失即 g_listen=-1 重建（改前靠每轮
  accept 撞 BADF 暴露，门控会连这条暴露路径一起消掉）。
net_can_read() 对非 ESTABLISHED / 非法 fd 故意返 1，让上层必得 EOF/BADF
走既有错误分支——返 0 会把死连接永久藏住。
模拟器后端恒返 1（Winsock 无 RPC 成本，行为逐位不变）。

实测：uis 50ms→1µs、uiw 50ms→11.4ms（只剩 LVGL）；@build 0 错 0 警、
@test 10/10 PASS（uis≤1µs、uisn≡0、0 task stall、0 [ERR]）、
check_remo_sink.py e2e 0/25600 位差异、内容页文本断言 50/50。
uip 最坏 61ms 是 LVGL 帧周期地板、与网络无关，判据已按实测修订。

方案 B（把推流搬出 uiTask + 帧 seqlock）已评估并决定不做：搬任务不会
让刷新变快，收益只剩极端并发下的观感隔离，成本含必改 .ioc 的 CubeMX
重生成。残留暴露与观测手段（uis/uisn）如实记录在 §9.4。
N-19 / C7 不入登记簿（当日结案），结论沉淀进问题记录 §9。
 2026-10-10 20:47:59 +08:00
wandering1 bb76cfd779 修复规范矛盾并定案5项规则，保护宏统一XXX_H 
规则定案：常量在右（a>5）、保护宏XXX_H（禁双下划线）、
头文件常量用#define、存储类前缀（g_/s_）优先、允许void返回值
全库32个.h头文件保护宏 __XXX_H → XXX_H 改名（字节级替换）
S1检查规则同步更新（拒绝双下划线），Inc/gpio.h 反向验证被正确拦截
规范示例矛盾修复：K&R括号、标准类型、变量初始化、命名常量、注释字段补全
 2026-09-01 16:07:00 +08:00
wandering1 e2f199c6bf LVGL 库提交 2026-08-30 08:57:07 +08:00