mrry / cielLinks
A distributed execution engine for cloud computing
☆86Updated 13 years ago
Alternatives and similar repositories for ciel
Users that are interested in ciel are comparing it to the libraries listed below
Sorting:
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆71Updated 10 years ago
- Implementation of Raft consensus algorithm☆114Updated 11 years ago
- File-system fault injection framework for distributed storage systems☆68Updated 7 years ago
- A framework for building database systems by high-level programming, and getting really good performance nevertheless.☆138Updated 7 years ago
- Embeddable multi-Paxos For The JVM☆77Updated last year
- Grappa: scaling irregular applications on commodity clusters☆159Updated 8 years ago
- Fast linearizability checker☆67Updated 10 years ago
- Old Probabilistically Bounded Staleness (PBS) analysis for Cassandra (see http://www.bailis.org/blog/using-pbs-in-cassandra-1.2.0/)☆29Updated 13 years ago
- The Musketeer workflow manager.☆42Updated 7 years ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆90Updated 9 years ago
- TLA+ specification of Flexible Paxos☆41Updated 2 years ago
- Tests with PlusCal / TLA+☆25Updated 8 years ago
- Projects related to end-to-end tracing and causal metadata propagation, such as X-Trace, Retro, and Pivot Tracing☆90Updated 3 years ago
- [Archived] A Fast Multi-tiered Distributed Storage System based on User-Level I/O☆74Updated 7 years ago
- Prototype of FPaxos, built upon LibPaxos3☆48Updated 5 years ago
- The Delite Git Repo☆219Updated 8 years ago
- Yesquel: scalable SQL storage for Web apps☆43Updated 8 years ago
- Your worst case is our best case.☆143Updated 8 years ago
- TLA+ specification of the Kafka replication protocol☆88Updated 6 years ago
- NOPaxos consensus protocol☆139Updated 5 years ago
- Apache Quickstep Incubator - This project is retired☆94Updated 7 years ago
- Persistent Adaptive Radix Trees in Java☆82Updated 5 years ago
- Repository for Berkeley's class on Programming the Cloud☆60Updated 5 years ago
- Kompics - A message-passing component model for building distributed systems☆66Updated 3 years ago
- Experiments in partially ordered SMR.☆48Updated 4 years ago
- Sparrow scheduling platform (U.C. Berkeley).☆328Updated 5 years ago
- ZooKeeper Atomic Broadcast in Java☆54Updated 3 years ago
- A Swiss Army knife for read-write quorum systems☆85Updated 4 years ago
- Fast I/O plugins for Spark☆41Updated 5 years ago
- An implementation of LDFI☆128Updated 7 years ago