josefbacik / log-writes
Helper code for dm-log-writes target.
☆12Updated 2 months ago
Related projects: ⓘ
- Source for SibylFS model and test tools☆35Updated 3 years ago
- CS510 Advanced Topics in Concurrency Project☆15Updated 4 years ago
- Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.☆65Updated 4 years ago
- ☆21Updated 6 years ago
- An operation-log based approach for data replication.☆62Updated last year
- SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes☆36Updated 2 weeks ago
- Simplify the use of performance counters.☆62Updated 2 years ago
- ALLVM Tools☆55Updated 2 years ago
- ☆11Updated 2 years ago
- ☆31Updated 2 years ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆40Updated 3 weeks ago
- RLU resizable hash-table☆16Updated 9 years ago
- A Rust user-space file system [WIP]☆27Updated 3 years ago
- Ferrite, a toolkit for developing file system crash-consistency models☆17Updated 8 years ago
- ☆27Updated last week
- https://www.usenix.org/conference/atc20/presentation/boucher☆24Updated 2 years ago
- Weighted Regular Expressions, an experiment in porting an academic Haskell library to Rust☆19Updated 4 years ago
- A set of platform-agnostic tools to measure the performance of various BPF helper functions.☆19Updated this week
- ☆10Updated 4 years ago
- Parallel sections library for parallel data-structures☆13Updated 10 months ago
- TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)☆68Updated 5 years ago
- Lock-free slab allocator / freelist.☆65Updated 8 years ago
- Library for Restartable Sequences☆64Updated 2 weeks ago
- Aurora Single Level Store☆25Updated 6 months ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 4 years ago
- A determinizing tracer using Ptrace☆33Updated 4 years ago
- A Rust library for safely programming persistent memory☆73Updated 3 months ago
- This is the implementation of our research system Illuminator that was published in ASPLOS 2018 with the title "Making Huge Pages Actuall…☆11Updated 4 years ago
- ☆22Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆36Updated 11 months ago