源代码参见我的github:https://github.com/YaoZengzeng/MIT-6.824
Lab 2：Primary/Backup Key/Value Service
Overview of lab 2
在本次实验中，我们将使用primary/backup replication 来提供能够容错的key/value service。为了让所有的clients和severs都认同哪个server是primary，哪个server是backup，我们将引入一个master service，叫viewservice。viewservice将监控那些可获取的server中哪些是死的，哪些是活的。如果当前的primary或者backup死了的话，viewservice将选择一个server去替代它。client通过检查viewservice来获取当前的primary。servers通过和viewservice合作来确保在任意时间至多只有一个primary。
我们的key/value service要能够对failed servers进行替换。当一个primary故障的时候，viewservice会从backup中选择一个作为新的primary。当一个backup故障或者被选为primary之后，如果有可用的空闲的server，viewservice就会将它变成backup。primary会将整个数据库都传送给新的backup，也会将之后的Puts操作的内容传送给backup，从而保证backup的key/value数据库和primary相同。
事实上，primary必须将Gets和Puts操作传送给backup（如果存在的话），并且直到收到backup的回应之后，才回复client。这能防止两个server同时扮演primary的角色（a "split brain"）。例如：S1是primary，S2是backup。viewservice（错误地）认为S1死了并且将S2提升为新的primary。但是client仍然认为S1是primary，并且向它发送了一个operation。S1会将该operation传送给S2，S2将回复一个错误，告诉S1它不再是backup了（假设S2从viewservice中获得了新的view）。于是S1将返回给client一个错误，表明S1可能不再是primary了（因为S2拒绝了operation，因此肯定是一个新的view已经形成了）。之后，client将询问viewservice获取正确的primary（S2）并且向它发送operation。
发生故障的key/value server需要进行重启，但是此时我们不需要对replicated data（那些key和value）进行拷贝。这说明，我们的key/value server是将数据保存在内存而不是磁盘上的。只将数据保存在内存中的一个后果是，如果没有backup，primary发生故障了并且进行了重启操作，那么它将不能再扮演primary。
在clients和servers之间，不同的servers之间，以及不同的clients之间，RPC是唯一的交互方式。例如，不同的server实例之间是不允许共享Go变量或者文件的。
上文描述的设计存在一些容错和性能方面的限制，使它很难在现实世界中应用：
（1）、viewservice是非常脆弱的，因为它没有进行备份
（2）、primary和backup必须一次执行一个operation，限制了它们的性能
（3）、recovering server必须从primary中拷贝整个key/value对的数据库，即使它已经拥有了几乎是最新的数据，这是非常慢的（例如，可能因为网络的问题从而少了几分钟的更新）。
（4）、因为servers不将key/value数据库存放在磁盘中，因此不能忍受server的同时崩溃（例如，整个site范围内的断电）
（5）、如果因为一个临时的问题妨碍了primary和backup之间的通信，系统只有两种补救措施：改变view，从而消除通信障碍的backup，或者不断地尝试，不管是哪种方式，如果这样的问题老是发生的话，性能都不会很好
（6）、如果primary在确认它自己是primary的view之前发生故障了，那么viewservice将不能继续执行-----它将不断自旋并且不会改变view
在之后的实验中，我们将通过更好的设计和协议来解决这些限制。而本实验会让你明白在接下来的实验中将要解决哪些问题。
本实验中的primary/backup 方案并没有基于任何已知的协议。事实上，本实验并没有指定一个完整的协议，我们必须要自己对细节进行处理。本实验其实和Flat Datacenter Storage有些类似（viewservice就像FDS的metadata center，primary/backup server就像FDS中的tractserver），不过FDS花了更多的功夫在性能优化上。本实验的设计还和MongoDB中的replica set有些类似，虽然MongoDB是通过Paxos-like的选举来选择leader的。对于primary-backup-like protocal的细节描述，可以参见Chain Replication的实现。Chain Replication比本实验的设计有更好的性能，虽然它的viewservice并不会宣布一个server的死亡，如果它仅仅只是参与的话。参见Harp and Viewstamped Replication，可以发现它对高性能primary/backup 的细节处理以及在各种各样的故障之后对系统状态的重构操作。
Part A: The Viewservice
viewservice会经过一系列标号的view，每一个view都有一个primary和一个backup（如果有的话）。一个view由一个view number和view的primary和backup severs的identity（network port number）组成。一个view的primary必须是前一个view的primary或者backup。这确保了key/value的状态能够保存下来。当然有一个例外：当viewservice刚刚启动的时候，它要能够接受任何server作为第一个primary。view中的backup可以是除了primary之外的任何一个server，如果没有可用的server的话，也可以没有backup。（通过空字符串表示，“”）
每一个key/value server都会在每隔一个PingInterval发送一个Ping RPC给viewservice，viewservice则会回复当前view的描述。Ping让viewservice知道key/value server仍然活着，同时通知了key/value server当前的view，还让viewservice了解key/value server知道的最新的view。如果viewservice经过DeadPings PingIntervals还没有从server收到一个Ping，那么viewservice认为该server已经死了。当一个server在崩溃重启之后，它需要向viewservice发送一个或多个带有参数0的Ping来告知viewservice它崩溃过了。
当（1）viewservice没有从primary和backup中获取最新的Ping，（2）primary或者backup崩溃并且重启了，（3）如果当前没有backup并且有空闲的server出现的时候（一个server ping过了，但是它既不是primary也不是backup），viewservice 都会进入一个新的view。但是在当前view的primary确认它正在当前的view进行操作之前（通过发送一个带有当前view number的Ping），viewservice是一定不能改变view的。当viewservice仍然未收到当前view的primary对于当前view的acknowledgment之前，它不能改变view，即使它认为primary或者backup已经死了。简单地说就是，viewservice不能从view X进入view X+1，如果它还没有从view X的primary接收到Ping（X）。
这个acknowledge规则防止了viewservice的view超过key/value server一个以上。如果viewservice能领先任意个view，那么我们需要更加复杂的设计，从而保证在viewservice中保存view的历史，从而能让key/value server能够获得之前老的view，并且要在合适的时候对老的view进行回收。这种acknowledgment规则的缺陷是，如果primary在它确认自己是primary的view之前出现故障了，那么viewservice就不能再改变view了。
源码分析之ViewService部分
ViewServer结构如下所示：
type ViewServer struct {
mu sync.Mutex
l net.Listener
dead int32 // for testing
rpccount int32 // for testing
me string
// Your declaration here.
}
// src/viewservice/server.go
func StartServer(me string) *ViewServer
（1）、首先填充一个*ViewServer的数据结构
（2）、调用rpcs := rpc.NewServer()和rpcs.Register(vs)，注册一个rpc server
（3）、调用l, e := net.Listen("unix", vs.me)，vs.l = l建立网络连接
（4）、生成两个goroutine，一个用于接收来自client的RPC请求并生成goroutine处理，另一个goroutine每隔PingInterval调用一次tick()
源码分析之Clerk部分
Clerk结构如下所示：
// the viewservice Clerk lives in the client and maintains a little state
type Clerk struct {
me string // client's name (host:port)
server string // viewservice's host:port
}
// src/viewservice/client.go
func MakeClerk(me string, server string) *Clerk
该函数只是简单地填充一个*Clerk结构并返回而已
// src/viewservice/client.go
func (ck *Clerk) Ping(viewnum int) (View, error)
创建变量args := &PingArgs{}，并进行填充，接着调用ok := call(ck.server, "ViewServer.Ping", args, &reply)且返回reply.View
源码分析之view部分
View结构如下所示：
type View struct {
Viewnum int
Primary string
Backup string
}
Ping相关的结构如下所示：
// If Viewnum is zero, the caller is signalling that it is alive and could become backup if needed
type PingArgs struct {
Me string // "host:port"
Viewnum uint // caller's notion of current view #
}
type PingReply struct {
View View
}
Get相关的结构如下：
// Get(): fetch the current view, without volunteering to be a server.mostly for clients of p/b service, and for testing
type GetArgs struct {
}
type GetReply struct {
View View
}
// the viewserver will declare a client dead if it misses this many Ping RPCs in a row
const DeadPings = 5
Part B: The primary/backup key/value service
Clients通过创建一个Clerk object来使用service，并且调用它的方法来给service传递RPC。我们的key/value service应该能够持续执行正确的操作，如果不存在没有一个server可用的时刻。同时，当发生部分故障时，也应该要执行正确：例如一个server遇到了短暂的网络问题，但是没有崩溃，或者能够和一些机器进行通信，和其他一些机器不能通信。如果我们的service仅仅运行在一台机器上，那么它应该要能够利用起刚刚恢复的或者空闲的server(作为backup)，从而能够忍受server的故障。
正确的操作意味着在调用Clerk.Get(k)返回key对应的最新的value。如果该key从未被设置过，那么value是一个空的字符串，否则它就是经过连续的Clerk.Put(k, v)或者Clerk.Append(k, v)之后的值。所有的操作应该要提供at-most-once语义
不过我们需要假设viewservice不会宕机或崩溃
我们的clients和servers都只能通过RPC进行通信，clients和servers都必须通过client.go中的call()来发送RPCs请求。
我们必须保证在每一时刻只有一个primary。我们必须非常清楚为什么要这样设计。例如：在一些view中，S1是primary；之后viewservice改变了view，S2变成了primary，但是S1并不知道新的view并且依然认为它是primary。之后，一些clients和S1进行通信，一些clients和S2进行通信，并且它们看不到互相的Puts()操作。
如果一个server不是primary，那么它不应该回复clients，或者返回给clients一个错误；它应该设置GetReply.Err或者PutReply.Err而不是返回OK。
Clerk.Get()，Clerk.Put(), Clerk.Append()应该完成了完整操作之后再返回。这意味着，Put()/Append()在更新key/value数据库之前不断尝试，而Clerk.Get()应该不断尝试直到获取key对应的当前的value（如果存在的话）。我们的server应该能够解析出因为clients不断重试产生的重复的RPC从而确保操作的at-most-once语义。我们可以假设每个clerk每一时刻只进行一个Put或Get操作。仔细想想Put操作的commit point。
一个server不应该每获取一个Put/Get就和viewservice进行对话，因为这会让viewservice成为性能和容错的瓶颈。事实上，servers应该定期地Ping viewservice去获取最新的view。同样地，client也不应该每发送一个RPC就和viewservices进行通信，相反，Clerk应该对当前的primary进行缓存，并且只在当前primary貌似已经死亡的时候才和viewservices进行通信。
one-primary-at-a-time策略部分依赖于viewservice只能将view i的backup提升为view i+1的primary。如果view i的old primary试着处理一个client request，它会先将请求发送给它的backup。如果backup还没有听到view i+1，那么它就还没像primary一样工作，所以不会有什么不好的影响。如果backup已经听到了view i+1并且已经作为primary工作了，那么它应该已经知道怎么处理来自old primary的client request了。
我们应该确保backup能够看到key/value数据库的每一次更新操作，通过primary用完整的key/value数据库对它进行初始化，以及转发之后所有的client operations。我们的primary应该只将每个Append()的参数转发给backup，不要转发结果值，因为可能很大。
源码分析之pbservice.server
PBservice结构如下所示：
type PBServer struct {
mu sync.Mutext
l net.Listener
dead int32 // for testing
unreliable int32 // for testing
me string
vs *viewservice.Clerk
// Your declaration here.
}
// src/pbservice/server.go
1、func StartServer(vshost string, me string) *PBServer
（１）、该函数主要工作是填充数据结构PBServer：pb := new(PBServer)，pb.me = me，pb.vs = viewservice.MakeClerk(me, vshost)
（２）、之后再创建一个rpc server，并且调用l, e := net.Listen("unix", pb.me)和pb.l = l对地址进行监听
（３）、之后再生成两个goroutine，第一个goroutine用于处理rpc请求，另一个goroutine用于定期调用pb.tick()
// src/pbservice/server.go
func (pb *PBServer) setunreliable(what bool)
当what为true时，设置pb.unreliable为１，否则设置pb.unreliable为０
// tell the server to shut itself down.
func (pb *PBServer) kill()
设置pb.dead为１,再调用pb.l.Close()
源码分析之pbservice.client
Clerk的数据结构如下所示：
type Clerk struct {
vs *viewservice.Clerk
// Your declaration here
}
// src/pbservice/client.go
1、func MakeClerk(vshost string, me string) *Clerk
该函数仅仅只是对Clerk进行填充
------------------------------------------------------------------------------------------------ 测试框架分析 -----------------------------------------------------------------------------------------------
Part A：
1、src/viewservice/test_test.go
func check(t *testing.T, ck *Clerk, p string, b string, n uint)
该函数首先调用view, _ := ck.Get()获取当前的view，并比较view的Primary，Backup和p, b是否相等，并且在n不为0的时候，比较n和view.Viewnum是否相等。
最后调用ck.Primary()比较和p是否相等。
2、src/viewservice/test_test.go
func Test1(t *testing.T)
（1）、首先调用runtime.GOMAXPROCS(4)，再指定viewservice的port，vshost := port("v")，格式为“/var/tmp/824-${uid}/viewserver-${pid}-v”
（2）、调用vs := StartServer(vshost)启动viewservice
（3）、调用cki := MakeClerk(port("i"), vshost)，i = 1, 2, 3,启动3个server
（4）、当ck1.Primary() 不为空时，则报错，因为此时不应该有primary。
primary: ck1
Test： First primary ...
每隔一个PingInterval ck1都调用一次ck1.Ping(0)操作，直到返回的view.Primary 为ck1.me退出，最多循环DeadPings * 2次
primary: ck1, backup: ck2
Test：First backup...
首先调用vx, _ := ck1.Get获取当前的view，每隔PingInterval ck1都调用一次ck1.Ping(1)，之后ck2调用view, _ := ck2.Ping(0)操作，直到返回的view.Backup为ck2.me时退出，最多循环DeadPings * 2次。
primary: ck2
Test：Backup takes over if primary fails...
首先通过调用ck1.Ping(2)确认以下view 2。再调用vx, _ := ck2.Ping(2)获取viewservice当前的view，再每隔PingInterval 调用一次v, _ := ck2.Ping(vx.Viewnum)，直到v.Primary == ck2.me并且v.Backup == ""为止，最多循环DeadPings * 2次。
primary: ck2, backup: ck1
Test：Restarted server becomes backup...
首先调用vx, _ := ck2.Get()和ck2.Ping(vx.Viewnum)来ack当前的view，再执行ck1.Ping(0)和v, _ := ck2.Ping(vx.Viewnum)操作，
直到v.Primay == ck2.me && v.Backup == ck1.me为止，最多循环DeadPings * 2次
primary: ck1, backup: ck3
Test：Idle third server becomes backup if primary fails...
// start ck3, kill the primary (ck2), the previous backup (ck1) should become server, and ck3 the backup.
// this should happen in a single view change, without any period in which there's no backup
首先调用vx, _ := ck2.Get()和ck2.Ping(vx.Viewnum)确认当前的view，然后调用ck3.Ping(0); v, _ := ck1.Ping(vx.Viewnum)，来等待primary的死亡，
backup变为primary，idle server变为backup。
primary: ck3
Test：Restarted primary treated as dead ...
// kill and immediately restart the primary -- dose viewservice conclude primary is down even though it's pinging
首先还是确认当前view，再循环调用ck1.Ping(0)和ck3.Ping(vx.Viewnum)，直到v.Primary != ck1.me为止，最多循环DeadPings * 2次
跳出循环后再调用vy, _ := ck3.Get()，当vy.Primary != ck3.me时，报错
Test：Dead backup is removed from view...
// set up a view with just 3 as primary to prepare for the next test
循环 DeadPings * 3次，使得只有ck3这个server存在，作为primary
Test：Viewserver waits for primary to ack view...
// does viewserver wait for ack of previous view before starting the next one
// set up p=ck3, b=ck1, but do not ack
调用vx,_ := ck1.Get()，ck1.Ping(0)，ck3.Ping(vx.Viewnum)，使得viewservice进入下一个view。但是primary并不ack。
// ck3 is the primary , but it never acked. let ck3 die, check that ck1 is not promoted
调用vy, _ := ck1.Get()，调用DeadPings * 3次ck1.Ping(vy.Viewnum)，再进行check，只要原本是backup的ck1不变为primary即可
Test：Uninitialized server can't become primary...
// if old servers die, check that a new (uninitialized) server cannot take over
循环DeadPings * 2次：v, _ := ck1.Get()，ck1.Ping(v.Viewnum)，ck2.Ping(0)，ck3.Ping(v.Viewnum)
Part B:
// check函数
func check(ck *Clerk, key string, value string):
首先调用v := ck.Get(key)获取key对应的值，再将该值和预期的value进行对比，有错则退出。
// check that all known appends are present in a value,
// and are in order for each concurrent client.
func checkAppends(t *testing.T, v string, counts []int)：
针对每个client，检验每个扩展元素的顺序是否正确，以及是否存在重复
func proxy(t *testing.T, port string, delay *int32)
// 其中port就是s1的地址
（１）、首先创建变量portx := port + "x"，再调用os.Rename(port, portx)，l, err := net.Listen("unix", port)
（２）、接下来做的实际操作就是先从l调用Accept操作，休眠delay秒，然后再启动一个client Dial portx端口，最后将l中读入的数据写入client，再将这些数据从client写回l，从而达到延时的效果。
// src/test_test.go
func TestBasicFail(t *testing.T):
１、Test: Single primary, no backup...
（１）、调用vshost := port(tag+"v", 1)创建viewservice的通信端口。再调用vs := viewservice.StartServer(vshost)和vck := viewservice.MakeClerk("", vshost)分别创建viewservice和clerk。
（２）、再调用ck := MakeClerk(vshost, "")创建一个clerk名为ck，以及s1 := StartServer(vshost, port(tag, 1))
设置deadtime := viewservice.PingInterval * viewservice.DeadPings，再睡眠deadtime，调用vck.Primary() != s1.me则返回错误，再连续调用ck.Put()和ck.Append()，并用check()进行确认。
２、Test: Add a backup ...
调用s2 := StartServer(vshost, port(tag, 2))启动backup，并确认s2是backup。再进行一次Put操作，之后暂停3 * viewservice.PingInterval时间，等待backup初始化完成，最后，再调用一个一次Put操作。
３、Test: Primary failure...
调用s1.kill()杀死primary，并确认s2变成了primary，最后做一些check操作
// kill solo server, start new server, check that it does not start serving as primary
4、Test: kill last server, new one should not be active...
首先调用s2.kill()杀死s2，此时没有可用的server，再调用s3 := StartServer(vshost, port(tag, 3))启动一个新的server，再进行Get操作，如果不能成功，则测试通过
func TestAtMostOnce(t *testing.T)：
（１）、首先启动一个vshost和vck，再启动nservers个server，并且对每个server调用setunreliable(true)，其中nservers为1。
（２）、循环viewservice.DeadPings * 2次，直到view.Primay和view.Backup都不为空时退出循环
（３）、休眠viewservice.PingInterval * viewservice.DeadPings，give p+b time to ack, initialize
（４）、创建一个client，调用ck.Append()一百次，每次扩展索引号i，最后测试
// Put right after a backup dies
func TestFailPut(t *testing.T )：
（１）、启动viewservice和3个server，直到Primary和Backup不为空为止，休眠1s，等待backup初始化完成，确定Primary为S1，Backup为S2
（２）、进行一系列的Put操作，再kill Backup，之后马上进行Put操作。循环viewservice.DeadPings * 3次，直到Viewnum更新，Priamry和Backup不为空为止
（３）、休眠１s，直到Backup初始化完成，并且确保Primary为S1，Backup为S3，之前的Put操作结果正确
（４）、kill Primary，然后马上进行Put操作，循环DeadPings * 3次，直到Viemnum更新，Primary不为空为止，最后对结果进行测试
// do a bunch of concurrent Put()s on the same key,
// then check that primary and backup have identical values.
// i.e. that they processed the Put()s in the same order
func TestConcurrentSame(t *testing.T)：
（１）、启动viewservice和两个server，分别作为Priamry和Backup。
（２）、启动三个goroutine，并行地进行Put操作
（３）、从Primary中读取之前Put的key的值
（４）、kill Primary，再从之前的Backup，现在的Primary中读取值，并检验Backup和Primary的数据是否一致
// do a bunch of concurrent Append()s on the same key,
// then check that primary and backup have identical values.
// i.e. that they processed the Append()s in the same order.
func TestConcurrentSameAppend(t *testing.T)：
（１）、启动viewservice和两个server，分别作为Primary和Backup
（２）、启动三个goroutine，每个goroutine都进行顺序地append操作
（３）、检验Primary中的操作是否正确
（４）、kill Primary，再从之前的Backup，现在的Primary中读取值，并检验Backup和Primary的数据是否一致
func TestConcurrentSameUnreliable(t *testing.T)：
（１）、启动viewservice和两个unreliable的server，分别作为Primary和Backup
（２）、启动三个goroutine，并行地进行Put操作
（３）、检验Primary中的操作是否正确
（４）、kill Primary，再从之前的Backup，现在的Primary中读取值，并检验Backup和Primary中的数据是否一致
// constant put/get while crashing and restarting servers
func TestRepeatedCrash(t *testing.T)：
（１）、启动viewservice和三个server
（２）、启动一个goroutine，用于kill server并且重启，而且会等待足够长的时间，用于新form的形成和Backup的初始化
（３）、启动三个goroutine，并发地进行Put操作并用Get检验
（４）、最后再进行一次Put操作并检验
func TestRepeatedCrashUnreliable(t *testing.T)：
（１）、启动viewservice和三个unreliable的server
（２）、启动一个goroutine，用于kill server并且重启，而且会等待足够长的时间，用于新form的形成和Backup的初始化
（３）、启动两个goroutine，针对同一个key进行持续的Append操作，最后对Append的结果进行检验
（４）、最后再进行一次Put操作，并检验结果
func TestPartition1(t *testing.T)：
Test: Old primary does not server Gets ...
（１）、启动viewservice和一个server s1，该server走vshosta
（２）、创建变量vshosta := vshost + "a"，并创建vshosta到vshost的软链接，调用proxy(t, port(tag, 1), &delay)，proxy只是做了一个延时操作，仅此而已
（３）、再启动一个server s2作为backup，再进行一次Put("a", "1")操作并检查，最后删除vshosta
// start a client Get(), but use proxy to delay it long enough that it won't reach s1 until after s1 is no longer the primary
（4）、将delay的值设为４，创建一个管道stale_get，并启动一个goroutine，做一次Get("a")操作，如果Get的结果和之前的Put操作一致，则从管道输出true，否则输出false
// now s1 cannot talk to viewserver, so view will change, and s1 won't immediately realize
（５）、循环，直到s2变为primary
// wait long enough that s2 is guaranteed to have Pinged the viewservice, and thus that s2 must know about the new view
（６）、睡眠两个viewservice.PingInterval，并且改变键"a"的值为"111"
（７）、如果从上文的管道中得到的值不为空，则出错，最后检查键"a"的值是否为"111"
func TestPartition2(t *testing.T)
（１）、启动viewservice和一个server s1，该server走vshosta
（２）、创建变量vshosta := vshot + "a"，并创建vshosta到vshost的软链接
（３）、再启动server s2作为backup，再进行一次Put("a", "1")操作并检查，最后删除vshosta
// start a client Get()，but use proxy to delay it long enough that it won't reach s1 until s1 is no longer the primary
（４）、将delay的值设为5，创建一个管道stale_get，并启动一个goroutine，做一次Get("a")操作，如果Get的结果和之前的Put操作一致，则从管道输出true，否则输出false
// now s1 cannot talk to viewserver, so view will change, so view will change
（５）、循环，直到s2变为primary
（６）、再启动一个server s3，循环等待直到s2变为primary，s3变为backup，做一次Put("a", "2")操作并检查
（７）、kill s2，如果从上文的管道中得到的值不为空，则出错，最后检查键"a"的值是否为"2"
扫一扫
1750
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
