18 | Hashicorp Raft（二）：如何以“集群节点”为中心使用API？

作者回复: 加一颗星:)。本质上来说，状态机指的是有限状态机，它是一个数学模型。你可以这么理解：状态机是一个功能模块，用来处理一系列请求，最大的特点就是确定性，也就是说，对于相同的输入，不管重复运行多少次，最终的内部状态和输出都是相同的。 就像你敲击键盘，在Word文档上打字一样，你敲击键盘的顺序决定了Word文档上的文字，你按照相同的顺序敲击键盘，一定能敲出相同的文字，这就是一个现实版的状态机。 那么为什么在Multi-Paxos、Raft中需要状态机呢？ 你想一下，Multi-Paxos、Raft都是共识算法，而共识算法是就一系列值达成共识的，达成共识后，这个值就不能改了。但有时候我们是需要更改数据的值的，比如KV存储，我们肯定需要更改指定key（比如X）对应的值，这时我们就可以通过状态机来解决这个问题。 比如，如果你想把X的值改为7，那你可以提议一个新的指令“SET X = 7”，当这个指令被达成共识并提交到状态机后，你查询到的值就是7了，也就成功修改了X的值。

作者回复: 我是这么想的，“再多的鱼”也不如“渔”，是不是可以这样，结合17、18讲的内容，自己阅读源码探索真相呢，学习中遇到问题时，咱们一起讨论，或者我以加餐的形式作补充。这样就不仅能学到知识，还能掌握了独立学习的方法了:)。你觉得呢。

作者回复: 加油！可以在使用中学习，比如，先了解个大概，在需要使用时再去查找和研究相关函数的用法。有疑问，欢迎留言，咱们一起讨论:)。

作者回复: 自己指定的，具体实现，可以参考20讲的程序。

作者回复: 加一颗星:)，将节点加入到集群时，需要在调用raft.NewRaft()启动后，需要将自己的节点信息同步给领导者，由领导者调用AddVoter()函数，将这个节点加入到集群中。之后调用raft.NewRaft()启动节点，就可以了，节点会先作为跟随者启动，如果此时没有领导者，将会发生心跳超时，和选举出新的领导者。

作者回复: 加一颗星:)，测试方便。

作者回复: 将新节点的配置信息发送给领导者，然后领导者调用AddVoter()这个API，将新节点加入到集群中。

作者回复: 加一颗星:)，这是工程实现，目标是为了便于管理节点，添加、移除。可以这么理解，一种特殊情况，创建了一个只包含一个节点的集群，这个节点是领导者。第一次创建集群时，使用。集群创建完后，节点正常启动就可以，默认都是跟随者，然后会因为等待领导者心跳超时，而选举出新的领导者。