要点

1. Figure 8
2. 线性一致性
3. 快照安装时的线性一致性保证

项目简介

编程模型

• epoll I/O多路复用

• ET边沿触发+EPOLLONESHOT

• 今天在做1017. 负二进制转换 - 力扣（Leetcode）的时候涉及到了负数取模问题，逼迫我对这个知识点进行了学习。
• 题目描述如下：

Raft的一致性复制过程

1. 客户端向leader发送请求
2. leader向自己的日志增加一条新entry，然后向所有的follower并行发送AppendEntries RPC来复制这条新entry。AppendEntries RPC可以一次性发送多条entry。
3. follower通过AppendEntries RPC中的prevLogIndex和prevLogTerm查找本地是否拥有这条entry的前一条entry，如果有，则删除其后所有冲突的entry，然后添加新entry，向leader发送success响应
4. 当leader接收到来自过半数follower的success响应时，则将这条entry标记为commited，并在随后发送的AppendEntries RPC中将最新的leaderCommit发送给所有follower

Parallel Data Compression With Bzip2（分块压缩）

压缩算法的分类

• 字典算法
  • LZ77（ZIP、GZIP）
  • LZW（自适应）
  • 并行研究

基于play framework的APP托管平台的设计与实现（北京邮电大学 硕士论文 2018）

• bsdiff/bspatch+Linux rsync

基于文件分块的大文件更新策略

解决的问题

1. 客户端使用bspatch进行解压时，内存消耗过大

简介

easy_note为一个hertz+kitex+gorm样例项目。

• 项目地址：biz-demo/easy_note at main · cloudwego/biz-demo (github.com)

相关资料

Kitex官方文档：Kitex | CloudWeGo

设计思路

实验3b需要解决的问题：

如何判断snapshot的时机？

persister.RaftStateSize()返回已经持久化的raft日志（连同若干个需要持久化的变量）的大小。server持续调用该函数，当返回值等于maxraftstate的时候进行snapshot。需要处理maxraftstate==-1的情况。snapshot时还需要传入snapshot对应的最后一条raft日志的下标，需要多维护一个变量。

snapshot包含什么？

snapshot包含KV数据库的底层map和一些用于维护一致性的变量。当服务器重启时，Persister中保存的snapshot直接复制到server层即可。

maxraftstate是否需要持久化到Persister当中？

不需要，因为maxraftstate是StartKVServer()的参数，在启动server时被传入。

当server从applyCh中读到snapshot时应该执行什么操作？

直接覆盖原有database即可。

如何保证指令的去重？

将maxOpIndexs保存到snapshot当中，进行持久化。

简介

相关资料

MIT 6.824 Lab3 翻译（Key/Value Server Base on Raft） - 知乎 (zhihu.com)

实现踩坑过程

首先按照自己的思路进行了基本实现，踩了许多坑。

错误1：

Test: one client (3A)

Basic Paxos

Basic Paxos工作流程如下：

问题记录

为什么Paxos使用两阶段协议？

单阶段协议，无论是Accepter只接受第一个值或接受所有的值，都有可能会造成split vote或者多个值同时被chosen。

split vote的情况：