Keeping P4 switches fast and fault-free through automatic verification

Lukács Dániel; Tejfel Máté; Pongrácz Gergely: Keeping P4 switches fast and fault-free through automatic verification. In: Acta cybernetica, (24) 1. pp. 61-81. (2019)

[thumbnail of actacyb_24_1_2019_061_081.pdf]
Előnézet
Cikk, tanulmány, mű
actacyb_24_1_2019_061_081.pdf

Letöltés (854kB) | Előnézet

Absztrakt (kivonat)

The networking dataplane is going through a paradigm shift as softwarization of switches sees an increased pull from the market. Yet, software tooling to support development with these new technologies is still in its infancy. In this work, we introduce a framework for verifying performance requirement conformance of data plane protocols defined in the P4 language . We present a framework that transforms a P4 program in a versatile symbolic formula which can be utilized to answer various performance queries. We represented the system using denotational semantics and it can be easily extended with low-level target-dependent information. We demonstrate the operation of this system on a toy specification.

Mű típusa: Cikk, tanulmány, mű
Befoglaló folyóirat/kiadvány címe: Acta cybernetica
Dátum: 2019
Kötet: 24
Szám: 1
ISSN: 0324-721X
Oldalak: pp. 61-81
Nyelv: angol
Kiadó: University of Szeged, Institute of Informatics
Kiadás helye: Szeged
Konferencia neve: Conference of PhD students in computer science (11.) (2018) (Szeged)
Befoglaló mű URL: http://acta.bibl.u-szeged.hu/62212/
DOI: 10.14232/actacyb.24.1.2019.6
Kulcsszavak: Számítástechnika, Informatika
Megjegyzések: Bibliogr.: p. 80-81. ; összefoglalás angol nyelven
Szakterület: 01. Természettudományok
01. Természettudományok > 01.02. Számítás- és információtudomány
Feltöltés dátuma: 2019. júl. 17. 13:18
Utolsó módosítás: 2022. jún. 21. 09:07
URI: http://acta.bibl.u-szeged.hu/id/eprint/59228
Bővebben:
Tétel nézet Tétel nézet