PhD defence
Scheduled Protocol Programming
- K.P.C. Dokter
- Date
- Wednesday 24 May 2023
- Time
- Address
-
Academy Building
Rapenburg 73
2311 GJ Leiden
Supervisor(s)
- Prof.dr. F. Arbab
- Prof.dr. M.M. Bonsangue
Summary
Met de opkomst van multicore processoren en datacenters is computer hardware in toenemende mate parallel geworden, waardoor het mogelijk is om verschillende softwareonderdelen tegelijkertijd op verschillende machines uit te voeren. Coördinatie van deze softwareonderdelen wordt het beste uitgedrukt in een coördinatietaal als een expliciet interactieprotocol dat de interacties tussen alle onderdelen van de software duidelijk definieert.
Een expliciet interactieprotocol maakt geautomatiseerde analyse van het protocol mogelijk om de uitvoeringsefficiëntie van de software te verbeteren. In het bijzonder bevatten interactieprotocollen belangrijke informatie die essentieel is voor efficiënte roostering, een activiteit die betrekking heeft op de toewijzing van (reken)middelen aan softwaretaken. Dit proefschrift richt zich specifiek op het verbeteren van de uitvoeringsefficiëntie door middel van roosteren. Roosteren is bijna altijd de verantwoordelijkheid van een generiek besturingssysteem dat geen aannames maakt over de software en daardoor alle relevante roosterinformatie in die software negeert. Als gevolg hiervan kan het besturingssysteem niet op eigen kracht zorgen voor optimale roostering van de software.
Dit proefschrift presenteert een oplossing die het protocol in de software verandert, zodat het efficiënt wordt geroosterd door het generieke besturingssysteem. Het belangrijkste idee is om gebruik te maken van de dualiteit tussen roostering en coördinatie. Om precies te zijn, analyseren we het protocol van de software om een optimale roosterstrategie voor deze software te bepalen. Vervolgens dwingen we dit optimale rooster af door de strategie op te nemen in het oorspronkelijke protocol. Als gevolg hiervan dwingen we de onwetende roostermodule van het besturingssysteem om ons vooraf bepaalde optimale rooster te volgen.
PhD dissertations
Approximately one week after the defence, PhD dissertations by Leiden PhD students are available digitally through the Leiden Repository, that offers free access to these PhD dissertations. Please note that in some cases a dissertation may be under embargo temporarily and access to its full-text version will only be granted later.
Press enquiries (journalists only)
+31 (0)71 527 1521
+31 (0) 6 2857 6982
nieuws@leidenuniv.nl
General information
Beadle's Office
pedel@bb.leidenuniv.nl
+31 71 527 7211