mit-pdos / 6.826-2017-labs
☆13Updated 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
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 7 years ago
- ☆31Updated 3 years ago
- TLA+ and Alloy specs of database isolation☆20Updated 9 years ago
- Compiler intermediate language for static analysis.☆108Updated 6 years ago
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12Updated 4 years ago
- Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations☆36Updated 6 years ago
- RWMutex for sharing of multicore machines.☆17Updated 5 years ago
- Bytecode compiler of a variant of Caml☆34Updated 9 years ago
- Learn LLVM Core Libraries, Second Edition, published by Packt☆13Updated 4 years ago
- Tests with PlusCal / TLA+☆25Updated 8 years ago
- A high-performance, concurrent hash table☆24Updated 11 years ago
- A simple VM to play with OSR in LLVM☆14Updated 7 years ago
- The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…☆33Updated 11 years ago
- SIMD recipes, for various platforms (collection of code snippets)☆48Updated 3 years ago
- TLA+ specification of Flexible Paxos☆40Updated last year
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- Stasis is a flexible transactional storage library that is geared toward high-performance applications and system developers. It supports…☆53Updated 12 years ago
- ☆14Updated 7 years ago
- Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming☆48Updated 9 years ago
- agentzh's fork of Russ Cox's re1 toy regex library☆19Updated 12 years ago
- Artifact for PPoPP'18☆19Updated 3 years ago
- LLVM DSA fork for SeaHorn☆21Updated 5 years ago
- Accepted papers for POPL 2015☆66Updated 8 years ago
- Code experiments to exercise ideas while reading "Engineering a Compiler".☆27Updated 6 years ago
- Sheriff consists of two tools: Sheriff-Detect, a false-sharing detector, and Sheriff-Protect, a false-sharing eliminator that you can lin…☆32Updated 6 years ago
- Specifying and Verifying the consensus algorithm in PaxosStore using TLA+☆21Updated 4 years ago
- Lab assignments for 6.826☆10Updated 5 years ago
- RLU resizable hash-table☆17Updated 9 years ago