Filters








2,772 Hits in 7.3 sec

Primary component asynchronous group membership as an instance of a generic agreement framework

F. Greve, M. Hurfin, M. Raynal, F. Tronel
Proceedings 5th International Symposium on Autonomous Decentralized Systems  
¡ © 0 H ¹ e q 5 4 v P 0 ) £ ¥ 5 u x £ ¢ ¡ e 3 d © £ C 5 # ¢ ¡ h I i p £ ¥ 0 x q 5 0 T £ S Q o e e m m D ¦ © ' X D t D ' ¢ p T q ¡ ¤ 4 d î ¤ ò o ë û ÷ E F Ä ï ¦ ð G ò © ô Ë ò o õ f ë í õF Ä ü ùd o ò o ù  ...  # © W Ỳ A a b A c ¦ d ¡ t V A # ) B k ¡ A s ¢ p i p V A v P i p R T 0 9 W Ỳ A a ¥ b A c ¦ d 0 T 6 I 8 ¦ © F & H #! P ¡ @ ¦ k & H 3 ! 5 A V A V A # P ¡ q A e 5 v s ¢ 3 ! v k 3 !  ... 
doi:10.1109/isads.2001.917399 dblp:conf/isads/GreveHRT01 fatcat:kutavspblzeynpiguw2znnjoni

Replicating CORBA Objects: A Marriage between Active and Passive Replication [chapter]

Pascal Felber, Xavier Défago, Patrick Eugster, André Schiper
1999 Distributed Applications and Interoperable Systems II  
We show how we have used axiomatic properties of a consensus protocol together with a generic architectural framework to bridge the gap between active and passive replication.  ...  Our framework makes it possible to dynamically associate replication techniques to individual operations of a replicated object, without requiring the client to even know that the object is replicated.  ...  As a matter of fact, the state of an object generally depends on the order in which it receives requests.  ... 
doi:10.1007/978-0-387-35565-8_30 fatcat:zzmh4u2y3nevbmbxg22pzb3pve

A Generic Group Communication Approach for Hybrid Distributed Systems [chapter]

Raimundo José de Araújo Macêdo, Allan Edgard Silva Freitas
2009 Lecture Notes in Computer Science  
Group Communication is a powerful abstraction that is being widely used to manage consistency problems in a variety of distributed system models, ranging from synchronous, to time-free asynchronous model  ...  Furthermore, adaptation with degraded service is a common requirement in such scenarios. This paper tackles this new challenge by introducing a generic group communication mechanism.  ...  However, problems such as distributed consensus [9] 1 and (primary-partition) group membership cannot be solved in this model unless some additional assumptions are considered [3] .  ... 
doi:10.1007/978-3-642-02164-0_8 fatcat:ly5n2fu5lbbgvabe5vzp7dcmty

Low Latency Fault Tolerance System

W. Zhao, P. M. Melliar-Smith, L. E. Moser
2012 Computer journal  
The Leader-Determined Membership Protocol provides reconfiguration and recovery when a replica becomes faulty and when a replica joins or leaves a group, where the membership of the group is determined  ...  The Virtual Determinizer Framework captures the ordering information at the primary replica and enforces the same ordering of non-deterministic operations at the backup replicas.  ...  An earlier abbreviated version of this paper appeared in [45] .  ... 
doi:10.1093/comjnl/bxs131 fatcat:u36rc52ikbgjvkb3cro57jwoje

Consensus Service to Solve Agreement Problems

Giovani Pieri, Joni da Silva Fraga, Lau Cheuk Lung
2010 2010 IEEE 16th International Conference on Parallel and Distributed Systems  
Besides that, the framework provides a set of properties and guarantees.  ...  This is achieved through the implementation of a Generic Consensus Service (GCS).  ...  INTRODUCTION Agreement problems, such as atomic commitment, group membership, and total order broadcast are at the heart of many distributed systems.  ... 
doi:10.1109/icpads.2010.81 dblp:conf/icpads/PieriFL10 fatcat:bdot7b2iy5hijfwoa64l63ms7q

Total Order Communications: A Practical Analysis [chapter]

Roberto Baldoni, Stefano Cimmino, Carlo Marchetti
2005 Lecture Notes in Computer Science  
As such, the amount of relevant works may leave practitioners wondering how to select the TO implementation that best fits the requirements of their applications.  ...  Implementations are first classified according to the enforced specifications, which is given using a framework for specification tailored to total order communications.  ...  We consider a primary component membership service, e.g. [13] , guaranteeing that all members of the same group observe the same sequence of views as long as they stay in the group.  ... 
doi:10.1007/11408901_4 fatcat:pp67iasljjay7lqclnvalpsspe

Effective multicast programming in large scale distributed systems

Patrick Th. Eugster, Romain Boichat, Rachid Guerraoui, Joe Sventek
2001 Concurrency and Computation  
Recently, many attempts have been made to formalize a specification of a partitionable group membership in asynchronous systems. [4] presents a formal specification for partitionable group membership and  ...  The Distributed Asynchronous Computing Environment (DACE) can be seen as an extension of a conventional collection framework, like JGL [34] .  ...  A position can be given as an additional argument to an insertion into a list for instance. In an asynchronous collection however, the order of insertion corresponds to the order of publishing.  ... 
doi:10.1002/cpe.584 fatcat:b3cb2iledjaydbspzuxoihi22u

