Background

我在做完课程 6.824: Distributed Systems Spring 2021 lab1-lab3的之后，实现了一个真正可持久化的Fault-tolerant Key/Value Service。 这个系统主要涉及lab2、lab3的内容，因此在这个过程中，我尝试对raft和server做了许多’优化‘。为了确保这些’优化‘不会出现bug， 我将优化也同样地应用在了lab上，并使用测试脚本进行了多次测试。 能够稳定通过测试的’优化‘得以保留，其他的则予以淘汰。

我会在这里分享关于lab2、lab3的一些思考，并提供lab实现思路。为了防止抄袭代码从而影响课程的学生，我只会结合部分代码进行讲解， 不提供完整的lab代码！！！

Contents

• Lab 2: Raft

  • 优化一：利用sync.Cond，将applyLog方法由轮询改为条件变量等待

  • 优化二：利用公平锁机制，在InstallSnapshot方法里直接安装snapshot，CondInstallSnapshot方法永远返回true

  • 优化三：利用计时器，更严格地控制leader发送heartbeat和follower开始election的间隔

• Lab 3: Fault-tolerant Key/Value Service

  • 思考1：server如何知晓命令已经达成共识？

  • 思考2：多个client提交raft的命令得到的commandIndex在什么情况下会相同？

  Lab 4: Sharded Key/Value Service

  • 思考1：如何转移最少的shard达到最均衡的状态？

• lab的题外话

  • 1：server是否需要进行重复命令的检测？

  • 2：server如何生成唯一的分布式标识？

  • 3: raft如何保证持久化是原子性的？

Maintainers

@Yoimbi

Contribute

如果你对这两个实验有自己的思考或者思路存在一定的bug等，欢迎加入讨论！