메뉴 건너뛰기




Volumn 66, Issue 1, 2006, Pages 108-127

A classification of total order specifications and its application to fixed sequencer-based implementations

Author keywords

Agreement problems; Atomic broadcast; Distributed algorithms; Distributed Systems; Fault tolerance; Global ordering; Group communication; Mapping implementations into specifications; Message passing; Specification hierarchy; Taxonomy; Total order broadcast

Indexed keywords

AGREEMENT PROBLEMS; ATOMIC BROADCAST; DISTRIBUTED ALGORITHMS; SPECIFICATION HIERARCHY; TOTAL ORDER BROADCAST;

EID: 29244477491     PISSN: 07437315     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jpdc.2005.06.021     Document Type: Article
Times cited : (14)

References (27)
  • 2
    • 0013257991 scopus 로고
    • Group membership and view synchrony in partitionable asynchronous distributed systems: Specifications
    • Department of Computer Science, University of Bologna, Italy
    • Ö. Babaoǧlu, R. Davoli, A. Montresor, Group membership and view synchrony in partitionable asynchronous distributed systems: specifications, Technical Report UBLCS-95-18, Department of Computer Science, University of Bologna, Italy, 1995.
    • (1995) Technical Report , vol.UBLCS-95-18
    • Babaoǧlu, Ö.1    Davoli, R.2    Montresor, A.3
  • 3
    • 35048840050 scopus 로고    scopus 로고
    • Total order communications over asynchronous distributed systems: Specifications and implementations
    • Università di Roma "La sapienza", January
    • R. Baldoni, S. Cimmino, C. Marchetti, Total order communications over asynchronous distributed systems: specifications and implementations, Technical Report 06/04, Università di Roma "La sapienza", January 2004.
    • (2004) Technical Report , vol.6 , Issue.4
    • Baldoni, R.1    Cimmino, S.2    Marchetti, C.3
  • 4
    • 0141637732 scopus 로고    scopus 로고
    • Fundamentals of distributed computing: A practical tour of vector clock systems
    • R. Baldoni, and M. Raynal Fundamentals of distributed computing: a practical tour of vector clock systems IEEE Distrib. Systems Online 3 2 2002
    • (2002) IEEE Distrib. Systems Online , vol.3 , Issue.2
    • Baldoni, R.1    Raynal, M.2
  • 7
    • 84937578206 scopus 로고    scopus 로고
    • Simulating reliable links with unreliable links in the presence of process crashes
    • October
    • A. Basu, B. Charron-Bost, S. Toueg, Simulating reliable links with unreliable links in the presence of process crashes, in: Proceedings of Distributed Algorithm (WDAG '96), October 1996, pp. 105-122.
    • (1996) Proceedings of Distributed Algorithm (WDAG '96) , pp. 105-122
    • Basu, A.1    Charron-Bost, B.2    Toueg, S.3
  • 11
    • 0000539625 scopus 로고    scopus 로고
    • A review of experiences with reliable multicast
    • K.P. Birman A review of experiences with reliable multicast Software - Practice Exp. 29 9 1999 741 774
    • (1999) Software - Practice Exp. , vol.29 , Issue.9 , pp. 741-774
    • Birman, K.P.1
  • 13
    • 0030197368 scopus 로고    scopus 로고
    • The weakest failure detector for solving consensus
    • T.D. Chandra, V. Hadzilacos, and S. Toueg The weakest failure detector for solving consensus J. ACM 43 4 1996 685 722
    • (1996) J. ACM , vol.43 , Issue.4 , pp. 685-722
    • Chandra, T.D.1    Hadzilacos, V.2    Toueg, S.3
  • 14
    • 0001776520 scopus 로고    scopus 로고
    • Group communications specifications: A comprehensive study
    • G.V. Chockler, I. Keidar, and R. Vitenberg Group communications specifications: a comprehensive study ACM Comput. Surveys 33 4 2001 427 469
    • (2001) ACM Comput. Surveys , vol.33 , Issue.4 , pp. 427-469
    • Chockler, G.V.1    Keidar, I.2    Vitenberg, R.3
  • 16
    • 13644278157 scopus 로고    scopus 로고
    • Total order broadcast and multicast algorithms: Taxonomy and survey
    • X. Dèfago, A. Schiper, P. Urbán, Total order broadcast and multicast algorithms: taxonomy and survey, ACM Comput. Surv. 36(4) (2004) 372-421.
    • (2004) ACM Comput. Surv. , vol.36 , Issue.4 , pp. 372-421
    • Dèfago, X.1    Schiper, A.2    Urbán, P.3
  • 18
    • 0031122148 scopus 로고    scopus 로고
    • Software-based replication for fault tolerance
    • R. Guerraoui, and A. Schiper Software-based replication for fault tolerance IEEE Comput. 30 1997 68 74 (Special Issue on Fault Tolerance)
    • (1997) IEEE Comput. , vol.30 , pp. 68-74
    • Guerraoui, R.1    Schiper, A.2
  • 19
    • 0003070483 scopus 로고
    • Fault-tolerant broadcast and related problems
    • S. Mullender Addison Wesley Reading, MA
    • V. Hadzilacos, and S. Toueg Fault-tolerant broadcast and related problems S. Mullender Distributed Systems 1993 Addison Wesley Reading, MA (Chapter 16)
    • (1993) Distributed Systems
    • Hadzilacos, V.1    Toueg, S.2
  • 20
    • 0004136464 scopus 로고    scopus 로고
    • Ph.D. Thesis, Cornell University, Ithaca, NY, USA
    • M.G. Hayden, The ensemble system, Ph.D. Thesis, Cornell University, Ithaca, NY, USA, 1998.
    • (1998) The Ensemble System
    • Hayden, M.G.1
  • 22
    • 0017996760 scopus 로고
    • Time, clocks and the ordering of events in a distributed system
    • L. Lamport Time, clocks and the ordering of events in a distributed system Commun. ACM 21 7 1978 558 565
    • (1978) Commun. ACM , vol.21 , Issue.7 , pp. 558-565
    • Lamport, L.1
  • 23
    • 24944591433 scopus 로고    scopus 로고
    • A step towards a new generation of group communication systems
    • École Polytechnique Fédérale de Lausanne, Switzerland, January
    • S. Mena, A. Schiper, P. Wojciechowski, A step towards a new generation of group communication systems, Technical Report IC/2003/01, École Polytechnique Fédérale de Lausanne, Switzerland, January 2003.
    • (2003) Technical Report , vol.IC-2003-01
    • Mena, S.1    Schiper, A.2    Wojciechowski, P.3
  • 24
    • 0030128207 scopus 로고    scopus 로고
    • Group communication
    • D. Powell Group communication Commun. ACM 39 4 1996 50 97
    • (1996) Commun. ACM , vol.39 , Issue.4 , pp. 50-97
    • Powell, D.1
  • 25
    • 1242321057 scopus 로고    scopus 로고
    • Dynamic group communication
    • École Polytechnique Fédérale de Lausanne Switzerland, April
    • A. Schiper, Dynamic group communication, Technical Report IC/2003/27, École Polytechnique Fédérale de Lausanne, Switzerland, April 2003.
    • (2003) Technical Report , vol.IC-2003-27
    • Schiper, A.1
  • 26
    • 0000607721 scopus 로고
    • Replication management using the state machine approach
    • S. Mullender ACM Press New York, Addison-Wesley, Reading, MA
    • F.B. Schneider Replication management using the state machine approach S. Mullender Distributed Systems 1993 ACM Press New York, Addison-Wesley, Reading, MA
    • (1993) Distributed Systems
    • Schneider, F.B.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.