Program Patterns in P4 Programs

Laczkó, Zsófia, Tejfel, Máté (2026) Program Patterns in P4 Programs In: Proceedings of the 13th International Conference on Applied Informatics. Eger, Eszterházy Károly Catholic University Líceum Publisher. pp. 169-181.

[thumbnail of ICAI2026-pp169-181.pdf] pdf
ICAI2026-pp169-181.pdf

Download (727kB) [error in script]
Hivatalos webcím (URL): https://doi.org/10.17048/icai.2026.169

Absztrakt (kivonat)

Programming Protocol-independent Packet Processors (P4) [2] is an open-source domain-specific programming language, which is primarily developed to describe algorithms that determine the forwarding of network data packets. In this research we defined and analysed positive (recommended) and negative (to be avoided) programming patterns in P4 codes. The defined templates were examined by static methodology. We have implemented an analyser program for the investigation of the patterns, integrated in P4Query [7], which is a static analyser tool for P4. Our analyser is able to recognise certain positive or negative templates, as well as provide feedback to developers about patterns found in their code. During the research the analyses that are already in the P4Query tool were utilized, and a new module was created built on them. Primarily, the syntax tree and the control flow graph built from the source code was used. The goal of the paper is to reduce the number of errors in P4 codes and to demonstrate which recurring solutions support or hinder the correct and effective processing of data packets.

Mű típusa: Könyvrészlet - Book section
Szerző:
Szerző neve
Email
MTMT azonosító
ORCID azonosító
Közreműködés
Laczkó, Zsófia
NEM RÉSZLETEZETT
NEM RÉSZLETEZETT
NEM RÉSZLETEZETT
Szerző
Tejfel, Máté
NEM RÉSZLETEZETT
NEM RÉSZLETEZETT
NEM RÉSZLETEZETT
Szerző
Megjegyzés: This research was supported by the project no. TKP2021-NVA-29, which has been implemented with the support provided by the Ministry of Culture and Innovation of Hungary from the National Research, Development and Innovation Fund, financed under the TKP2021-NVA funding scheme.
Kapcsolódó URL-ek:
Kulcsszavak: P4 language, P4Query, program patterns, static analysis
Nyelv: angol
DOI azonosító: 10.17048/icai.2026.169
Felhasználó: Tibor Gál
Dátum: 22 Szep 2026 07:19
Utolsó módosítás: 22 Szep 2026 07:19
URI: http://publikacio.uni-eszterhazy.hu/id/eprint/9444
Műveletek (bejelentkezés szükséges)
Tétel nézet Tétel nézet