Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
☆36Sep 15, 2024Updated last year
Alternatives and similar repositories for skyloft
Users that are interested in skyloft are comparing it to the libraries listed below
Sorting:
- ☆13Nov 21, 2024Updated last year
- Artifact for Direct Memory Translation for Virtualized Clouds [ASPLOS '24]☆14Feb 20, 2024Updated 2 years ago
- ☆18Dec 11, 2023Updated 2 years ago
- A user level library for applications to transparently use Intel DSA.☆41Jan 23, 2026Updated last month
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆35Feb 11, 2022Updated 4 years ago
- ☆20Sep 8, 2025Updated 5 months ago
- Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security☆120Feb 21, 2026Updated last week
- Source code for "DiLOS: Do Not Trade Compatibility for Performance in Memory Disaggregation (EuroSys'23)"☆20May 15, 2023Updated 2 years ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆50Sep 2, 2024Updated last year
- ☆39Apr 15, 2024Updated last year
- ☆58May 10, 2024Updated last year
- A Filesystem Semi-Microkernel.☆46Oct 24, 2023Updated 2 years ago
- https://rs3lab.github.io/SynCord/☆26Nov 23, 2022Updated 3 years ago
- A hand-written recursive decent Verilog parser.☆10Jan 30, 2026Updated last month
- Infiniband RDMA Examples using libibverbs and librdmacm for learning purposes☆12Sep 24, 2021Updated 4 years ago
- An EDM-enabled PHY + a rack-level network simulator☆14Dec 11, 2024Updated last year
- Ensō is a high-performance streaming interface for NIC-application communication.☆78Sep 4, 2025Updated 6 months ago
- RISC-V-based many-core neuromorphic architecture☆15Aug 3, 2025Updated 7 months ago
- RPCNIC: A High-Performance and Reconfigurable PCIe-attached RPC Accelerator [HPCA2025]☆13Dec 9, 2024Updated last year
- Rcore Virtual Machine☆115Mar 6, 2024Updated last year
- ☆15Apr 18, 2023Updated 2 years ago
- Generate graphviz dot files from InfiniBand topology dumps.☆16Feb 11, 2024Updated 2 years ago
- A router IP written in Verilog.☆12Dec 20, 2019Updated 6 years ago
- ☆13Oct 8, 2021Updated 4 years ago
- PKU CompNet'19 Lab 2 - Homebrew TCP☆12Nov 29, 2019Updated 6 years ago
- Heterogeneous memory mapper (hmmap)☆12Dec 4, 2020Updated 5 years ago
- Scaling Up Memory Disaggregated Applications with SMART☆34Apr 23, 2024Updated last year
- Tiered Memory Management: Access Latency is the Key!☆62Mar 17, 2025Updated 11 months ago
- 基于FPGA实现用户态中断硬件机制 与优化操作系统内核☆10Apr 1, 2025Updated 11 months ago
- ☆12May 13, 2025Updated 9 months ago
- ☆18Nov 1, 2021Updated 4 years ago
- Run SPEC CPU 2017 benchmark on OpenHarmony/HarmonyOS NEXT☆35Jun 18, 2025Updated 8 months ago
- Relaxed Rust (for cats)☆14Nov 20, 2019Updated 6 years ago
- ☆38Jun 26, 2024Updated last year
- Backdraft: a Lossless Virtual Switch that Prevents the Slow Receiver Problem. USENIX NSDI 2022☆15Mar 1, 2023Updated 3 years ago
- A mini (consistent-wannabe) proof-assistant with power roughly equivalent to intelligence of a two month old cat☆16Mar 12, 2022Updated 3 years ago
- Practical Tamper-Proof System Auditing☆15Oct 19, 2023Updated 2 years ago
- InfiniBand Diagnostic Tools (DEPRECATED, part of rdma-core)☆18May 12, 2019Updated 6 years ago
- Writing a hypervisor in Rust☆11Apr 1, 2025Updated 11 months ago