Skip to content
@system-in-miniature

System in Miniature

Faithful teaching kernels of production systems, in Python — mechanisms made inspectable, divergences declared, experiments runnable. 生产系统的 Python 教学内核。
README.md

System in Miniature

Faithful teaching kernels for mainstream infrastructure systems: core mechanisms made inspectable, differences stated explicitly, and experiments kept runnable.
主流基础设施系统的 Python 教学内核：核心机制高保真、差异显式声明、实验可直接运行。

These projects are educational kernels, not production replacements.
这些项目是教学内核，不是生产系统的替代品。

Project / 项目 Mirrors / 对标系统 Teaching focus / 一句话主题 Tutorial / 教程 Implementation / 实现 Docs / 文档
MiniKafka Apache Kafka Partitioned logs, replication, consumer groups, and transactions / 分区日志、复制、消费组与事务 教程 Tutorial implementation polished docs expansion tracked
MiniRedis Redis Typed in-memory structures, expiration, persistence, and async replication / 类型化内存结构、过期、持久化与异步复制 教程 Tutorial implementation polished docs expansion tracked
MiniPostgres PostgreSQL SQL planning and execution over pages, indexes, MVCC, and WAL / SQL 规划执行、页与索引、MVCC 和 WAL 教程 Tutorial implementation polished docs expansion tracked
MiniQdrant Qdrant Filtered vector search, immutable segments, optimization, and recovery / 过滤向量检索、不可变段、优化与恢复 教程 Tutorial implementation polished lab paths tracked
MiniLucene Apache Lucene Analysis, positional indexes, BM25, NRT readers, and segment merge / 文本分析、位置索引、BM25、NRT 与段合并 教程 Tutorial implementation polished labs pending
MiniDist Redis-style replication / textbook Raft Async primary–replica and Raft under one deterministic fault model / 在同一确定性故障模型下对照异步主从复制与 Raft 教程 Tutorial M2 milestone docs available
MiniMongoDB MongoDB Document semantics, array-aware queries, oplog, and journal recovery / 文档语义、数组查询、oplog 与日志恢复 教程 Tutorial M1 milestone docs available
MiniS3 Amazon S3 Object versioning, delete markers, listing, and crash-safe publication / 对象版本、删除标记、列举与崩溃安全发布 教程 Tutorial M1 milestone docs available

Series targets / 系列约定目标

Progress is tracked per repository; these are shared targets rather than a claim that every project already has identical coverage. / 完成度逐仓库追踪；以下是共享目标，不代表每个项目已经具备完全相同的覆盖。

  1. Map teaching mechanisms to the real system and classify semantic relationships explicitly. / 将教学机制映射回真实系统，并显式分类语义关系。
  2. Every semantic divergence is declared explicitly. / 与真实系统的语义背离必须显式声明。
  3. Grow runnable labs or examples alongside tests, with availability stated per project. / 在测试之外逐步补齐 labs 或 examples，并按项目声明可用性。

Open the learning portal → · 进入学习门户 →

Pinned Loading

  1. mini-redis mini-redis Public

    Teaching kernel of Redis: typed structures, expiry, LRU/LFU eviction, AOF-style persistence, partial resync. Python, deterministic, bilingual docs.

    Python

  2. mini-kafka mini-kafka Public

    Teaching kernel of Apache Kafka: log segments, ISR/HW replication, idempotence, transactions, consumer groups. Python, deterministic, bilingual docs.

    Python

  3. mini-postgres mini-postgres Public

    Teaching kernel of PostgreSQL: MVCC, WAL, isolation levels, B+Tree, cost-based planning, VACUUM/HOT. Python, bilingual docs.

    Python

  4. mini-lucene mini-lucene Public

    Teaching kernel of Apache Lucene: inverted index, segments/NRT, BM25, atomic commits. Python, bilingual docs.

    Python

  5. mini-dist mini-dist Public

    Replication protocol spectrum under one deterministic simulation: async primary-backup vs Raft, head-to-head experiments. Python, bilingual docs.

    Python

  6. mini-qdrant mini-qdrant Public

    Teaching kernel of Qdrant: HNSW, payload filtering, quantization, segments, WAL, snapshots. Python, deterministic, bilingual docs.

    Python

Repositories

Showing 10 of 10 repositories

Top languages

Loading…

Most used topics

Loading…