POSIX-like scalable multicore research OS kernel
☆197Apr 16, 2020Updated 5 years ago
Alternatives and similar repositories for sv6
Users that are interested in sv6 are comparing it to the libraries listed below
Sorting:
- ☆30Dec 12, 2021Updated 4 years ago
- Memory access tracing QEMU☆100Jan 19, 2017Updated 9 years ago
- ☆19Jan 9, 2025Updated last year
- Experimental kernel with built-in replication.☆163Jul 17, 2025Updated 7 months ago
- This is an official GitHub repository for the paper, "Towards timeout-less transport in commodity datacenter networks.".☆16Oct 12, 2021Updated 4 years ago
- Framework of pa code for THU compiler principle course.☆13Dec 18, 2019Updated 6 years ago
- An FPGA-based NetTLP adapter☆27Mar 10, 2020Updated 5 years ago
- Source code of KVM☆18Aug 14, 2022Updated 3 years ago
- LiTL: Library for Transparent Lock Interposition☆86Jun 29, 2023Updated 2 years ago
- ☆18Sep 19, 2011Updated 14 years ago
- C in four functions☆19Jan 30, 2016Updated 10 years ago
- Distributed Shared Persistent Memory. SoCC 2017☆69Jul 20, 2020Updated 5 years ago
- Pythia is a set of RDMA-based remote side-channel attacks. USENIX Security 2019.☆30Oct 24, 2020Updated 5 years ago
- LITE Kernel RDMA Support for Datacenter Applications. SOSP 2017.☆111Jul 9, 2020Updated 5 years ago
- Lab assignments for 6.826☆11Nov 8, 2019Updated 6 years ago
- Linux porting to NonTrivialMIPS (based on linux-stable)☆12Aug 17, 2019Updated 6 years ago
- This is a PoC for CVE-2019-12594, a vulnerability in DOSBox 0.74-2.☆13Jul 1, 2019Updated 6 years ago
- A virtio layer for xv6☆12Apr 16, 2019Updated 6 years ago
- re-implementation of UNIX v6 in ANSI C for x86_64 SMP☆193Jul 22, 2023Updated 2 years ago
- Rcore Virtual Machine☆115Mar 6, 2024Updated last year
- ☆31Sep 16, 2025Updated 5 months ago
- raid is a GDB-like tiny debugger which is based on ptrace.☆16Jul 27, 2022Updated 3 years ago
- ☆14Nov 9, 2017Updated 8 years ago
- https://rs3lab.github.io/SynCord/☆26Nov 23, 2022Updated 3 years ago
- xv6 OS with TCP/IP Network Stack☆127Aug 25, 2020Updated 5 years ago
- ☆52Oct 10, 2024Updated last year
- ☆27Mar 2, 2023Updated 3 years ago
- My tests and experiments with some popular dl frameworks.☆17Sep 11, 2025Updated 5 months ago
- nv2D: Efficient immediate-mode style 2D rendering using OpenGL 4.x core vertex buffer objects☆15Oct 3, 2013Updated 12 years ago
- rewrite subset of linux 2.6 by OOP, C++ advanced topics☆10Jul 22, 2021Updated 4 years ago
- XRP: In-Kernel Storage Functions with eBPF☆239Jul 4, 2023Updated 2 years ago
- Lock-free multithreaded memory allocation☆110Dec 14, 2016Updated 9 years ago
- Implementation of the algorithms from "Scalable Lock-Free Dynamic Memory Allocation"☆17Sep 22, 2014Updated 11 years ago
- TiledLower is a Dataflow Analysis and Codegen Framework written in Rust.☆14Nov 23, 2024Updated last year
- Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions☆17Feb 28, 2024Updated 2 years ago
- KVell: the Design and Implementation of a Fast Persistent Key-Value Store☆293Dec 15, 2025Updated 2 months ago
- Mirror of the official Barrelfish OS repository.☆224Dec 9, 2022Updated 3 years ago
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆18Mar 5, 2023Updated 2 years ago
- The Mickey Mouse of dynamic linkers☆16Nov 15, 2025Updated 3 months ago