ΠΕΡΙΒΑΛΛΟΝ ΑΝΑΠΤΥΞΗΣ ΕΦΑΡΜΟΓΩΝ ΠΑΡΑΛΛΗΛΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ

Abstract

Η ΔΙΑΤΡΙΒΗ ΠΡΟΤΕΙΝΕΙ ΕΝΑ ΠΕΡΙΒΑΛΛΟΝ ΑΝΑΠΤΥΞΗΣ ΕΦΑΡΜΟΓΩΝ ΠΑΡΑΛΛΗΛΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ, ΠΑΡΑΛΛΗΛΟΥ ΛΟΓΙΚΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ, ΠΑΡΑΛΛΗΛΩΝ ΕΦΑΡΜΟΓΩΝ ΚΑΤΗΓΟΡΙΚΩΝ ΓΡΑΜΜΑΤΙΚΩΝ ΚΑΙ ΠΑΡΑΛΛΗΛΟΥ ΛΟΓΙΚΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΜΕ ΠΕΡΙΟΡΙΣΜΟΥΣ. ΑΝΑΠΤΥΧΘΗΚΕ ΗΠΛΑΤΦΟΡΜΑ ΜΕΤΑΦΕΡΣΙΜΩΝ ΠΑΡΑΛΛΗΛΩΝ ΕΦΑΡΜΟΓΩΝ ORCHID ΚΑΙ ΤΟ ΠΕΡΙΒΑΛΛΟΝ ΠΑΡΑΛΛΗΛΟΥ ΛΟΓΙΚΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΚΑΙ ΑΠΟΤΙΜΗΣΗΣ ΚΑΤΗΓΟΡΙΚΩΝ ΓΡΑΜΜΑΤΙΚΩΝ DAFFODIL. ΕΠΙΣΗΣ ΠΡΟΤΑΘΗΚΕ ΜΙΑ ΜΕΘΟΔΟΣ ΜΟΝΤΕΛΟΠΟΙΗΣΗΣ ΤΩΝ ΠΕΡΙΟΡΙΣΜΩΝ ΤΟΥ ΛΟΓΙΚΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ, ΒΑΣΙΣΜΕΝΗ ΣΤΟ ΜΟΝΤΕΛΟ ΤΩΝ ΚΑΤΗΓΟΡΙΚΩΝ ΓΡΑΜΜΑΤΙΚΩΝ. Η ΠΛΑΤΦΟΡΜΑ ORCHIDΠΡΟΣΦΕΡΕΙ ΣΤΟ ΧΡΗΣΤΗ ΤΑ ΠΡΟΓΡΑΜΜΑΤΙΣΜΕΝΑ ΜΟΝΤΕΛΑ ΤΗΣ "ΚΟΙΝΗΣ ΜΝΗΜΗΣ" ΚΑΙ ΤΗΣ ΑΝΤΑΛΛΑΓΗΣ ΜΗΝΥΜΑΤΩΝ. ΕΠΙΣΗΣ ΕΞΑΣΦΑΛΙΖΕΙ ΤΗ ΜΕΤΑΦΕΡΣΙΜΟΤΗΤΑ ΤΗΣ ΕΦΑΡΜΟΓΗΣ ΣΕ ΠΑΡΑΛΛΗΛΟΥΣ ΥΠΟΛΟΓΙΣΤΕΣ ΤΟΥ ΙΔΙΟΥ Η ΔΙΑΦΟΡΕΤΙΚΟΥ ΤΥΠΟΥ ΜΕ ΜΕΤΑΒΛΗΤΟ ΑΡΙΘΜΟ ΕΠΕΞΕΡΓΑΣΤΩΝ. ΤΟ ΠΕΡΙΒΑΛΛΟΝ DAFFODIL ΥΠΟΣΤΗΡΙΖΕΙ ΤΑ ΜΟΝΤΕΛΑ ΤΟΥ ΛΟΓΙΚΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΚΑΙ ΤΩΝ ΚΑΤΗΓΟΡΙΚΩΝ ΓΡΑΜΜΑΤΙΚΩΝ. ΤΑ ΛΟΓΙΚΑ ΠΡΟΓΡΑΜΜΑΤΑ ΑΠΟΤΙΜΟΥΝΤΑΙ ΠΑΡΑΛΛΗΛΑ ΚΑΙ Η ΕΞΑΓΩΓΗ ΤΟΥ ΠΑΡΑΛΛΗΛΙΣΜΟΥ AND/OR ΓΙΝΕΤΑΙ ΑΥΤΟΜΑΤΑ. Ο ΧΡΗΣΤΗΣ ΜΠΟΡΕΙ ΝΑ ΕΠΙΛΕΞΕΙ (ΠΑΡΑΜΕΤΡΙΚΑ) ΤΟΝ ΠΑΡΑΛΛΗΛΙΣΜΟ ΤΥΠΟΥ AND, ΠΟΥ ΒΕΛΤΙΩΝΕΙ ΤΗΝ ΕΠΙΔΟΣΗ ΤΗΣ ΕΦΑΡΜΟΓΗΣ ΤΟΥ. Η ΛΕΙΤΟΥΡΓΙΑ ΤΟΥ DAFFODIL ΒΑΣΙΖΕΤΑΙ ΣΤΟΝ ΕΠΕΞΕΡΓΑΣΤΗ ΚΑΤΗΓΟΡΙΚΩΝ ΓΡΑΜΜΑΤΙΚΩΝ PAGE, Ο ΟΠΟΙΟΣ ΜΠΟΡΕΙ ΝΑ ΧΡΗΣΙΜΟΠΟΙΗΘΕΙ ΚΑΙ ΑΥΤΟΝΟΜΑ. ΠΡΟΤΑΘΗΚΕ ΕΠΙΣΗΣ ΕΝΑΣ ΝΕΟΣ ΑΛΓΟΡΙΘΜΟΣ ΣΥΝΤΑΚΤΙΚΗΣ ΑΝΑΛΥΣΗΣ ΠΟΛΛΩΝ ΠΟΛΛΑΠΛΩΝ ΠΕΡΑΣΜΑΤΩΝ ΓΙΑ ΚΑΤΗΓΟΡΙΚΕΣ ΕΦΑΡΜΟΓΕΣ ΠΟΥ ΧΡΗΣΙΜΟΠΟΙΕΙΤΑΙ ΣΤΗΝ ΔΙΑΧΕΙΡΙΣΗ ΕΦΑΡΜΟΓΩΝ ΠΑΡΑΛΛΗΛΟΥ ΛΟΓΙΚΟΥ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ ΜΕ ΠΕΡΙΟΡΙΣΜΟΥΣ. (ΠΕΡΙΚΟΠΗ ΠΕΡΙΛΗΨΗΣ)

