Alkalmazásiterület-specifikus programozási nyelven írt programok végrehajtási idejének/energiafogyasztásának költségbecslése

Témavezető:	Lukács Dániel
	ELTE Informatikai Kar
email:	dlukacs@inf.elte.hu

Projekt leírás

Alkalmazásiterület-specifikus programozási nyelven írt programok végrehajtási idejének/energiafogyasztásának költségbecslése a nyelvhez készített interpreter kiegészítésével. Egy kiválasztott nyelv, a P4 nyelv, illetve annak egy kiválasztott interpretere a Petr4 interpreter segítségével kell megvizsgálni, miként lehet egy adott programozási nyelven írt programok különböző végrehajtási költségeit (mint például a futási idő, vagy az energiafelhasználás) minél hatékonyabban becsülni. A feladat keretében modellezni kell a hálózati csomagfeldolgozó eszközök teljesítményét, futási költségeit (pl. végrehajtási időt, energiafogyasztást) és azonosítani az ezt leginkább befolyásoló tényezőket (pl. hálózat, hardver). A cél egy olyan általános modell megalkotása és implementálására a költségek becslésére, amely később más nyelvekre is átültethető. A feladatvégzés során a hallgatók megismerkednek az OCaml nyelvvel, a nyelvi interpreterek belső szerkezetével, valamint a hálózatok és hálózati hardvereszközök matematikai modellezésével.

Előfeltételek

A feladathoz tetszőleges funkcionális programozási nyelv (pl. OCaml, Clojure, Lisp, Mathematica, Erlang vagy Haskell) ismerete, valamint matematikai modellezésre való készségek megléte ajánlott.

Hivatkozások

Lukács, Dániel ; Pongrácz, Gergely ; Tejfel, Máté Model Checking-Based Performance Prediction for P4 ELECTRONICS (SWITZ) 11 : 14 Paper: 2117 (2022) doi: 10.3390/electronics11142117

Hasanin Harkous, Michael Jarschel, Mu He, Wolfgang Kellerer, and Rastin Priest. P8: P4 with predictable packet processing performance. IEEE Trans- actions on Network and Service Management, PP, 11 2020. doi: 10.1109/tnsm.2020.3030102.

Dominik Scholz, Hasanin Harkous, Sebastian Gallenmüller, Henning Stubbe, Max Helm, Benedikt Jaeger, Nemanja Deric, Endri Goshi, Zikai Zhou, Wolf- gang Kellerer, and Georg Carle. A framework for reproducible data plane performance modeling. In Proceedings of the Symposium on Architectures for Networking and Communications Systems, ANCS ’21, page 59–65, New York, NY, USA, 2021. Association for Computing Machinery. ISBN 9781450391689. doi: 10.1145/3493425.3502756.