遷移工作流系統(tǒng)中可靠組播通信機制研究.pdf

1、本文借鑒支持分布式協(xié)同工作的組播通信及移動Agent組播通信的研究成果，結(jié)合遷移工作流系統(tǒng)的特點，提出了一種基于邏輯令牌環(huán)結(jié)構(gòu)的遷移工作流實例組播通信模型，并根據(jù)該模型設計了保證實現(xiàn)可靠組播通信語義的全序組播通信協(xié)議。詳細的給出了該協(xié)議的數(shù)據(jù)結(jié)構(gòu)及相應的組播通信算法，并對協(xié)議的正確性進行了證明，對協(xié)議的性能進行了分析。該協(xié)議使用令牌來實現(xiàn)組播消息的次序化，保證了組播消息的全序性：通過設計適當?shù)木彌_機制來保證消息的可靠傳輸及組播消息傳輸?shù)?/p>

2、原子性，有效的解決了組播通信過程可能存在的全局不一致的問題，確保了遷移實例可靠的組播通信。 根據(jù)該組播通信模型，設計了一種容錯的基于層次結(jié)構(gòu)的組成員管理機制，該機制能夠有效的實現(xiàn)對組成員的加入、退出及出錯的管理。層次結(jié)構(gòu)的設計有利于組播通信系統(tǒng)的擴展，使得該系統(tǒng)具有較強的伸縮性。針對組播通信過程中可能存在的成員失效問題，提出了一種隨機心跳故障檢測方法，能夠及時檢測發(fā)生錯誤的組成員并將它移出通信組，實現(xiàn)了可靠組播通信系統(tǒng)的差錯控制