高可用性雙機(jī)系統(tǒng)的有限自動(dòng)機(jī)

【摘要】介紹了提供高可用性的雙機(jī)系統(tǒng)的原理、部署和體系結(jié)構(gòu)；定義了雙機(jī)系統(tǒng)各部件功能，描述了子系統(tǒng)間的接口，給出了該雙機(jī)系統(tǒng)的有限自動(dòng)機(jī)。該自動(dòng)機(jī)具有有限數(shù)目的內(nèi)部狀態(tài)，模擬了雙機(jī)系統(tǒng)的工作原理及內(nèi)部各狀態(tài)的相互轉(zhuǎn)化，描述了服務(wù)切換、進(jìn)程與服務(wù)監(jiān)控、心跳偵測、網(wǎng)絡(luò)參考點(diǎn)偵測等過程，為雙機(jī)系統(tǒng)的行為描述和結(jié)構(gòu)設(shè)計(jì)提供了理論依據(jù)和論證。
關(guān) 鍵 詞 雙機(jī)系統(tǒng); 有限自動(dòng)機(jī); 進(jìn)程與服務(wù)監(jiān)控; 心跳偵測; 網(wǎng)絡(luò)參考點(diǎn)偵測; 服務(wù)切換

Dual-hosts sytem providing high availability(HA) , which is the one of most important method for data integrity and service continuous, is widely required for user.The principle, deployment and framework of a dual-hosts system is introduced, and a turing machine of the dual-hosts system is presented in this paper.The turing machine simulates the dual-hosts system and describes the states transition of the dual-hosts system and supplies a theory basis for designing architecture of the dual-hosts system.