THIS THESIS PROPOSES A NEW ENVIRONMENT FOR THE DEVELOPMENT OF PARALLEL PROGRAMMING APPLICATIONS, PARALLEL LOGIC APPLICATIONS AND PARALLEL CONSTRAINT LOGIC PROGRAMMING APPLICATIONS. MORE SPECIFICALLY TWO PROGRAMMING TOOLS HAVE BEEN IMPLEMENTED, THE ORCHID PLATFORM FOR THE DEVELOPMENT OF PARALLEL PROGRAMMING APPLICATIONS AND THE DAFFODIL FRAMEWORK FOR THE DEVELOPMENT OF PARALLEL LOGIC PROGRAMMING APPLICATIONS. DAFFODIL RESIDES ON THE TOP OF ORCHID PLATFORM. THE ORCHID PLATFORM PROVIDES A SET OF LIBRARIES THAT FACILITATES THE DEVELOPMENT OF PARALLEL APPLICATIONS USING EITHER THE SHARED MEMORY MODEL OR THE MESSAGE PASSING MODEL. ALSO, ORCHID ENSURES THE PORTABILITY OF AN APPLICATION. DAFFODIL IS A PORTABLE FRAMEWORK THAT SUPPORTS THE LOGIC PROGRAMMING MODEL AND THE ATTRIBUTE GRAMMARS MODEL. THE LOGIC PROGRAMS ARE EVALUATED IN PARALLEL AND THE INHERENT AND/OR PARALLELISM IS EXTRACTED AUTOMATICALLY. THE USED TYPE OF AND-PARALLELISM IS DEFINED BY THE USER ACCORDING TO THE APPLICATION REQUIREMENTS. THE OPERATION OF DAFFODIL ENVIRONMENT IS BASED ON PAGE, AN ATTRIBUTE GRAMMAR PARALLEL PROCESSOR. PAGE CAN BE USED AS AUTONOMOUS TOOL FOR THE PARALLEL EVALUATION OF ATTRIBUTE GRAMMARS APPLICATIONS. FINALLY AN ATTRIBUTE GRAMMAR BASED METHOD FOR THE MODELLING OF PARALLEL CONSTRAINT LOGIC PROGRAMMING APPLICATIONS IS PROPOSED HERE. A LOGIC PROGRAM WITH CONSTRAINTS IS TRANSFORMED TO AN EQUIVALENT ATTRIBUTE GRAMMAR. PAGE EVALUATES THE PRODUCED GRAMMAR IN PARALLEL USING A NOVEL MULTIPASS PARSING ALGORITHM.