Merge pull request #1 from Hhsqoo/codex/osc2026-acceptance feat: harden OSC2026 acceptance and add deque
Merge pull request #1 from Hhsqoo/codex/osc2026-acceptance
feat: harden OSC2026 acceptance and add deque
面向 MoonBit 生态的高性能扩展数据结构库,提供有序映射、有序集合、位图、缓存、堆和 AVL 有序容器。项目使用纯 MoonBit 实现,不依赖 C/Wasm 外部绑定。
0.3.0
0.10.3
0.10.4
wasm
wasm-gc
js
native
llvm
src/indexmap
O(1)
shift_remove
O(n)
swap_remove
src/indexset
src/bitset
Array[Int]
src/lru_cache
get
set
remove
src/priority_queue
peek
push
pop
O(log n)
src/sorted_map
src/sorted_set
SortedMap[T, Unit]
src/deque
发布到 Mooncakes 后,在你的 MoonBit 模块中执行:
moon add Hhsqoo/moon-collections
在目标包的 moon.pkg 中导入需要的包:
moon.pkg
import { "Hhsqoo/moon-collections/src/indexmap" @indexmap, "Hhsqoo/moon-collections/src/bitset" @bitset, }
示例:
let map : @indexmap.IndexMap[String, Int] = @indexmap.IndexMap::new() let _ = map.set("moon", 1) let _ = map.set("bit", 2) println("keys: \{map.keys().to_array()}") let bits = @bitset.BitSet::new() bits.set(31) bits.set(32) println("set bits: \{bits.iter().to_array()}")
完整可运行示例位于 src/examples:
src/examples
moon run src/examples
moon update moon fmt moon check --fmt --deny-warn moon check --target all --deny-warn moon build --target all moon test --target all --deny-warn moon info git diff --exit-code
moon fmt --deny-warn 和 moon info --deny-warn 不是当前 CLI 的有效参数:格式检查使用 moon fmt --check 或 moon check --fmt --deny-warn;接口检查使用 moon info 后检查生成的 pkg.generated.mbti 是否产生 diff。CI 对这些步骤做了明确验证。
moon fmt --deny-warn
moon info --deny-warn
moon fmt --check
moon check --fmt --deny-warn
moon info
pkg.generated.mbti
Windows 原生目标需要 C 编译器。CI 使用 MSYS2 UCRT64 + MinGW GCC;本地可以将 C:\msys64\ucrt64\bin 加入 PATH 后执行 --target native 或 --target all。
C:\msys64\ucrt64\bin
PATH
--target native
--target all
基准入口是 src/benchmarks,固定执行 100,000 次映射写入/查询,以及每 3 个位置设置一次位图再遍历:
src/benchmarks
moon run src/benchmarks --target native
在 Windows 11、MSYS2 UCRT64、MoonBit 0.10.4 本地运行 5 次的中位数如下。该数据用于复现实验方法,不是跨机器性能承诺:
IndexMap
1409965408
BitSet
1666683333
如需比较不同机器或后端,请保留工具链版本、目标后端和工作负载,并重复运行至少 5 次。
moon.mod # 模块元数据和版本 src/indexmap # 有序哈希映射 src/indexset # 有序集合 src/bitset # 动态位图 src/lru_cache # LRU 缓存 src/priority_queue # 二叉堆优先队列 src/sorted_map # AVL 有序映射 src/sorted_set # AVL 有序集合 src/deque # 循环缓冲双端队列 src/examples # 可直接运行的示例 src/benchmarks # 可复现 native 基准入口 docs/architecture.md # 数据结构和不变量 docs/performance.md # 基准方法与数据 pkg.generated.mbti # moon info 生成的公共接口摘要
公共接口文件由 moon info 生成并纳入版本控制,修改公共 API 时请同时检查接口 diff。测试文件采用 *_test.mbt,文档中的代码示例应保持可复制运行。
*_test.mbt
请先阅读 CONTRIBUTING.md。新功能应同时提供边界测试、README/API 示例和必要的复杂度说明;提交前至少运行格式、全目标检查、测试和接口漂移检查。
本项目采用 Apache License 2.0。
本项目致力于为 MoonBit 生态提供高性能、稳定且经过充分测试的扩展数据结构。首期重点实现 IndexMap(保持插入顺序的哈希表)与 BitSet(高效位图),填补官方标准库在特定高性能场景下的空白。
Moon Collections
面向 MoonBit 生态的高性能扩展数据结构库,提供有序映射、有序集合、位图、缓存、堆和 AVL 有序容器。项目使用纯 MoonBit 实现,不依赖 C/Wasm 外部绑定。
项目状态
0.3.00.10.3;本地验证也覆盖了0.10.4wasm、wasm-gc、js、native、llvm包含模块
src/indexmapO(1);shift_remove为O(n);swap_remove平均O(1)src/indexsetO(1)src/bitsetArray[Int]的动态位图O(1);集合运算按机器字长度批量处理src/lru_cacheget/set/remove平均O(1)src/priority_queuepeek为O(1);push/pop为O(log n)src/sorted_mapO(log n)src/sorted_setSortedMap[T, Unit]的 AVL 有序集合O(log n)src/dequeO(1)安装与使用
发布到 Mooncakes 后,在你的 MoonBit 模块中执行:
在目标包的
moon.pkg中导入需要的包:示例:
完整可运行示例位于
src/examples:开发与验证
moon fmt --deny-warn和moon info --deny-warn不是当前 CLI 的有效参数:格式检查使用moon fmt --check或moon check --fmt --deny-warn;接口检查使用moon info后检查生成的pkg.generated.mbti是否产生 diff。CI 对这些步骤做了明确验证。Windows 原生目标需要 C 编译器。CI 使用 MSYS2 UCRT64 + MinGW GCC;本地可以将
C:\msys64\ucrt64\bin加入PATH后执行--target native或--target all。可复现基准
基准入口是
src/benchmarks,固定执行 100,000 次映射写入/查询,以及每 3 个位置设置一次位图再遍历:在 Windows 11、MSYS2 UCRT64、MoonBit 0.10.4 本地运行 5 次的中位数如下。该数据用于复现实验方法,不是跨机器性能承诺:
IndexMap100,000 次写入 + 查询1409965408BitSet100,000 次设置 + 遍历1666683333如需比较不同机器或后端,请保留工具链版本、目标后端和工作负载,并重复运行至少 5 次。
项目结构
公共接口文件由
moon info生成并纳入版本控制,修改公共 API 时请同时检查接口 diff。测试文件采用*_test.mbt,文档中的代码示例应保持可复制运行。贡献
请先阅读 CONTRIBUTING.md。新功能应同时提供边界测试、README/API 示例和必要的复杂度说明;提交前至少运行格式、全目标检查、测试和接口漂移检查。
许可证与镜像
本项目采用 Apache License 2.0。