An implementation of the MDCC (Multi-Data Center Commit) Protocol featuring Fast Paxos.
☆18Mar 16, 2013Updated 13 years ago
Alternatives and similar repositories for mdcc
Users that are interested in mdcc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆71Jan 23, 2015Updated 11 years ago
- NIFTY is a fault tolerance tool to partial network partitions. In case of partial network partitions, NIFTY preserves cluster connectivit…☆21Jan 7, 2021Updated 5 years ago
- The CompCert formally-verified C compiler☆11Mar 22, 2026Updated last week
- ☆10Nov 26, 2024Updated last year
- Compiler Principle, Design, Implementation and Optimization☆12Jul 19, 2015Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- ☆13Apr 10, 2025Updated 11 months ago
- Driver for the LDBC SNB Interactive workload☆20Jan 11, 2025Updated last year
- Old VPC: see joyent/freebsd-vpc☆10Dec 15, 2023Updated 2 years ago
- SLOG: Serializable, Low-latency, Geo-replicated Transactions☆48May 22, 2023Updated 2 years ago
- A high precision timer base on timing-wheel written in Go☆12May 26, 2017Updated 8 years ago
- ☆13Apr 27, 2020Updated 5 years ago
- a simple & powerful network Library written in Go☆11Aug 15, 2017Updated 8 years ago
- ☆20Jun 4, 2021Updated 4 years ago
- Gentoo Linux Install Scripts☆10Feb 9, 2015Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- URingPaxos : A high throughput atomic multicast protocol☆30Oct 11, 2023Updated 2 years ago
- Problem: LU Factorization using OpenMP and MPI: study of scalability.☆15Oct 26, 2013Updated 12 years ago
- Compiler Principle Lab In NJU☆15Dec 24, 2017Updated 8 years ago
- A testing framework for distributed systems that can inject different types of network-partitioning faults☆16Dec 14, 2021Updated 4 years ago
- Movec: A Tool for the Monitoring and Verification of C Programs☆22Mar 9, 2024Updated 2 years ago
- 算法导论☆14Dec 28, 2018Updated 7 years ago
- Cloud Native Distributed Nearest Neighbour Search☆15Jun 9, 2020Updated 5 years ago
- A place to hold discussions on i18n topics, and to put documents that summarise, support or initiate those discussions.☆18Nov 14, 2025Updated 4 months ago
- Compiler for Dynamic Neural Networks☆45Nov 13, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- golang aspect tool☆25Oct 12, 2021Updated 4 years ago
- ☆51Mar 13, 2024Updated 2 years ago
- Triton Terraform Provider☆15Sep 3, 2025Updated 6 months ago
- collection of my dotfiles☆29Mar 18, 2026Updated last week
- Falcon: A practical log-based analysis tool for distributed systems☆32Apr 3, 2021Updated 4 years ago
- SQL Optimizations using MLIR☆12Apr 5, 2020Updated 5 years ago
- ☆12Dec 14, 2019Updated 6 years ago
- This project allows you to use the S3 API to perform operations against a Manta object store.☆13Oct 7, 2016Updated 9 years ago
- 🌳 A compressed rank/select dictionary exploiting approximate linearity and repetitiveness.☆15Jun 28, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Tools that work directly on Gluster volumes, inspired by the standard coreutils.☆12Jan 23, 2025Updated last year
- ☆14Apr 12, 2019Updated 6 years ago
- LU decomposition of a large matrix using OpenMP and MPI☆17Oct 16, 2013Updated 12 years ago
- Scalable Distributed System Model Checking with Specification-Level State Exploration☆28Apr 24, 2024Updated last year
- A synchronized bounded message queue built on Redis.☆83Oct 24, 2014Updated 11 years ago
- Vagrant VLAN plugin☆13Oct 29, 2021Updated 4 years ago
- Source code of our implementation of the concurrent RMA☆12May 23, 2019Updated 6 years ago