06-复制范例.ppt

gossip体系结构 按因果次序处理更新(续) 更新请求u的稳定性条件 　　u.prev≤valueTS 即所有由发起更新的前端观察到的更新已经执行了，指副本服务器？ 如果更新提交时这个条件不满足，它将在闲聊消息到达时重新检查。 副本管理器的更新操作 　 - value := apply(value, r.u.op) - valueTS := merge(valueTS, r.ts) - executed := executed∪{r.u.id} gossip体系结构 强制的和即时的更新操作 强制更新和即时更新需要特殊处理，强制更新是全序加因果序，保证更新的强制次序的基本方法是在与更新相关的时间戳后加入一个唯一的序号，并以这个序号的次序来处理它们。 gossip消息 副本管理器通过gossip消息来更新自身的状态。通过时间戳表里的记录来估计其它副本管理器还没有收到哪些更新。 gossip消息m的格式：日志m.log和副本时间戳m.ts gossip体系结构 收到gossip消息后执行的操作 日志合并- replicsTS表示接收者的副本时间戳 　 - 若r.ts ≤replicsTS，则丢弃 　 - 否则，将m.log中记录r加入到接收者的日志，合并时间戳 　　replicaTS := merge(replicaTS, m.ts) 执行任何以前