
IPFS Cluster With Erasure Coding
介绍 IPFS 与 IPFS Cluster 的内容寻址和集群容错机制,并说明用 Reed-Solomon 纠删码优化副本存储的设计与限制。
关于分布式系统、机器学习系统与工程实践的个人研究笔记。

介绍 IPFS 与 IPFS Cluster 的内容寻址和集群容错机制,并说明用 Reed-Solomon 纠删码优化副本存储的设计与限制。
对照 Classic、Multi 与 Fast Paxos 的阶段和术语,分析 Multi-Paxos 与 Raft 在选主、日志继承和提交规则上的差异。
说明 PBFT 在 3f+1 节点下的 pre-prepare、prepare、commit 三阶段流程,以及检查点回收和 view change 机制。
梳理 GFS 的设计目标、主从架构、一致性模型、租约写入、原子追加、快照、命名空间锁与垃圾回收机制。
梳理 Bigtable 的行列时间戳数据模型、LSM-Tree 存储结构,以及 master、tablet server 和元数据定位机制。
从强最终一致性、半格与合并操作出发,解释 CRDT 的收敛条件及其在 IPFS Cluster Merkle DAG 中的应用。
解读 Lamport 对 happened-before、偏序与逻辑时钟的定义,并梳理从事件全序到物理时钟同步的推导。
从线性冗余、Vandermonde 编码矩阵和 GF(2^8) 运算出发,推导 Reed-Solomon 的编码与数据恢复过程。
记录 xv6 中添加用户函数与系统调用的文件入口,并梳理从 ECALL 陷入内核到返回用户态的完整路径。