Παρακαλώ χρησιμοποιήστε αυτό το αναγνωριστικό για να παραπέμψετε ή να δημιουργήσετε σύνδεσμο προς αυτό το τεκμήριο:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/8894
Τίτλος: | Στατικές Εγγυήσεις Ασφάλειας Για Γλώσσες Με Ταυτόχρονο Προγραμματισμό |
Συγγραφείς: | Πρόδρομος Γερακιός Σαγώνας Κωστής |
Ημερομηνία έκδοσης: | 24-Σεπ-2012 |
Περίληψη: | Ο πολυνηματικός προγραμματισμός είναι ένα ευρέως χρησιμοποιούμενο πρότυπο προγραμματισμού για την αξιοποίηση του ταυτοχρονισμού σε πολυπύρηνα συστήματα. Μια εγγενής παρενέργεια αυτού του προτύπου είναι η μη ντετερμινιστική εκτέλεση των νημάτων. Σε αυτή την διατριβή δείχνουμε ότι είναι δυνατό να αυξηθεί η αξιοπιστία των ταυτόχρονων προγραμμάτων, με την εξάλειψη των παραβιάσεων πρόσβασης μνήμης, συνθηκών ανταγωνισμού και αδιεξόδων από πολυνηματικά προγράμματα. Συγκεκριμένα, παρουσιάζουμε την θεωρία και υλοποίηση συστημάτων τύπων και στατικών αναλύσεων που παρέχουν κάποιες εγγυήσεις αξιοπιστίας σχετικά με την πολυνηματική εκτέλεση προγραμμάτων. Επίσης παρουσιάζουμε εκτεταμένες μετρήσεις για την απόδοση των αναλύσεών μας. |
URI: | http://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/8894 |
Εμφανίζεται στις συλλογές: | Διδακτορικές Διατριβές - Ph.D. Theses |
Αρχεία σε αυτό το τεκμήριο:
Αρχείο | Μέγεθος | Μορφότυπος | |
---|---|---|---|
PD2012-0031.pdf | 469.2 kB | Adobe PDF | Εμφάνιση/Άνοιγμα |
Όλα τα τεκμήρια του δικτυακού τόπου προστατεύονται από πνευματικά δικαιώματα.