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)
☆58Updated last year
Related projects: ⓘ
- i10 kernel implementation (NSDI'20)☆51Updated 4 years ago
- ☆44Updated last year
- Finding bugs in P4 compilers using translation validation.☆35Updated 2 months ago
- A superoptimizing compiler for packet-processing☆30Updated last year
- ☆36Updated 2 months ago
- ☆30Updated 5 years ago
- A user-level TCP/IP stack with NIC offload of stateful TCP operations☆67Updated 4 years ago
- ☆19Updated 2 years ago
- [NSDI '24] DINT: Fast In-Kernel Distributed Transactions with eBPF☆31Updated 2 months ago
- X-Change: Efficient Metadata Management Model for Packet Processing☆16Updated 3 years ago
- ☆15Updated last year
- ☆30Updated 6 years ago
- Main repository of the Vigor NF verification project.☆45Updated 3 years ago
- TAS is a drop-in highly CPU efficient and scalable TCP acceleration service.☆78Updated last year
- The code for both the framework and experiments from the NSDI '19 paper "Loom: Flexible and Efficient NIC Packet Scheduling"☆30Updated 5 years ago
- https://rs3lab.github.io/SynCord/☆21Updated last year
- ☆58Updated 2 months ago
- Repository for the Performance Interface eXtractor (PIX) tool presented at NSDI'22.☆16Updated 2 years ago
- P4-LLVM is an LLVM based compiler for P4☆43Updated 5 years ago
- ☆21Updated 2 years ago
- Extend Open vSwitch with BPF programs at runtime☆32Updated 4 years ago
- An assembler for eBPF programs written in an Intel-like assembly syntax.☆46Updated last year
- Morpheus: Domain Specific Run Time Optimization for Software Data Planes -- Presented at ASPLOS22☆29Updated 5 months ago
- A Framework for Modeling and Analyzing Network Configurations☆31Updated last year
- A hybrid I/O virtualization framework for RDMA-capable network interfaces☆32Updated 6 years ago
- ☆31Updated 6 years ago
- ☆56Updated 3 years ago
- The Domino compiler to run packet programs on pipelined switches☆29Updated 3 years ago
- Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security☆62Updated last month
- ☆20Updated 3 years ago