Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
EXO: Accelerating Storage Paravirtualization with eBPF
SC '24: Proceedings of the International Conference for High Performance Computing, Networking, Storage, and AnalysisArticle No.: 106, Pages 1–15https://doi.org/10.1109/SC41406.2024.00112KVM is the dominant VM hypervisor on Linux, and relies on QEMU to realize the backends of the virtio family of devices such as virtio-blk. However, KVM/QEMU-based paravirtualization prolongs the guest I/O path with multiple context switches. As fast NVMe ...
- rfcNovember 2024
RFC 9669: BPF Instruction Set Architecture (ISA)
eBPF (which is no longer an acronym for anything), also commonly referred to as BPF, is a technology with origins in the Linux kernel that can run untrusted programs in a privileged context such as an operating system kernel. This document specifies the ...
- research-articleSeptember 2024
VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions
RAID '24: Proceedings of the 27th International Symposium on Research in Attacks, Intrusions and DefensesPages 644–659https://doi.org/10.1145/3678890.3678907High-performance IO demands low-overhead communication between user- and kernel space. This demand can no longer be fulfilled by traditional system calls. Linux's extended Berkeley Packet Filter (BPF) avoids user-/kernel transitions by just-in-time ...
- ArticleSeptember 2024
Interp-flow Hijacking: Launching Non-control Data Attack via Hijacking eBPF Interpretation Flow
AbstracteBPF (extended Berkeley Packet Filter) is regarded as a secure alternative to kernel modules for enhancing kernel functionalities. As an emerging kernel subsystem, eBPF should not be exploited by kernel vulnerabilities to bypass established ...
- research-articleAugust 2024
Dynamic Fixed-point Values in eBPF: a Case for Fully In-kernel Anomaly Detection
AINTEC '24: Proceedings of the Asian Internet Engineering Conference 2024Pages 46–54https://doi.org/10.1145/3674213.3674219eBPF and XDP are promising technologies that are capable of accelerating packet processing inside the Linux kernel. Despite these benefits, eBPF is constrained by a number of rigorous restrictions that are imposed to protect the kernel. One such ...
-
- short-paperAugust 2024
Xraytest: An X-ray Test system for finding faults of RDMA-NIC Design and Implementation
NAIC '24: Proceedings of the 2024 SIGCOMM Workshop on Networks for AI ComputingPages 7–8https://doi.org/10.1145/3672198.3673802This paper presents a test system, which can find faults of RDMA-NIC design and implementation as well as X-ray in medical examination, which can supply a gap between self-developed RDMA NIC and business RDMA NIC such as Mellanox. Our work, Xraytest, ...
- extended-abstractAugust 2024
Unsafe kernel extension composition via BPF program nesting
eBPF '24: Proceedings of the ACM SIGCOMM 2024 Workshop on eBPF and Kernel ExtensionsPages 65–67https://doi.org/10.1145/3672197.3673440BPF programs provide the ability to extend the kernel while ensuring safety. The safety guarantees are provided by the in-kernel verifier. However, the verification guarantees may not hold when multiple BPF programs interact with each other through ...
- extended-abstractAugust 2024
Unlocking Path Awareness for Legacy Applications through SCION-IP Translation in eBPF
eBPF '24: Proceedings of the ACM SIGCOMM 2024 Workshop on eBPF and Kernel ExtensionsPages 68–70https://doi.org/10.1145/3672197.3673437Path-aware networking (PAN) is a novel network paradigm enabling hosts to control network path selection. PAN has been realized on Internet-scale by the SCION routing protocol. Despite the increasing adoption of SCION by ISPs, only few applications offer ...
- research-articleAugust 2024
Honey for the Ice Bear - Dynamic eBPF in P4
eBPF '24: Proceedings of the ACM SIGCOMM 2024 Workshop on eBPF and Kernel ExtensionsPages 44–50https://doi.org/10.1145/3672197.3673436Software updates typically require system reboots, leading to service downtimes. We aim to solve this problem for network components allowing updates while avoiding service degradation. In this paper, we explore the integration of eBPF into the P4 ...
- research-articleAugust 2024
Towards Functional Verification of eBPF Programs
eBPF '24: Proceedings of the ACM SIGCOMM 2024 Workshop on eBPF and Kernel ExtensionsPages 37–43https://doi.org/10.1145/3672197.3673435eBPF is being used to implement increasingly critical pieces of system logic. eBPF's verifier raises the cost of adoption of the technology, as making programs pass the verifier can be very effortful. We observe that the guarantees provided by the ...
- research-articleAugust 2024
Kgent: Kernel Extensions Large Language Model Agent
eBPF '24: Proceedings of the ACM SIGCOMM 2024 Workshop on eBPF and Kernel ExtensionsPages 30–36https://doi.org/10.1145/3672197.3673434The extended Berkeley Packet Filters (eBPF) ecosystem allows for the extension of Linux and Windows kernels, but writing eBPF programs is challenging due to the required knowledge of OS internals and programming limitations enforced by the eBPF verifier. ...
- research-articleAugust 2024
μBPF: Using eBPF for Microcontroller Compartmentalization
eBPF '24: Proceedings of the ACM SIGCOMM 2024 Workshop on eBPF and Kernel ExtensionsPages 23–29https://doi.org/10.1145/3672197.3673433Although eBPF (Extended Berkeley Packet Filter) started as a virtualization technology used in the Linux kernel to allow for executing user code inside the kernel in a safe way, it is a general purpose software fault isolation technology. The ...
- extended-abstractAugust 2024
Custom Page Fault Handling With eBPF
eBPF '24: Proceedings of the ACM SIGCOMM 2024 Workshop on eBPF and Kernel ExtensionsPages 71–73https://doi.org/10.1145/3672197.3673432Traditionally, page faults have been handled by the kernel, with a fixed set of handling routines for different types of faults. However, some applications may benefit from custom page fault handling routines, allowing them to implement advanced ...
- research-articleAugust 2024
Eliminating eBPF Tracing Overhead on Untraced Processes
eBPF '24: Proceedings of the ACM SIGCOMM 2024 Workshop on eBPF and Kernel ExtensionsPages 16–22https://doi.org/10.1145/3672197.3673431Current eBPF-based kernel extensions affect entire systems, and are coarse-grained. For some use cases, like tracing, operators are more interested in tracing a subset of processes (e.g., belonging to a container) rather than all processes. While ...
- research-articleAugust 2024
Understanding Performance of eBPF Maps
eBPF '24: Proceedings of the ACM SIGCOMM 2024 Workshop on eBPF and Kernel ExtensionsPages 9–15https://doi.org/10.1145/3672197.3673430The Linux community has witnessed the rapid development of eBPF technology that allows users to load custom programs into the Linux kernel to extend its capabilities. A key feature that makes eBPF powerful is eBPF maps, which provide data storage and ...
- research-articleAugust 2024
An Empirical Study on the Challenges of eBPF Application Development
eBPF '24: Proceedings of the ACM SIGCOMM 2024 Workshop on eBPF and Kernel ExtensionsPages 1–8https://doi.org/10.1145/3672197.3673429eBPF has become a crucial tool for the development of specialized and customized network functions, observability frameworks, and security tools. To support these growing use cases, the eBPF ecosystem (i.e., tool chains, set of language primitives, and ...
- research-articleAugust 2024
MegaTE: Extending WAN Traffic Engineering to Millions of Endpoints in Virtualized Cloud
- Congcong Miao,
- Zhizhen Zhong,
- Yunming Xiao,
- Feng Yang,
- Senkuo Zhang,
- Yinan Jiang,
- Zizhuo Bai,
- Chaodong Lu,
- Jingyi Geng,
- Zekun He,
- Yachen Wang,
- Xianneng Zou,
- Chuanchuan Yang
ACM SIGCOMM '24: Proceedings of the ACM SIGCOMM 2024 ConferencePages 103–116https://doi.org/10.1145/3651890.3672242In today's virtualized cloud, containers and virtual machines (VMs) are prevailing methods to deploy applications with different tenant requirements. However, these requirements are at odds with the resource allocation capabilities of conventional ...
- research-articleAugust 2024
NetEdit: An Orchestration Platform for eBPF Network Functions at Scale
- Theophilus A. Benson,
- Prashanth Kannan,
- Prankur Gupta,
- Balasubramanian Madhavan,
- Kumar Saurabh Arora,
- Jie Meng,
- Martin Lau,
- Abhishek Dhamija,
- Rajiv Krishnamurthy,
- Srikanth Sundaresan,
- Neil Spring,
- Ying Zhang
ACM SIGCOMM '24: Proceedings of the ACM SIGCOMM 2024 ConferencePages 721–734https://doi.org/10.1145/3651890.3672227Managing the performance of thousands of services across millions of servers demands a networking stack that can dynamically adjust protocol settings to match diverse priorities and network characteristics. Moreover, given the constantly evolving nature ...
- research-articleJuly 2024
HPTCollector: high-performance telemetry collector
Cluster Computing (KLU-CLUS), Volume 27, Issue 10Pages 14729–14744https://doi.org/10.1007/s10586-024-04650-wAbstractNetwork telemetry plays a pivotal role in understanding and optimizing underlying network infrastructures by facilitating essential operations like troubleshooting and traffic load balancing. However, real-time processing of network packets, ...
- ArticleJuly 2024
End-to-End Mechanized Proof of a JIT-Accelerated eBPF Virtual Machine for IoT
AbstractModern operating systems have adopted Berkeley Packet Filters (BPF) as a mechanism to extend kernel functionalities dynamically, e.g., Linux’s eBPF or RIOT’s rBPF. The just-in-time (JIT) compilation of eBPF introduced in Linux eBPF for performance ...