wandering1
504db26698
根因：`RAM使用分析与优化方案.md` 顶层有 §1 背景 / §2 现状测量（2.1~2.6），而 §4 「方案」下"阶段 N"的子项也用裸号 0.x / 1.x / 2.x——阶段 2 的 2.1/2.2/2.3 与顶层 2.x **完全同号**，阶段 1 的 1.x 又长得像"第 1 章第 x 节"。`doc-links` 对本文自 引用按设计直接放过，于是门禁和人一起看错：AGENTS.md 把"栈余量台账"写成 §1.4， 而 §1.4 其实是阶段 1 的 lftpd 静态化项（上一笔提交的信息里我把它误判成断链， 已 amend 更正）。 改法：阶段子项一律改层级编号，阶段号不变、只加 `4.` 前缀 —— 0.x→4.0.x、 1.x→4.1.x、2.x→4.2.x。共改 14 个标题；文内自引用与实施序列表（S4~S9 那套）、 暂缓清单、§5 预期效果列里的裸号一并补成 §4.x.y。 外部引用同步 15 处：AGENTS.md、lftpd/README ×2、菜单页面设计、RAM预算台账 ×2、 项目架构总览 ×3、FTP_Test_Guide ×3、boot_log_data/README、部署环境要求、审查 报告、ram_baseline.py ×3。最有说服力的两处歧义：审查报告与 RAM预算台账都写 "缩堆见 …§2.2"——既可读成顶层 §2.2（静态大项排行）也可读成阶段 2 第 2 项， 现均为 §4.2.2（阶段 2 第 2 项"缩堆"）。 另修 4 处把 §1.4 当"栈台账"的错指：采样有效性校验设计说明 :441/:593/:650 改 指 §2.3（任务栈配置与实测峰值）与 §4.0.6（静态最坏链与判定）；id_aliases.json 的 note 改指 §4.0.6 并标注"原 §1.4，2026-10-22 层级编号"。 冻结与示例：其它文档**变更记录行**里的旧编号按项目纪律不改写（项目架构总览 :367、RAM预算台账 :98），改在被引文档 §4 开头留一张换算表 + 约定说明；把旧号 当语法示例写的 7 处一并换掉（文档规范 ×3、check_doc_links ×3、rename_ref ×1）， 否则示例本身指向已改名的锚点。主文档版本行 bump 到 v1.3 / 2026-10-22。 门禁：check_doc_links.py --all --sections-strict → 146 个文档 0 问题（章节引用 2513 处、机器可判定 1491）；check_ids.py --strict 增量拦截通过；mem-numbers、 ram_baseline --gate（SRAM1 57.4% / CCM 87.9%）、task-table 全绿；本轮未改任何 .c/.h。16 个文件字节卫生自查 BOM/CR/U+FFFD/行尾空格全清。已提交本地，未推送。
Drivers/BSP/NET/ — 网络抽象层（BSD Socket API）
在 CH395F 硬件驱动之上提供 BSD Socket 风格 API，使上层（FTP 服务、时间同步、UI 推流） 以标准 socket 语义编程，无需关心芯片细节。核心是阻塞模型 + 事件驱动 + 周期对账自愈。
文件一览
| 文件 | 作用 |
|---|---|
net_socket.c/h |
BSD Socket API 实现：net_socket / net_connect / net_send / net_recv / net_close / net_listen / net_accept，含挂起 recv（pending）与错误码 |
net_pending.c/h |
挂起 recv / send 请求表（阻塞挂起模型：登记 / 每轮完成检查（recv）/ 推进（send）/ 取消 / close 结算；真机专属，模拟器走 net_socket_sim.c） |
net_select.c/h |
select/poll 多路复用（基于芯片中断事件 + 周期轮询） |
net_types.h |
网络层公共类型定义 |
net_config.h |
网络层编译期配置（缓冲区大小、超时、对账周期等） |
lftpd/ |
轻量 FTP 服务器（第三方移植，见其子目录） |
核心机制
阻塞模型（挂起 recv / send / pending）
- recv 挂起（pending）已落地：
net_recv阻塞不占 netTask——登记挂起请求 + 每轮 tick 唤醒 - send 挂起已落地：
net_send快路径有界自旋（NET_SEND_SPIN_MS= 2ms），超预算登记 挂起 send，由net_send_pending_tick按主循环节拍分块推进；netTask 最坏停滞由 1s 压到 2ms - ACCEPT 决定不挂起化（2026-10-15）（调用方轮询问题，不是队头阻塞；pending 化收益仅 RPC 开销与抖动）
- 架构细节：
docs/网络/Net层阻塞模型架构设计.md
周期对账自愈（TRAP-NET-17 修复；对账与监听重建合一）
net_reconcile_tick()（100ms，判据读驱动状态缓存——唯一 刷新点net_poll每轮全量刷新，E2 实测单次回读 18.1us）修正失同步： 本层 ESTABLISHED 而芯片已断 → 断开；本层 LISTENING 而芯片已握手 → 补 accept； 本层 LISTENING/CLOSED（监听型 fd）而芯片监听消失 → 重建（形态③④）； 本层 CLOSED 而芯片在听 → 只重同步（U11）；芯片静默回收 → RESYNC（⑤）- 分级去抖（②=1 轮 / ③④⑤=2 轮 / ①=4 轮）+ 冷却（1s）——监听失位的重建
动作必须去抖，否则"刚 listen 未生效"瞬态会反复重建直至
relisten retry budget exhausted（三监听口全死）；①的 4 轮窗是 F-NET-17 M3 可疑电平的让位租约（勿改小）
异常复监听隔离（TRAP-NET-18 修复）
- 异常释放（TIMEOUT）的 socket 复监听前隔离：排空 RX 残渣 + 主动 close + 等 CLOSED
- 400ms 起；800ms 上限只留痕、不强行放行（芯片未回 CLOSED 时 open 注定吃 USE 错， 真正兜底 = D10 预算到期 + 对账形态④ 重新登记）
- 仅异常路径生效，正常 FIN 路径零改动
错误码（E-03 修复）
- 按任务隔离：
s_net_errno_slots[8]（每槽{任务句柄, err}），替代原全局s_net_errno net_get_errno()只读本任务槽位，对外语义不变（成功不清零）
依赖关系
上层（FTP / timeSync / UI 推流）
↓ BSD Socket API
net_socket.c ←→ net_select.c
↓ ch395f_* 接口
Drivers/BSP/CH395F/
⚠️ 改本模块前必读
- 就绪屏障位（
SYS_EVT_NET_READY等）等待必须osFlagsNoClear，不能用默认消费型 - 每次 CH395F SPI 事务须
ch395f_spi_begin()/end()包裹 - 改任何自愈/重建逻辑必须去抖，否则会引发重建风暴
- 相关陷阱：
docs/问题记录/CH395F_Trap_Records.mdTRAP-NET-17/-18
相关文档
- 上层用法：
docs/网络/BSD_Socket_API_使用指南.md - 内部调用关系：
docs/网络/BSD_Socket_API_函数调用关系.md - 架构设计：
docs/网络/Net层阻塞模型架构设计.md（阻塞等待 / pending 请求模型） - ACCEPT 挂起化设计基线：
docs/任务规划/基线与待确认.md§2.1 - 测试：
docs/测试说明/CH395F_Test_Guide.md、docs/测试说明/FTP_Test_Guide.md