1、大規(guī)模數(shù)據(jù)處理是近些年來備受重視的一個(gè)問題,相應(yīng)的技術(shù)也層出不窮, Hadoop是其中應(yīng)用最為廣泛的一種分布式系統(tǒng)基礎(chǔ)框架,分布式文件系統(tǒng)(Hadoop Distributed File System)則是Hadoop的最關(guān)鍵的技術(shù)之一,也是分布式計(jì)算中數(shù)據(jù)存儲(chǔ)管理的基礎(chǔ)。但是HDFS在保證其穩(wěn)定性的過程中存在“單點(diǎn)問題”,這個(gè)問題是目前限制Hadoop成為高可靠性模型的主要瓶頸,目前已有一些比較有效地解決方案,但是這些解決方案并非自動(dòng)

2、化處理。分布式Pi-演算是一種適用于分布式計(jì)算的模型語(yǔ)言,本文采用分布式Pi-演算作為建模與分析工具對(duì)單點(diǎn)故障問題進(jìn)行了深入地分析。
　　本文首先系統(tǒng)地分析了分布式文件系統(tǒng)(HDFS)的工作原理與技術(shù)特點(diǎn),著重討論了NameNode單點(diǎn)故障原因以及對(duì)系統(tǒng)集群的影響。從并發(fā)系統(tǒng)的行為理論分析,認(rèn)為單點(diǎn)故障解決的本質(zhì)是動(dòng)作與通道在不同節(jié)點(diǎn)之間的遷移。在這樣的理論支持下,提出了一種自動(dòng)化的解決方案,因?yàn)榉植际絇i-演算對(duì)分布式系統(tǒng)中的遷