rs3lab / KFlex
☆27Updated 3 weeks ago
Alternatives and similar repositories for KFlex:
Users that are interested in KFlex are comparing it to the libraries listed below
- [NSDI '24] DINT: Fast In-Kernel Distributed Transactions with eBPF☆44Updated 8 months ago
- Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"☆14Updated 4 months ago
- ☆46Updated last year
- ☆20Updated 3 years ago
- ☆25Updated 2 years ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆32Updated 7 months ago
- Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security☆94Updated 3 weeks ago
- ☆49Updated last year
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆33Updated 6 months ago
- Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…☆27Updated last week
- DAMON user-space tool☆31Updated 2 weeks ago
- ☆16Updated last year
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆31Updated 3 years ago
- LazyLog: A New Shared Log Abstraction for Low-Latency Applications☆20Updated 4 months ago
- Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…☆62Updated last year
- https://rs3lab.github.io/SynCord/☆22Updated 2 years ago
- blk-switch kernel implementation (OSDI'21)☆70Updated last year
- Bypassd is a novel I/O architecture that provides low latency access to shared SSDs.☆22Updated last year
- The implementation of HawkEye, our research system: "HawkEye: Efficient Fine-grained OS Support for Huge Pages" from ASPLOS 2019.☆19Updated 3 years ago
- CrashMonkey: tools for testing file-system reliability (OSDI 18)☆198Updated 2 years ago
- DAMON user-space tool☆161Updated 6 months ago
- A zero-copy serialization library and networking stack.☆46Updated last year
- Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.☆21Updated 4 years ago
- ☆45Updated 5 months ago
- An OS kernel module for fast **remote** fork using advanced datacenter networking (RDMA).☆60Updated last month
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆39Updated 2 years ago
- Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions☆16Updated last year
- MemLiner is a remote-memory-friendly runtime system.☆31Updated 2 years ago
- ☆61Updated 9 months ago
- The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"☆33Updated last year