Group communication specifications: a comprehensive study

Gregory V. Chockler, Idit Keidar, Roman Vitenberg
2001 ACM Computing Surveys  
Thus, the specifications serve as a unifying framework for the classification, analysis, and comparison of group communication systems.  ...  View-oriented group communication is an important and widely used building block for many distributed applications.  ...  We thank Ken Birman and Robbert van Renesse for inspiring us to undertake the project of writing this article.  ... 
doi:10.1145/503112.503113 fatcat:aewgj3lqdrh7ncweocwddtothq

SoK: Understanding BFT Consensus in the Age of Blockchains [article]

Gang Wang
2021 IACR Cryptology ePrint Archive  
The distributed system community has extensively studied the technical components of consensus to reach agreement among a group of nodes.  ...  Based on the proposed APDB and asynchronous binary agreement, the authors design and present a self-bootstrap framework Dumbo-MVBA to reduce the communication cost of existing MVBA protocols.  ...  It presents a generic framework for optimistic asynchronous atomic broadcast.  ... 
dblp:journals/iacr/Wang21c fatcat:wggbkbi25fg43fieebp4qzlk3m

Total order broadcast and multicast algorithms

Xavier Défago, André Schiper, Péter Urbán
2004 ACM Computing Surveys  
The problem has inspired an abundance of literature, with a plethora of proposed algorithms.  ...  This article proposes a classification of total order broadcast and multicast algorithms based on their ordering mechanisms, and addresses a number of other important issues.  ...  Schlichting, Tatsuhiro Tsuchiya, and Matthias Wiesmann, as well as Fred B. Schneider, and the anonymous reviewers. We are also thankful to Judith Steeh for proofreading this text.  ... 
doi:10.1145/1041680.1041682 fatcat:hl2evvvb2zfrlhzzcrnyctdcfe

System support for object groups

Rachid Guerraoui, Pascal Felber, Benoît Garbinato, Karim Mazouni
1998 SIGPLAN notices  
We built our framework in such a way that basic distributed protocols, such as failure detection and multicasts, are considered as first class entities, directly accessible to the programmers.  ...  Consequently, we decided to build our own object oriented protocol framework, specifically dedicated to support object groups (instead of using a process group toolkit).  ...  Acknowledgements We are very grateful to Ron Resnick for his comments on an earlier draft of this paper.  ... 
doi:10.1145/286942.286961 fatcat:xbeg4cezmjep7izha6zs7qvga4

System support for object groups

Rachid Guerraoui, Pascal Felber, Benoît Garbinato, Karim Mazouni
1998 Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '98  
We built our framework in such a way that basic distributed protocols, such as failure detection and multicasts, are considered as first class entities, directly accessible to the programmers.  ...  Consequently, we decided to build our own object oriented protocol framework, specifically dedicated to support object groups (instead of using a process group toolkit).  ...  Acknowledgements We are very grateful to Ron Resnick for his comments on an earlier draft of this paper.  ... 
doi:10.1145/286936.286961 dblp:conf/oopsla/GuerraouiFGM98 fatcat:ocs4yu2ffbcbrn6cn3pjnpnsde

Construction and management of highly available services in open distributed systems

Christos Karamanolis, Jeff Magee
1998 Distributed Systems Engineering  
The description of the protocol consists of two parts: part 1 outlines the principles of replica server synchronisation, without considering group changes; part 2 addresses the problem of group reconfiguration  ...  On-line management of the server group is facilitated, without interruption of the service provision.  ...  Since no membership agreement on a single primary partition is required, the design of GCP evades the impossibility result for Primary-Partition membership in asynchronous systems [19] .  ... 
doi:10.1088/0967-1846/5/1/004 fatcat:m37j4uugvve4zna443ogz4pemi

Collaborate to Learn, Learn to Collaborate: Examining the Roles of Context, Community, and Cognition in Asynchronous Discussion

Seung Yeon Han, Janette R. Hill
2007 Journal of educational computing research  
(i.e., a formation of membership, generation of social dialogue), and cognition (i.e., a social process of learning, communal facilitation).  ...  Recent research indicates that WBLEs, specifically asynchronous forms, offer affordances that can result in student learning as effective as face-to-face learning, students experiencing a satisfactory  ...  Two primary indicators were found in the data to support the development of community: a formation of membership and generation of social dialogue.  ... 
doi:10.2190/a138-6k63-7432-hl10 fatcat:b3zwfk2ddnbplc656la65lqwqm

Worm-IT – A wormhole-based intrusion-tolerant group communication system

Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo
2007 Journal of Systems and Software  
This paper presents Worm-IT, a new intrusion-tolerant group communication system with a membership service and a view-synchronous atomic multicast primitive.  ...  Using this approach, we manage to bring together two important features: Worm-IT tolerates the maximum number of malicious members possible; it does not have to detect the failure of primary-members, a  ...  The membership service is the component in charge of keeping an updated list of the group members, processing joins and leaves of the group, and assessing the failure of members.  ... 
doi:10.1016/j.jss.2006.03.034 fatcat:zgtun36l5rfz3haswf5nqjwfba
« Previous Showing results 1 — 15 out of 2,772 results