Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleJune 2024
Invited Paper: Causal Mutual Byzantine Broadcast
ApPLIED'24: Proceedings of the 2024 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systemsPages 1–8https://doi.org/10.1145/3663338.3663679Recently, a new communication abstraction called Mutual Broadcast has been proposed for message-passing distributed systems where some processes may fail by crashing. It is a one-to-all broadcast abstraction providing an ordering property that allows it ...
- research-articleJune 2024
The Fractional Spending Problem: Executing Payment transactions in parallel with less than f+1 validations
PODC '24: Proceedings of the 43rd ACM Symposium on Principles of Distributed ComputingPages 295–305https://doi.org/10.1145/3662158.3662817We consider the problem of supporting payment transactions in an asynchronous system in which up to f validators are subject to Byzantine failures under the control of an adaptive adversary. It was shown that, in the case of a single owner, this problem ...
- short-paperJune 2023
Brief Announcement: Breaking the f + 1 Barrier: Executing Payment Transactions in Parallel with Less than f + 1 Validations
PODC '23: Proceedings of the 2023 ACM Symposium on Principles of Distributed ComputingPages 274–277https://doi.org/10.1145/3583668.3594580We consider the problem of validating payment transactions in an asynchronous system in which up to f validators are subject to Byzantine failures under the control of an adaptive adversary. It was shown that this problem can be solved without consensus ...
- research-articleOctober 2019
Fast and secure global payments with Stellar
- Marta Lokhava,
- Giuliano Losa,
- David Mazières,
- Graydon Hoare,
- Nicolas Barry,
- Eli Gafni,
- Jonathan Jove,
- Rafał Malinowsky,
- Jed McCaleb
SOSP '19: Proceedings of the 27th ACM Symposium on Operating Systems PrinciplesPages 80–96https://doi.org/10.1145/3341301.3359636International payments are slow and expensive, in part because of multi-hop payment routing through heterogeneous banking systems. Stellar is a new global payment network that can directly transfer digital money anywhere in the world in seconds. The key ...
- ArticleMay 2015
Trapezoid Quorum Protocol Dedicated to Erasure Resilient Coding Based Schemes
IPDPSW '15: Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium WorkshopPages 1082–1088https://doi.org/10.1109/IPDPSW.2015.108In distributed storage systems like parallel file systems or storage virtualization middleware, data replication is the mainly used solution to implement data avaialability. The more replicas are distributed among nodes, the more robust is the storage ...
-
- research-articleMay 2015
Majority quorum protocol dedicated to general threshold schemes
CCGRID '15: Proceedings of the 15th IEEE/ACM International Symposium on Cluster, Cloud, and Grid ComputingPages 785–788https://doi.org/10.1109/CCGrid.2015.76In this paper, we introduce a majority quorum system dedicated to p-m-n general threshold schemes where p, n and m are respectively the minimal number of chunks that provide some information (but not necessarily all) on the original data, the total ...
- research-articleMarch 2013
SWORD: scalable workload-aware data placement for transactional workloads
EDBT '13: Proceedings of the 16th International Conference on Extending Database TechnologyPages 430–441https://doi.org/10.1145/2452376.2452427In this paper, we address the problem of transparently scaling out transactional (OLTP) workloads on relational databases, to support database-as-a-service in cloud computing environment. The primary challenges in supporting such workloads include ...
- research-articleJuly 2010
Accessing probabilistic quorums in dynamic networks
WRAS '10: Proceedings of the Third International Workshop on Reliability, Availability, and SecurityArticle No.: 3, Pages 1–6https://doi.org/10.1145/1953563.1953565Quorums are a fundamental building block for solving various fundamental problems such as consensus, distributed dictionaries, distributed storage, among others. In particular, probabilistic quorums have shown to be scalable, efficient, and suitable for ...
- ArticleDecember 2009
How to be a More Efficient Snoop: Refined Probe Complexity of Quorum Sets
PDCAT '09: Proceedings of the 2009 International Conference on Parallel and Distributed Computing, Applications and TechnologiesPages 354–359https://doi.org/10.1109/PDCAT.2009.31Quorums are flexible and well-studied means for implementing fault-tolerant distributed systems. The probe complexity gives the number of probes required to find a quorum of noncrashed processes or to reveal that no such quorum currently exists. In this ...
- articleDecember 2008
Towards an authentication service for Peer-to-Peer based Massively Multiuser Virtual Environments
International Journal of Advanced Media and Communication (IJAMC), Volume 2, Issue 4Pages 364–379https://doi.org/10.1504/IJAMC.2008.022221In this paper we propose a distributed authentication service for Peer-to-Peer (P2P) based massively multiuser virtual environments. Such a service is necessary to provide security, e.g., preventing a user's account being stolen or the user being ...
- demonstrationAugust 2008
On the robustness of (semi) fast quorum-based implementations of atomic shared memory
PODC '08: Proceedings of the twenty-seventh ACM symposium on Principles of distributed computingPage 425https://doi.org/10.1145/1400751.1400817Atomic (linearizable) read/write memory is a fundamental abstractions in distributed computing. Following a seminal implementation of atomic memory of Attiya et al. [6], a folklore belief developed that in messaging-passing atomic memory implementations ...
- ArticleDecember 2007
Timed quorum systems for large-scale and dynamic environments
OPODIS'07: Proceedings of the 11th international conference on Principles of distributed systemsPages 429–442This paper presents Timed Quorum System (TQS), a quorum system for large-scale and dynamic systems. TQS provides guarantees that two quorums, accessed at instances of time that are close together, intersect with high probability. We present an algorithm ...
- ArticleAugust 2007
Refined quorum systems
PODC '07: Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computingPages 119–128https://doi.org/10.1145/1281100.1281120It is considered good distributed computing practice to devise object implementations that tolerate contention, periods of asynchrony and a large number of failures, but perform fast if few failures occur, the system is synchronous and there is no ...
- articleDecember 2005
Probabilistic quorums for dynamic systems
Distributed Computing (DICO), Volume 18, Issue 2Pages 113–124https://doi.org/10.1007/s00446-005-0139-2A quorum system is a set of sets such that every two sets in the quorum system intersect. Quorum systems are well known building blocks for maintaining information in a distributed system while providing high availability and good load balance. ...
- ArticleOctober 2005
Fault-scalable Byzantine fault-tolerant services
SOSP '05: Proceedings of the twentieth ACM symposium on Operating systems principlesPages 59–74https://doi.org/10.1145/1095810.1095817A fault-scalable service can be configured to tolerate increasing numbers of faults without significant decreases in performance. The Query/Update (Q/U) protocol is a new tool that enables construction of fault-scalable Byzantine fault-tolerant ...
Also Published in:
ACM SIGOPS Operating Systems Review: Volume 39 Issue 5 - ArticleSeptember 2003
Decentralized weighted voting for P2P data management
MobiDe '03: Proceedings of the 3rd ACM international workshop on Data engineering for wireless and mobile accessPages 85–92https://doi.org/10.1145/940923.940939This paper presents a decentralized variant of David Gifford's classic weighted-voting scheme for managing replicated data. Weighted voting offers a familiar consistency model and supports on-line replica reconfiguration. These properties make it a good ...
- articleSeptember 2003
Are quorums an alternative for data replication?
ACM Transactions on Database Systems (TODS), Volume 28, Issue 3Pages 257–294https://doi.org/10.1145/937598.937601Data replication is playing an increasingly important role in the design of parallel information systems. In particular, the widespread use of cluster architectures often requires to replicate data for performance and availability reasons. However, ...
- research-articleApril 2003
What Designers of Bus and Network Architectures Should Know about Hypercubes
IEEE Transactions on Computers (ITCO), Volume 52, Issue 4Pages 525–544https://doi.org/10.1109/TC.2003.1190592We quantify why, as designers, we should prefer clique-based hypercubes (K-cubes) over traditional hypercubes based on cycles (C-cubes). Reaping fresh analytic results, we find that K-cubes minimize the wirecount and, simultaneously, the latency of ...
- research-articleMarch 2000
An Architecture for Survivable Coordination in Large Distributed Systems
IEEE Transactions on Knowledge and Data Engineering (IEEECS_TKDE), Volume 12, Issue 2Pages 187–202https://doi.org/10.1109/69.842262Coordination among processes in a distributed system can be rendered very complex in a large-scale system where messages may be delayed or lost and when processes may participate only transiently or behave arbitrarily, e.g., after suffering a security ...