cmu-db / peloton-test
SQL Testing Framework for the Peloton DBMS
☆20Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for peloton-test
- The Musketeer workflow manager.☆41Updated 6 years ago
- Diamond reactive programming platform☆26Updated 2 years ago
- Accurate and Fast Evaluation of Multi-Stage Log-Structured Designs☆10Updated 8 years ago
- Eris distributed transactions☆52Updated 6 years ago
- ☆35Updated 9 months ago
- Fast linearizability checker☆66Updated 9 years ago
- ☆26Updated 2 years ago
- Quickstep Project☆27Updated 5 years ago
- Automatic MongoDB database designer☆55Updated 9 years ago
- Code snippets for the workshop on concurrent data structure implementation.☆31Updated 11 years ago
- Distributed Systems Reading Group☆20Updated 6 years ago
- A formal specification of snapshot isolation.☆18Updated 5 months ago
- TLA+ specification of Flexible Paxos☆38Updated last year
- "Byteslice: Pushing the envelop of main memory data processing with a new storage layout" (SIGMOD'15)☆25Updated 6 years ago
- In memory TPC-C implementation. Used for a number of database research projects.☆37Updated 4 years ago
- Apache Quickstep Incubator - This project is retired☆94Updated 5 years ago
- Dependably fast multi-core in-memory transactions☆19Updated 7 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- A code-generating database system with incorporated versioning commands in SQL.☆14Updated 3 years ago
- FOEDUS main source code repository☆64Updated 7 years ago
- A transactional main-memory database system on multicores☆102Updated 6 years ago
- attempt at summarizing Raft in one page of pseudo-code☆19Updated 6 years ago
- Benchmarking In-Memory Index Structures☆26Updated 5 years ago
- TLA+ and Alloy specs of database isolation☆19Updated 9 years ago
- RWMutex for sharing of multicore machines.☆16Updated 5 years ago
- Fork of the Shore-MT storage manager used by the research project Instant Recovery☆29Updated 6 years ago
- This repository hosts the code used for the following paper: Claude Barthels, Ingo Müller, Konstantin Taranov, Torsten Hoefler, Gustavo A…☆10Updated 5 years ago
- Tests with PlusCal / TLA+☆25Updated 7 years ago
- The array hash table, array burst trie and array BST, written in C, as described in my PhD thesis.☆40Updated 8 years ago
- Transparent Paxos☆43Updated 5 years ago