py-caskdb

py-caskdb

基于Bitcask的教育型磁盘键值存储系统

CaskDB是一个基于Bitcask论文实现的磁盘键值存储系统,使用Python开发。它专注于教育目的,无外部依赖,适合初学者学习数据库原理。CaskDB具有低延迟、高吞吐量、易备份等特点,支持存储超过RAM容量的数据。该项目提供简单API和完整测试套件,便于快速构建和学习持久化键值存储系统。

CaskDB键值存储数据库Python日志结构Github开源项目

logo

CaskDB - 基于磁盘的日志结构哈希表存储

使用Python开发 构建 代码覆盖率 GitHub许可证 Twitter@iavins

架构

CaskDB是一个基于Riak的bitcask论文的磁盘式、嵌入式、持久化的键值存储,使用Python编写。它更注重教育功能而非生产环境使用。文件格式与平台、机器和编程语言无关。例如,在macOS上用Python创建的数据库文件应该与Windows上的Rust兼容。

本项目旨在帮助任何人,即使是数据库初学者,也能在几小时内构建一个持久化数据库。没有外部依赖,只需使用Python标准库即可。

如果你有兴趣自己编写数据库,请前往workshop部分。

特性

  • 读写延迟低
  • 高吞吐量
  • 易于备份/恢复
  • 简单易懂
  • 可存储超过RAM容量的数据

局限性

以下大多数局限性属于CaskDB。然而,有些是由Bitcask论文的设计约束导致的。

  • 单个文件存储所有数据,已删除的键仍占用空间
  • CaskDB不提供范围扫描
  • CaskDB需要将所有键保存在内部内存中。当键数量很多时,RAM使用量会很高
  • 启动时间较慢,因为需要将所有键加载到内存中

社区

CaskDB Discord

考虑加入Discord社区,与同行一起构建和学习KV存储。

依赖

CaskDB不需要任何外部库即可运行。对于本地开发,请从requirements_dev.txt安装软件包:

pip install -r requirements_dev.txt

安装

