Merge pull request #40 from gnokuw/patch-1

Fix typo: change safetey to safety

distribute_system/paxos.md

@@ -16,7 +16,7 @@ Paxos 是第一个被证明的共识算法，其原理基于 [两阶段提交](h
 * acceptor：负责对提案进行投票。往往是服务端担任该角色；
 * learner：被告知结案结果，并与之统一，不参与投票过程。可能为客户端或服务端。
 
-并且，算法需要满足 safetey 和 liveness 两方面的约束要求（实际上这两个基础属性是大部分分布式算法都该考虑的）：
+并且，算法需要满足 safety 和 liveness 两方面的约束要求（实际上这两个基础属性是大部分分布式算法都该考虑的）：
 
 * safety：保证决议结果是对的，无歧义的，不会出现错误情况。
     * 决议（value）只有在被 proposers 提出的 proposal 才能被最终批准；
@@ -82,4 +82,4 @@ Raft 是对 Paxos 的重新设计和实现。
 * Leader 选举：每个 candidate 随机经过一定时间都会提出选举方案，最近阶段中得票最多者被选为 leader；
 * 同步 log：leader 会找到系统中 log 最新的记录，并强制所有的 follower 来刷新到这个记录；
 
-*注：此处 log 并非是指日志消息，而是各种事件的发生记录。*
\ No newline at end of file
+*注：此处 log 并非是指日志消息，而是各种事件的发生记录。*