Design and analysis of an efficient and reliable atomic multicast protocol