【整体设计】
NN（Namenode）的HA机制主要依靠zkfc完成，zkfc在NN所在节点以独立进程的方式运行。其内部主要由主控模块（ZKFailoverController）、健康检测模块（HealthMonitor）、主从选举模块（ActiveStandbyElector）三个模块协同实现。
zkfc进程启动时，首先会创建ZKFailoverController，负责其余两个模块回调事件的处理。
健康检测模块通过定时向NN发送rpc请求进行健康状态的监测。
主从选举模块封装了对zookeeper的处理逻辑，包括tcp连接的建立、创建节点、watch节点的变化等。
当NN的健康状态发生变化时，健康检测模块会回调通知主控模块，进而触发选举模块进行选举或者退出选举。
同样，当选举模块检测到zookeeper上节点的状态变化时，会自主触发进行选举，然后回调通知主控模块，最后通过rpc通知NN成为active或standby。
zkfc的启动选举流程如下图所示：
- zkfc启动后，首先构造选举模块，并向zookeeper建立连接
- 然后启动对NN的健康检测，向NN发送rpc请求，获取NN的状态和健康情况
- 假如NN是健康的，触发进行选举，即在zookeeper上创建临时的锁节点
- zk本身的机制保证只有一个zkfc能成功创建节点。 对于成功创建节点的zkfc，会向其他的NN发送rpc请求进行fencing（本质上是告知对端成为standby），然后在zookeeper上创建持久的记录NN主从相关信息的节点（ActiveBreadCrumb），最后向本地的 NN发送rpc请求告知其成为ANN（ActiveNameNode）。 而创建节点失败的zkfc，则通过回调向本地的NN发送rpc请求，告知其成为standby，然后对ANN在zookeeper中创建的锁节点进行watch。
【HA切换场景】
- ANN异常 当ANN出现异常（包括进程退出，状态和健康情况的rpc请求无响应等）时，zkfc会主动退出选举，即结束与zookeeper的tcp连接，该连接对应的会话在zookeeper上创建的锁节点也会自动被删除。 在该节点上进行watch的（运行在SNN上的）zkfc感知到节点的变化，触发进行选举（重新在zookeeper上创建锁节点），然后获取ActiveBreadCrumb节点的值，从中得到老的ANN节点的信息，当发现老的ANN并非本节点时，zkfc就触发对其进行fencing，然后在ActiveBreadCrumb节点上写入新的信息，最后通知SNN成为新的ANN。
- zkfc异常&ANN所在节点网络异常 这两种场景和上面的流程差别不大，区别在于，zookeeper检测zkfc建立的连接超时，从而自动将该连接上会话创建的临时节点删除。后面的流程就和上面的一样了。
【注意事项】
- fencing的处理 前面选举流程和HA切换流程中都提到了fencing（隔离），那么为什么好进行fencing，fencing的意义是什么？ 就上面zkfc异常的场景，来深入分析下： 当ANN所在节点的zkfc出现异常，或者仅仅是zkfc与zookeeper之间的网络不稳定，导致zkfc与zookeeper之间的会话超时，从而触发snn节点上的zkfc选举并成为新的ANN。 如果不进行fencing，那么此时存在两个ANN，并同时对外提供服务，这可能会导致hdfs的数据不能保证一致性，甚至出现错乱无法恢复。 因此SNN在成为新的ANN之前，需要对老的ANN进行fencing处理。 具体为zkfc直接向老的ANN发送rpc请求，通知其成为SNN，这个过程为优雅的fencing。 如果老的ANN成功响应，那么zkfc会进而通知SNN成为新的ANN。 如果老的ANN没有进行响应，那么就会根据配置的方式再次进行fencing。 可配置的方式包括ssh和执行指定的脚本。 ssh的方式为zkfc通过ssh到老的ANN节点上，然后执行kill动作，将老的ANN杀掉，最后通知SNN成为新的ANN。如果ANN所在节点的网络异常，无法成功ssh，因此也就无法将老的ANN杀掉。 因此，通常的方式是执行自己编写的脚本，在脚本中进行相关的处理动作。zkfc通过脚本的返回结果决定通知SNN成为新的ANN，或者再次触发选举流程。
- 健康状态的定义 前面提到了健康检测模块会定时向NN发送rpc请求，获取nn的状态（Active/Standby/Initializing）和健康状态，那么NN怎样判断自身是健康的呢？ 跟踪其源码发现：NN对配置的本地目录（用于存储fsimage和editlog的目录和其他指定配置的目录）进行磁盘容量检查，如果目录对应的磁盘容量达到配置的最小值，则NN认为自身是健康的，否则认为是非健康的。
- 确保父节点存在 zkfc启动并成功连接zookeeper后，首先会存储锁节点的父亲节点是否存在，如果不存在，zkfc进程会直接退出。 zkfc启动时，可以指定format参数，这时zkfc会删除在zookeeper上存储的信息，并创建出必备的父亲节点，然后进程退出。再次启动时（不带参数）就能正确进行选举了。 另外，如果在zkfc运行过程中，将对应的父亲节点删除了，zkfc不会再自动创建出来，此时选举用的锁节点会持续创建失败导致无法正常选举，从而导致NN无法正常提供服务。
- 确保NN的ID与IP保持一致 NN正常选举成功后，ANN会在zookeeper上创建ActiveBreadCrumb节点，记录ANN/SNN的ID与对应的IP信息。 由于该节点是持久化的，因此当NN重启或者重新选举后，会读取该节点的值，从中获取老的ANN的IP信息，用于fencing处理。在此之前，会将节点记录的NN的ID与对应的IP和本地配置的情况进行比较，如果与配置中的不一致，会抛出异常不会再进行后续的处理。 通常出现该情况的场景是NN以容器的方式部署运行，当NN所在的容器下线重启后，NN分配的IP发生了变化，导致与记录在zookeeper中ActiveBreadCrumb节点的信息不一致。
【总结】
本文对namenode的ha机制进行了简单总结，在hadoop中，resourcemanager的ha机制也是采用同样的方式，不同的是resoucemanager中没有单独的zkfc进程，而是以模块（独立线程）的方式中包含在resourcemanager内部。有兴趣的可以查看相关源码。
