STM32F4-Base

wandering1/STM32F4-Base

Fork 0

Commit Graph

Author	SHA1	Message	Date
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	22559365b9	整理 App 与 test 目录：按职责分子目录并同步全库引用	2026-09-26 12:52:39 +08:00

Author

SHA1

Message

Date

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

22559365b9

整理 App 与 test 目录：按职责分子目录并同步全库引用

2026-09-26 12:52:39 +08:00

3 Commits