mrry / cielLinks
A distributed execution engine for cloud computing
☆84Updated 13 years ago
Alternatives and similar repositories for ciel
Users that are interested in ciel are comparing it to the libraries listed below
Sorting:
- Implementation of Raft consensus algorithm☆112Updated 11 years ago
- File-system fault injection framework for distributed storage systems☆67Updated 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 11 months ago
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆71Updated 10 years ago
- The Delite Git Repo☆219Updated 8 years ago
- TLA+ specification of the Kafka replication protocol☆88Updated 5 years ago
- Repository for Berkeley's class on Programming the Cloud☆60Updated 5 years ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆90Updated 9 years ago
- The Musketeer workflow manager.☆42Updated 7 years ago
- Kompics - A message-passing component model for building distributed systems☆66Updated 3 years ago
- [Archived] A Fast Multi-tiered Distributed Storage System based on User-Level I/O☆74Updated 7 years ago
- A Distributed Key-Value Store for FAWN☆77Updated 15 years ago
- Experiments in partially ordered SMR.☆48Updated 4 years ago
- Grappa: scaling irregular applications on commodity clusters☆159Updated 8 years ago
- Eris distributed transactions☆52Updated 7 years ago
- A Framework for Runtime Code Generation and Compiled DSLs☆331Updated 6 years ago
- ☆57Updated 8 years ago
- Persistent Adaptive Radix Trees in Java☆82Updated 5 years ago
- Apache Quickstep Incubator - This project is retired☆94Updated 6 years ago
- Prototype of FPaxos, built upon LibPaxos3☆48Updated 5 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
- Concurrent TreeMap w/ efficient support for clone() and consistent iteration☆151Updated 13 years ago
- Sparrow scheduling platform (U.C. Berkeley).☆329Updated 5 years ago
- NOPaxos consensus protocol☆139Updated 5 years ago
- An implementation of LDFI☆128Updated 7 years ago
- Tests with PlusCal / TLA+☆25Updated 8 years ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 3 years ago
- Enabling queries on compressed data.☆281Updated last year
- Fast linearizability checker☆67Updated 10 years ago