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

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

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