Προηγούµενο Μάθηµα. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων
|
|
- Θυώνη Ζαφειρόπουλος
- 6 χρόνια πριν
- Προβολές:
Transcript
1 Προηγούµενο Μάθηµα Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης Σύγχρονα Κατανεµηµένα Συστήµατα Μοντελοποίηση Συστήµατος Πρόβληµα Εκλογής Αρχηγού Μελέτη ενός κατανεµηµένου αλγόριθµου για ίκτυα ακτυλίου Μελέτη ενός κατανεµηµένου αλγόριθµου για Γενικά ίκτυα ευτέρα, 31 Οκτωβρίου, 2011 Αίθουσα Β3 Μοντέλο Σύγχρονου ικτύου Οι Καταστάσεις των ιεργασιών Μία συλλογή υπολογιστικών µονάδων ή επεξεργαστές κάθε επεξεργαστής εκτελεί µόνο µία διεργασία Οι µονάδες του συστήµατος είναι συνδεδεµένες µε ένα σύγχρονο δίκτυο Ορίζουµε το σύγχρονο δίκτυο ως ένα κατευθυνόµενο γράφηµα G = (V, E) αποτελείτε από n = V κορυφές και m = E ακµές Υποθέτουµε ότι κάθε κανάλι επικοινωνίας µπορεί να δεχτεί µόνο ένα µήνυµα τη ϕορά τα κανάλια είναι οι ακµές του γραφήµατος Θεωρούµε ότι υπάρχει ένα δεδοµένο αλφάβητο M µηνυµάτων Κάθε διεργασία u V χαρακτηρίζεται από ένα σύνολο καταστάσεων states u Ορισµένες τις ονοµάζουµε αρχικές καταστάσεις start u Ορισµένες τις ονοµάζουµε καταστάσεις τερµατισµού halt u ιαθέτει µια γεννήτρια εξερχόµενων µηνυµάτων msgs u : states u nbrsu out M {null} δεδοµένης της τρέχουσας κατάστασης δηµιουργεί κάποια µηνύµατα για τις γειτονικές διεργασίες ιαθέτει µία συνάρτηση αλλαγής κατάστασης trans u : states u (M {null}) nbrsin u states u δεδοµένης της τρέχουσας κατάστασης τα µηνύµατα που παραλήφθηκαν υπολογίζει την επόµενη κατάσταση της διεργασίας
2 Εναρξη εκτέλεσης, Βήµατα και Γύροι Μέτρηση πολυπλοκότητας Αρχικά όλες οι διεργασίες ϐρίσκονται σε κάποια αρχική κατάσταση όλα τα κανάλια είναι άδεια Ολες οι διεργασίες, επαναλαµβάνουν συντονισµένα τα ακόλουθα δύο ϐήµατα: 1 o Βήµα 1. Εφαρµογή της γεννήτριας µηνυµάτων 2. Παραγωγή µηνυµάτων για τους εξερχόµενους γείτονες 3. Αποστολή µηνυµάτων µέσω των αντίστοιχων καναλιών 2 o Βήµα 1. Εφαρµογή της συνάρτησης αλλαγής κατάστασης 2. ιαγραφή όλων των µηνυµάτων από τα κανάλια. Ο συνδυασµός των δύο ϐηµάτων ονοµάζεται γύρος Σχεδιασµός Συστήµατος Ορισµός Ελάχιστων Απαιτήσεων Επιλογή κατάλληλου κατανεµηµένου αλγόριθµου Πως µπορούµε να µετρήσουµε την απόδοση; Χρονική πολυπλοκότητα Το πλήθος των γύρων που απαιτούνται για να παραχθούν όλες οι Ϲητούµενες έξοδοι, ή µέχρι να τερµατιστούν όλες οι διεργασίες (δηλ. να ϐρεθούν σε µια τερµατική κατάσταση). Πολυπλοκότητα επικοινωνίας Ο συνολικός αριθµός µη µηδενικών µηνυµάτων (δηλ. δεν προσµετρούνται τα null µηνύµατα) που αποστέλλονται. Πρόβληµα Εκλογής Αρχηγού Ορισµός Προβλήµατος Ορισµός Προβλήµατος Αδυναµία αντιµετώπισης του προβλήµατος όταν οι διεργασίες δεν έχουν µοναδικές ταυτότητες ίκτυα ακτυλίου 1. Αλγόριθµος των LeLann, Chang και Roberts Η χρονική πολυπλοκότητα είναι O(n) Η πολυπλοκότητα επικοινωνίας είναι O(n 2 ) Γενικά ίκτυα Αλγόριθµος FloodMax Η χρονική πολυπλοκότητα είναι O (diam(g)) Η πολυπλοκότητα επικοινωνίας είναι O (diam(g) m) Ενας αλγόριθµος λύνει το πρόβληµα εκλογής αρχηγού εφόσον πληροί τις παρακάτω προδιαγραφές: Ολες οι καταστάσεις τερµατισµού χωρίζονται σε δύο σύνολα: 1. καταστάσεις που αναδεικνύουν την διεργασία ως εκλεγµένη 2. καταστάσεις που ϑεωρούν την διεργασία ως µη εκλεγµένη Οταν µια διεργασία εισέρθει σε µία κατάσταση τερµατισµού, η συνάρτηση αλλαγής κατάστασης ϑα µεταβεί µόνο σε κάποια κατάσταση του ίδιου συνόλου Σε κάθε εκτέλεση του αλγορίθµου: µία και µόνο µία διεργασία είναι εκλεγµένη οι άλλες διεργασίες ϐρίσκονται σε κατάσταση µη-εκλεγµένη
3 Αδυναµία αντιµετώπισης του προβλήµατος (1) Αδυναµία αντιµετώπισης του προβλήµατος (2) Παρατηρούµε ότι εάν οι διεργασίες δεν µπορούν να διαχωριστούν µεταξύ τους, τότε δεν µπορεί να ϐρεθεί κάποιος αλγόριθµος που να δίνει λύση στο πρόβληµα Θεώρηµα Εστω ένα σύστηµα A από n διεργασίες συνδεδεµένες µέσω ενός δικτύου δακτυλίου. Αν όλες οι διεργασίες είναι πανοµοιότυπες και δεν µπορούν να ξεχωρίσουν η µία την άλλη, τότε κανένας αλγόριθµος δεν µπορεί να λύσει το πρόβληµα εκλογής αρχηγού για το σύστηµα A. Το ϑεώρηµα ισχύει ακόµα και όταν ο συνολικός αριθµός των διεργασιών n είναι γνωστός σε κάθε διεργασία ή το δίκτυο έχει συγκεκριµένες ιδιότητες, π.χ. τα κανάλια είναι µονής ή διπλής κατεύθυνσης. Απόδειξη: Χρησιµοποιούµε την µέθοδο της εις άτοπον απαγωγής Εστω αλγόριθµος που λύνει το πρόβληµα για το A Εστω ότι κάθε διεργασία έχει µόνο µια αρχική κατάσταση Αρα όλες οι διεργασίες ξεκινούν απο την ίδια κατάσταση Επαγωγικά: τον γύρο r όλες οι διεργασίες ϑα ϐρίσκονται στην ίδια κατάσταση αν κάποια διεργασία ϐρεθεί σε κατάσταση εκλεγµένη τότε όλες οι άλλες διεργασίες ϑα έχουν ϐρεθεί σε µια ίδια κατάσταση δεν υπάρχει µια και µόνο µια αρχηγός Ο Αλγόριθµος των LeLann, Chang και Roberts Αλγόριθµος LCR Οι διεργασίες διατηρούν µια µεταβλητή αρχηγός η οποία αρχικά είναι false. Οι διεργασίες εκπέµπουν την ταυτότητα τους στον δεξιόστροφο γείτονα τους. Μόλις λάβουν µία ταυτότητα απο τον αριστερόστροφο γείτονα, την συγκρίνουν µε την δικιά τους. Αν είναι µεγαλύτερη, την προωθούν στον δεξιόστροφο γείτονα. Αν είναι µικρότερη, δεν κάνουν τίποτα. Αν είναι ίδια, µεταβαίνουν στην κατάσταση εκλεγµένη ϑέτοντας την µεταβλητή αρχηγός στην τιµή true. εν γνωρίζει τον συνολικό αριθµό των διεργασιών Υποθέτει ότι οι διεργασίες µπορούν να επικοινωνήσουν µόνο προς µία κατεύθυνση δεξιόστροφα Βασίζεται σε απλές πράξεις σύγκρισης ταυτοτήτων Αποκεντρωτικός αλγόριθµος Εστω ένα σύγχρονο κατανεµηµένο Οι διεργασίες είναι αριθµηµένες από 1
4 Εστω ένα σύγχρονο κατανεµηµένο Εστω ένα σύγχρονο κατανεµηµένο Οι διεργασίες είναι αριθµηµένες από 1 Οι διεργασίες είναι αριθµηµένες από 1 Οι διεργασίες έχουν µοναδικές ταυτότητες Οι διεργασίες έχουν µοναδικές ταυτότητες Πρώτος Γύρος αποστολή µηνυµάτων Εστω ένα σύγχρονο κατανεµηµένο Εστω ένα σύγχρονο κατανεµηµένο Οι διεργασίες είναι αριθµηµένες από 1 Οι διεργασίες είναι αριθµηµένες από 1 Οι διεργασίες έχουν µοναδικές ταυτότητες Οι διεργασίες έχουν µοναδικές ταυτότητες Πρώτος Γύρος αποστολή µηνυµάτων Πρώτος Γύρος αποστολή µηνυµάτων εύτερος Γύρος εύτερος Γύρος Επόµενοι Γύροι
5 Εστω ένα σύγχρονο κατανεµηµένο Εστω ένα σύγχρονο κατανεµηµένο Οι διεργασίες είναι αριθµηµένες από 1 Οι διεργασίες είναι αριθµηµένες από 1 Οι διεργασίες έχουν µοναδικές ταυτότητες Οι διεργασίες έχουν µοναδικές ταυτότητες Πρώτος Γύρος αποστολή µηνυµάτων Πρώτος Γύρος αποστολή µηνυµάτων εύτερος Γύρος εύτερος Γύρος Επόµενοι Γύροι Επόµενοι Γύροι Εστω ένα σύγχρονο κατανεµηµένο Εστω ένα σύγχρονο κατανεµηµένο Οι διεργασίες είναι αριθµηµένες από 1 Οι διεργασίες είναι αριθµηµένες από 1 Οι διεργασίες έχουν µοναδικές ταυτότητες Οι διεργασίες έχουν µοναδικές ταυτότητες Πρώτος Γύρος αποστολή µηνυµάτων Πρώτος Γύρος αποστολή µηνυµάτων εύτερος Γύρος εύτερος Γύρος Επόµενοι Γύροι Επόµενοι Γύροι
6 Σύνοψη 3 ης ιάλεξης Εστω ένα σύγχρονο κατανεµηµένο Οι διεργασίες είναι αριθµηµένες από 1 Οι διεργασίες έχουν µοναδικές ταυτότητες Πρώτος Γύρος αποστολή µηνυµάτων εύτερος Γύρος Επόµενοι Γύροι Εκλογή αρχηγού διεργασία 2 Προηγούµενο Μάθηµα Προηγούµενο Μάθηµα Σύγχρονα Κατανεµηµένα Συστήµατα Εκλογή Αρχηγού Πρόβληµα Εκλογής Αρχηγού Κατανεµηµένοι Αλγόριθµοι σε ίκτυα ακτυλίου Ανώνυµα ίκτυα Κατανεµηµένοι Αλγόριθµοι σε Γενικά ίκτυα Σύνοψη Μαθήµατος Σύνοψη Μαθήµατος Βιβλιογραφία Επόµενο Μάθηµα Ο Αλγόριθµος TimeSlice Χαρακτηριστικά του Αλγόριθµου TimeSlice Αλγόριθµος TimeSlice Οι διεργασίες διατηρούν µια µεταβλητή αρχηγός η οποία αρχικά είναι false, και ένα µετρητή γύρων l, αρχικά 0. Κάθε διεργασία u λειτουργεί σε ϕάσεις (0, 1, 2,...), όπου κάθε ϕάση διαρκεί n γύρους. Κάθε ϕάση v (που αποτελείται από τους γύρους (v 1)n + 1,..., uv αποσκοπεί στην περιφορά του µήνυµατος που περιέχει την ταυτότητα της διεργασίας v. Αν η διεργασία i υπάρχει, και µέχρι τον γύρο (i 1)n + 1 δεν έχει λάβει κάποιο µήνυµα, ϑέτει την µεταβλητή αρχηγός σε true και στέλνει ένα µήνυµα µε την ταυτότητα της στον δεξιόστροφο γείτονα της. Κάθε διεργασία που λαµβάνει το µήνυµα, στέλνει το µήνυµα στον δεξιόστροφο γείτονα της και τερµατίζει. Βασίζεται στην γνώση του πλήθους των διεργασιών n Ο αλγόριθµος εκλέγει την διεργασία µε την µικρότερη ταυτότητα i min Καµία διεργασία εκτός της i min δεν είναι σε κατάσταση εκλεγµένη Η διεργασία i min εκλέγεται αρχηγός στο γύρο (i min 1)n + 1 Μέχρι τον γύρο (i min 1)n + 1 και µετά τον γύρο i min n κανένα µήνυµα δεν ανταλλάσετε Ο συνολικός αριθµός µηνυµάτων είναι n Η πολυπλοκότητα επικοινωνίας είναι O(n) Η χρονική πολυπλοκότητα είναι ni min -- δεν ϕράσεται ακόµα και σε δακτυλίους σταθερού µεγέθους.
7 Ο Αλγόριθµος των Hirschberg και Sinclair Πολυπλοκότητα Επικοινωνίας (1) Αλγόριθµος HS Οι διεργασίες διατηρούν µια µεταβλητή αρχηγός η οποία αρχικά είναι false, και ένα µετρητή ϕάσης l, αρχικά 0. Κάθε διεργασία u λειτουργεί σε ϕάσεις (0, 1, 2,...). Στην αρχή κάθε ϕάσης l, η διεργασία u στέλνει µηνύµατα που περιέχουν την ταυτότητα της και ένα µετρητή προς τους δύο γείτονές της. Ο µετρητής στα µηνύµατα τίθεται στην τιµή 2 l. Αν επιστρέψουν και τα δύο αντίγραφα τότε η u συνεχίζει µε τη ϕάση l + 1. Οταν µια διεργασία λάβει ένα µήνυµα, συγκρίνει την ταυτότητα του µηνύµατος µε την δικιά τους. Αν είναι µεγαλύτερη, την προωθεί στον επόµενο γείτονα. Αν είναι µικρότερη, δεν κάνει τίποτα. Αν είναι ίδια και ο µετριτής είναι ϑετικός, µεταβαίνει στην κατάσταση εκλεγµένη ϑέτοντας την µεταβλητή αρχηγός στην τιµή true. Θεώρηµα Ο αλγόριθµος HS ανταλλάσει O(n log n) µηνύµατα. Απόδειξη: Στη ϕάση 0 κάθε διεργασία στέλνει την ταυτότητα της προς τις δύο κατευθύνσεις σε απόσταση 1. Εφόσον τα µηνύµατα δεν καταστραφούν, επιστρέφουν πίσω στην διεργασία. Αρα στη ϕάση 0 ανταλλάσονται το πολύ 4n µηνύµατα. Σε κάποια ϕάση l > 0 µια διεργασία στέλνει την ταυτότητα της αν και τα δύο µηνύµατα επέστρεψαν στη ϕάση l 1, δηλαδή καµία άλλη διεργασία σε απόσταση το πολύ 2 l 1 δεν είχε µεγαλύτερη ταυτότητα. Αυτό συνεπάγεται ότι σε οποιαδήποτε οµάδα από 2 l συνεχόµενες διεργασίες το πολύ µία ϑα στείλει την ταυτότητα της στη ϕάση l. Πολυπλοκότητα Επικοινωνίας (2) Χρονική Πολυπλοκότητα Συνεπώς το πολύ n 2 l διεργασίες ϑα στείλουν την ταυτότητα τους στη ϕάση l. Αρα στη ϕάση l ανταλλάσονται το πολύ ( ) n 4 2 l 1 2 l 8n + 1 µηνύµατα. Ο συνολικός αριθµός των ϕάσεων είναι 1 + log n, οπότε ο συνολικός αριθµός µηνυµάτων είναι µικρότερος από 8n (1 + log n ). Θεώρηµα Ο αλγόριθµος HS απαιτεί O(n) γύρους. Απόδειξη: Για κάθε ϕάση l απαιτούνται 2 l+1 γύροι για τις ταυτότητες να διασχύσουν όλο το δακτύλιο και να επιστρέψουν. Εξαιρείται η τελευταία ϕάση που χρειάζεται ακριβώς n γύρους µέχρι την ανακήρυξη του αρχηγού. Αρα ο συνολικός αριθµός γύρων που απαιτούνται για τον HS είναι log n 1 l=0 2 l+1 + n = 2 log n n < 5n
8 Ανώνυµα ίκτυα Υπαρξη συµµετρίας στο δίκτυο Αποφυγή Αδιεξόδου Επανεξεταζουµε την περίπτωση όπου οι διεργασίες δεν έχουν ταυτότητες ιακρίνουµε την ύπαρξη µιας συµµετρίας στο δίκτυο Αναφέρεται επίσης ώς το πρόβληµα διάσπασης της συµµετρίας Ο αλγόριθµος των Itai & Rodeh λύνει το πρόβληµα Βασίζεται στον αλγόριθµο LCR Βασική διαφορά: οι διεργασίες δεν έχουν µοναδική ταυτότητα Κάθε διεργασία διαλέγει τυχαία µια ταυτότητα από το σύνολο {1,..., n} Ψάχνουµε να ϐρούµε την διεργασία µε την µεγαλύτερη ταυτότητα Αν διαπιστώσουµε ότι η µεγαλύτερη ταυτότητα δεν είναι µοναδική επαναλαµβάνουµε την διαδικασία Καµία διεργασία δεν µπορεί να αποφασίσει µονοµερός να σταµατήσει Πρέπει πρώτα να σιγουρευτεί ότι υπάρχει τουλάχιστον ένας ακόµα που προσπαθεί να εκλεγεί Σε αντίθετη περίπτωση Εστω κατάσταση όπου καµία διεργασία δεν ενδιαφέρεται να εκλεγή αρχηγός Ο αλγόριθµος πέφτει σε αδιέξοδο Αντιµετωπίζουµε το πρόβληµα ως εξης: Σε κάθε ϕάση απενεργοποιούνται όσες διεργασίες καταλαβαίνουν ότι δεν µπορούν να εκλεγούν Εχουν δηλαδή µάθει ότι κάποια άλλη διεργασία είναι ισχυρότερη υποψήφια εν είναι δυνατόν να παραιτηθούν όλες οι διεργασίας µαζί σε µία ϕάση Ο Αλγόριθµος των Itai και Rodeh Χαρακτηριστικά του Αλγόριθµου IR Αλγόριθµος IR Οι διεργασίες διατηρούν µια µεταβλητή αρχηγός=false και µια µεταβλητή ϕάση=0. Σε κάθε ϕάση οι διεργασίες διαλέγουν µια ταυτότητα από το σύνολο {1,..., n} και την στέλνουν στον δεξιόστροφο γείτονα τους ως εξής: (ϕάση,ταυτότητα,µετριτής,µοναδική). Ο µετριτής=0 και µοναδική=true. Μόλις λάβουν µία ταυτότητα απο τον αριστερόστροφο γείτονα, την συγκρίνουν µε την δικιά τους. Αν είναι µεγαλύτερη, την προωθούν στον δεξιόστροφο γείτονα και αυξάνουν τον µετριτή. Αν είναι µικρότερη, δεν κάνουν τίποτα. Αν είναι ίδια, ελέγχουν τον µετριτή: αν είναι µικρότερος από n τότε ϑέτει την λογική µεταβλιτή µοναδική=false και προωθούν το µήνυµα. Αν µετριτής n και µοναδική=false τότε διαλέγουν µια νέα ταυτότητα, ϑέτουν ϕάση++ και επαναλαµβάνουν τον αλγόριθµο. Αλλιώς µεταβαίνουν στην κατάσταση εκλεγµένη ϑέτοντας την µεταβλητή αρχηγός στην τιµή true. Ο αλγόριθµος εξελίσεται σε ϕάσεις Κάθε ϕάση διαρκεί O(n) γύρους Οι διεργασίες ανταλλάσουν O(n log n) µηνύµατα Μπορούµε να δείξουµε ότι ο αριθµός των απαιτούµενων ϕάσεων για την εκλογή αρχηγού είναι en n 1 ηλαδή σταθερός αριθµός ϕάσεων O(1) Η χρονική πολυπλοκότητα είναι O(n) Η πολυπλοκότητα επικοινωνίας είναι O(n log n)
9 Πολυπλοκότητα Επικοινωνίας του Αλγόριθµου IR (1) Πολυπλοκότητα Επικοινωνίας του Αλγόριθµου IR (2) Ας εξετάσουµε µια ϕάση του αλγορίθµου Εστω p(i, d) η πιθανότητα το µήνυµα της διεργασίας που διάλεξε ταυτότητα i να ταξιδέψει απόσταση d { p n 1 i if d = n p(i, d) = p d 1 i (1 p i ) otherwise Μας ενδιαφέρει να υπολογίσουµε την µέση απόσταση D που ταξιδεύει κάθε µήνυµα Αυτό εξαρτάτε από την ταυτότητα i Αν i = n τοτε D = n διαφορετικά αν i < n τοτε υπολογίζεται ως εξής D(i) = n d p(i, d) i=1 n 1 = n p n 1 i + (1 p i ) d p d 1 i i=1 = 1 npn 1 i + (n 1)pi n + np n 1 i 1 p i = 1 pn i 1 p i, 1 i n Κάθε διεργασία έχει πιθανότητα 1 να διαλέξει σαν ταυτότητα τον n αριθµό i Η διεργασία µε ταυτότητα i έχει πιθανότητα i να εκλεχθεί αρχηγός n Πολυπλοκότητα Επικοινωνίας του Αλγόριθµου IR (3) Ο Αλγόριθµος FloodMax Οπότε ο µέσος αριθµός µηνυµάτων N σε µία ϕάση ϕράσσεται από: N n D(i) = n + i=1 n 1 n 1 i=1 1 ( i n )n 1 i n 1 n 1 1 n + = 1 i n + n n 1 i=1 n i=1 = n + n O(log n) Αρα ο αριθµός µηνυµάτων σε µία ϕάση είναι O(n log n) Αλγόριθµος FloodMax Οι διεργασίες διατηρούν µια µεταβλητή αρχηγός η οποία αρχικά είναι false και µια µεταβλητή µέγιστη_ταυτότητα µε αρχική τιµή την ταυτότητα της διεργασίας. Σε κάθε γύρο, οι διεργασίες εκπέµπουν την µέγιστη_ταυτότητα σε όλους τους γείτονες. Μόλις λάβουν µία ταυτότητα απο κάποιον γείτονα, την συγκρίνουν µε την µέγιστη_ταυτότητα. Αν είναι µεγαλύτερη, ϑέτουν την µεταβλητή στην νέα τιµή. Μετά απο δ γύρους, αν η µεταβλητή ισούται µε την ταυτότητα της διεργασίας, η διεργασία µεταβαίνει στην κατάσταση εκλεγµένη ϑέτοντας την µεταβλητή αρχηγός στην τιµή true. εν γνωρίζουν το πλήθος των διεργασιών (n) Γνωρίζουν την διάµετρο του γραφήµατος δ = diam(g) Βασίζεται σε απλές πράξεις σύγκρισης ταυτοτήτων
10 Παράδειγµα Εκτέλεσης Αλγόριθµου FloodMax Παράδειγµα Εκτέλεσης Αλγόριθµου FloodMax Εστω ένα σύγχρονο κατανεµηµένο Εστω ένα σύγχρονο κατανεµηµένο Γενικό δίκτυο δ = 3 Οι διεργασίες είναι αριθµηµένες από 1 έως 8 Γενικό δίκτυο δ = 3 Οι διεργασίες είναι αριθµηµένες από 1 έως 8 Οι διεργασίες έχουν µοναδικές ταυτότητες Παράδειγµα Εκτέλεσης Αλγόριθµου FloodMax Παράδειγµα Εκτέλεσης Αλγόριθµου FloodMax Εστω ένα σύγχρονο κατανεµηµένο Εστω ένα σύγχρονο κατανεµηµένο Γενικό δίκτυο δ = 3 Οι διεργασίες είναι αριθµηµένες από 1 έως 8 Γενικό δίκτυο δ = 3 Οι διεργασίες είναι αριθµηµένες από 1 έως 8 Οι διεργασίες έχουν µοναδικές ταυτότητες Οι διεργασίες έχουν µοναδικές ταυτότητες Πρώτος Γύρος αποστολή µηνυµάτων Πρώτος Γύρος αποστολή µηνυµάτων εύτερος Γύρος
11 Παράδειγµα Εκτέλεσης Αλγόριθµου FloodMax Χαρακτηριστικά του Αλγόριθµου FloodMax Εστω ένα σύγχρονο κατανεµηµένο Γενικό δίκτυο δ = 3 Οι διεργασίες είναι αριθµηµένες από 1 έως 8 Οι διεργασίες έχουν µοναδικές ταυτότητες Πρώτος Γύρος αποστολή µηνυµάτων εύτερος Γύρος Εκλογή αρχηγού διεργασία 2 Εστω n διεργασίες και m κανάλια, όπου η διεργασία µε τη µεγαλύτερη ταυτότητα είναι η i max Η διεργασία i max εκλέγεται αρχηγός στο τέλος του γύρου δ Καµία διεργασία εκτός της i max δεν είναι σε κατάσταση εκλεγµένη Η χρονική πολυπλοκότητα είναι O (diam(g)) Η πολυπλοκότητα επικοινωνίας είναι O (diam(g) m) Απόδειξη Ορθότητας Σύνοψη 3 ης ιάλεξης Θεώρηµα Στον αλγόριθµο FloodMax η διεργασία i max εκλέγεται αρχηγός στο τέλος του γύρου δ Απόδειξη: Αρκεί να δείξουµε ότι µετά απο δ γύρους, η µεταβλιτή αρχηγός imax = true. Παρατηρούµε ότι µετά από r γύρους, η ταυτότητα της i max έχει φτάσει όλες τις διεργασίες που ϐρίσκονται σε απόσταση r από την i max. Εποµένως, στο τέλος του γύρου δ κάθε διεργασία ϑα έχει λάβει την ταυτότητα της i max. Προηγούµενο Μάθηµα Προηγούµενο Μάθηµα Σύγχρονα Κατανεµηµένα Συστήµατα Εκλογή Αρχηγού Πρόβληµα Εκλογής Αρχηγού Κατανεµηµένοι Αλγόριθµοι σε ίκτυα ακτυλίου Ανώνυµα ίκτυα Κατανεµηµένοι Αλγόριθµοι σε Γενικά ίκτυα Σύνοψη Μαθήµατος Σύνοψη Μαθήµατος Βιβλιογραφία Επόµενο Μάθηµα
12 Σύνοψη Μαθήµατος Βιβλιογραφία Σηµειώσεις του µαθήµατος Βιβλίο Distributed Algorithms" (N.Lynch) Σύγχρονα Κατανεµηµένα Συστήµατα Πρόβληµα Εκλογής Αρχηγού ίκτυα ακτυλίου Αλγόριθµος των Hirschberg και Sinclair Αλγόριθµος TimeSlice Αλγόριθµος των Itai και Rodeh Γενικά ίκτυα Αλγόριθµος FloodMax 1. Κεφάλαιο 3: Leader Election in a Synchronous Ring 2. Κεφάλαιο 4: Algorithms in General Synchronous Networks Βιβλίο Distributed Computing Fundamentals, Simulations, and Advanced Topics" (H.Attiya, J.Welch) 1. Κεφάλαιο 2: Basic Algorithms in Message Passing Systems Βιβλίο Introduction to Distributed Algorithms" (G.Tel) 1. Κεφάλαιο 6: Wave and Traversal Algorithms 2. Κεφάλαιο 7: Election Algorithms Βιβλίο Distributed Systems, Concepts and Design" (G.Coulouris, J.Dollimore, T.Kindberg) 1. Κεφάλαιο 11: Coordination and Agreement Επόµενο Μάθηµα Σύγχρονα Κατανεµηµένα Συστήµατα Γενικά ίκτυα Αναζήτηση Κατά Εύρος Συντοµότερα Μονοπάτια
Προηγούµενο Μάθηµα. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων. Σύνοψη 3 ης ιάλεξης
Προηγούµενο Μάθηµα Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης Σύγχρονα Κατανεµηµένα Συστήµατα Μοντελοποίηση Συστήµατος
Διαβάστε περισσότεραΠροηγούµενο Μάθηµα. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων. Υποστήριξη Φοιτητών
Προηγούµενο Μάθηµα Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης ευτέρα, 24 Οκτωβρίου, 2011 Αίθουσα Β3 Υλικό µαθήµατος Σηµειώσεις,
Διαβάστε περισσότεραΠροηγούµενο Μάθηµα. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων. Υποστήριξη Φοιτητών
Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Προηγούµενο Μάθηµα Υλικό µαθήµατος Σηµειώσεις, Βιβλιογραφία, ιαδίκτυο ιαδικασία Τυπικά Θέµατα, Υλη,
Διαβάστε περισσότεραΠροηγούµενο Μάθηµα. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων
Προηγούµενο Μάθηµα Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης ευτέρα, 22 Οκτωβρίου, 2007 Αίθουσα Β3 Υλικό µαθήµατος Σηµειώσεις,
Διαβάστε περισσότεραΠροηγούµενο Μάθηµα. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων
Προηγούµενο Μάθηµα Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Σύγχρονα Κατανεµηµένα Συστήµατα Μοντελοποίηση Συστήµατος Πρόβληµα Εκλογής Αρχηγού
Διαβάστε περισσότεραΜοντέλο Σύγχρονου ικτύου. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων
Μοντέλο Σύγχρονου ικτύου Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης ευτέρα, Νοεµβρίου, 0 Αίθουσα Β Μία συλλογή υπολογιστικών
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Σύγχρονα Κατανεμημένα Συστήματα 13 Οκτωβρίου 2016 Παναγιώτα Παναγοπούλου Περίληψη 1 Σύγχρονα Κατανεμημένα Συστήματα 2 Το πρόβλημα εκλογής αρχηγού Ο αλγόριθμος LCR Ο αλγόριθμος HS 1 Σύγχρονα Κατανεμημένα
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Κατανεμημένα Συστήματα Ι Μοντέλο σύγχρονου κατανεμημένου δικτύου Εκλογή αρχηγού σε σύγχρονο δακτύλιο Παναγιώτα Παναγοπούλου Περίληψη Σύγχρονα Κατανεμημένα Συστήματα Μοντέλο Σφάλματα Πολυπλοκότητα Εκλογή
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Εκλογή αρχηγού σε γενικά δίκτυα 20 Οκτωβρίου 2016 Παναγιώτα Παναγοπούλου Εκλογή αρχηγού σε γενικά δίκτυα Προηγούμενη διάλεξη Σύγχρονα Κατανεμημένα Συστήματα Μοντελοποίηση συστήματος Πρόβλημα εκλογής αρχηγού
Διαβάστε περισσότεραΕκλογή αρχηγού σε σύγχρονο δακτύλιο: Οι αλγόριθμοι LCR και HS. 1 Ο αλγόριθμος LCR (Le Lann, Chang, and Roberts)
Κ Σ Ι Εκλογή αρχηγού σε σύγχρονο δακτύλιο: Οι αλγόριθμοι LCR και HS Παναγιώτα Παναγοπούλου 1 Ο αλγόριθμος LCR (Le Lann, Chang, and Roberts) Ο αλγόριθμος LCR είναι ένας αλγόριθμος εκλογής αρχηγού σε ένα
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Κατανεμημένα Συστήματα Ι Εκλογή αρχηγού και κατασκευή BFS δένδρου σε σύγχρονο γενικό δίκτυο Παναγιώτα Παναγοπούλου Περίληψη Εκλογή αρχηγού σε γενικά δίκτυα Ορισμός του προβλήματος Ο αλγόριθμος FloodMax
Διαβάστε περισσότεραΜοντέλο Σύγχρονου ικτύου. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων
Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης Μοντέλο Σύγχρονου ικτύου Μία συλλογή υπολογιστικών µονάδων ή επεξεργαστές κάθε
Διαβάστε περισσότεραΕνδεικτικές Λύσεις 1ου Σετ Ασκήσεων
Κ Σ Ι Ενδεικτικές Λύσεις 1ου Σετ Ασκήσεων Παναγιώτα Παναγοπούλου Άσκηση 1. Υποθέστε ότι οι διεργασίες ενός σύγχρονου κατανεμημένου συστήματος έχουν μοναδικές ταυτότητες (UIDs), γνωρίζουν ότι είναι συνδεδεμένες
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Συναίνεση χωρίς την παρουσία σφαλμάτων Κατανεμημένα Συστήματα Ι 4η Διάλεξη 27 Οκτωβρίου 2016 Παναγιώτα Παναγοπούλου Κατανεμημένα Συστήματα Ι 4η Διάλεξη 1 Συναίνεση χωρίς την παρουσία σφαλμάτων Προηγούμενη
Διαβάστε περισσότεραΣκοπός του µαθήµατος. Κατανεµηµένα συστήµατα. Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων
Σκοπός του µαθήµατος Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης ευτέρα, 7 Ιανουαρίου, 2008 Αίθουσα Β3 Μελέτη ϐασικών ϑεωρητικών
Διαβάστε περισσότεραΓενικά. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων. Βασικοί Ορισµοί
Γενικά Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης ευτέρα, 24 Σεπτεµβρίου, 2012 Αίθουσα Β3 Σκοπός του µαθήµατος: Κατανόηση
Διαβάστε περισσότεραΣκοπός του µαθήµατος. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων
Σκοπός του µαθήµατος Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης ευτέρα, 4 Ιανουαρίου, 008 Αίθουσα Β3 Μελέτη ϐασικών ϑεωρητικών
Διαβάστε περισσότεραΣύνοψη Μαθήµατος. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων
Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης Σύνοψη Μαθήµατος Σύγχρονα Κατανεµηµένα Συστήµατα Βυζαντινά Σφάλµατα Ασύγχρονα
Διαβάστε περισσότεραΕκλογήαρχηγού. Εισαγωγή Ισχυρά συνδεδεµένος γράφος ακτύλιος µίας κατεύθυνσης Τοπολογία δένδρου. Κατανεµηµένα Συστήµατα 06-1
Εκλογήαρχηγού Εισαγωγή Ισχυρά συνδεδεµένος γράφος ακτύλιος µίας κατεύθυνσης Τοπολογία δένδρου Κατανεµηµένα Συστήµατα 06- Εισαγωγή Πρόβληµα: επιλογή µίας διεργασίας από το σύνολο εν αρκεί να αυτοανακηρυχθεί
Διαβάστε περισσότεραΤο Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash model) Οι διεργασίες µπορούν να σταµατούν να εκτελούνται σε
Οµοφωνία σε σύστηµα µε αϖοτυχίες κατάρρευσης διεργασιών Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 1 Το Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash model) Οι διεργασίες
Διαβάστε περισσότεραΠερίληψη Φροντιστηρίου. Κατανεμημένα Συστήματα Ι. Το περιβάλλον DAP - Χαρακτηριστικά. Το περιβάλλον DAP Τι είναι.
Κατανεμημένα Συστήματα Ι 1 Περίληψη Φροντιστηρίου 2 Το Περιβάλλον DAP Φροντιστήριο Ένα παράδειγμα υλοποίησης στο DAP Δευτέρα 14 Νοεμβρίου 2005 Γιάννης Κρομμύδας Το περιβάλλον DAP Τι είναι Το περιβάλλον
Διαβάστε περισσότεραΚατανεμημένα Συστήματα. Ενότητα # 2: Εκλογή αρχηγού Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής
Κατανεμημένα Συστήματα Ενότητα # 2: Εκλογή αρχηγού Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού έργου του διδάσκοντα.
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Κατανεμημένα Συστήματα Ι Εισαγωγή Παναγιώτα Παναγοπούλου Τι είναι ένα Κατανεμημένο Σύστημα; Ένα κατανεμημένο σύστημα αποτελείται από ένα πλήθος αυτόνομων κόμβων που επικοινωνούν μεταξύ τους με κάποιο τρόπο
Διαβάστε περισσότεραΔιάλεξη 6: Εκλογή Προέδρου σε Σύγχρονους Δακτύλιους. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 6: Εκλογή Προέδρου σε Σύγχρονους Δακτύλιους ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Τι θα δούμε σήμερα Μη Ομοιόμορφος Αλγόριθμος Εκλογής Προέδρου σε Σύγχρονο Δακτύλιο Ομοιόμορφος Αλγόριθμος Εκλογής Προέδρου
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Συναίνεση με σφάλματα διεργασιών Κατανεμημένα Συστήματα Ι 5η Διάλεξη 10 Νοεμβρίου 2016 Παναγιώτα Παναγοπούλου Κατανεμημένα Συστήματα Ι 5η Διάλεξη 1 Συναίνεση με σφάλματα διεργασιών Προηγούμενη διάλεξη
Διαβάστε περισσότεραΤο Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash model) Οι διεργασίες µπορούν να σταµατούν να εκτελούνται σε
Οµοφωνία σε σύγχρονο σύστηµα µε αϖοτυχίες κατάρρευσης διεργασιών Παναγιώτα Φατούρου Κατανεµηµένος Υπολογισµός 1 Το Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Κατανεμημένα Συστήματα Ι Συναίνεση και Σφάλματα Διεργασιών Παναγιώτα Παναγοπούλου Περίληψη Συναίνεση με σφάλματα διεργασιών Το πρόβλημα Ο αλγόριθμος FloodSet Επικύρωση δοσοληψιών Ορισμός του προβλήματος
Διαβάστε περισσότεραΤο Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash model) Οι διεργασίες µπορούν να σταµατούν να εκτελούνται σε
Οµοφωνία σε σύστηµα µε αϖοτυχίες διεργασιών Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 1 Το Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash model) Οι διεργασίες µπορούν
Διαβάστε περισσότεραΚινητά και Διάχυτα Συστήματα. Ενότητα # 8: Εκλογή αρχηγού Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής
Κινητά και Διάχυτα Συστήματα Ενότητα # 8: Εκλογή αρχηγού Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού έργου του
Διαβάστε περισσότεραΠροηγούµενο Μάθηµα. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων
Προηγούµενο Μάθηµα Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης ευτέρα, 20 εκεµβρίου, 2010 Αίθουσα Β3 Ασύγχρονα Κατανεµηµένα
Διαβάστε περισσότεραΔιάλεξη 4: Εκλογή Προέδρου σε Δακτύλιους. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 4: Εκλογή Προέδρου σε Δακτύλιους ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Τι θα δούμε σήμερα Δακτύλιοι Το πρόβλημα της Εκλογής Προέδρου Εκλογή Προέδρου σε Ανώνυμους Δακτύλιους Ασύγχρονος Αλγόριθμος με
Διαβάστε περισσότεραΚατανεμημένα Συστήματα με Java. Ενότητα # 4: Αμοιβαίος αποκλεισμός Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής
Κατανεμημένα Συστήματα με Java Ενότητα # 4: Αμοιβαίος αποκλεισμός Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού
Διαβάστε περισσότεραΑµοιβαίοςαποκλεισµός. Κατανεµηµένα Συστήµατα 03-1
Αµοιβαίοςαποκλεισµός Εισαγωγή Συγκεντρωτική προσέγγιση Κατανεµηµένη προσέγγιση Αλγόριθµος Lamport Αλγόριθµος Ricart-Agrawala Προσέγγιση µεταβίβασης σκυτάλης Αλγόριθµος LeLann Αλγόριθµος Raymond Αλγόριθµος
Διαβάστε περισσότεραΠροηγούµενο Μάθηµα. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων. Η σχέση συνέβη-πριν
Προηγούµενο Μάθηµα Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης ευτέρα, 3 εκεµβρίου, 2007 Αίθουσα Β3 Ασύγχρονα Κατανεµηµένα
Διαβάστε περισσότεραΕντοπισμός τερματισμού. Κατανεμημένα Συστήματα 1
Εντοπισμός τερματισμού Κατανεμημένα Συστήματα 1 lalis@inf.uth.gr Μοντέλο συστήματος Μια ομάδα διεργασιών εκτελεί έναν υπολογισμό Κατάσταση διεργασίας: ενεργητική ή παθητική (ανάλογα με το αν εκτελεί μέρος
Διαβάστε περισσότεραΑπαντήσεις. Απάντηση. Απάντηση
6 η σειρά ασκήσεων Άλκης Γεωργόπουλος Α.Μ. 39 Αναστάσιος Κοντογιώργης Α.Μ. 43 Άσκηση 1. Απαντήσεις Η αλλαγή ενός ρολογιού προς τα πίσω µπορεί να προκαλέσει ανεπιθύµητη συµπεριφορά σε κάποια προγράµµατα.
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Κατανεμημένα Συστήματα Ι Παναγιώτα Παναγοπούλου Χριστίνα Σπυροπούλου 8η Διάλεξη 8 Δεκεμβρίου 2016 1 Ασύγχρονη κατασκευή BFS δέντρου Στα σύγχρονα συστήματα ο αλγόριθμος της πλημμύρας είναι ένας απλός αλλά
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Ασύγχρονα Κατανεμημένα Συστήματα Κατανεμημένα Συστήματα Ι 6η Διάλεξη 24 Νοεμβρίου 2016 Παναγιώτα Παναγοπούλου Κατανεμημένα Συστήματα Ι 6η Διάλεξη 1 Ασύγχρονα Κατανεμημένα Συστήματα Περίληψη 1 Ασύγχρονα
Διαβάστε περισσότεραιεργασίες και Επεξεργαστές στα Κατανεµηµένων Συστηµάτων
ιεργασίες και Επεξεργαστές στα Κατανεµηµένων Συστηµάτων Μαρία Ι. Ανδρέου ΗΜΥ417, ΗΜΥ 663 Κατανεµηµένα Συστήµατα Χειµερινό Εξάµηνο 2006-2007 Τµήµα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών Πανεπιστήµιο
Διαβάστε περισσότεραΕπισκόπηση. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων. Λεπτοµέρειες υλοποίησης αλγορίθµων
Επισκόπηση Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Χρήστος Κονίνης Ορέστης Ακριβόπουλος Example Τρίτη, 9 Νοεµβρίου 2010 Υπολογιστικό 1. Αποφασίζουµε
Διαβάστε περισσότεραΣύνοψη Μαθήµατος. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων. Βυζαντινοί Στρατηγοί
Σύνοψη Μαθήµατος Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης ευτέρα, 22 Νοεµβρίου, 2010 Αίθουσα Β Σύγχρονα Κατανεµηµένα
Διαβάστε περισσότεραΔιάλεξη 5: Κάτω Φράγμα για Αλγόριθμους Εκλογής Προέδρου. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 5: Κάτω Φράγμα για Αλγόριθμους Εκλογής Προέδρου ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Κάτω Φράγμα στον Αριθμό Μηνυμάτων Ένας οποιοσδήποτε αλγόριθμος εκλογής προέδρου Α ο οποίος 1. Δουλεύει σε ασύγχρονο
Διαβάστε περισσότεραΕπίλυση Προβληµάτων µε Greedy Αλγόριθµους
Επίλυση Προβληµάτων µε Greedy Αλγόριθµους Περίληψη Επίλυση προβληµάτων χρησιµοποιώντας Greedy Αλγόριθµους Ελάχιστα Δέντρα Επικάλυψης Αλγόριθµος του Prim Αλγόριθµος του Kruskal Πρόβληµα Ελάχιστης Απόστασης
Διαβάστε περισσότεραΣύνοψη Μαθήµατος. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων
Σύνοψη Μαθήµατος Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης Ασύγχρονα Κατανεµηµένα Συστήµατα Αποτίµηση Καθολικού Κατηγορήµατος
Διαβάστε περισσότεραΠροηγούµενο Μάθηµα. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων. Η σχέση συνέβη-πριν
Προηγούµενο Μάθηµα Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης ευτέρα, 8 εκεµβρίου, 2008 Αίθουσα Β3 Ασύγχρονα Κατανεµηµένα
Διαβάστε περισσότεραΔιάλεξη 1: Εισαγωγή στον Κατανεμημένο Υπολογισμό. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 1: Εισαγωγή στον Κατανεμημένο Υπολογισμό ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Τι θα δούμε σήμερα Τι είναι ένα Κατανεμημένο Σύστημα; Επικοινωνία, Χρονισμός, Σφάλματα Μοντέλο Ανταλλαγής Μηνυμάτων 1
Διαβάστε περισσότεραΤο Πρόβληµα της Συναίνεσης. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων. Παρουσία σφαλµάτων
Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης ευτέρα 18 Νοεµβρίου 20131 Αίθουσα Β3 Το Πρόβληµα της Συναίνεσης Υποθέτουµε
Διαβάστε περισσότεραΓ. Κορίλη Αλγόριθµοι ροµολόγησης
- Γ. Κορίλη Αλγόριθµοι ροµολόγησης http://www.seas.upenn.edu/~tcom50/lectures/lecture.pdf ροµολόγηση σε ίκτυα εδοµένων Αναπαράσταση ικτύου µε Γράφο Μη Κατευθυνόµενοι Γράφοι Εκτεταµένα έντρα Κατευθυνόµενοι
Διαβάστε περισσότεραΚεφάλαιο 2. Παραγοντοποίηση σε Ακέραιες Περιοχές
Κεφάλαιο Παραγοντοποίηση σε Ακέραιες Περιοχές Γνωρίζουµε ότι στο Ÿ κάθε στοιχείο εκτός από το 0 και τα ± γράφεται ως γινόµενο πρώτων αριθµών κατά τρόπο ουσιαστικά µοναδικό Από τη Βασική Άλγεβρα ξέρουµε
Διαβάστε περισσότεραροµολόγηση πακέτων σε δίκτυα υπολογιστών
ροµολόγηση πακέτων σε δίκτυα υπολογιστών Συµπληρωµατικές σηµειώσεις για το µάθηµα Αλγόριθµοι Επικοινωνιών Ακαδηµαϊκό έτος 2011-2012 1 Εισαγωγή Οι παρακάτω σηµειώσεις παρουσιάζουν την ανάλυση του άπληστου
Διαβάστε περισσότεραΕπισκόπιση. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων. Collecting Messages Statistics
Επισκόπιση Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Χρήστος Κονίνης Τρίτη, 10 Νοεµβρίου, 2009 Υπολογιστικό Examples transmission model Μέχρι
Διαβάστε περισσότεραΕΙΣΑΓΩΓΗ ΣΤΗΝ ΚΡΥΠΤΟΛΟΓΙΑ ΣΗΜΕΙΩΣΕΙΣ #6 ΘΕΟ ΟΥΛΟΣ ΓΑΡΕΦΑΛΑΚΗΣ
ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΚΡΥΠΤΟΛΟΓΙΑ ΣΗΜΕΙΩΣΕΙΣ #6 ΘΕΟ ΟΥΛΟΣ ΓΑΡΕΦΑΛΑΚΗΣ 1. Το προβληµα του διακριτου λογαριθµου Στο µάθηµα αυτό ϑα δούµε κάποιους αλγόριθµους για υπολογισµό διακριτών λογάριθµων. Θυµίζουµε ότι στο
Διαβάστε περισσότεραΠροηγούµενο Μάθηµα. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων. Η σχέση συνέβη-πριν
Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Προηγούµενο Μάθηµα Ασύγχρονα Κατανεµηµένα Συστήµατα ιάταξη Γεγονότων Σχέση συνέβη-πριν Λογικός Χρόνος
Διαβάστε περισσότεραιακριτά Μαθηµατικά και Μαθηµατική Λογική ΠΛΗ20 Ε ρ γ α σ ί α 3η Θεωρία Γραφηµάτων
ιακριτά Μαθηµατικά και Μαθηµατική Λογική ΠΛΗ Ε ρ γ α σ ί α η Θεωρία Γραφηµάτων Α π α ν τ ή σ ε ι ς Ε ρ ω τ η µ ά τ ω ν Ερώτηµα. Στο παρακάτω γράφηµα µε βάρη, να βρεθεί το µήκος του µικρότερου µονοπατιού
Διαβάστε περισσότεραΕΠΛ 232: Αλγόριθµοι και Πολυπλοκότητα. Κατ οίκον Εργασία 2A Σκελετοί Λύσεων
ΕΠΛ 232: λγόριθµοι και Πολυπλοκότητα Κατ οίκον Εργασία 2A Σκελετοί Λύσεων 1. ια τη σαφή διατύπωση του αλγόριθµου απαιτούνται τα εξής: ιατήρηση της ροής που κτίζεται από τον αλγόριθµο. ιατήρηση της περίσσειας
Διαβάστε περισσότεραΧειµερινό Εξάµηνο
Κατανεµηµένα Συστήµατα Ι Χειµερινό Εξάµηνο 2008-2009 Περίληψη Ο στόχος του εργαστηρίου είναι η υλοποίηση κατανεµηµένων αλγόριθµων εκλογής αρχηγού µε την γλώσσα προγραµµατισµού nesc και την χρήση Active
Διαβάστε περισσότεραΣύνοψη Προηγούµενου Μαθήµατος. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων
Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Σύνοψη Προηγούµενου Μαθήµατος Ασύγχρονα Κατανεµηµένα Συστήµατα Σφάλµατα σε Ασύγχρονα Συστήµατα ηµήτρης
Διαβάστε περισσότεραΟρισµός. Εστω συναρτήσεις: f : N R και g : N R. η f(n) είναι fi( g(n) ) αν υπάρχουν σταθερές C 1, C 2 και n 0, τέτοιες ώστε:
Συµβολισµός Ω( ) Τάξη των Συναρτήσεων () Εκτίµηση Πολυπλοκότητας Αλγορίθµων Ορέστης Τελέλης telelis@unipi.gr Ορισµός. Εστω συναρτήσεις: f : N R και g : N R η f(n) είναι Ω( g(n) ) αν υπάρχουν σταθερές C
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Κατανεμημένα Συστήματα Ι Παναγιώτα Παναγοπούλου 11η Διάλεξη 12 Ιανουαρίου 2017 1 Ανεξάρτητο σύνολο Δοθέντος ενός μη κατευθυνόμενου γραφήματος G = (V, E), ένα ανεξάρτητο σύνολο (independent set) είναι ένα
Διαβάστε περισσότεραΔιάλεξη 10: Αλγόριθμοι Αμοιβαίου Αποκλεισμού σε περιβάλλον ανταλλαγής μηνυμάτων. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 10: Αλγόριθμοι Αμοιβαίου Αποκλεισμού σε περιβάλλον ανταλλαγής μηνυμάτων ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Τι θα δούμε σήμερα Αλγόριθμος Χρήση Συντονιστή Αλγόριθμος του Lamport Αλγόριθμος LeLann:
Διαβάστε περισσότεραΚατανεμημένα Συστήματα. Javascript LCR example
Κατανεμημένα Συστήματα Javascript LCR example Javascript JavaScript All JavaScript is the scripting language of the Web. modern HTML pages are using JavaScript to add functionality, validate input, communicate
Διαβάστε περισσότεραΠροηγούµενο Μάθηµα. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων. Αυτόµατα Εισόδου/Εξόδου
Προηγούµενο Μάθηµα Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης ευτέρα, 1 εκεµβρίου, 2008 Αίθουσα Β Ασύγχρονα Κατανεµηµένα
Διαβάστε περισσότεραPROJECT ΣΤΟ ΜΑΘΗΜΑ ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΕΥΡΕΤΙΚΕΣ ΜΕΘΟ ΟΥΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΑΤΡΩΝ ΠΟΛΥΤΕΧΝΙΚΗ ΣΧΟΛΗ ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ Η/Υ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ PROJECT ΣΤΟ ΜΑΘΗΜΑ ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΕΥΡΕΤΙΚΕΣ ΜΕΘΟ ΟΥΣ ΜΕΡΟΣ ΤΡΙΤΟ Πολίτη Όλγα Α.Μ. 4528 Εξάµηνο 8ο Υπεύθυνος Καθηγητής Λυκοθανάσης
Διαβάστε περισσότεραΑλγόριθμοι και Πολυπλοκότητα
Αλγόριθμοι και Πολυπλοκότητα Ροή Δικτύου Δημήτρης Μιχαήλ Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Μοντελοποίηση Δικτύων Μεταφοράς Τα γραφήματα χρησιμοποιούνται συχνά για την μοντελοποίηση
Διαβάστε περισσότεραΓενικά. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων. Τυπικά Θέµατα.
Γενικά Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης Τετάρτη, 15 Οκτωβρίου, 2007 Αίθουσα Β3 Σκοπός του µαθήµατος: Κατανόηση
Διαβάστε περισσότεραΑλγόριθµοι Ροής σε Γράφους (CLR, κεφάλαιο 27)
Αλγόριθµοι Ροής σε Γράφους (CLR, κεφάλαιο 27) Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: ίκτυα ροής και το πρόβληµα της µέγιστης ροής Η µεθοδολογία Ford-Fulkerson Ο αλγόριθµος Edmonds-Karps ΕΠΛ 232
Διαβάστε περισσότεραΣχεδίαση και Ανάλυση Αλγορίθμων
Σχεδίαση και Ανάλυση Αλγορίθμων Ενότητα 4.0 Επιλογή Αλγόριθμοι Επιλογής Select και Quick-Select Σταύρος Δ. Νικολόπουλος 2016-17 Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Ιωαννίνων Webpage: www.cs.uoi.gr/~stavros
Διαβάστε περισσότεραΑλγόριθµοι Οπισθοδρόµησης
Αλγόριθµοι Οπισθοδρόµησης Στην ενότητα αυτή θα µελετηθούν τα εξής επιµέρους θέµατα: Η οπισθοδρόµηση στο σχεδιασµό αλγορίθµων Το πρόβληµα των σταθερών γάµων και ο αλγόριθµος των Gale-Shapley Το πρόβληµα
Διαβάστε περισσότεραΚατ οίκον Εργασία 1 Σκελετοί Λύσεων
EΠΛ Αλγόριθµοι και Πολυπλοκότητα Φεβρουάριος 00 Κατ οίκον Εργασία Σκελετοί Λύσεων. Ο αλγόριθµος διαίρει και βασίλευε για το πρόβληµα έχει ως εξής: Μοίρασε τον πίνακα σε δύο µισά. Υπολόγισε αναδροµικά τα
Διαβάστε περισσότεραfor for for for( . */
Εισαγωγή Στον Προγραµµατισµό «C» Βρόχοι Επανάληψης Πανεπιστήµιο Πελοποννήσου Τµήµα Πληροφορικής & Τηλεπικοινωνιών Νικόλαος Δ. Τσελίκας Νικόλαος Προγραµµατισµός Δ. Τσελίκας Ι Ο βρόχος for Η εντολή for χρησιµοποιείται
Διαβάστε περισσότεραΔιαδικασιακός Προγραμματισμός
Τμήμα ΜΗΧΑΝΙΚΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΕ ΤΕΙ ΔΥΤΙΚΗΣ ΕΛΛΑΔΑΣ Διαδικασιακός Προγραμματισμός Διάλεξη 12 η Αναζήτηση/Ταξινόμηση Πίνακα Οι διαλέξεις βασίζονται στο βιβλίο των Τσελίκη και Τσελίκα C: Από τη Θεωρία στην
Διαβάστε περισσότεραΔυναμικός προγραμματισμός για δέντρα
ΘΕ5 Ιδιότητες Δέντρων και Αναδρομή για Δέντρα Δυναμικός προγραμματισμός για δέντρα Έστω ότι, για k=1,..., m, το γράφημα Γ k = (V k, E k ) είναι δέντρο. Έστω w V 1... V m, z k V k, για k=1,..., m. Συμβολίζουμε
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών. HY-317: Εφαρµοσµένες Στοχαστικές ιαδικασίες - Εαρινό Εξάµηνο ιδάσκων : Π.
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών HY-317: Εφαρµοσµένες Στοχαστικές ιαδικασίες - Εαρινό Εξάµηνο 2015-16 ιδάσκων : Π Τσακαλίδης Φροντιστήριο 8 Επιµέλεια : Σοφία Σαββάκη Ασκηση 1 Μία Μαρκοβιανή
Διαβάστε περισσότεραΔιάλεξη 3: Αλγόριθμοι σε Γράφους ΙΙ. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη : Αλγόριθμοι σε Γράφους ΙΙ ΕΠΛ : Κατανεμημένοι Αλγόριθμοι Κατασκευή ΓΔ Γνωστή Ρίζα Τι θα δούμε σήμερα Κατασκευή ΓΔ Κατά Βάθος Αναζήτησης - Γνωστή Ρίζα Κατασκευή ΓΔ Άγνωστη Ρίζα ΕΠΛ: Κατανεµηµένοι
Διαβάστε περισσότεραΆπληστοι Αλγόριθµοι (CLR, κεφάλαιο 17)
Άπληστοι Αλγόριθµοι (CLR, κεφάλαιο 17) Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Σχεδιασµός αλγορίθµων µε Άπληστους Αλγόριθµους Στοιχεία άπληστων αλγορίθµων Το πρόβληµα επιλογής εργασιών ΕΠΛ 232
Διαβάστε περισσότεραΕισαγωγή στους Αλγόριθµους. Αλγόριθµοι. Ιστορικά Στοιχεία. Ο πρώτος Αλγόριθµος. Παραδείγµατα Αλγορίθµων. Τι είναι Αλγόριθµος
Εισαγωγή στους Αλγόριθµους Αλγόριθµοι Τι είναι αλγόριθµος; Τι µπορεί να υπολογίσει ένας αλγόριθµος; Πως αξιολογείται ένας αλγόριθµος; Παύλος Εφραιµίδης pefraimi@ee.duth.gr Αλγόριθµοι Εισαγωγικές Έννοιες
Διαβάστε περισσότεραΣύνοψη Μαθήµατος. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων
Σύνοψη Μαθήµατος Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης Ασύγχρονα Κατανεµηµένα Συστήµατα Σφάλµατα ιεργασιών Αδυναµία
Διαβάστε περισσότεραΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 2
ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Τµηµα Β Λυσεις Ασκησεων - Φυλλαδιο ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt016/nt016.html Πέµπτη 7 Οκτωβρίου 016 Ασκηση 1. Βρείτε όλους
Διαβάστε περισσότεραConsensus and related problems
Consensus and related s Τι θα δούµε ΟΜΑ Α: Ιωάννα Ζέλιου Α.Μ.: 55 Μελισσόβας Σπύρος Α.Μ.: 21 Παπαδόπουλος Φίλιππος Α.Μ.: 60 Consensus Byzantine generals Interactive consistency Agreement Problems Imposibility
Διαβάστε περισσότεραΕλεγχος, Αξιοπιστία και Διασφάλιση Ποιότητας Λογισµικού Πολυπλοκότητα
Ελεγχος, Αξιοπιστία και Διασφάλιση Ποιότητας Λογισµικού Πολυπλοκότητα Τµήµα Διοίκησης Επιχειρήσεων Τει Δυτικής Ελλάδας Μεσολόγγι Δρ. Α. Στεφανή Διάλεξη 5 2 Εγκυροποίηση Λογισµικού Εγκυροποίηση Λογισµικού
Διαβάστε περισσότερα5. Μέθοδοι αναγνώρισης εκπαίδευση χωρίς επόπτη
5. Μέθοδοι αναγνώρισης εκπαίδευση χωρίς επόπτη Tο πρόβληµα του προσδιορισµού των συγκεντρώσεων των προτύπων, όταν δεν είναι γνωστό το πλήθος τους και η ταυτότητα των προτύπων, είναι δύσκολο και για την
Διαβάστε περισσότεραΚατευθυνόµενα γραφήµατα. Στοιχεία Θεωρίας Γραφηµάτων (1) Πολυγραφήµατα (Multigraphs)
Μη κατευθυνόµενα γραφήµατα Στοιχεία Θεωρίας Γραφηµάτων (1) Απλό µη κατευθυνόµενο γράφηµα G είναι διατεταγµένο Ϲεύγος (V, E) µε σύνολο κορυφών/κόµβων V Ορέστης Τελέλης tllis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων,
Διαβάστε περισσότεραΤυχαιοκρατικοί Αλγόριθμοι
Πιθανότητες και Αλγόριθμοι Ανάλυση μέσης περίπτωσης Μελέτα τη συμπεριφορά ενός αλγορίθμου σε μια «μέση» είσοδο (ως προς κάποια κατανομή) Τυχαιοκρατικός αλγόριθμος Λαμβάνει τυχαίες αποφάσεις καθώς επεξεργάζεται
Διαβάστε περισσότεραΔιάλεξη 17: Συμφωνία με Βυζαντινά Σφάλματα. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 17: Συμφωνία με Βυζαντινά Σφάλματα ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Βυζαντινά Σφάλματα Τι θα δούμε σήμερα Κάτω Φράγμα για Αλγόριθμους Συμφωνίας με Βυζαντινά Σφάλματα: n > 3f Αλγόριθμος Συμφωνίας
Διαβάστε περισσότεραP (A) = 1/2, P (B) = 1/2, P (C) = 1/9
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών HY-1: Πιθανότητες - Χειµερινό Εξάµηνο 011 ιδάσκων : Π. Τσακαλίδης Λύσεις εύτερης Σειράς Ασκήσεων Ηµεροµηνία Ανάθεσης : /11/011 Ηµεροµηνία Παράδοσης : 1/11/011
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά. Θεωρία γράφων / γραφήµατα. Τι έχουµε δει µέχρι τώρα. Υπογράφηµα Γράφοι
HY118- ιακριτά Μαθηµατικά Θεωρία γράφων / γραφήµατα Πέµπτη, 19/05/2016 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr 5/22/2016 1 1 5/22/2016 2 2 Τι έχουµε δει µέχρι τώρα Κατευθυνόµενοι µη κατευθυνόµενοι
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά. Μαθηµατική επαγωγή. 11 Επαγωγή
Επαγωγή HY8- ιακριτά Μαθηµατικά Τρίτη, /03/06 Μαθηµατική Επαγωγή Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University
Διαβάστε περισσότεραΕιδικά θέματα Αλγορίθμων και Δομών Δεδομένων (ΠΛΕ073) Απαντήσεις 1 ου Σετ Ασκήσεων
Ειδικά θέματα Αλγορίθμων και Δομών Δεδομένων (ΠΛΕ073) Απαντήσεις 1 ου Σετ Ασκήσεων Άσκηση 1 α) Η δομή σταθμισμένης ένωσης με συμπίεση διαδρομής μπορεί να τροποποιηθεί πολύ εύκολα ώστε να υποστηρίζει τις
Διαβάστε περισσότεραΚατανεµηµένα Συστήµατα Ένα κατανεµηµένο σύστηµα είναι µια συλλογή από αυτόνοµες διεργασίες οι οποίες έχουν τη δυνατότητα να επικοινωνούν µεταξύ τους.
Εισαγωγή Μοντέλο Βασικοί Αλγόριθµοι Γράφων Παναγιώτα Φατούρου Κατανεµηµένος Υπολογισµός 1 Κατανεµηµένα Συστήµατα Ένα κατανεµηµένο σύστηµα είναι µια συλλογή από αυτόνοµες διεργασίες οι οποίες έχουν τη δυνατότητα
Διαβάστε περισσότεραΜη κατευθυνόµενα γραφήµατα. Στοιχεία Θεωρίας Γραφηµάτων (1) Υπογραφήµατα.
Κατευθυνόµενα γραφήµατα Απλό κατευθυνόµενο Γράφηµα G είναι διατεταγµένο Ϲεύγος (V, E), µε: Στοιχεία Θεωρίας Γραφηµάτων (1) σύνολο κορυφών / κόµβων V, Ορέστης Τελέλης tllis@unipi.r Τµήµα Ψηφιακών Συστηµάτων,
Διαβάστε περισσότεραq={(1+2)/2}=1 A(1,2)= MERGE( 4, 6 ) = 4 6 q=[(3+4)/2]=3 A(1,4)= MERGE( 4 6, 5 8 ) = q=[(5+6)/2]=5 A(5,6)= MERGE( 2, 9 ) = 2 9
R 0 0 Ερώτηση 1 Να εκτελεστούν όλα τα βήµατα του παρακάτω αλγορίθµου στον µονοδιάστατο πίνακα: "!$ Στην κάθε κλήση της procedure εισάγεται ο %&') Ο συµϐολισµός υπονοεί τον υποπίνακα από την ϑέση % έως
Διαβάστε περισσότεραΣτοιχεία Θεωρίας Γραφηµάτων (1)
Στοιχεία Θεωρίας Γραφηµάτων (1) Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Γραφηµάτων (1) 1 / 23 Μη κατευθυνόµενα γραφήµατα
Διαβάστε περισσότεραΔροµολόγηση (Routing)
Δροµολόγηση (Routing) Περίληψη Flooding Η Αρχή του Βέλτιστου και Δυναµικός Προγραµµατισµός Dijkstra s Algorithm Αλγόριθµοi Δροµολόγησης Link State Distance Vector Δροµολόγηση σε Κινητά Δίκτυα Δροµολόγηση
Διαβάστε περισσότεραΑριθµητική Ανάλυση 1 εκεµβρίου / 43
Αριθµητική Ανάλυση 1 εκεµβρίου 2014 Αριθµητική Ανάλυση 1 εκεµβρίου 2014 1 / 43 Κεφ.5. Αριθµητικός Υπολογισµός Ιδιοτιµών και Ιδιοδιανυσµάτων ίνεται ένας πίνακας A C n n και Ϲητούνται να προσδιορισθούν οι
Διαβάστε περισσότεραΣΤΟΧΑΣΤΙΚΕΣ ΙΑ ΙΚΑΣΙΕΣ
ΣΤΟΧΑΣΤΙΚΕΣ ΙΑ ΙΚΑΣΙΕΣ Θεωρία Πιθανοτήτων και Στοχαστικές ιαδικασίες, Κ. Πετρόπουλος Τµ. Επιστήµης των Υλικών Στοχαστικές ιαδικασίες Ορισµός Μία στοχαστική διαδικασία είναι µία οικογένεια τυχαίων µεταβλητών
Διαβάστε περισσότεραΜονοπάτια και Κυκλώµατα Euler. Στοιχεία Θεωρίας Γραφηµάτων (3,4) Παραδείγµατα. Κριτήρια Υπαρξης.
Μονοπάτια και Κυκλώµατα Eulr Σε γράφηµα G(V, E): Στοιχεία Θεωρίας Γραφηµάτων (3,4) Ορέστης Τελέλης tllis@unipi.r Κύκλωµα Eulr: Απλό κύκλωµα που διασχίζει κάθε ακµή του G. Μονοπάτι Eulr: Απλό µονοπάτι που
Διαβάστε περισσότεραΑλγόριθµοι και Πολυπλοκότητα
Αλγόριθµοι και Πολυπλοκότητα Ν. Μ. Μισυρλής Τµήµα Πληροφορικής και Τηλεπικοινωνιών, Πανεπιστήµιο Αθηνών Καθηγητής: Ν. Μ. Μισυρλής () Αλγόριθµοι και Πολυπλοκότητα 6 Μαΐου 2015 1 / 42 Εύρεση Ελάχιστου Μονοπατιού
Διαβάστε περισσότεραΑλγόριθµοι και Πολυπλοκότητα
Αλγόριθµοι και Πολυπλοκότητα Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Πρόβληµα, Στιγµιότυπο, Αλγόριθµος Εργαλεία εκτίµησης πολυπλοκότητας: οι τάξεις Ο(n), Ω(n), Θ(n) Ανάλυση Πολυπλοκότητας Αλγορίθµων
Διαβάστε περισσότεραΑλγόριθµοι και Πολυπλοκότητα
Αλγόριθµοι και Πολυπλοκότητα Ν. Μ. Μισυρλής Τµήµα Πληροφορικής και Τηλεπικοινωνιών, Πανεπιστήµιο Αθηνών Καθηγητής: Ν. Μ. Μισυρλής () Αλγόριθµοι και Πολυπλοκότητα 28 Μαΐου 2015 1 / 45 Εισαγωγή Ο δυναµικός
Διαβάστε περισσότεραΑλγόριθµοι και Πολυπλοκότητα
Αλγόριθµοι και Πολυπλοκότητα Ν. Μ. Μισυρλής Τµήµα Πληροφορικής και Τηλεπικοινωνιών, Πανεπιστήµιο Αθηνών Καθηγητής: Ν. Μ. Μισυρλής () Αλγόριθµοι και Πολυπλοκότητα Φεβρουαρίου 0 / ένδρα Ενα δένδρο είναι
Διαβάστε περισσότερα