31、分布式共识与故障检测服务架构解析

分布式共识与故障检测服务架构解析

1. FT - CORBA机制简介

FT - CORBA的关键特性是对象复制，一组对象表现得如同单个对象。这些副本由复制管理器（Replication Manager）控制。有两级故障检测器（本地和全局）为故障通知器（Fault Notifier）提供故障信息，故障通知器将编译后的故障报告发送给复制管理器和其他注册对象。此外，还可以注册特定应用的故障分析器进行故障通知，这些分析器可用于关联和过滤信息。

FT - CORBA的故障检测分层模型与所提出的架构完全兼容。对象可以由不同的检测器监控，便于全局故障检测器的复制。故障通知器可作为故障检测器的一种特殊实现，因为故障检测器可通过简单接口Notifier和Notifiable接收和分发故障通知，这些接口可替代或与FT - CORBA规范中定义的接口并行工作。

FT - CORBA的故障检测基于PULL模型，即故障检测器定期调用被监控对象的 is alive() 方法。FT - CORBA规范中还包含了对PUSH模型的预期扩展，也有人提出了对PUSH和PULL模型的自适应变体扩展。所定义的故障检测器考虑了PULL和PUSH模型，以及这些自适应的故障检测替代方案。FT - CORBA的PullMonitorable接口是MonitorableStrategy的一种特殊形式。

故障通知器和复制管理器必须进行复制，并在逻辑上仍作为一个对象。共识算法可用于维护副本之间的一致性，主要用于复制管理器执行的组成员控制。共识还可用于在恢复机制中实现日志一致性、原子地向副本传递消息、在检测到故障后协调行动，以及实现（或替代）ACTIVE WITH VOTING复制风格。