nayak16 / Custom-OS-Kernel
Kernel created for 15-410 Operating Systems class at Carnegie Mellon
☆13Updated 8 years ago
Alternatives and similar repositories for Custom-OS-Kernel:
Users that are interested in Custom-OS-Kernel are comparing it to the libraries listed below
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Updated 8 years ago
- Java Skeleton Code for 6.035☆8Updated 4 years ago
- userspace /proc filesystem☆12Updated 3 years ago
- Framework of pa code for THU compiler principle course.☆13Updated 5 years ago
- Official page for 18-847C (Spring '22): Data Center Computing☆17Updated 2 years ago
- Just save my record on github...☆25Updated 4 years ago
- WineFS (SOSP 21): a huge-page aware file system for persistent memory☆35Updated last year
- ☆12Updated 7 months ago
- rewrite subset of linux 2.6 by OOP, C++ advanced topics☆11Updated 3 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions☆16Updated last year
- Code snippets for the workshop on concurrent data structure implementation.☆31Updated 12 years ago
- Nautilus Aerokernel☆45Updated 2 years ago
- ☆19Updated 2 months ago
- [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)☆14Updated 4 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
- Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22☆21Updated 2 weeks ago
- CS 346 RedBase Project (Stanford)☆37Updated 9 years ago
- Code and results for our paper "Analyzing Vectorized Hash Tables Across CPU Architectures" @ VLDB '23.☆24Updated last year
- ☆21Updated 7 years ago
- Rust bindings for SPDK☆12Updated 5 years ago
- Lab assignments for 6.826☆10Updated 5 years ago
- Course website for Advanced Operating Systems☆13Updated 2 years ago
- Operating System Simulator☆19Updated 5 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 7 years ago
- Code experiments to exercise ideas while reading "Engineering a Compiler".☆27Updated 6 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 3 years ago
- ☆16Updated last year
- Yizhou' Homepage☆47Updated 4 months ago
- ☆34Updated 3 years ago