loading...
A Guided Tour on Total Order Specifications
Anacapri (Capri Island), Italy October 01-October 03
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/WORDS.2003.1267507Ninth IEEE International Workshop on ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Stefano Cimmino, Università di Roma "La Sapienza"
Carlo Marchetti, Università di Roma "La Sapienza"
Roberto Baldoni, Università di Roma "La Sapienza"
In the last two decades the development of Total Order (TO) broadcast and multicast communication over asynchronous distributed systems have been one of the main research issues in dependable distributed computing. As a result, a huge amount of works has been carried out, ranging from service speci.cations to a variety of TO implementations over different communication platforms. Differences among such speci.cations can make very difficult the choice of the right TO primitive, by an application designer, to enable the application to meet its correctness requirements. The aim of this paper is thus to present a clear classification of total order broadcast specifications. In particular, six specifications of total order broadcast primitives proposed in the literature are organized into a hierarchy that allows (i) to classify existing implementations of total order communication primitives, and (ii) to select the right primitive according to the application requirements in order to maximize performance.
Citation:
Stefano Cimmino, Carlo Marchetti, Roberto Baldoni, "A Guided Tour on Total Order Specifications," words, pp.187, Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'03F), 2003
Usage of this product signifies your acceptance of the Terms of Use.