Υλοποίηση της γλώσσας προγραμματισμού ασυρμάτων πρωτοκόλλων Ziria ως DSL ενσωματωμένη στη Haskell

Βλάσση-Πανδή, Ειρήνη; Vlassi-Pandi, Eirini

dc.contributor.author	Βλάσση-Πανδή, Ειρήνη	el
dc.contributor.author	Vlassi-Pandi, Eirini	en
dc.date.accessioned	2016-05-19T07:22:07Z
dc.date.available	2016-05-19T07:22:07Z
dc.date.issued	2016-05-19
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/42527
dc.identifier.uri	http://dx.doi.org/10.26240/heal.ntua.10660
dc.rights	Αναφορά Δημιουργού 3.0 Ελλάδα	*
dc.rights.uri	http://creativecommons.org/licenses/by/3.0/gr/	*
dc.subject	Ραδιοεπικοινωνία ορισμένη από λογισμικό	el
dc.subject	Γλώσσα συγκεκριμένου σκοπού	el
dc.subject	Ενσωμάτωση γλώσσας συγκεκριμένου σκοπού	el
dc.subject	Ziria	en
dc.subject	Haskel	en
dc.subject	Software-defined radio (SDR)	en
dc.subject	Domain-specific language (DSL)	en
dc.subject	Embedded domain- specific language	en
dc.title	Υλοποίηση της γλώσσας προγραμματισμού ασυρμάτων πρωτοκόλλων Ziria ως DSL ενσωματωμένη στη Haskell	el
heal.type	bachelorThesis
heal.secondaryTitle	An iImplementation of the programming language for wireless protocols Ziria as an embedded DSL in Haskell	en
heal.classification	Γλώσσες προγραμματισμού	el
heal.language	el
heal.access	free
heal.recordProvider	ntua	el
heal.publicationDate	2015-09-04
heal.abstract	Η παρούσα διπλωματική εργασία παρουσιάζει έναν τρόπο ενσωμάτωσης της γλώσσας προγραμματισμού Ziria στη Haskell. Η Ziria είναι μια νέα, καινοτόμος γλώσσα συγκεκριμένου σκοπού φτιαγμένη για ραδιοεπικοινωνία ορισμένη από λογισμικό. Αναλυτικότερα, η Ziria είναι μια καινούρια πλατφόρμα που προσφέρει προγραμματιστικές αφαιρέσεις κατάλληλες για ασύρματο προγραμματισμό σε φυσικό επίπεδο. Δίνοντας παράλληλα έμφαση στον επαναπροσδιορισμό της σωλήνωσης (pipeline reconfiguration) και προσφέροντας μια πληθώρα βελτιστοποιήσεων κατά τη μεταγλώττιση, επιτυγχάνει να είναι μια γλώσσα ευέλικτη στον προγραμματισμό και ταυτόχρονα πολύ καλή στην απόδοση, πετυχαίνοντας για παράδειγμα ρυθμούς γραμμής που απαιτούνται για την υλοποίηση του WiFi 802.11a/g σε απλούς επεξεργαστές. H Ziria είναι μια αυτόνομη γλώσσα συγκεκριμένου σκοπού με το δικό της συντακτικό και το δικό της μεταγλωττιστή. Ωστόσο κατά τον σχεδιασμό της έχει ήδη συμπεριλάβει πολλές ιδέες από τη γλώσσα γενικού σκοπού Haskell. Η παρούσα διπλωματική εργασία ακολουθεί μια εναλλακτική προσέγγιση και επιχειρεί να ενσωματώσει πλήρως τη Ziria, ως DSL στην Ηaskell. Η ενσωμάτωση αφορά ουσιαστικά έναν διερμηνέα της Ziria, ο οποίος μας επιτρέπει να ορίσουμε τους combinators της Ziria στη Haskell, προσφέροντας έτσι έναν εναλλακτικό τρόπο να κάνουμε υπολογισμούς ροών δεδομένων μέσα στη Haskell. Η τελική υλοποίηση είναι σχετικά απλή, σχετικά άμεση ως προς τη σημασιολογία της Ziria, γεγονός που την καθιστά κατάλληλη για πειραματισμό και γρήγορη προτυποποίηση, δίνοντας τη δυνατότητα στον προγραμματιστή να εκμεταλλευτεί την πλήρη ισχύ της Haskell και να χρησιμοποιήσει χαρακτηριστικά που η ίδια η Ziria δεν υποστηρίζει. Ελέγχουμε την ορθότητα και την πληρότητα της ενσωματωμένης γλώσσας μέσω της υλοποίησης της κρυπτογραφικής συνάρτησης SHA-1 τόσο σε Ziria όσο και σε Haskell αλλά και μέσω άλλων μικρότερων παραδειγμάτων.	el
heal.abstract	This diploma thesis presents a way of embedding the programming language Ziria into Haskell. Ziria is a new, innovative domain-specific language made for software-defined radio. More precisely, Ziria is a new platform that offers programming abstractions suitable for wireless programming in physical layer. Emphasizing in the pipeline reconfiguration and offering a plethora of compile-time optimizations, it achieves flexibility without sacrificing efficiency. As an example, it achieves the line rates that are required for the implementation of WiFi 802.11a/g in commodity CPUs. Ziria is an independent domain-specific language (DSL) with its own syntax and compiler. Nevertheless, its design has been heavily inspired by the general-purpose programming language Haskell. This diploma thesis follows an alternative approach by attempting to fully embed Ziria in Haskell as a DSL. The embedding is essentially implemented as a Ziria interpreter, that allows us to define the Ziria combinators in Haskell, thus providing an alternative way of doing data stream computations in Haskell. The implementation is relatively simple and direct in regard to the actual Ziria semantics. Consequently, the embedding is suitable for experimentation and rapid prototyping, thus allowing the programmer to benefit from the full functionality of Haskell and to use features that Ziria itself does not support. Lastly, we test the correctness and the completeness of the embedded language through the implementation of the cryptographic hash function SHA-1 in Ziria as well as in Haskell.	en
heal.advisorName	Παπασπύρου, Νικόλαος	el
heal.committeeMemberName	Σαγώνας, Κωνσταντίνος	el
heal.committeeMemberName	Βυτινιώτης, Δημήτριος	el
heal.academicPublisher	Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών	el
heal.academicPublisherID	ntua
heal.numberOfPages	67 σ.	el
heal.fullTextAvailability	true