ramanala / PACELinks
Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems
☆15Updated 8 years ago
Alternatives and similar repositories for PACE
Users that are interested in PACE are comparing it to the libraries listed below
Sorting:
- Transparent Paxos☆44Updated 6 years ago
- A persistent LSM key-value store. FloDB is designed to scale with the number of threads and memory size.☆26Updated 8 years ago
- ☆51Updated last year
- In memory TPC-C implementation. Used for a number of database research projects.☆38Updated 4 years ago
- Strata: A Cross Media File System☆73Updated 2 years ago
- ERMIA: Memory-Optimized OLTP engine for Heterogeneous Workloads (SIGMOD 2016)☆90Updated 2 years ago
- Sundial: A distributed OLTP database testbed.☆37Updated 4 years ago
- Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.☆115Updated 2 years ago
- ☆19Updated 5 months ago
- CrashMonkey: tools for testing file-system reliability (OSDI 18)☆200Updated 2 years ago
- Mu: Microsecond Consensus for Microsecond Applications☆40Updated 4 years ago
- NVM Database from Carnegie-Mellon U☆24Updated 4 years ago
- NVM Evaluation Testbed☆29Updated 6 years ago
- An RDMA-powered, fast, and scalable Paxos protocol☆25Updated 6 years ago
- ☆26Updated 3 years ago
- LiTL: Library for Transparent Lock Interposition☆82Updated last year
- A fast in-memory key-value store☆49Updated 7 years ago
- ☆35Updated last year
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 4 years ago
- ☆21Updated 3 years ago
- Source code for our OSDI 2016 paper☆110Updated 6 years ago
- In Spec We Trust☆36Updated last month
- ☆25Updated 8 years ago
- ReFlex: Remote Flash == Local Flash☆90Updated 6 years ago
- Simulator for comparing memory allocation policies for caches.☆19Updated 6 years ago
- A tool for measuring the cache-coherence latencies of a processor (i.e., the latencies of loads, stores, CAS, FAI, TAS, and SWAP).☆78Updated 3 years ago
- Code for "Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank. Efficient Lock-Free Durable Sets, OOPSLA 2019" (ht…☆19Updated 5 years ago
- Distributed Shared Persistent Memory. SoCC 2017☆69Updated 4 years ago
- Fast In-memory Transaction Processing using RDMA and HTM☆58Updated 9 years ago
- Fast linearizability checker☆66Updated 10 years ago