Ομάδα
Αθανασιάδης Θεόδωρος Α.Μ. 133
thathana@cs.uoi.gr
Περίληψη
Η εκτεταμένη χρήση υπερκείμενων δικτύων σε πολλά κατανεμημένα συστήματα είναι σήμερα μία πραγματικότητα. Ωστόσο κάθε υπερκείμενο δίκτυο έχει διαφορετικές απαιτήσεις και ανάγκες με συνέπεια η σχεδίαση, ανάπτυξη και εφαρμογή ενός τέτοιου δικτύου είναι μία χρονοβόρα και επιρρεπής σε προβλήματα διαδικασία.
Για την βελτίωση αυτής της διαδικασίας αναπτύχθηκαν συστήματα όπως το P2. Το P2 είναι ένα σύστημα που χρησιμοποιεί μία δηλωτική λογική γλώσσα προγραμματισμού (declarative logical language) για τον προσδιορισμό των προδιαγραφών ενός υπερκείμενου δικτύου που διευκολύνει την περιγραφή περίπλοκων συστημάτων σε συμπαγής και εύκολα επαναχρησιμοποιήσιμη μορφή. Η διαφορετικότητα της προσέγγισης του P2 έγκειται στο ότι πρωταρχικός στόχος του συστήματος δεν είναι η απόδοση του συστήματός αλλά η ύπαρξη εργαλείων γρήγορης ανάπτυξης τα οποία θα επιτρέπουν την προδιαγραφή του υπερκείμενου δικτύου σε ένα υψηλό επίπεδο, την αυτόματη μετάφραση της προδιαγραφής σε πρωτόκολλο και τέλος την αυτόματη εκτέλεση του πρωτοκόλλου. Δηλαδή οι σχεδιαστές του προσπαθούν να πετύχουν αυτά που πέτυχε η SQL στον τομέα των κατανεμημένων συστημάτων.
Στόχος της παρούσας εργασίας είναι η αξιολόγηση της συγκεκριμένης προσπάθειας με την υλοποίηση στο P2 ενός γνωστού υπερκείμενου δικτύου του Content-Addressable Network (CAN). Η εργασία έχει ως στόχο την αξιολόγηση του συστήματος στους τομείς ευκολίας ανάπτυξης, αναγνωσιμότητας του τελικού κώδικα και επεκτασιμότητας.
Με την χρήση του P2 έγινε εφικτό να εκφραστεί ένα αρκετά περίπλοκο υπερκείμενο δίκτυο όπως το CAN με σχετικά μικρό μόνο αριθμό κανόνων. Ο κώδικας είναι εύκολα αναγνώσιμος και επεκτάσιμος. Ωστόσο, η καμπύλη εκμάθησης μία δηλωτικής γλώσσας όπως η Overlog που χρησιμοποιεί το P2 δεν είναι γραμμική ενώ πολλές φορές απλά πράγματα σε προστακτικές γλώσσες όπως ο έλεγχος ροής δεν είναι προφανές πως υλοποιούνται σε μια τέτοια γλώσσα.
Downloads