moonbit-etskv
#MoonBit EtsKv — MoonBit 生态原生 BEAM 数据通路（Erlang ETS 读写桥）
#定位+血统
etskv 是 MoonBit 生态里唯一原生的 BEAM 数据通路：MoonBit 程序以
Erlang distribution 协议真件（beam-dist 家族）直说 BEAM 母语，经 rpc
rex apply 读写 Erlang/OTP 集群中的 ETS 表——对标口径是
"Redis 客户端 + ETS 语义"（借 OTP 王国的桥，而非另起炉灶的独立
数据库；见 .mingspace/etskv_ming.md §十七 对标 Redis 评审卷）。
真件背书：
- ets 金罐闭环（beam-rpc probe 臂十四）：MoonBit 写→ETS→双端读回 PASS——往返延迟 sub-ms
- 批写杠杆：batch_insert 一次 call 50 keys，对拍单条 insert 12-17× 吞吐（批写杠杆为对外基准数字）
- 协议底座：beam-dist@0.0.18（27 罐）/ eetf@0.0.4 / beam-rpc@0.0.9—— 真网门全闭环（epmd 握手/demonitor/EXIT/multi_lookup 谱）
思想致敬 Erlang/OTP ets；clean-room 自 ets:insert/lookup call 线形
（rex apply 面）重写。
#性能口径（真读数·2026-11-11 收口）
| 面 | 数字 | 域钉 |
|---|---|---|
| 往返延迟 | avg sub-ms（RTT hit 50/50） | 跨语言通路域（dist RTT+ETF 编解码+rex apply·~500-700μs/op） |
| 串行写 | ~1360 ops/s | 真 RTT 域（sink 真判·equal_val 守恒精判） |
| 串行读 | ~1960 ops/s | 真 RTT 域（读回真值 VList/VAtom 结构域） |
| 批写 | 40,000-50,000 ops/s（26-33×） | 50 keys/call 杠杆——对外基准 |
| 全表批读 | 一次 call 全表（match_all） | ets:match/2 杠杆（读回 VList 嵌套真结构） |
真读数域（2026-11-11 双 len 帧封装破案后收口）：bench 判域假中 （show 判 Nil 假中）+读窗 FIN（双 len 帧封装——send_frame 双包层） 两域连环破案后，串行/批写数字全部 equal_val 真判域落定。ETS 本体 （BEAM 内）为 μs 级百万 ops/s 域，不在本通路域内。破案录见 .mingspace/etskv_ming.md §十五-§二十一。
#包结构
| 包 | 面 |
|---|---|
| src/ | EtsKv 组合根(sock+codec+etf_port+caller+table/node/creation 参数化)——insert/lookup/batch_insert/multi_lookup(rpc call rex apply 面——读窗循环 ref 对拍+残帧过滤+equal_val 结构判) |
#语义面
| API | 形 | 域 |
|---|---|---|
| insert(k, v, ref) | ets:insert 单键值 | 写（回执对拍） |
| batch_insert(pairs, ref) | 一次 call N 键值 | 批写（17× 杠杆——对外基准） |
| lookup(k, ref) | ets:lookup 读回 list | 读（equal_val 结构判换装） |
| multi_lookup(keys, ref) | life_chk helper 批读 | 读批（Erlang 侧实证 200 keys 全回） |
| call_rex(ref, m, f, args) | 任意 MFA rex apply 面 | 通用（ets 之外 Erlang 函数皆达） |
表属主律：表建/属主必 Erlang 侧常驻进程（-s 模块式 run+sleep 保活——
life_chk 形；rpc call 临时进程建表不可行实锤：属主死表随死）。
#测试门+演进位
- 门：moon check --deny-warn / moon run cmd/bench（VERDICT 判线—— equal_val 真判形·守恒精判=读回即写入值精确对拍）；金罐真件背书= beam-rpc probe 臂十四（ets 金罐闭环）
- 已收口（勘定录）：bench 读窗 FIN 域（双 len 帧封装终钉——call_rex 自拼 len+send_frame 再包=双包层——§二十终破案）；match/2 复活（同根 翻案——match_all API 重生）；读回真值域（to_val 直转·VAtom(show) 退场）
- 挂候：EMap/EPid/EPort/ERef EtfVal 对位扩展（结构域全谱）；beam-dist DIST_FLAGS FRAGMENTS 补位实验退（拍 1 dump 分片头域候——深勘候令）
- 演进位（0.1 三小步——对标 Redis 补短）：Erlang 侧 checkpoint （ets:tab2file 持久化）→ TTL wrapper（表 wrapper+清扫进程）→ helper 语义层（List/Set/Hash/ZSet 映射）；bag 型谱/结构对拍进阶随
- 架构血统：beam 系家族七件（beam-dist/eetf/epmd/beam-rpc/beam-node/ observer-ui/etskv）——README 域表见各仓
Apache-2.0
Updated 6 hours ago
3 downloads