Results 41 to 50 of about 156 (73)

Automatic Bit- and Memory-Precise Verification of eBPF Code

International audienceWe propose a translation from eBPF (extended Berkeley Packet Filter) code to CHC (Constrained Horn Clause sets) over the combined theory of bitvectors and arrays.
Weidenbach, Christoph, Schwarz, Simon, Bromberger, Martin   +2 more
core   +1 more source

Creating Complex Network Services with eBPF: Experience and Lessons Learned

, 2019
The extended Berkeley Packet Filter (eBPF) is a recent technology available in the Linux kernel that enables flexible data processing. However, so far the eBPF was mainly used for monitoring tasks such as memory, CPU, page faults, traffic, and more, with
Miano Sebastiano, Bertrone Matteo, Vasquez Bernal Mauricio, Risso Fulvio, Tumolo Massimo   +4 more
core   +1 more source

Desenvolupament d’una eina basada en eBPF/XDP per al monitorage del rendiment d’una xarxa

, 2023
El monitoratge del rendiment d’una xarxa té cada vegada més importància en les xarxes actuals. L’obtenció de paràmetres estadístics que mesuren l’ocupació dels enllaços i el retard i pèrdues de paquets en un camí (retard mitjà, variació del retard, i ...
Vila Martínez, Gerard
core  

SoK: Challenges and Paths Toward Memory Safety for eBPF

The extended Berkeley Packet Filter (eBPF) subsystem in Linux enables the extension of kernel functionality without modifying kernel code. In addition to its use in networking, eBPF provides the flexibility to perform tracing, add security checks, etc ...
Sampson, Jack, Tan, Gang, Payer, Mathias, Huang, Kaiming, Qian, Zhiyun, Jaeger, Trent   +5 more
core   +1 more source

TECHNIQUES TO PREVENT OBSERVABILITY FOR UNAUTHORIZED PACKETS/DATA USING EXTENDED BERKELEY PACKET FILTER FUNCTIONALITY

Security is viewed as a primary component of any network. Extended Berkeley Packet Filter (eBPF) functionality has become an increasingly popular security mechanism as it provides a way to perform various low-level system tasks, such as networking ...
Saini, Vinay, Rajamanickam, Jaganbabu, Sankaranarayanan, Madhan   +2 more
core  

PROVIDING DYNAMIC HELLO TIMERS AND ADJACENCY STABILITY IN CONTROL PLANE PROTOCOLS USING EXTENDED BERKELEY PACKET FILTER TECHNIQUES

A novel extended Berkeley Packet Filter (eBPF) -powered solution is proposed herein for managing dynamic hello packet timers in order to achieve seamless network dependability. The eBPF techniques proposed herein may provide for reducing convergence loss
Juneja, Palak, Bhat, Navin, Anekallu, Jyothirmai, Sreekumaran, Sreejith, Sankaranarayanan, Madhan   +4 more
core  

CORRELATION OF EXTENDED BERKELEY PACKET FILTER DATA, NETWORK FLOW, AND APPLICATION DATA TO ACHIEVE DEEPER INSIGHTS

Proposed herein are techniques to correlate together data derived from extended Berkeley Packet Filter (eBPF) visibility on hosts, combined with network data, such as that derived from monitored network traffic, and end host data, such as that derived ...
Zacks, Dave, Hulick, Ted, Szigeti, Tim
core  

Packet Filtering Using XDP

, 2019
Počítačové systémy, ktoré musia poskytovať svoje služby s vysokou dostupnosťou vyžadujú isté bezpečnostné opatrenia na to, aby ostali dostupné aj pod paketovými sieťovými útokmi. Nevyžiadané pakety musia byť zahodené čo najskôr a čo najrýchlejšie.
Mackovič, Jakub
core  

Mapping process IDs to NFSv4 I/O metrics between computing and storage nodes through Linux kernel inquiry using eBPF [PDF]

Die Verwaltung komplexer wissenschaftlicher Rechen- und Speicheranlagen, wie die am Forschungsinstitut DESY (Deutsches Elektonen-Synchrotron), stellt Systemadministratoren insbesondere bei der effektiven Diagnose und Lösung von Systemstörungen vor große ...
Grizzo, Sandro
core  

Improving Paravirtualization using eBPF

Virtual machines (VMs) enabled cloud computing but their isolation prevents software performance hints from reaching hardware, leading to unmet guarantees (e.g., CPU isolation).
LEONARDI, LUIGI
core