Μεθοδολογία Παραμετροποίησης Εφαρμογών βασισμένων σε Ταυτόχρονες Δομές Δεδομένων για Ενσωματωμένα Συστήματα

Παπαδόπουλος, Λάζαρος

dc.contributor.author	Παπαδόπουλος, Λάζαρος	el
dc.date.accessioned	2016-10-21T07:06:46Z
dc.date.available	2016-10-21T07:06:46Z
dc.date.issued	2016-10-21
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/43850
dc.identifier.uri	http://dx.doi.org/10.26240/heal.ntua.2226
dc.rights	Default License
dc.subject	Ταυτόχρονες Δομές Δεδομένων, Απόδοση, Χαμηλή Κατανάλωση, Ενσωματωμένα Συστήματα, Πολυπύρηνες Αρχιτεκτονικές	el
dc.subject	Concurrent Data Structures, Performance, Low Energy, Embedded Systems, Multicore Architectures	el
dc.title	Μεθοδολογία Παραμετροποίησης Εφαρμογών βασισμένων σε Ταυτόχρονες Δομές Δεδομένων για Ενσωματωμένα Συστήματα	el
dc.contributor.department	Εργαστήριο Μικροηλεκτρονικής	el
heal.type	doctoralThesis
heal.classification	Επιστήμη Ηλεκτρολόγου Μηχανικού	el
heal.language	el
heal.access	free
heal.recordProvider	ntua	el
heal.publicationDate	2016-07-15
heal.abstract	Μεγάλος αριθμός από αρχιτεκτονικές σύγχρονων ενσωματωμένων συστημάτων περιλαμβάνει πολλαπλούς πυρήνες. Στις συγκεκριμένες αρχιτεκτονικές εκτελούνται συχνά εφαρμογές που βασίζονται σε ταυτόχρονες δομές δεδομένων, όπως βάσεις δεδομένων, αλγόριθμοι work-stealing κ.α.. Η επιλογή κατάλληλης δομής δεδομένων είναι ένα πολύπλοκο πρόβλημα που αφενός η λύση του από τον προγραμματιστή είναι χρονοβόρα και αφετέρου επιλογή μη κατάλληλης υλοποίησης μπορεί να έχει αρνητική επίπτωση σε διάφορους σχεδιαστικούς περιορισμούς, όπως η απόδοση και η κατανάλωση ενέργειας. Για την αντιμετώπιση αυτού του προβλήματος, στην διατριβή παρουσιάζεται μία συστηματική μεθοδολογία για την επιλογή κατάλληλων ταυτόχρονων δομών δεδομένων στις εφαρμογές που εκτελούνται σε ενσωματωμένα συστήματα, συμβάλλοντας έτσι στη βελτιστοποίηση των εφαρμογών τις χρησιμοποιούν. Η μεθοδολογία είναι ημιαυτόματη και βασίζεται στην εξερεύνηση του χώρου λύσεων των ταυτόχρονων δομών δεδομένων. Υποστηρίζεται από μία ροή εργαλείων που αυτοματοποιεί πολλά βήματα της μεθοδολογίας και παρέχει δυνατότητες για αποτελεσματική εξερεύνηση και επεκτασιμότητα. Δίνει τη δυνατότητα στους προγραμματιστές να αξιολογήσουν με συστηματικό και αποτελεσματικό τρόπο υλοποιήσεις από τον χώρο λύσεων των ταυτόχρονων δομών δεδομένων και να επιλέξουν αυτήν που παρέχει τα καλύτερα αποτελέσματα σύμφωνα με τους σχεδιαστικούς περιορισμούς. Η μεθοδολογία εφαρμόστηκε σε μια σειρά από benchmarks υλοποιημένα σε δύο ενσωματωμένα συστήματα με διαφορετικές αρχιτεκτονικές. Τα αποτελέσματα έδειξαν ότι με κατάλληλη επιλογή υλοποίησης ταυτόχρονων δομών δεδομένων επιτυγχάνονται σε πολλές περιπτώσεις ανταλλάγματα ανάμεσα σε μετρικές όπως η απόδοση, η κατανάλωση ενέργειας του συστήματος και το fairness της δομής. Στα πλαίσια της διατριβής αναλύεται ο σχεδιασμός ταυτόχρονων δομών δεδομένων βασισμένων στο μοντέλο clients-server, το οποίο είναι μία παραλλαγή του μοντέλου Remote-core-locking που έχει προταθεί στον χώρο των HPC, προσαρμοσμένο στα χαρακτηριστικά των ενσωματωμένων συστημάτων. Μελετώνται τα χαρακτηριστικά των ενσωματωμένων συστημάτων και των δομών δεδομένων για τα οποία το συγκεκριμένο μοντέλο είναι κατάλληλο. Επίσης, παρουσιάζονται αποτελέσματα της σύγκρισης ταυτόχρονων δομών δεδομένων σχεδιασμένων με τυπικό τρόπο και σχεδιασμένων με το μοντέλο clients-server. Τα αποτελέσματα δείχνουν ότι ταυτόχρονες δομές δεδομένων βασισμένες στο μοντέλο client-server θα πρέπει να αξιολογούνται, σε συστήματα που παρέχουν αποτελεσματική επικοινωνία μεταξύ των πυρήνων και σε δομές που παρέχουν μειωμένο παραλληλισμό (π.χ. ουρές, στοίβες). Τέλος, δείχνεται ότι η μέθοδος ταξινόμησης του χώρου σχεδιασμού και η εξερεύνησή του ώστε να εντοπιστούν ανταλλάγματα, μπορεί να εφαρμοστεί σε διάφορους χώρους. Στη διατριβή μελετάται η εφαρμογή της μεθόδου στον χώρο επεξεργασίας ροών δεδομένων σε ενσωματωμένα συστήματα. Παρουσιάζεται ο χώρος σχεδιασμού βασισμένος σε δέντρα αποφάσεων και εντοπίζονται οι παράμετροι της υλοποίησης που επηρεάζουν έναν αριθμό από μετρικές (απόδοση, απαιτούμενο μέγεθος μνήμης, κατανάλωση ενέργειας, κ.α.). Έτσι, επιλέγοντας διαφορετικές υλοποιήσεις, επιτυγχάνονται ανταλλάγματα μεταξύ των μετρικών.	el
heal.advisorName	Σούντρης, Δημήτριος	el
heal.committeeMemberName	Σούντρης, Δημήτριος	el
heal.committeeMemberName	Πεκμπεστζή, Κιαμάλ	el
heal.committeeMemberName	Οικονομάκος, Γεώργιος	el
heal.committeeMemberName	Γκούμας, Γεώργιος	el
heal.committeeMemberName	Κοντογιάννης, Κωνσταντίνος	el
heal.committeeMemberName	Χατζηγεωργίου, Αλέξανδρος	el
heal.committeeMemberName	Tsigas, Philippas	el
heal.academicPublisher	Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών	el
heal.academicPublisherID	ntua
heal.numberOfPages	127
heal.fullTextAvailability	true