mit-pdos / 6.826-2019-labsLinks
Lab assignments for 6.826
☆11Updated 5 years ago
Alternatives and similar repositories for 6.826-2019-labs
Users that are interested in 6.826-2019-labs are comparing it to the libraries listed below
Sorting:
- A high-performance, concurrent hash table☆24Updated 11 years ago
- Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions☆17Updated last year
- ☆19Updated 5 months ago
- [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)☆14Updated 4 years ago
- Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22☆21Updated 3 months ago
- Selected Topics in Computer Networks @ Johns Hopkins University☆19Updated 4 years ago
- Key-Value Store for Non-Volatile Memories uDepot☆46Updated 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
- Persistent Memory Programming book examples☆40Updated 7 months ago
- ☆30Updated 3 years ago
- ☆14Updated 2 years ago
- Fast and efficient file system metadata through LSM-tree☆29Updated 2 years ago
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆41Updated 2 years ago
- A toy SQL engine built on top of LSM(LevelDB)☆22Updated 5 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 7 years ago
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Updated 9 years ago
- EuroSys '24: "Trinity: A Fast Compressed Multi-attribute Data Store"☆18Updated 3 months ago
- Framework of pa code for THU compiler principle course.☆13Updated 5 years ago
- ☆16Updated last year
- ☆14Updated 5 years ago
- ☆21Updated 7 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
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆26Updated 4 years ago
- ☆31Updated 7 years ago
- Official page for 18-847C (Spring '22): Data Center Computing☆17Updated 3 years ago
- ScalaCache: Scalable User-Space Page Cache Management with Software-Hardware Coordination (USENIX ATC'24)☆12Updated 11 months ago
- Reading seminar in Harvard Cloud Networking and Systems Group☆16Updated 2 years ago
- Rust bindings for SPDK☆12Updated 5 years ago
- 在RISC-V处理器上实现一个轻量级的Hypervisor。☆12Updated 4 years ago
- A website providing info for self-learners who want to explore the world of operating systems. The website template is from https://githu…☆51Updated 4 years ago