mit-pdos / 6.826-2017-labsLinks
☆14Updated 7 years ago
Alternatives and similar repositories for 6.826-2017-labs
Users that are interested in 6.826-2017-labs are comparing it to the libraries listed below
Sorting:
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 7 years ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- ☆31Updated 3 years ago
- SIMD recipes, for various platforms (collection of code snippets)☆48Updated 4 years ago
- Makes building C++ projects easier with Buck.☆23Updated 3 years ago
- The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…☆34Updated 11 years ago
- The SprayList data structure☆33Updated 8 years ago
- Compiler intermediate language for static analysis.☆108Updated 6 years ago
- RWMutex for sharing of multicore machines.☆17Updated 6 years ago
- TLA+ and Alloy specs of database isolation☆20Updated 9 years ago
- Tests with PlusCal / TLA+☆25Updated 8 years ago
- Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations☆36Updated 6 years ago
- TokuFT is a high-performance, transactional key-value store☆19Updated 5 years ago
- A simple VM to play with OSR in LLVM☆14Updated 7 years ago
- Parallel programming library in C++11☆12Updated 5 years ago
- Code snippets for the workshop on concurrent data structure implementation.☆31Updated 12 years ago
- Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming☆48Updated 9 years ago
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12Updated 5 years ago
- A distributed key-value cache with builtin materialized views.☆26Updated 10 years ago
- Diamond reactive programming platform☆25Updated 2 years ago
- mirror of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/perfbook.git☆73Updated 12 years ago
- Quick sort code using AVX2 instructions☆69Updated 8 years ago
- A small DFA for under 16 states☆51Updated 6 years ago
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Updated 8 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Updated 4 years ago
- The rewrite of TLAPM, the TLAPS proof manager☆1Updated 5 years ago
- Code experiments to exercise ideas while reading "Engineering a Compiler".☆27Updated 6 years ago
- RLU resizable hash-table☆17Updated 9 years ago
- scripts for TAing 15721☆12Updated 9 years ago