CaskDB尚未使用PyPi(问题#5),你需要通过克隆直接从仓库安装。

使用方法

disk: DiskStorage = DiskStorage(file_name="books.db") disk.set(key="othello", value="shakespeare") author: str = disk.get("othello") # 还支持字典风格的API: disk["hamlet"] = "shakespeare"

先决条件

本workshop面向中级至高级程序员。了解Python不是必需的,你可以使用任何你喜欢的语言构建数据库。

不确定你的水平?如果你在任何语言中完成了以下操作,那么你就已经准备好了:

  • 使用过字典或哈希表数据结构
  • 将对象(类、结构体或字典)转换为JSON,并将JSON转换回对象
  • 打开文件以写入或读取任何内容。常见任务是将字典内容转储到磁盘并重新读取

Workshop

**注意:**我近期没有安排workshop。请在Twitter上关注我以获取更新。如果你希望为你的团队/公司安排workshop,请给我发邮件

CaskDB配备了完整的测试套件和各种工具,帮助你快速编写数据库。Github action提供了自动化测试运行器、代码格式化工具、代码检查器、类型检查器和静态分析器。fork仓库,推送代码,并通过测试!

在整个workshop中,你将实现以下内容:

  • 序列化方法:将一系列对象序列化为字节。同时,将一系列字节反序列化回对象。
  • 设计一种包含头部和数据的数据格式,用于将字节存储在磁盘上。头部将包含元数据,如时间戳、键大小和值。
  • 在磁盘上存储和检索数据
  • 读取现有的CaskDB文件以加载所有键

任务

  1. 阅读论文。fork此仓库并检出start-here分支
  2. 实现固定大小的头部,可以同时编码时间戳(无符号整数,4字节)、键大小(无符号整数,4字节)、值大小(无符号整数,4字节)
  3. 实现键、值序列化器,并通过test_format.py中的测试
  4. 找出如何在磁盘上存储数据以及在内存中存储行指针。实现get/set操作。相关测试在test_disk_store.py
  5. 任务#2和#3中的代码应该足以读取现有的CaskDB文件并将键加载到内存中

使用make lint运行mypy、black和pytype静态分析器。运行make test在本地运行测试。将代码推送到Github,测试将在不同的操作系统上运行:ubuntu、mac和windows。

不确定如何继续?查看hints文件,其中包含更多关于任务的详细信息和提示。

提示

  • 查看Python中struct.pack的文档,了解序列化方法
  • 不确定如何设计文件格式?阅读format模块中的注释

下一步?

我经常收到关于基本实现之后该做什么的问题。以下是一些挑战(难度不同)

第1级:

  • 崩溃安全:bitcask论文在行中存储CRC,在获取行时验证数据
  • 键删除:CaskDB没有删除API。阅读论文并实现它
  • 不使用哈希表,而是使用红黑树等数据结构来支持范围扫描
  • CaskDB只接受字符串作为键和值。使其通用,接受其他数据结构,如整数或字节
  • 当前实现在启动时将值加载到内存中。这是不必要的,可以避免。只需跳过值字节,只读取键就足以构建KeyDir

第2级:

  • 提示文件以改善启动时间。论文中有更多详细信息
  • 实现内部缓存,存储一些键值对。你可以探索和尝试不同的缓存淘汰策略,如LRU、LFU、FIFO等
  • 当文件达到特定容量时,将数据拆分为多个文件

第3级:

  • 支持多进程
  • 垃圾收集器:更新和删除的键仍然存在于文件中并占用空间。编写垃圾收集器以删除这些过时数据
  • 添加SQL查询引擎层
  • 在值中存储JSON,探索将CaskDB作为文档数据库(如MongoDB)
  • 通过探索raft、paxos或一致性哈希等算法,使CaskDB分布式化

名称

这个项目最初命名为cdb,现在改名为CaskDB。

代码行数

$ tokei -f format.py disk_store.py =============================================================================== 语言 文件数 行数 代码 注释 空行 =============================================================================== Python 2 391 261 103 27 ------------------------------------------------------------------------------- disk_store.py 204 120 70 14 format.py 187 141 33 13 =============================================================================== 总计 2 391 261 103 27 ===============================================================================

贡献

欢迎所有贡献。请查看CONTRIBUTING.md了解更多详情。

许可证

MIT许可证。请查看LICENSE文件了解更多详情。

编辑推荐精选

Vora

Vora

免费创建高清无水印Sora视频

Vora是一个免费创建高清无水印Sora视频的AI工具

Refly.AI

Refly.AI

最适合小白的AI自动化工作流平台

无需编码,轻松生成可复用、可变现的AI自动化工作流

酷表ChatExcel

酷表ChatExcel

大模型驱动的Excel数据处理工具

基于大模型交互的表格处理系统,允许用户通过对话方式完成数据整理和可视化分析。系统采用机器学习算法解析用户指令,自动执行排序、公式计算和数据透视等操作,支持多种文件格式导入导出。数据处理响应速度保持在0.8秒以内,支持超过100万行数据的即时分析。

AI工具酷表ChatExcelAI智能客服AI营销产品使用教程
TRAE编程

TRAE编程

AI辅助编程,代码自动修复

Trae是一种自适应的集成开发环境(IDE),通过自动化和多元协作改变开发流程。利用Trae,团队能够更快速、精确地编写和部署代码,从而提高编程效率和项目交付速度。Trae具备上下文感知和代码自动完成功能,是提升开发效率的理想工具。

AI工具TraeAI IDE协作生产力转型热门
AIWritePaper论文写作

AIWritePaper论文写作

AI论文写作指导平台

AIWritePaper论文写作是一站式AI论文写作辅助工具,简化了选题、文献检索至论文撰写的整个过程。通过简单设定,平台可快速生成高质量论文大纲和全文,配合图表、参考文献等一应俱全,同时提供开题报告和答辩PPT等增值服务,保障数据安全,有效提升写作效率和论文质量。

AI辅助写作AI工具AI论文工具论文写作智能生成大纲数据安全AI助手热门
博思AIPPT

博思AIPPT

AI一键生成PPT,就用博思AIPPT!

博思AIPPT,新一代的AI生成PPT平台,支持智能生成PPT、AI美化PPT、文本&链接生成PPT、导入Word/PDF/Markdown文档生成PPT等,内置海量精美PPT模板,涵盖商务、教育、科技等不同风格,同时针对每个页面提供多种版式,一键自适应切换,完美适配各种办公场景。

AI办公办公工具AI工具博思AIPPTAI生成PPT智能排版海量精品模板AI创作热门
潮际好麦

潮际好麦

AI赋能电商视觉革命,一站式智能商拍平台

潮际好麦深耕服装行业,是国内AI试衣效果最好的软件。使用先进AIGC能力为电商卖家批量提供优质的、低成本的商拍图。合作品牌有Shein、Lazada、安踏、百丽等65个国内外头部品牌,以及国内10万+淘宝、天猫、京东等主流平台的品牌商家,为卖家节省将近85%的出图成本,提升约3倍出图效率,让品牌能够快速上架。

iTerms

iTerms

企业专属的AI法律顾问

iTerms是法大大集团旗下法律子品牌,基于最先进的大语言模型(LLM)、专业的法律知识库和强大的智能体架构,帮助企业扫清合规障碍,筑牢风控防线,成为您企业专属的AI法律顾问。

SimilarWeb流量提升

SimilarWeb流量提升

稳定高效的流量提升解决方案,助力品牌曝光

稳定高效的流量提升解决方案,助力品牌曝光

Sora2视频免费生成

Sora2视频免费生成

最新版Sora2模型免费使用,一键生成无水印视频

最新版Sora2模型免费使用,一键生成无水印视频

下拉加载更多