Doctoraat in de ingenieurswetenschappen: computerwetenschappen

Microarchitectuuronafhankelijke analytische prestatiemodellering van het spronggedrag en de meerdradige uitvoering van computerprogramma's


Doctorandus Publieke verdediging
Naam: Sander De Pestel   Datum: Woensdag 06/02/2019 om 16:00 
Adres: ()
, null null
  Lokatie: auditorium 1, iGent, eerste verdieping, Technologiepark Zwijnaarde 126, 9052 Zwijnaarde
Contact FEA: info.ea@ugent.be   Taal: Nederlands

Curriculum
Master of Science in Computer Science Engineering, UGent, 2013.

Promotor
Lieven Eeckhout

Examencommissie
em. prof. Luc Taerwe
Lieven Eeckhout (EA06)
Koen De Bosschere, Universiteit Gent, Faculteit Ingenieurswetenschappen en Architectuur, EA06 - Vakgroep Elektronica en Informatiesystemen, Technologiepark Zwijnaarde 126, 9000;9052 Gent;Zwijnaarde
E: koen.debosschere@ugent.be
Magnus Jahre
Maximilien Breughe
Stijn Eyerman
Mario Pickavet

Onderzoeksthema

Dit doctoraat beschrijft vier significante bijdragen in het modelleren van de prestatie van computerprogramma’s op een micro-architectuuronafhankelijke manier. In het eerste deel van het doctoraat wordt het spronggedrag van programma’s gemodelleerd door gebruik te maken van een nieuw metriek genaamd ‘lineaire sprongentropie’. Deze metriek is gebaseerd op Shannon’s entropietheorie, maar is eenvoudiger waardoor het gemakkelijker is inzicht te verwerven en een nauwkeurig model te bekomen. Een eerste toepassing van lineaire sprongentropie betreft het modelleren van de impact die sprongvoorspellers hebben op de uitvoeringstijd van computerprogramma’s. Het voordeel van dit micro-architectuuronafhankelijk model is dat het schatten van deze impact voor verschillende sprongvoorspellers in één keer kan gebeuren. Een tweede toepassing betreft codegeneratie: lineaire sprongentropie kan eveneens gebruikt worden om de prestatie van if-conversie te verbeteren. Het tweede deel van het doctoraat focust op het modelleren van de uitvoering van meerdradige computerprogramma’s. Eerder werk was beperkt tot enkeldradige programma’s, maar gezien het toenemend belang van parallelle computerprogramma’s, was de nood voor een gelijkaardig model voor meerdradige programma’s hoog. De RPPM tool, voorgesteld in deze thesis, schat de invloed van het delen van het geheugen en van synchronisatie tussen deze verschillende draden om zo een nauwkeurige schatting van de uitvoeringstijd te bekomen.


Taal proefschrift
Engels

Documenten