wandering1
8b0ea17b71
现象：`ftp_test.py` 的 `LIST 150->226` 断言失败——1512 B 数据全收到了，完成回包却是 **550**。 **根因**（`send_list`/`send_nlst` 各一处）：定案三把"整份目录一次性批量发送"落进 static 1536 B 缓冲时，顺手留下了"装满就 `break` 并回 −1"，`cmd_list` 据此回 550。于是目录一旦超过一块，客户端 拿到的是**静默截断**的清单**外加一个错误码**——而清单看起来完全像"目录里就这些"。这比单纯报错 更危险：没有人会去数条目个数。 **台架实测（同一台设备、同一个根目录，改动前后各测一次）**： · 改前：1512 B / **24 条目** / 完成回包 **550**（停在 A0007.BIN，后面 6 个文件被吞） · 改后：1880 B / **30 条目** / 完成回包 **226** **修法：满块续发**，而不是把缓冲区加大。新增 `list_batch_flush()`——装满一块就整块发出、清空 继续装，收尾再发最后一块。为什么仍要"批量"：定案三的本体是实测结论——同一连接上背靠背 ~60 B 小段写会毒化 CH395F 的 TX（芯片报 SEND_OK 但对端全丢，无 RST 无 DISCONNECT），而 RETR 的 1 KB 满块连发安全；所以这里只发大块，绝不退回"每行一发"。单行真装不下时**明确失败**而不是少发条目 （8.3 短名 + 定长格式远小于 1536，真发生说明格式被改坏）。两条出口的 `lftpd_io_closedir` 收敛到 循环后单点：卷锁持有至 closedir，任何提前 return 都会漏锁。 **防回退**（关键）：修完之后，**目录清空的设备上这颗雷再也暴露不出来**，所以补了 `test/host/ftp_list_fill_test.py`——自造 26 个 8.3 短名文件把清单撑过一块，三条判据（STOR 全 226 ／LIST 全文里每个名字都在／完成回包 226 而非 550，用 ftplib `retrlines` 让非 2xx 完成直接抛）， 跑完逐个 DELE 还原。真机实测 `收到 56 行 / 3544 字节`（跨 3 块，满块续发被真正走到）→ 三条全 PASS。用法登记进 `docs/测试说明/FTP_Test_Guide.md` §4.5，机理与增补写进 `docs/问题记录/CH395F_Trap_Records.md` 定案三。 **顺带记录的已知偏差（未修）**：`cmd_list`/`cmd_nlst` 忽略命令参数、恒列会话 CWD （`client->directory`）。主流客户端都是 `CWD` + 裸 `LIST`，实际影响小，先记在案。 体量：`Code` 213,264 → **213,436 B（+172）**、RO 不变 → `ER_IROM1` **232,088 B（22.1%） **、 `ROM 合计` 233,276 B；**RAM 一字未动**（`RW_IRAM1` 75,264 B 57.4% / `RW_CCM` 57,376 B 87.9%）。 数字联动照做：`data/ram_report` 重跑、`ram_baseline --update/--write`、 `check_mem_numbers --write`、 FLASH 配图常量重算重生成（桶合计 = 232,088 与 `Code+RO` 相符）、报告 §1.3/§5.1/§5.4 与部署 §3.3。 门禁：`@build` 0 错 0 警告；`@test` PASS（692 ms）；`ftp_test.py` → **TEST PASSED**（含此前失败 的 `LIST 150->226`）；`ftp_up_dl_test.py` → TEST PASSED；`ftp_list_fill_test.py` → TEST PASSED； `doc-links --all` 146 文档 0 问题；`id-check --strict` 增量拦截通过（可判定 82.82%）； `mem-numbers` / `mem-budget` 通过；改动文件字节卫生 BOM 无 / CR 0 / U+FFFD 0 / 无行尾空格。未推送。
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