☆36Mar 12, 2025Updated 11 months ago
Alternatives and similar repositories for KFlex
Users that are interested in KFlex are comparing it to the libraries listed below
Sorting:
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Feb 7, 2025Updated last year
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆50Sep 2, 2024Updated last year
- [NSDI '24] DINT: Fast In-Kernel Distributed Transactions with eBPF☆53Jul 6, 2024Updated last year
- Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"☆21Nov 6, 2024Updated last year
- ☆20May 3, 2022Updated 3 years ago
- https://rs3lab.github.io/SynCord/☆26Nov 23, 2022Updated 3 years ago
- ☆11Sep 10, 2021Updated 4 years ago
- DWARF-based stack walks with eBPF☆13Aug 18, 2021Updated 4 years ago
- Userspace eBPF Runtime Benchmarking Test Suite and Results☆16Apr 21, 2024Updated last year
- SIGCOMM 2021 artifact☆12Jul 27, 2024Updated last year
- DeJITLeak: Eliminating JIT-Induced Timing Side-Channel Leaks☆15Sep 15, 2022Updated 3 years ago
- Revealing the Unstable Foundations of eBPF-Based Kernel Extensions☆17May 20, 2025Updated 9 months ago
- Simple Linux Filesystem designed for learning purposes☆32May 22, 2018Updated 7 years ago
- ☆49Updated this week
- ☆18Feb 22, 2023Updated 3 years ago
- ☆23May 1, 2024Updated last year
- LazyLog: A New Shared Log Abstraction for Low-Latency Applications☆43Apr 28, 2025Updated 10 months ago
- blk-switch kernel implementation (OSDI'21)☆75Mar 25, 2024Updated last year
- This is the user space repo for famfs, the fabric-attached memory file system☆92Feb 12, 2026Updated 2 weeks ago
- MIND: In-Network Memory Management for Disaggregated Data Centers☆44Jul 23, 2025Updated 7 months ago
- ☆18Jun 9, 2023Updated 2 years ago
- Source code of QEMU☆17Apr 15, 2021Updated 4 years ago
- ☆20Sep 8, 2025Updated 5 months ago
- Some paper lists related to storage systems☆48Jan 14, 2026Updated last month
- Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications☆22May 23, 2022Updated 3 years ago
- A set of tools for understanding F2FS usage of ZNS devices, which allow for identifying the on-device locations of files and inodes, mapp…☆20Jan 19, 2025Updated last year
- Bypassd is a novel I/O architecture that provides low latency access to shared SSDs.☆23May 14, 2025Updated 9 months ago
- ☆53Oct 14, 2023Updated 2 years ago
- A memory profiler for NVIDIA GPUs to explore memory inefficiencies in GPU-accelerated applications.☆27Oct 13, 2024Updated last year
- oZKS (Ordered Zero-Knowledge Set) is a library that provides an implementation of an Ordered (and Append Only) Zero-Knowledge Set.☆28Oct 10, 2025Updated 4 months ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆65May 3, 2025Updated 9 months ago
- A Rust user-space file system [WIP]☆29Jul 30, 2021Updated 4 years ago
- uacatcher open source repo☆22Jul 22, 2023Updated 2 years ago
- ☆11Nov 13, 2024Updated last year
- OKLib: A Toolchain for Checking Silent Semantic Violations in Distributed Systems☆26Oct 3, 2023Updated 2 years ago
- Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…☆526Feb 23, 2026Updated last week
- CrossFS: A Cross-layered Direct-Access File System☆27Sep 5, 2022Updated 3 years ago
- This is the source code for our (Tobias Ziegler, Jacob Nelson-Slivon, Carsten Binnig and Viktor Leis) published paper at SIGMOD’23: Desig…☆28Sep 24, 2024Updated last year
- ☆72Feb 11, 2025Updated last year