Cover Image

Concurrency Testing in the Linux Kernel via eBPF

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Xu, Jiacheng, Wolff, Dylan, Han, Xing Yi, Li, Jialin, Roychoudhury, Abhik
Format:	Preprint
Published:	2025
Subjects:	Operating Systems
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The eBPF Runtime in the Linux Kernel
by: Gbadamosi, Bolaji, et al.
Published: (2024)

eBPF-mm: Userspace-guided memory management in Linux with eBPF
by: Mores, Konstantinos, et al.
Published: (2024)

SafeBPF: Hardware-assisted Defense-in-depth for eBPF Kernel Extensions
by: Lim, Soo Yee, et al.
Published: (2024)

TierBPF: Page Migration Admission Control for Tiered Memory via eBPF
by: Wang, Xi, et al.
Published: (2026)

bpftime: userspace eBPF Runtime for Uprobe, Syscall and Kernel-User Interactions
by: Zheng, Yusheng, et al.
Published: (2023)

Cache is King: Smart Page Eviction with eBPF
by: Zussman, Tal, et al.
Published: (2025)

gpu_ext: Extensible OS Policies for GPUs via eBPF
by: Zheng, Yusheng, et al.
Published: (2025)

eBPF-PATROL: Protective Agent for Threat Recognition and Overreach Limitation using eBPF in Containerized and Virtualized Environments
by: Ghimire, Sangam, et al.
Published: (2025)

When eBPF Meets Machine Learning: On-the-fly OS Kernel Compartmentalization
by: Wang, Zicheng, et al.
Published: (2024)

Wasm-bpf: Streamlining eBPF Deployment in Cloud Environments with WebAssembly
by: Zheng, Yusheng, et al.
Published: (2024)

LearnedCache: An eBPF-Integrated Perceptron-Based Eviction Policy for the Linux Page Cache
by: Qi, Zejia
Published: (2026)

AgentSight: System-Level Observability for AI Agents Using eBPF
by: Zheng, Yusheng, et al.
Published: (2025)

Bomfather: An eBPF-based Kernel-level Monitoring Framework for Accurate Identification of Unknown, Unused, and Dynamically Loaded Dependencies in Modern Software Supply Chains
by: Srinivasan, Naveen, et al.
Published: (2025)

MOAT: Towards Safe BPF Kernel Extension
by: Lu, Hongyi, et al.
Published: (2023)

Improved Leakage Abuse Attacks in Searchable Symmetric Encryption with eBPF Monitoring
by: Dimobi, Chinecherem
Published: (2026)

Rusty Linux: Advances in Rust for Linux Kernel Development
by: Panter, Shane K., et al.
Published: (2024)

MigGPT: Harnessing Large Language Models for Automated Migration of Out-of-Tree Linux Kernel Patches Across Versions
by: Dang, Pucheng, et al.
Published: (2025)

Linux for Everyone: Can Standardization Drive Mainstream Adoption?
by: Nandha, Rohit J, et al.
Published: (2025)

Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB
by: Peng, Yuke, et al.
Published: (2025)

Joyride: Rethinking Linux's network stack design for better performance, security, and reliability
by: Du, Yanlin, et al.
Published: (2025)

Interference-free Operating System: A 6 Years' Experience in Mitigating Cross-Core Interference in Linux
by: Deng, Zhaomeng, et al.
Published: (2024)

Where Linux Breaks Under Radiation: A Cross-Architecture Kernel-Level Characterization of Proton-Induced Failures in COTS SoCs
by: Memon, Saad, et al.
Published: (2025)

Maratona Linux a tale of upgrading from Ubuntu 20.04 to 22.04
by: Santos, Davi Antônio da Silva, et al.
Published: (2025)

Machine Learning (ML) library in Linux kernel
by: Dubeyko, Viacheslav
Published: (2026)

Rethinking Provenance Completeness with a Learning-Based Linux Scheduler
by: Mao, Jinsong, et al.
Published: (2025)

Principled Performance Tunability in Operating System Kernels
by: Chen, Zhongjie, et al.
Published: (2025)

Case Study: Securing MMU-less Linux Using CHERI
by: Almatary, Hesham, et al.
Published: (2023)

Sandlock: Confining AI Agent Code with Unprivileged Linux Primitives
by: Wang, Cong, et al.
Published: (2026)

Runtime Verification with Linux eBPF
by: Nemanja Lakicevic
Published: (2023)

Understanding and Enhancing Linux Kernel-based Packet Switching on WiFi Access Points
by: Zhang, Shiqi, et al.
Published: (2024)

Towards Agentic OS: An LLM Agent Framework for Linux Schedulers
by: Zheng, Yusheng, et al.
Published: (2025)

Beyond Control: Exploring Novel File System Objects for Data-Only Attacks on Linux Systems
by: Zhou, Jinmeng, et al.
Published: (2024)

HACache: Leveraging Read Performance with Cache in a Heterogeneous Array
by: Liu, Jialin, et al.
Published: (2026)

DFUSE: Strongly Consistent Write-Back Kernel Caching for Distributed Userspace File Systems
by: Li, Haoyu, et al.
Published: (2025)

Scheduling Analysis of UAV Flight Control Workloads using Raspberry Pi 5 Using PREEMPT_RT Linux
by: Giacomossi, Luiz, et al.
Published: (2026)

VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions
by: Gerhorst, Luis, et al.
Published: (2024)

A Survey of Operating System Kernel Fuzzing
by: Xu, Jiacheng, et al.
Published: (2025)

Using SBPF to Accelerate Kernel Memory Access From Userspace
by: Kong, Boming, et al.
Published: (2025)

Securing Monolithic Kernels using Compartmentalization
by: Lim, Soo Yee, et al.
Published: (2024)

Columbo: Low Level End-to-End System Traces through Modular Full-System Simulation
by: Görgen, Jakob, et al.
Published: (2024)