Using process groups to implement failure detection in asynchronous environments

摘要: Agreement on the membership of a group processes in distributed system is basic problem that arises wide range applications. Such groups occur when set cooperate to perform some task, share memory, monitor one another, subdivide computation, and so forth. The problems discussed as it relates failure detection asynchronous, systems. A rigorous, formal specification for presented under this interpretation. solution then problem.