A Proof-Carrying Approach to Building Correct and Flexible BPF Verifiers
Explore innovative techniques for constructing BPF verifiers that are both accurate and adaptable, enhancing system security and performance in Linux environments.
Support for the CTF and BTF Debug Formats in the GNU Toolchain
Explore CTF and BTF debug formats implementation in GNU Toolchain, enhancing debugging capabilities for Linux kernel and userspace applications.
Complex Divide Improvements in libgcc
Explore advanced techniques for optimizing complex division operations in libgcc, enhancing performance and efficiency in low-level programming.
BPF Security Auditing at Google
Explore Google's BPF security auditing approach, covering use cases, implementation details, and future developments in kernel tracing and monitoring.
Defragmenting The Loader Landscape
Explore challenges and solutions in BPF loader landscape, including ecosystem fragmentation, verification, and governance, to improve efficiency and standardization.
DWARF Extensions for Optimized SIMT - SIMD - GPU Debugging
Explore DWARF extensions for GPU debugging, addressing challenges in heterogeneous computing and optimizing variable location tracking in SIMT/SIMD environments.
gprofng - The Next Generation GNU Profiler
Explore the advanced features and capabilities of gprofng, the next-generation GNU profiler, for enhanced software performance analysis and optimization.
Cgroup v1/v2 Abstraction Layer
Explore the Cgroup v1/v2 abstraction layer with Tom Hromatka, learning key concepts and implementation strategies for efficient Linux resource management.
io_uring - BPF Controlled I/O
Explore advanced I/O techniques using io_uring and BPF, enhancing system performance and control. Learn cutting-edge approaches for efficient data handling in Linux environments.
Adding Features to Perf Using BPF
Explore advanced Linux performance analysis techniques using BPF, including profiling, event counting, and scalability improvements for enhanced system monitoring and optimization.
Towards a BPF Memory Model
Explore BPF memory models, focusing on tools, prototypes, and potential solutions for kernel and userspace interactions in Linux systems.
Automatically Optimizing BPF Programs Using Program Synthesis
Explore automatic optimization of BPF programs through program synthesis, covering performance, safety, and practical applications. Learn about K2 equivalence checks and their impact on BPF development.
bpfilter - BPF Based Firewall
Explore bpfilter, a BPF-based firewall, covering its architecture, performance, and advantages over iptables. Learn about BPF program generation, code optimization, and deployment models.
BPF-Datapath Extensions for Kubernetes Workloads
Explore BPF-datapath extensions for Kubernetes, covering cgroups, TCP/network pacing, and L2/L3 management. Learn about proposed solutions and use cases for improved workload performance.
Indirect External Access
Explore indirect external access in Linux systems, covering implementation, benefits, and potential challenges for developers and system administrators.
Analyzing Historical DejaGNU Test Result Data with the Bunsen Toolkit
Explore efficient analysis of historical DejaGNU test results using the Bunsen toolkit, enhancing software testing processes and improving data interpretation.
Bootconfig and Kernel Cmdline
Explore bootconfig and kernel cmdline with Masami Hiramatsu, delving into advanced Linux boot processes and configuration techniques for system optimization.
Overview of Memory Reclaim in the Current Upstream Kernel
Explore memory reclaim in Linux kernels, covering types, processes, and implementations. Learn about working set detection, fractional cost models, and multigenerational RRU.
Watching the Super Powers
Explore network observability techniques and tools for enhanced visibility into Linux systems, focusing on eBPF technology and its applications.
Writing a Fine-Grained Access Pattern Oriented Lightweight Kernel Module Using DAMON/DAMOS in 10 Minutes
Learn to create efficient kernel modules using DAMON/DAMOS for fine-grained access pattern optimization in this hands-on tutorial with live coding and demonstrations.
The Case for Memory Segregation
Explore memory segregation in Linux systems, covering security assumptions, challenges, and solutions like isolation and compound pages. Learn about Project Underground and future directions.