pbailis / tinytocs-site
Tiny Transactions on Computer Systems (TinyToCS) Site
☆32Updated 8 years ago
Related projects: ⓘ
- Feed-forward Bloom filters☆52Updated 13 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- A distributed key-value cache with builtin materialized views.☆27Updated 9 years ago
- Automated multicore scalability testing tool☆87Updated 8 years ago
- The array hash table, array burst trie and array BST, written in C, as described in my PhD thesis.☆40Updated 7 years ago
- Fast linearizability checker☆65Updated 9 years ago
- ☆24Updated 7 years ago
- Stasis is a flexible transactional storage library that is geared toward high-performance applications and system developers. It supports…☆53Updated 11 years ago
- ☆11Updated 6 years ago
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆72Updated 9 years ago
- Demo re-implementation of the Hadoop MapReduce scheduler in Python☆13Updated 8 years ago
- File-system fault injection framework for distributed storage systems☆61Updated 5 years ago
- Artifact for PPoPP'18☆17Updated 2 years ago
- Accurate and Fast Evaluation of Multi-Stage Log-Structured Designs☆10Updated 8 years ago
- Prototype of FPaxos, built upon LibPaxos3☆49Updated 4 years ago
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Updated 8 years ago
- Distributed Systems Reading Group☆20Updated 6 years ago
- Tests with PlusCal / TLA+☆25Updated 7 years ago
- attempt at summarizing Raft in one page of pseudo-code☆19Updated 6 years ago
- Implementation of Raft consensus algorithm☆112Updated 9 years ago
- A Distributed Key-Value Store for FAWN☆76Updated 13 years ago
- AllConcur: Algorithm for LeaderLess CONCURrent atomic broadcast☆29Updated 7 years ago
- Space-Efficient, High-Performance Rank & Select Structures on Uncompressed Bit Sequences☆52Updated 8 months ago
- TLA+ and Alloy specs of database isolation☆19Updated 8 years ago
- TLA+ specification of Flexible Paxos☆38Updated 11 months ago
- Space-Efficient, High-Performance Rank & Select Structures on Uncompressed Bit Sequences☆15Updated 6 years ago
- The Musketeer workflow manager.☆41Updated 5 years ago
- ☆23Updated 9 years ago
- ☆28Updated 7 years ago
- C implementations of several scalable non-blocking data structures for x86 and x86-64.☆37Updated 13 years ago