1. Home page
  2. Search

Static safety guarantees for concurrent programming languages

This item is provided by the institution :
National Technical University of Athens   

Repository :
Digital Library of National Technical University of Athens | Dspace@NTUA   

see the original item page
in the repository's web site and access all digital files if the item*



Στατικές εγγυήσεις ασφάλειας για γλώσσες με ταυτόχρονο προγραμματισμό (EL)
Static safety guarantees for concurrent programming languages (EN)
Γερακιός, Πρόδρομος Ε. (EL)
Gerakios, Prodromos E. (EN)
Σαγώνας, Κωνσταντίνος (EL)
Κοζύρης, Νεκτάριος (EL)
Ζάχος, Ευστάθιος (EL)
Δροσοπούλου, Σοφία (EL)
Παπασπύρου, Νικόλαος (EL)
Ροντογιάννης, Πάνος (EL)
Σμαραγδάκης, Γιάννης (EL)
doctoralThesis
2012-07-19
2012-10-17
2012-10-17T06:14:49Z
2012-09-25
Ο πολυνηματικός προγραμματισμός είναι ένα ευρέως χρησιμοποιούμενο πρότυπο προγραμματισμού για την αξιοποίηση του ταυτοχρονισμού σε πολυπύρηνα συστήματα. Μια εγγενής παρενέργεια αυτού του προτύπου είναι η μη ντετερμινιστική εκτέλεση των νημάτων. Σε αυτή την διατριβή δείχνουμε ότι είναι δυνατό να αυξηθεί η αξιοπιστία των ταυτόχρονων προγραμμάτων, με την εξάλειψη των παραβιάσεων πρόσβασης μνήμης, συνθηκών ανταγωνισμού και αδιεξόδων από πολυνηματικά προγράμματα. Συγκεκριμένα, παρουσιάζουμε την θεωρία και υλοποίηση συστημάτων τύπων (type systems) και στατικών αναλύσεων (static analyses) που παρέχουν κάποιες εγγυήσεις αξιοπιστίας σχετικά με την πολυνηματική εκτέλεση προγραμμάτων. Επίσης παρουσιάζουμε εκτεταμένες μετρήσεις για την απόδοση των αναλύσεών μας. (EL)
Πρόδρομος Ε. Γερακιός (EL)
64 σ. (EL)
Multi-threaded programming is widely used for enabling concurrency in multi-core architectures. An inherent side-effect of multi-threaded programming is the non-deterministic execution of threads. In this thesis we show that the reliability of concurrent programs can be increased by eliminating memory errors, data races and deadlocks from multi-threaded programs. Importantly, we present the theory and implementation of type system and static analyses that guarantee reliable execution of multi-threaded programs as well as some very promising benchmarks. (EN)
Συνθήκες ανταγωνισμού (EL)
Συστήματα τύπων (EL)
Ορθότητα (EL)
Αδιέξοδα (EL)
Στατική ανάλυση (EL)
Soundness (EN)
Type systems (EN)
Static analysis (EN)
Data races (EN)
Deadlocks (EN)
Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών. Εργαστήριο Τεχνολογίας Λογισμικού (EL)
ETDFree-policy.xml (EN)
National Technical University of Athens
Digital Library of National Technical University of Athens | Dspace@NTUA
Κεντρική Βιβλιοθήκη Ε.Μ.Π.
Ιδρυματικό Αποθετήριο
Διδακτορικές Διατριβές



*Institutions are responsible for keeping their URLs functional (digital file, item page in repository site)