Melange DB 🪐
基于 sled 架构深度优化的下一代高性能嵌入式数据库
项目简介
Melange DB 是一个基于 sled 架构进行深度性能优化的嵌入式数据库,专注于超越 RocksDB 的性能表现。通过 SIMD 指令优化、智能缓存系统和布隆过滤器等技术,实现极致的读写性能。
🎭 创意来源
项目名称和设计理念深受弗兰克·赫伯特的经典科幻小说《沙丘》(Dune) 启发:
- Melange (美琅脂): 沙丘宇宙中最珍贵的物质,是宇宙航行的关键,象征着数据的珍贵和价值
- 恐惧是思维杀手: 正如沙丘中的经典台词 "I must not fear. Fear is the mind-killer",我们的设计哲学是消除对性能的恐惧,追求极致优化
- 香料之路: 如同沙丘中的香料运输路线,Melange DB 构建了高效的数据流和存储路径
- 弗雷曼人精神: 沙漠中的生存专家,代表着在资源受限环境下的极致性能优化
这种灵感来源反映了我们对数据库设计的核心理念:在有限的资源中创造无限的价值。
核心特性
🚀 极致性能优化
- SIMD 优化的 Key 比较: 基于 ARM64 NEON 指令集的高性能比较
- 多级块缓存系统: 热/温/冷三级缓存,LRU 淘汰策略
- 智能布隆过滤器: 1% 误判率,快速过滤不存在查询
- 预取机制: 智能预取算法提升顺序访问性能
🔒 并发安全
- 无锁数据结构: 基于 concurrent-map 的高并发设计
- 线程安全: 完全的 Send + Sync trait 实现
- 原子性保证: ACID 兼容的事务支持
📦 高效内存管理
- 增量序列化: 减少 IO 开销的序列化策略
- 智能缓存策略: 自适应缓存替换算法
- 内存映射优化: 高效的文件映射机制
快速开始
基本使用
use ;
最佳实践配置
use ;
示例代码
我们提供了多个示例来帮助您更好地使用 Melange DB:
📊 性能测试示例
performance_demo.rs- 基本性能演示和智能 flush 策略展示accurate_timing_demo.rs- 精确计时分析,包含 P50/P95/P99 统计
🎯 最佳实践示例
best_practices.rs- 完整的生产环境使用示例,包含:- 用户数据管理
- 会话处理
- 事务操作
- 批量插入
- 范围查询
- 数据清理
⚠️ 重要说明
示例代码优化目标: 当前示例主要针对 Apple M1 等高端 ARM64 设备优化,配置了较大的缓存(1GB)和适用于高性能场景的参数。
低端设备优化建议: 如果您需要在 Intel Celeron J1800 等低端 x86 设备上运行,请参考:
- 测试文件:
tests/low_end_x86_perf_test.rs - 专用配置: 针对 2GB 内存和 SSE2 指令集优化
- 性能目标: 写入 9-15 µs/条,读取 2-5 µs/条
运行示例
# 运行基本性能演示
# 运行精确计时分析
# 运行最佳实践示例
低端设备配置参考
// 针对 Intel Celeron J1800 + 2GB 内存的优化配置
let mut config = new
.path
.flush_every_ms // 禁用传统自动flush,使用智能flush
.cache_capacity_bytes; // 32MB缓存,适应2GB内存
// 优化智能flush配置
config.smart_flush_config = crateSmartFlushConfig ;
示例亮点
✅ 配置优化: 展示如何根据应用场景调整缓存和 flush 参数 ✅ 数据建模: 演示结构化数据的存储和查询模式 ✅ 批量操作: 介绍高效的数据插入和处理技巧 ✅ 查询优化: 展示范围查询和前缀查询的最佳实践 ✅ 事务处理: 演示如何保证数据一致性 ✅ 性能监控: 提供性能统计和监控建议
性能表现
性能测试数据
详细的性能测试数据和硬件环境信息请查看:docs/test_data/index.md
性能亮点
- 高端设备表现: 在Apple M1上达到写入1.23 µs/条,读取0.42 µs/条的优异性能
- 低端设备优化: 在Intel Celeron J1800上通过智能flush优化实现写入9.13 µs/条,读取2.56 µs/条
- 低功耗设备适配: 在树莓派3B+上实现写入39.04 µs/条,读取9.06 µs/条,成功适配1GB内存+SD卡存储环境
- 对比优势: 相比RocksDB最高提升4倍写入性能
- 跨平台支持: 优化了ARM64和x86_64架构的性能表现
测试覆盖
- 硬件多样性: 从高端Apple M1、低端Intel Celeron到树莓派3B+的完整测试覆盖
- 系统兼容: macOS和Linux多平台验证
- 优化验证: SIMD指令集、智能flush、缓存策略等多维度优化效果验证
- 持续测试: 定期性能回归测试确保性能稳定性
优化技术详解
1. SIMD 优化
- 多平台支持: 同时支持 ARM64 NEON 和 x86_64 SSE2/AVX2 指令集
- ARM64 NEON: 支持 Apple M1 和树莓派 3b+ 等ARM64设备
- x86_64 SSE2: 支持Intel Celeron等不支持AVX2的低端x86设备
- x86_64 AVX2: 支持现代Intel/AMD处理器,32字节向量处理
- 自适应检测: 运行时自动检测CPU支持的指令集并选择最优实现
- 小key优化: 针对≤16字节的key使用快速64位整数比较
- 批量处理: 支持批量key比较操作,提升缓存命中率
- 降级策略: 不支持SIMD时使用优化的标量比较算法
2. 布隆过滤器
- 多级过滤器: 支持热/温/冷数据分层
- 可配置误判率: 默认 1%,可按需调整
- 并发安全: 支持多线程同时访问
3. 块缓存系统
- 三级缓存架构: 热/温/冷数据分层存储
- 智能预取: 基于访问模式的预取算法
- 压缩支持: 自动压缩大块数据
- 100% 命中率: 在测试场景下的完美表现
架构设计
核心组件
- Tree: B+ 树索引结构,支持范围查询
- Leaf: 叶子节点,存储实际数据
- ObjectCache: 对象缓存系统,集成优化组件
- Heap: 堆管理器,负责内存分配
- Index: 并发索引,支持高并发访问
优化集成
- 透明优化: 用户无需修改现有代码即可获得性能提升
- 向后兼容: 完全兼容 sled 的 API 设计
- 渐进式优化: 可以选择性启用特定优化功能
适用场景
- 高频交易系统: 低延迟读写需求
- 实时数据分析: 高吞吐量数据处理
- 嵌入式设备: 资源受限环境下的高性能存储
- 缓存系统: 作为分布式缓存的后端存储
最佳实践指南
🎯 配置优化
-
缓存大小设置
- 小型应用/低端设备: 32MB - 256MB
- 中型应用: 512MB - 1GB
- 大型应用/高性能设备: 2GB - 4GB+
-
智能 Flush 策略
- 启用智能 flush 以平衡性能和数据安全
- 根据写入负载调整 flush 间隔
- 设置合理的累积字节阈值
- 低端设备优化: 减少基础间隔,提高频率,降低累积阈值
- 树莓派3B+特殊优化: 增加flush间隔到200ms,降低写入阈值到2000 ops/sec,适应SD卡存储特性
-
树的设计
- 使用有意义的树名
- 合理设计键的前缀结构
- 避免单个树过大
-
硬件适配建议
- 高端设备 (Apple M1等): 使用示例中的1GB缓存配置
- 低端设备 (Intel Celeron等): 参考
tests/low_end_x86_perf_test.rs配置 - 树莓派3B+等低功耗ARM设备: 参考
tests/raspberry_pi_perf_test.rs配置 - 内存受限环境: 减少缓存大小,优化flush策略,考虑使用增量序列化
📊 性能优化
-
批量操作
- 大量数据插入使用批量操作
- 避免频繁的单条插入
- 利用预热优化性能
-
查询优化
- 使用范围查询获取连续数据
- 利用前缀查询过滤数据
- 避免全表扫描
-
数据管理
- 定期清理过期数据
- 使用事务保证数据一致性
- 监控数据库大小和性能
🔧 开发建议
-
开发环境
- 使用较小的缓存大小进行开发
- 启用调试日志监控性能
- 定期进行性能测试
-
生产环境
- 根据实际负载调整配置参数
- 监控关键性能指标
- 建立数据备份机制
-
测试策略
- 进行压力测试验证性能
- 测试故障恢复能力
- 验证数据一致性
开发路线
✅ 已完成优化
- SIMD 优化的 key 比较
- 多级布隆过滤器
- 智能块缓存系统
- 增量序列化优化
- 内存使用优化
- 智能自适应 flush 策略
- 完整的示例代码和文档
🔄 进行中
- 更智能的预取算法
- 自适应压缩策略
- 更多平台支持 (x86_64 SIMD)
📋 未来规划
- 分布式版本
- 更高级的查询优化
- 集成机器学习优化
技术栈
开发环境
- 核心语言: Rust 1.70+
- 基础架构: 基于 sled 代码库
- 并发控制: concurrent-map, parking_lot
- SIMD 优化:
- std::arch::aarch64 (ARM64 NEON指令集)
- std::arch::x86_64 (x86_64 SSE2/AVX2指令集)
- 压缩: zstd
- 测试: criterion, tokio-test
目标平台
- ARM64平台: Apple M1, Raspberry Pi 3b+ 等ARM64设备
- x86_64平台: Intel/AMD处理器,从低端到高端全覆盖
- 编译目标:
- aarch64-apple-darwin, aarch64-unknown-linux-gnu
- x86_64-apple-darwin, x86_64-unknown-linux-gnu
- 指令集支持:
- ARM64: ARMv8.4-A with NEON SIMD
- x86_64: SSE2 (基础), AVX2 (现代处理器)
- 运行时检测: 自动检测CPU特性并选择最优SIMD实现
贡献指南
欢迎提交 Issue 和 Pull Request!
- Fork 本仓库
- 创建特性分支 (
git checkout -b feature/amazing-feature) - 提交更改 (
git commit -m 'Add amazing feature') - 推送到分支 (
git push origin feature/amazing-feature) - 创建 Pull Request
许可证
本项目采用 GNU Lesser General Public License v3.0 (LGPLv3) 许可证 - 查看 LICENSE 文件了解详情。
许可证说明
选择 LGPLv3 的原因:
- 商业友好: 允许将 Melange DB 用于商业软件和闭源项目
- 动态链接: 通过动态链接方式使用时,主程序可以保持闭源
- 开源义务: 仅对库本身的修改需要开源,不影响使用方代码
- 社区贡献: 确保改进和优化能够回馈给开源社区
使用场景
- ✅ 商业软件: 可以在闭源商业软件中使用
- ✅ 开源项目: 完全兼容其他开源许可证
- ✅ 动态链接: 推荐的使用方式,主程序保持闭源
- ✅ 修改贡献: 对 Melange DB 的改进需要开源
"I must not fear. Fear is the mind-killer." - Frank Herbert, Dune