A Majority consensus approach to concurrency control for multiple copy databases
ACM Transactions on Database Systems (TODS)
A locking protocol for resource coordination in distributed databases
ACM Transactions on Database Systems (TODS)
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Ethernet: distributed packet switching for local computer networks
Communications of the ACM
A new solution of Dijkstra's concurrent programming problem
Communications of the ACM
Solution of a problem in concurrent programming control
Communications of the ACM
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
Consistency and correctness of duplicate database systems
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
A survey of research and development in distributed database management
VLDB '77 Proceedings of the third international conference on Very large data bases - Volume 3
Concurrency Control and Consistency of Multiple Copies of Data in Distributed Ingres
IEEE Transactions on Software Engineering
N-process synchronization by 4.log2N-valued shared variable
SFCS '80 Proceedings of the 21st Annual Symposium on Foundations of Computer Science
Availability in parallel systems: automatic process restart
IBM Systems Journal
Proceedings of the 1986 ACM SIGSMALL/PC symposium on Small systems
Economical Fault-Tolerant Networks
Linux Journal
Analysis of an Election Problem for CSCW in Asynchronous Distributed Systems
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
The Fast Bully Algorithm: For Electing a Coordinator Process in Distributed Systems
ICOIN '02 Revised Papers from the International Conference on Information Networking, Wireless Communications Technologies and Network Applications-Part II
The Weakest Failure Detector for Solving Election Problems in Asynchronous Distributed Systems
EurAsia-ICT '02 Proceedings of the First EurAsian Conference on Information and Communication Technology
Instant-Access Cycle-Stealing for Parallel Applications Requiring Interactive Response
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
A Self-Deploying Election Service for Active Networks
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Papers - Volume 01
Simulation of a Novel Leader Election Protocol with the Use of Petri Nets
DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Moset: An anonymous remote mobile cluster computing paradigm
Journal of Parallel and Distributed Computing - Special issue: Design and performance of networks for super-, cluster-, and grid-computing: Part I
COPACC: An Architecture of Cooperative Proxy-Client Caching System for On-Demand Media Streaming
IEEE Transactions on Parallel and Distributed Systems
QoS management in service-oriented architectures
Performance Evaluation
Data Exchange Optimization in Reconfigurable
IEEE Transactions on Computers
Efficient Internode Communications in Reconfigurable Binary Trees
IEEE Transactions on Computers
A peer-to-peer meta-scheduler for service-oriented grid environments
Proceedings of the first international conference on Networks for grid applications
Contract E-Negotiation in Agricultural Supply Chains
International Journal of Electronic Commerce
A Parallel Architecture for Stateful, High-Speed Intrusion Detection
ICISS '08 Proceedings of the 4th International Conference on Information Systems Security
Reconfigurable fault-tolerant multicomputer network
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
Leader election algorithm using heap structure
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
ICOST '09 Proceedings of the 7th International Conference on Smart Homes and Health Telematics: Ambient Assistive Health and Wellness Management in the Heart of the City
Reliable publish/subscribe middleware for time-sensitive internet-scale applications
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems
Bluetooth scatternets: criteria, models and classification
Ad Hoc Networks
IEEE Transactions on Multimedia
SAFE: scalable autonomous fault-tolerant Ethernet
ICACT'09 Proceedings of the 11th international conference on Advanced Communication Technology - Volume 1
Decidability of Reachability for Polymorphic Systems with Arrays: A Complete Classification
Electronic Notes in Theoretical Computer Science (ENTCS)
Polymorphic Systems with Arrays, 2-Counter Machines and Multiset Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Research of asynchronous leader election algorithm on hierarchy ad hoc network
WiCOM'09 Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
An efficient election protocol in a mobile computing environment
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
Proceedings of the 2010 ACM Symposium on Applied Computing
Finding counter examples in induction proofs
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Towards faithful model extraction based on contexts
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Probabilistic voting-theoretic strategies for resource allocation in heterogenous wireless networks
GLOBECOM'09 Proceedings of the 28th IEEE conference on Global telecommunications
Deploying sensor networks with guaranteed fault tolerance
IEEE/ACM Transactions on Networking (TON)
Competition and equilibrium in multiuser networks with multiple service providers
Asilomar'09 Proceedings of the 43rd Asilomar conference on Signals, systems and computers
Election games for resource allocation in multicarrier multiuser wireless networks
MILCOM'09 Proceedings of the 28th IEEE conference on Military communications
Pyramid group key management on mobile ad hoc networks PGKM
ELECTRO'10 Proceedings of the 8th WSEAS international conference on Applied electromagnetics, wireless and optical communications
opaal: a lattice model checker
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Deterministic replay for MCAPI programs
Proceedings of the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Formal derivation of a distributed program in event B
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
A leader election protocol for timed asynchronous distributed systems
ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
SHIELD: a fault-tolerant MPI for an infiniband cluster
HPCC'06 Proceedings of the Second international conference on High Performance Computing and Communications
Using aggregation for adaptive super-peer discovery on the gradient topology
SelfMan'06 Proceedings of the Second IEEE international conference on Self-Managed Networks, Systems, and Services
Revisiting the election problem in asynchronous distributed systems
APPT'05 Proceedings of the 6th international conference on Advanced Parallel Processing Technologies
Survive under high churn in structured P2P systems: evaluation and strategy
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
Solving election problem in asynchronous distributed systems
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part I
The election problem in asynchronous distributed systems with bounded faulty processes
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part V
Coordinator election using the object model in p2p networks
AP2PC'04 Proceedings of the Third international conference on Agents and Peer-to-Peer Computing
A cluster-based energy balancing scheme in heterogeneous wireless sensor networks
ICN'05 Proceedings of the 4th international conference on Networking - Volume Part I
On data dissemination for large-scale complex critical infrastructures
Computer Networks: The International Journal of Computer and Telecommunications Networking
Leader election for replicated services using application scores
Middleware'11 Proceedings of the 12th ACM/IFIP/USENIX international conference on Middleware
P2P-MapReduce: Parallel data processing in dynamic Cloud environments
Journal of Computer and System Sciences
ACM SIGCOMM: A mechanism for scalable concast communication
Computer Communications
Research: Designing a system infrastructure for distributed programs
Computer Communications
Group leader election under link-state routing
Computer Communications
Developing intelligent surveillance systems with an agent platform
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
Leader election for replicated services using application scores
Proceedings of the 12th International Middleware Conference
Collaborative remediation of configuration vulnerabilities in autonomic networks and systems
Proceedings of the 8th International Conference on Network and Service Management
Managing volunteer resources in the cloud
International Journal of Computational Science and Engineering
Autonomous Configuration Scheme in a Distributed Load Balancing System for HLA-Based Simulations
DS-RT '13 Proceedings of the 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications
| Hi-index | 14.99 |
After a failure occurs in a distributed computing system, it is often necessary to reorganize the active nodes so that they can continue to perform a useful task. The first step in such a reorganization or reconfiguration is to elect a coordinator node to manage the operation. This paper discusses such elections and reorganizations. Two types of reasonable failure environments are studied. For each environment assertions which define the meaning of an election are presented. An election algorithm which satisfies the assertions is presented for each environment.