A dynamic view-oriented group communication service

摘要: View-oriented group communication services are widely used for fault-tolerant distributed computing. For applications involving coherent data, it is importaut to know when a process has primary view of the current membership, usually defined as containing majority out static universe processes. high availability in system where processes can join and leave routinely, some researchers have suggested def?.ning views dynamically, depending on having enough members common with recent views. We present new formal automaton specification, DVS, safety guarantees made by practical service providing dynamic notion view. demonstrate value DVS showing both how be implemented an application. First, we algorithm based membership Lotem, Keidar Dolev; our version integrates service, uses iuformation from application saying been prepared computation application, view-oriented internally. prove that this implements DVS. Second, variant Amir, Dolev, Keidar, Melliar-Smith Moser, modified use instead service. (non-group-oriented) totally-orderedbroadcast