基于心跳故障检测器的原子提交问题解决方案

摘要

本文针对异步系统可能同时存在进程故障和链路故障的情况，采用心跳故障检测器分别在包含进程故障和链路故障的一般网络和分块网络中得到解决无阻塞弱原子提交问题的静止算法。为此，先扩展心跳故障检测器的定义，然后用扩展后的心跳故障检测器实现静止可靠通信，再用静止可靠通信求解一致合意问题，最后把无阻塞弱原子提交问题归约到一致合意问题，从而完成对无阻塞弱原子提交问题的求解。

目录

文摘

英文文摘

厦门大学学位论文原创性声明及著作权使用声明

第一章引言

1.1故障检测简介

1.1.1故障模型

1.1.2故障检测器模型

1.1.3故障检测器的用途

1.1.4故障检测器的实现

1.2故障检测研究现状

1.3本文的主要工作

第二章心跳故障检测器及其实现

2.1 心跳故障检测器的定义

2.2简单网络中HB的实现

2.3一般网络中HB的实现

第三章一般网络中的原子提交问题解决方案

3.1原子提交问题

3.2 心跳故障检测器的扩展定义和实现

3.2.1 HB的扩展定义

3.2.2扩展HB的实现

3.3静止可靠通信的实现

3.4用静止可靠广播实现静止合意

3.4.1合意问题简介

3.4.2一致合意问题的静止实现

3.5用HB将NB-WAC问题归约到一致合意问题

第四章分块网络中的原子提交问题解决方案

4.1分块网络与分块网络中的原子提交问题

4.2分块网络中的心跳故障检测器HB

4.2.1分块网络中HB的定义

4.2.2分块网络中HB的实现

4.3分块网络中静止可靠通信的实现

4.4用静止可靠广播在分块网络中实现静止合意问题

4.4.1分块网络中的合意问题

4.4.2分块网络中的◇S类故障检测器

4.4.3分块网络中一致合意问题的静止实现

4.5在分块网络中用HB将NB-WAC问题归约到一致合意问题

第五章总结与讨论

[参考文献]

致 谢