[P4] kutatási téma?
Dániel Horpácsi
daniel-h at elte.hu
Thu Apr 14 17:19:01 CEST 2016
Sziasztok!
Fejlesztés közben az jutott eszembe, hogy milyen sokszor gondolkodunk
azon, hogy valami a fast vagy a slow path-on fut le, mert a fast path
esetében sokkal óvatosabbak vagyunk a műveletigénnyel. Eindhovenben a
VPT-n volt egy srác (osztrák, de magyar származású és Párizsban kutat),
aki flow elemzést csinál adatokra és bebizonyítja, hogy privátnak jelölt
adat nem juthat ki a (C99 nyelvű) programból. Ez most megihletett:
együttműködve vele bele lehetne kezdeni egy olyan részprojektbe, hogy ha
megjelölünk egy adott függvényt slowpath-nak, biztosan nem fut rá a
vezérlés csomagfeldolgozás során. Ha láttok benne fantáziát,
beszélgethetünk majd róla; Máté, ez nem csak diplomamunka, de akár még
doktori téma alapja is lehet, ha elég messzire elvisszük az ötletet.
Üdv,
Dani
http://refal.botik.ru/vpt/vpt2016/VPT2016_preprint_5.pdf
http://refal.botik.ru/vpt/vpt2016/VPT2016-Barany_presentation.pdf
More information about the P4
mailing list