dslab-epfl / tinynf
Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without overhead is practical" (ICSE 2023)
☆62Updated last year
Alternatives and similar repositories for tinynf:
Users that are interested in tinynf are comparing it to the libraries listed below
- ☆46Updated last year
- Finding bugs in P4 compilers using translation validation.☆36Updated last month
- ☆20Updated 2 years ago
- i10 kernel implementation (NSDI'20)☆52Updated 4 years ago
- https://rs3lab.github.io/SynCord/☆22Updated 2 years ago
- Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.☆16Updated 2 years ago
- A superoptimizing compiler for packet-processing☆30Updated last year
- [NSDI '24] DINT: Fast In-Kernel Distributed Transactions with eBPF☆43Updated 8 months ago
- A user-level TCP/IP stack with NIC offload of stateful TCP operations☆70Updated 4 years ago
- P4-LLVM is an LLVM based compiler for P4☆43Updated 5 years ago
- ☆15Updated last year
- ☆41Updated 8 months ago
- TAS is a drop-in highly CPU efficient and scalable TCP acceleration service.☆82Updated last year
- ☆30Updated 7 years ago
- ☆61Updated 8 months ago
- The accelerometer analytical model published in ASPLOS 2020 (Accelerometer: Understanding Acceleration Opportunities forData Center Overh…☆15Updated 5 years ago
- The code for both the framework and experiments from the NSDI '19 paper "Loom: Flexible and Efficient NIC Packet Scheduling"☆30Updated 6 years ago
- ☆15Updated 6 years ago
- Main repository of the Vigor NF verification project.☆48Updated 4 years ago
- Portable NIC Architecture☆57Updated last year
- Interference-aware CPU scheduling that enables performance isolation and high CPU utilization for datacenter servers☆148Updated last month
- X-Change: Efficient Metadata Management Model for Packet Processing☆17Updated 4 years ago
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆30Updated 3 years ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆33Updated 6 months ago
- ☆29Updated 7 months ago
- The Programmable Data Plane: Reading List☆50Updated 4 years ago
- Implementation of Stateless and Stateful Cheetah with TCP timestamps for the Tofino P4 target☆19Updated 3 years ago
- ☆20Updated 3 years ago
- RackSched: A Microsecond-Scale Scheduler for Rack-Scale Computers☆22Updated 4 years ago
- A Framework for Modeling and Analyzing Network Configurations☆33Updated 2 years ago