 wandering1
|
56893709fe
|
feat(S12): 模块级轻量断言宏 APP_ASSERT + net_socket 状态机不变量试点 2 处
规格：docs/任务规划/测试与架构专项.md §2.1（模块级轻量断言宏，必须零生产开销）。
本提交只做道C-1：新增断言宏 + 2 处试点，不开 net 层大口子、不新增 test/host 目录。
改动
- 新增 Drivers/BSP/app_assert.h：APP_ASSERT 两级裁剪。
· 关闭态（默认，产品构建）：编译期消失、零符号零代码；条件仍进 sizeof 的
不求值上下文，写错变量名/比较类型会当场报错，不会出现"裁掉=从没被编译器看过"。
· 打开态：失败交 configASSERT 用的同一个钩子 vApplicationAssertFailed()
（裸控制台打 [ERR] ASSERT FAILED file:line 后软复位）；宿主端（模拟器 /
主机单测）落 stderr + abort()，非零退出码不会被一键回归静默吞掉。
- 开关 APP_ASSERT_ENABLE 默认注释，策略与 ENABLE_DESTRUCTIVE_TESTS 同级。
- 纯宏、无函数、无数据，不新增 .c → 不涉及双端注册（.h 靠 include 路径找到）。
- Drivers/BSP/NET/net_socket.c：2 处试点，都落在"函数头写了限定条件、函数体
一项都没检查"的缺口上。
· net_close_locked：控制块必须落在 s_net_socks 数组内且 in_use——此前给出
越界或已释放指针会一路走到 memset(sizeof(net_sock_t))，直接踩脏 fd 表。
· net_drop_conn_locked：进入时必须 in_use + TCP 流 + 会话处于 ESTABLISHED
或 CONNECTING——函数体无条件置 CLOSED 并登记重建，将来绕过
NET_MSG_DROP_CONN 分派门的新调用路径会拆掉一个健康监听器（症状与 N-30
一族同源难查），断言把这条状态机不变量钉成机器可查。
两处均 netTask 上下文、非中断、非高频；条件纯读无副作用；既有错误返回分支
一条都没改（断言不替代错误码，见 app_assert.h 第四节纪律）。
- test/host/net_socket/run_unit_test.py：include_dirs 补 Drivers/BSP 一行，使该
套单测编 net_socket.c 时用真 app_assert.h，不造桩——假件与真头漂移正是本
runner「常量闸」要防的那类自洽假绿；stub 目录仍在最前，同名头命中不受影响。
- Drivers/BSP/README.md：根级文件表补 app_assert.h 一行。
两处有意偏离示意稿（理由已写进头注释）
1) 断言点不再额外发一条 DBG_ERROR：钩子本身已打印 file:line，而每条 DBG_*
调用点约 90 B Flash + 216 B 栈（AGENTS「日志不是免费的」）；断言点又常在
「内核状态已不可信」的现场，走裸控制台比走日志行缓冲稳。
2) 头落 Drivers/BSP（与 dbg_log.h、bsp_err.h 同级）而非示意稿的 App/util：它是
纯宏叶子能力，落 App/util 会让 BSP 新增一条反向 include App 层头的边，而
layer-deps 存量基线只减不增、加不进去；落 Drivers/BSP 已在 MCU 与模拟器双端
include 路径内 → 双端零工程文件改动（uvprojx / CMakeLists 一字未动）。
验证（工作树 _wt/S12-assert，分支 task/S12-assert）
- @build 产品态：BUILD_OK，0 错误 0 警告。
- 体积与 RAM：Code=213780 RO=18860 RW=1204 ZI=131852，与 scripts/ram_baseline.tsv
的 2026-10-24 基线行完全相同 → Flash/RAM 增量 0 B；.map 中 app_assert 相关
符号 0 条（规格完成判据"无新增符号"）。gate 全绿，无需 mem-budget 例外。
- 打开态实测（临时取消注释编译，跑完已还原成注释态）：0 错 0 警，
Code=213916（2 处断言共 +136 B ≈ 68 B/处，无每调用点栈代价），RW/ZI 不变。
- 宿主 MSVC 三态实测：关闭态断言不求值但条件仍做类型检查（错误标识符报
C2065）；打开态真条件不触发、假条件 stderr 打 [ASSERT] FAILED 后 abort；
net_socket 主机单测 452/452 通过（用真头，开关默认关）。
- 门禁实跑：cppcheck(warning/perf/portability/style)、no-mojibake、coding-standard、
layer-deps、bsp-err、id-check、doc-links、registration-check、mem-budget 全 0。
- 台架 @test 未跑：bench 锁归 Lead；产品态本改动零行为差异，无需烧录回归。
遗留
- 打开态未在台架上真跑一轮（需 bench 锁 + 一个故意造假的注入点）：待台架实测。
- 文档销项（测试与架构专项.md §2.1、并行分道方案.md 对应行、AGENTS 任务表）
归主工作树统一处理，本分支未碰 docs/任务规划/**。
|
2026-10-25 03:04:07 +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
|
925058a5ae
|
fix(NET)+docs: lftpd 对端地址修复、E6 裁决收口、陷阱编号迁移重排 TRAP-NET-01~21
- lftpd：net_inet_ntoa 段序改 MSB 首 + 新增 net_getpeername，FTP 日志打印
真实对端地址（真机实证 192.168.1.2:55524，登记 TRAP-NET-21）
- E6：NET_U15_PROBE 命中=0（含压测）→ 阶段 3 项 4 不立项，U15 登记观察项；
插桩留仓（宏=0 零成本），soak 驱动 test/host/e6_soak.py 入库
- 编号：全库 Trap NN → TRAP-NET-<nn> 迁移并重排连续 01~21（单调映射，
沿革见 CH395F_Trap_Records.md 头注）；死号 12/13/19/21 引用全部清除；
GD5F 域引用补正为 TRAP-GD5F-NN
- 陷阱文档全新化：索引 21 行行行真陷阱；删误判存档/发现时间/git 考古/
FTP 附录；台架纪律教训沉淀第六章方法论
- RAM：Code 211348→211456（+108 lftpd 修复），RW+ZI 净增 +4B；
优化方案/台账受管区/tsv 同笔同步
- ftp_abort_probe.py 挪 test/host/；引用关系图重生成
- 回归：@build 0/0；@test PASS；ftp_abort 10/10；relisten :7003 20/20；
ci_local L0+L0.5 全绿；E6 窗口零复位，7 条 WD stall 登记压测假象备查
|
2026-10-13 20:54:31 +08:00 |
|
|
wandering1
|
0779d3a075
|
栈整改不抬栈：删旧档迁移、FIL静态化、日志行缓冲按模块收紧、钩子脱离HAL，defaultTask链5312→2776B
|
2026-10-10 10:17:00 +08:00 |
|
|
wandering1
|
0485e79da0
|
Net 阻塞模型文档改写为架构设计并迁入 docs/网络
|
2026-09-29 05:51:16 +08:00 |
|
|
wandering1
|
b46e6bffed
|
Net 阻塞模型调研文档退役：客观实施记录留存，二期基线迁入任务规划
|
2026-09-26 14:21:13 +08:00 |
|
|
wandering1
|
39bd06adea
|
为自建代码目录补齐 README，建立目录级导航体系
- 新增 26 份目录 README：App/(+log,task,util,protocol)、Drivers/BSP/(+8子系统)、
Src/、Inc/、scripts/、tools/(+6子工具)、test/、MDK-ARM/、simulator/(+sim,tests)
- 每份含：定位、文件清单表、关键约束/陷阱、指向 docs 权威文档
- 第三方库与生成代码目录排除（CMSIS/HAL/Middlewares/Lib/SDL2）
- docs/文档规范.md 新增 §1.1b 代码目录 README 约定；根 README 目录结构加入说明
|
2026-09-26 12:25:36 +08:00 |
|