Distributed databases principles and systems
Distributed databases principles and systems
Optimism and consistency in partitioned distributed database systems
ACM Transactions on Database Systems (TODS)
How to assign votes in a distributed system
Journal of the ACM (JACM)
Consistency in a partitioned network: a survey
ACM Computing Surveys (CSUR)
The vulnerability of vote assignments
ACM Transactions on Computer Systems (TOCS)
A tutorial introduction to Maple
Journal of Symbolic Computation
Protocols for dynamic vote reassignment
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Availability in partitioned replicated databases
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
A Pessimistic Consistency Control Algorithm for Replicated Files Which Achieves High Availability
IEEE Transactions on Software Engineering
Achieving robustness in distributed database systems
ACM Transactions on Database Systems (TODS)
A Majority consensus approach to concurrency control for multiple copy databases
ACM Transactions on Database Systems (TODS)
Reaching Agreement in the Presence of Faults
Journal of the ACM (JACM)
Consistency and recovery control for replicated files
Proceedings of the tenth ACM symposium on Operating systems principles
An efficient, fault-tolerant protocol for replicated data management
PODS '85 Proceedings of the fourth ACM SIGACT-SIGMOD symposium on Principles of database systems
A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems
ACM Computing Surveys (CSUR)
Concurrency Control in Distributed Database Systems
ACM Computing Surveys (CSUR)
Fail-stop processors: an approach to designing fault-tolerant computing systems
ACM Transactions on Computer Systems (TOCS)
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Probability and Statistics with Reliability, Queuing and Computer Science Applications
On merging partitioned databases
SIGMOD '83 Proceedings of the 1983 ACM SIGMOD international conference on Management of data
Analysis of distributed commit protocols
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
Increasing availability in partitioned database systems
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Sacrificing serializability to attain high availability of data in an unreliable network
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Detection of Mutual Inconsistency in Distributed Databases
Proceedings of the Third International Conference on Data Engineering
Mutual Consistency in Decentralized Distributed Systems
Proceedings of the Third International Conference on Data Engineering
Transaction Atomicity in the Presence of Network Partitions
Proceedings of the Fourth International Conference on Data Engineering
Integrating Static and Dynamic Voting Protocols To Enhance File Availability
Proceedings of the Fourth International Conference on Data Engineering
Stochastic Petri Net Analysis of a Replicated File System
PNPM '87 The Proceedings of the Second International Workshop on Petri Nets and Performance Models
Enhancements to the Voting Algorithm
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
Weighted voting for replicated data
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
A principle for resilient sharing of distributed resources
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Maintaining Availability in Partitioned Replicated Databases
Maintaining Availability in Partitioned Replicated Databases
A tight upper bound on the benefits of replication and consistency control protocols
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ACM Transactions on Computer Systems (TOCS)
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
A fault-tolerant commit protocol for replicated databases
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The generalized tree quorum protocol: an efficient approach for managing replicated data
ACM Transactions on Database Systems (TODS)
Cost and availability tradeoffs in replicated data concurrency control
ACM Transactions on Database Systems (TODS)
A non-blocking transaction data flow graph based approach for replicated data
ACM SIGOPS Operating Systems Review
Regeneration with Virtual Copies for Distributed Computing Systems
IEEE Transactions on Software Engineering
Replicated objects in time warp simulations
WSC '92 Proceedings of the 24th conference on Winter simulation
Propagation of authorizations in distributed database systems
CCS '94 Proceedings of the 2nd ACM Conference on Computer and communications security
Quorum consensus in nested-transaction systems
ACM Transactions on Database Systems (TODS)
Coding-Based Replication Schemes for Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Access control and signatures via quorum secret sharing
CCS '96 Proceedings of the 3rd ACM conference on Computer and communications security
An adaptive data replication algorithm
ACM Transactions on Database Systems (TODS)
Dynamic voting for consistent primary components
PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing
A dynamic view-oriented group communication service
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
Decentralized replicated-object protocols
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
Access Control and Signatures via Quorum Secret Sharing
IEEE Transactions on Parallel and Distributed Systems
A simulation study of replication control protocols using volatile witnesses
ANSS '92 Proceedings of the 25th annual symposium on Simulation
An Efficient SuperGrid Protocol for High Availability and Load Balancing
IEEE Transactions on Computers
Consistency management in Deno
Mobile Networks and Applications
Light-Weight Currency Management Mechanisms in Mobile and Weakly-Connected Environments
Distributed and Parallel Databases
A Hybrid Replica Control Algorithm Combining Static and Dynamic Voting
IEEE Transactions on Knowledge and Data Engineering
Storage Efficient and Secure Replicated Distributed Databases
IEEE Transactions on Knowledge and Data Engineering
A New Dynamic Voting Algorithm for Distributed Database Systems
IEEE Transactions on Knowledge and Data Engineering
A Nonblocking Transaction Data Flow Graph Based Protocol For Replicated Databases
IEEE Transactions on Knowledge and Data Engineering
Using Reconfiguration for Efficient Management of Replicated Data
IEEE Transactions on Knowledge and Data Engineering
Voting as the Optimal Static Pessimistic Scheme for Managing Replicated Data
IEEE Transactions on Parallel and Distributed Systems
A Group Membership Algorithm with a Practical Specification
IEEE Transactions on Parallel and Distributed Systems
A view-based dynamic replication control algorithm
Nordic Journal of Computing
Flexible Management of Consistency and Availability of Networked Data Replications
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Resilient Logical Structures for Efficient Management of Replicated Data
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
COMPSAC '00 24th International Computer Software and Applications Conference
A Dynamic Primary Configuration Group Communication Service
Proceedings of the 13th International Symposium on Distributed Computing
The Effect of Workload on the Performance and Availability of Voting Algorithms
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
A Synchronisation Mechanism for Replicated Objects
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Enhancing Replica Management Services to Cope with Group Failures
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
A survey of permission-based distributed mutual exclusion algorithms
Computer Standards & Interfaces
Evaluating quorum systems over the Internet
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Analyzing dynamic voting using Petri nets
SRDS '96 Proceedings of the 15th Symposium on Reliable Distributed Systems
Scalable and dynamic quorum systems
Proceedings of the twenty-second annual symposium on Principles of distributed computing
Application-based dynamic primary views in asynchronous distributed systems
Journal of Parallel and Distributed Computing
Support for Speculative Update Propagation and Mobility in Deno
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Availability Study of Dynamic Voting Algorithms
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Experiences with an object-level scalable web framework
Journal of Network and Computer Applications
Are quorums an alternative for data replication?
ACM Transactions on Database Systems (TODS)
Distributed and Parallel Databases
Deno: A Decentralized, Peer-to-Peer Object-Replication System for Weakly Connected Environments
IEEE Transactions on Computers
A dynamic data/currency protocol for mobile database design and reconfiguration
Proceedings of the 2003 ACM symposium on Applied computing
Analyzing reconfigurable algorithms for managing replicated data
Journal of Systems and Software
Fastpath Optimizations for Cluster Recovery in Shared-Disk Systems
Proceedings of the 2004 ACM/IEEE conference on Supercomputing
Distributed Computing
Scalable and dynamic quorum systems
Distributed Computing
Coordinated interaction using reliable broadcast in mobile wireless networks
Computer Networks: The International Journal of Computer and Telecommunications Networking
Long-lived Rambo: Trading knowledge for communication
Theoretical Computer Science
Data replication model for remote procedure call transactions
DIWEB'06 Proceedings of the 5th WSEAS International Conference on Distance Learning and Web Engineering
Decentralized managing of replication objects in massively distributed systems
DaMaP '08 Proceedings of the 2008 international workshop on Data management in peer-to-peer systems
The obscure nature of epidemic quorum systems
Proceedings of the 9th workshop on Mobile computing systems and applications
A General Approach to Analyzing Quorum-Based Heterogeneous Dynamic Data Replication Schemes
ICDCN '09 Proceedings of the 10th International Conference on Distributed Computing and Networking
Managing data using neighbour replication on a triangular-grid structure
International Journal of High Performance Computing and Networking
Proxy agent based replication control model for wireless internet
Information Sciences: an International Journal
Meaningful metrics for evaluating eventual consistency
Euro-Par'10 Proceedings of the 16th international Euro-Par conference on Parallel processing: Part II
In-network data acquisition and replication in mobile sensor networks
Distributed and Parallel Databases
ICCC'11 Proceedings of the 2011 international conference on Computers and computing
Adaptive voting for balancing data integrity with availability
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part II
A new approach for efficiently achieving high availability in mobile computing
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part III
Coordinated interaction using reliable broadcast in mobile wireless networks
NETWORKING'05 Proceedings of the 4th IFIP-TC6 international conference on Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communication Systems
Hi-index | 0.02 |
There are several replica control algorithms for managing replicated files in the face of network partitioning due to site or communication link failures. Pessimistic algorithms ensure consistency at the price of reduced availability; they permit at most one (distinguished) partition to process updates at any given time. The best known pessimistic algorithm, voting, is a “static” algorithm, meaning that all potential distinguished partitions can be listed in advance. We present a dynamic extension of voting called dynamic voting. This algorithm permits updates in a partition provided it contains more than half of the up-to-date copies of the replicated file. We also present an extension of dynamic voting called dynamic voting with linearly ordered copies (abbreviated as dynamic-linear). These algorithms are dynamic because the order in which past distinguished partitions were created plays a role in the selection of the next distinguished partition. Our algorithms have all the virtues of ordinary voting, including its simplicity, and provide improved availability as well. We provide two stochastic models to support the latter claim. In the first (site) model, sites may fail but communication links are infallible; in the second (link) model the reverse is true. We prove that under the site model, dynamic-linear has greater availability than any static algorithm, including weighted voting, if there are four or more sites in the network. In the link model, we consider all biconnected five-site networks and a wide variety of failure and repair rates. In all cases considered, dynamic-linear had greater availability than any static algorithm.