Αποτίµησηκαθολικού κατηγορήµατος
|
|
- Ἥβη Φωτόπουλος
- 7 χρόνια πριν
- Προβολές:
Transcript
1 Αποτίµησηκαθολικού κατηγορήµατος Εισαγωγή Ιδιότητες καθολικών κατηγορηµάτων Αδιέξοδα Ανίχνευση αδιεξόδων Συγκεντρωτική ανίχνευση Ιεραρχική ανίχνευση Κατανεµηµένη ανίχνευση Επανόρθωση αδιεξόδων Κατανεµηµένος τερµατισµός Κατανεµηµένα Συστήµατα 05-1
2 Εισαγωγή Καθολικό κατηγόρηµα Συνάρτηση που εφαρµόζεται στις συνεπείς καθ. Καταστάσεις Παράγει true ή false Πολλά προβλήµατα ανάγονται σε αυτό Ανίχνευση αδιεξόδων και τερµατισµού Απώλεια σκυτάλης Καθορισµός σηµείου ελέγχου και επανεκκίνηση Παρακολούθηση και εκσφαλµάτωση Στάθµιση φόρτου Αποτίµηση καθολικού κατηγορήµατος Η καθολική κατάσταση ικανοποιεί το κατηγόρηµα Φ; Για παράδειγµα, έχει συµβεί αδιέξοδο; Βασίζεται στην κατασκευή της καθολικής κατάστασης Κατανεµηµένα Συστήµατα 05-2
3 Ιδιότητεςκαθολικών κατηγορηµάτων Σταθερά κατηγορήµατα Όταν γίνουν αληθή, παραµένουν αληθή ΈστωηακολουθίακαθολικώνκαταστάσεωνΣ a Σ s Σ f Για ένα σταθερό κατηγόρηµα έχουµε Φ(Σ s ) = true Φ(Σ f ) = true Επιπλέον έχουµε Φ(Σ s ) = false Φ(Σ a ) = false Παραδείγµατα σταθερών κατηγορηµάτων Αδιέξοδο Τερµατισµός Απώλεια σκυτάλης Συλλογή απορριµάτων Κατανεµηµένα Συστήµατα 05-3
4 Ιδιότητεςκαθολικών κατηγορηµάτων Ασταθή κατηγορήµατα Παράδειγµα: ισότητα µήκους δύο δυναµικών ουρών ύο βασικά προβλήµατα Το Φµπορεί να γίνει αληθές αλλά να µην το ανιχνεύσουµε Μπορεί να µην είναι αληθές αρκετή ώρα Αλλά να µην ισχύει µόνιµα Το Φµπορεί να βρεθεί αληθές αλλά να µην ίσχυε Μπορεί να είναι αληθές σε ένα στιγµιότυπο Το στιγµιότυπο όµως µπορεί να µην συνέβη ποτέ Επέκταση σε ολόκληρο τον υπολογισµό Possibly(Φ): R : Σ l R τέτοιο ώστε Φ(Σ l ) = TRUE Definitely(Φ): R : Σ l R τέτοιο ώστε Φ(Σ l ) = TRUE Κατανεµηµένα Συστήµατα 05-4
5 Ιδιότητεςκαθολικών κατηγορηµάτων Σ 00 Σ 10 Σ 01 Σ 11 Σ 02 Σ 21 Σ 12 Σ 03 Παράδειγµα Possibly(y-x=2) Υπάρχει µία εκτέλεση στην οποία θα ισχύσει Definitely(x=y) Ισχύει οπωσδήποτε σε όλες τις εκτελέσεις Παρατηρούµε ότι ~Possibly(Φ) Definitely(~Φ) (y-x)=2 x=y Σ 41 Σ 31 Σ 22 Σ 32 Σ 23 Σ 42 Σ 33 Σ 43 Σ 53 Σ 44 Σ 63 Σ 54 Σ 55 Σ 64 Σ 65 Σ 45 Σ 13 Κατανεµηµένα Συστήµατα 05-5
6 Ιδιότητεςκαθολικών κατηγορηµάτων Αποτίµηση Possibly(Φ) Αναζήτηση σε όλες τις συνεπείς καθολικές καταστάσεις Αν δεν είναι πουθενά αληθές το Φ, τότε δεν ισχύει states={σ 0 0 };L=0; while (Φ(S)==false, S states) { if(states=={τελική καθολική κατάσταση}) } return false; L=L+1; states={όλες οι προσπελάσιµες από τις καταστάσεις του states καταστάσεις του επιπέδου L}; return true; Κατανεµηµένα Συστήµατα 05-6
7 Ιδιότητεςκαθολικών κατηγορηµάτων Αποτίµηση Definitely(Φ) Αναζήτηση σε όλες τις συνεπείς καθολικές καταστάσεις Πρέπει να είναι αληθές σε όλα τα µονοπάτια if (Φ(Σ 0 0 )) states={}; else states ={Σ 0 0 }; L=0; while {states <> {}) { L=L+1; reachable={όλες οι προσπελάσιµες από τις καταστάσεις του states καταστάσεις του επιπέδου L}; states={s reachable:φ(s)=false}; if(states=={τελική καθολική κατάσταση}) return false; } return true; Κατανεµηµένα Συστήµατα 05-7
8 Αδιέξοδα Ίδιος ορισµός µε συγκεντρωτικά συστήµατα Εµποδισµός διεργασιών λόγω αναµονής για πόρους Μόνιµος εµποδισµός συνόλου εργασιών Εµφανίζεται όταν ισχύουν οι συνθήκες του Coffman Απλά οι πόροι είναι κατανεµηµένοι σε κόµβους Γράφος καταχώρισης πόρων είχνει καταχώριση πόρων και ζήτηση πόρων Κατανεµηµένα Συστήµατα 05-8
9 Αδιέξοδα Γράφος αναµονής Απλούστερη µορφή του γράφου καταχώρισης πόρων Παραλείπει τους πόρους Ισχύει όταν έχουµε µία µονάδα κάθε πόρου Αν έχει κύκλο, έχουµε αδιέξοδο Πολλές µονάδες ανά πόρο Θα πρέπει να έχουµε κόµπο στο γράφο καταχώρισης πόρων Κόµπος είναι ένα µη κενό σύνολο κόµβων Κ Όπου όλοι οι προσπελάσιµοι κόµβοι από το Κ είναι και αυτοί µέλη του Κ Κατανεµηµένα Συστήµατα 05-9
10 Αδιέξοδα Χειρισµός αδιεξόδων Έγκριση Μόνο σε επίπεδο λειτουργικού συστήµατος Μόνο σε συγκεκριµένες εφαρµογές Αποφυγή ύσκολη στην εφαρµογή Απαιτεί γνώση απαιτήσεων εκ των προτέρων Πρόληψη Συνήθως αποφεύγουµε τη συνθήκη κυκλικής αναµονής Οι υπόλοιπες είναι δύσκολο να αποφευχθούν Ανίχνευση και επανόρθωση αδιεξόδων Η πιο συνηθισµένη στρατηγική στα κατανεµηµένα συστήµατα Κατανεµηµένα Συστήµατα 05-10
11 Ανίχνευσηαδιεξόδων Κατασκευή καθολικού γράφου αναµονής Κατασκευάζεται από τους τοπικούς Τρεις τρόποι κατασκευής Συγκεντρωτικός Ένας κόµβος συντονιστής Ιεραρχικός Ιεραρχία συντονιστών Κατανεµηµένος Συµµετέχουν όλοι Επιθυµητές ιδιότητες Πρόοδος Ανίχνευση σε πεπερασµένο χρόνο Ασφάλεια Ανίχνευση πραγµατικών αδιεξόδων Κατανεµηµένα Συστήµατα 05-11
12 Συγκεντρωτικήανίχνευση Τοπικοί συντονιστές Κατασκευή τοπικών γράφων αναµονής Μπορεί να εντοπίσει τοπικό αδιέξοδο Κεντρικός συντονιστής Κατασκευή καθολικού γράφου αναµονής Μπορεί να εντοπίσει καθολικό αδιέξοδο Τα τοπικά αντιµετωπίζονται από τον τοπικό συντονιστή Πότε συλλέγονται πληροφορίες; Συνεχής µετάδοση: σε κάθε αλλαγή Περιοδική µετάδοση: µετά από κάποιοι πλήθος αλλαγών Μετάδοση κατ απαίτηση: όταν το ζητήσει ο συντονιστής Πάντα στέλνονται µόνο οι αλλαγές Κατανεµηµένα Συστήµατα 05-12
13 Ιεραρχικήανίχνευση Συνήθως οι κύκλοι είναι µικροί Το 90% εµπλέκουν δύο διεργασίες εν έχει νόηµα η κατασκευή καθολικού γράφου Είναι καλύτερα το πρόβληµα να αντιµετωπίζεται τοπικά Ιεραρχική προσέγγιση Λογικό δένδρο από ελεγκτές Κάθε ελεγκτής έχει κάποια εµβέλεια Τα φύλλα ελέγχουν τον τοπικό τους γράφο Οι εσωτερικοί κόµβοι ελέγχουν την ένωση των παιδιών τους Αντιµετώπιση αδιεξόδων Από τον κατώτερο ιεραρχικά κόµβο που τα εντοπίζει Όσο πιο τοπικά γίνεται Μόνο οι γράφοι που δεν έχουν κύκλους πηγαίνουν παραπάνω Κατανεµηµένα Συστήµατα 05-13
14 Ιεραρχικήανίχνευση p 1 p 2 p 4 p 7 p 3 p 5 p 6 Ελεγκτής Η p 1 p 2 p 4 p 7 p 5 p 6 p 7 p 3 p 5 Ελεγκτής Ζ Ελεγκτής Ε p 1 p 3 p 1 R 3 p 3 p 5 p 6 R 1 R 2 p 4 R 4 p 5 R 6 R 7 p 2 R 5 p 7 p 6 p 7 Κόµβος Κ 1 Κόµβος Κ 2 Ελεγκτής Α Ελεγκτής Β Κόµβος Κ 3 Ελεγκτής Γ Κόµβος Κ 4 Ελεγκτής Κατανεµηµένα Συστήµατα 05-14
15 Κατανεµηµένηανίχνευση Οι κόµβοι διατηρούν τροποποιηµένους γράφους Σε κάθε τοπικό γράφο αναµονής προστίθενται Η ακµή (p i,p ex )ότανη εσωτερική p i περιµένει εξωτερικό πόρο Η ακµή (p ex,p i ) όταν η εξωτερική p i περιµένει τοπικό πόρο Παράδειγµα: έστω οι κόµβοι K 1 και K 2 Ο K 1 έχει τις διεργασίες p 1, p 2 και p 4 Ο K 2 έχει τις διεργασίες p 3 και p 5 Οι κόµβοι γνωρίζουν τις άµεσες εξωτερικές αιτήσεις Ο K 1 γνωρίζει την αίτηση του p 3 Ο K 2 γνωρίζει την αίτηση του p 1 Ο αλγόριθµος προσθέτει τον p ex και στους δύο κόµβους ηµιουργία δύο κύκλων Οι κύκλοι περιέχουν τον p ex Κατανεµηµένα Συστήµατα 05-15
16 Κατανεµηµένηανίχνευση Τικάνουµε αν υπάρχει αδιέξοδο µε τον p ex ; Πρέπει να συµβουλευτούµε και άλλους κόµβους Κατανεµηµένα Συστήµατα 05-16
17 Κατανεµηµένηανίχνευση Αλγόριθµος εντοπισµού κύκλου (path pushing) Έστω ότι ο p i έχει βρει τον κύκλο (p ex,p i,p j,,p k,p ex ) ΟK i στέλνει στον K j τον κύκλο Ο K j είναι ο κόµβος που περιέχει τον p k ΟK j ενηµερώνει τον γράφο του µε τις ακµές που έλαβε Αν ο νέος γράφος δεν περιέχει κύκλο εν υπάρχει αδιέξοδο, τερµατισµός Αν ο ενηµερωµένος γράφος περιέχει κύκλο χωρίς τον p ex Εντοπίστηκε κύκλος µε τις εµπλεκόµενες διεργασίες Αν ο ενηµερωµένος γράφος περιέχει κύκλο µε τον p ex ΟK j στέλνει τον νέο κύκλο στον κόµβο K k Η διαδικασία επαναλαµβάνεται µε K i = K j και K j = K k Κατανεµηµένα Συστήµατα 05-17
18 Κατανεµηµένηανίχνευση p ex p 1 p 5 p 3 p 2 Παράδειγµα Χρησιµοποιούµε το προηγούµενο παράδειγµα Ο K 1 εντοπίζει κύκλο που περιλαµβάνει τον p ex (p ex,p 3,p 2,p 1,p ex ) Ο κύκλος στέλνεται στον Κ 2 που ενηµερώνει τον γράφο Ο K 2 εντοπίζει κύκλο που δεν περιλαµβάνει τον p ex (p 3,p 2,p 1 ) Ξεκινά η διαδικασία αντιµετώπισης αδιεξόδου Κατανεµηµένα Συστήµατα 05-18
19 Κατανεµηµένηανίχνευση Αν ξεκινήσουν ταυτόχρονα δύο κόµβοι; Θα εντοπίσουν και οι δύο τον κύκλο Σπατάλη µηνυµάτων Πιθανόν περιττοί τερµατισµοί διεργασιών Χρήση µοναδικού αναγνωριστικού ανά διεργασία Όταν εντοπίζεται κύκλος της µορφής (p ex,p i,p j,,p k,p ex ) Αν ID(p k ) < ID(p i )τότε ο κόµβος εκτελεί τον αλγόριθµο Αλλιώς αφήνει την εκτέλεση σε άλλους Παράδειγµα Ο Κ 1 εντοπίζει τον κύκλο (p ex,p 3,p 2,p 1,p ex ) Ο Κ 1 έχει τον κόµβο p 1 και (έστω) ID(p 1 )<ID(p 3 ) Άρα ο Κ 1 ξεκινά τον αλγόριθµο ανίχνευσης Κατανεµηµένα Συστήµατα 05-19
20 Κατανεµηµένηανίχνευση Αλγόριθµος εντοπισµού κύκλου (edge chasing) Κάθε διεργασία p i έχει ένα µοναδικό ID Ανη αίτηση της p i προς την p j καθυστερεί πολύ Η p i στέλνει ένα µήνυµα διερεύνησηςστην p j Τρία πεδία: εµποδισµένος, αποστολέας, παραλήπτης Αν ο παραλήπτης p j δεν είναι εµποδισµένος εν υπάρχει αδιέξοδο, τέλος προώθησης Αν ο παραλήπτης p j είναι εµποδισµένος προωθεί το µήνυµα Σε όλους τους κόµβους p k τους οποίους περιµένει Στο δεύτερο πεδίο βάζει το δικό της αναγνωριστικό (p j ) Στο τρίτο πεδίο βάζει το αναγνωριστικό του παραλήπτη (p k ) Αν ο παραλήπτης δει το δικό του αναγνωριστικό στο πρώτο πεδίο Έχει συµβεί αδιέξοδο Κατανεµηµένα Συστήµατα 05-20
21 Κατανεµηµένηανίχνευση Παράδειγµα Το ίδιο παράδειγµα µε πριν Η p 1 µπλοκάρεται περιµένοντας την p 3 Στέλνει µήνυµα p 1,p 1,p 3 στην p 3 Η p 3 στέλνει το µήνυµα στις p 2 και p 5 Στην p 5 το µήνυµα σταµατάει Στην p 2 το µήνυµα προωθείται σε p 1 και p 4 Στην p 1 εντοπίζεται το αδιέξοδο Κατανεµηµένα Συστήµατα 05-21
22 Κατανεµηµένηανίχνευση Ποιος αλγόριθµος είναι καλύτερος; Συνήθως χρησιµοποιείται ο δεύτερος Εύκολη υλοποίηση Μηνύµατα σταθερού µεγέθους Το πολύ ένα µήνυµα ανά ακµή εν χρειάζεται καθολικούς γράφους εν ανιχνεύει ανύπαρκτα αδιέξοδα εν απαιτεί διάταξη των διεργασιών Όλα αυτά δεν ισχύουν στον πρώτο αλγόριθµο! Κατανεµηµένα Συστήµατα 05-22
23 Επανόρθωσηαδιεξόδων Τι κάνουµε όταν εντοπίσουµε ένα αδιέξοδο; Επέµβαση χειριστή Ποιος είναι αρµόδιος; Αν ξεκινήσουν όλοι την αντιµετώπιση; Αν ένας κόµβος ευνοεί τις δικές του διεργασίες; Τερµατισµός διεργασιών Επιλέγει τις «καλύτερες» διεργασίες Υψηλό κόστος λόγω σπατάλης πόρων Οπισθοδρόµηση διεργασιών Στο προηγούµενο σηµείο ελέγχου Θα πρέπει όµως να διατηρούµε σηµεία ελέγχου Συµφέρει η οπισθοδρόµηση ή ο τερµατισµός; Κατανεµηµένα Συστήµατα 05-23
24 Κατανεµηµένοςτερµατισµός Πότε τερµατίζει ένα παράλληλο πρόγραµµα; Όλες οι διεργασίες περιµένουν εθελοντικά µηνύµατα από άλλες Έτσι καλύπτουµε και τις άπειρες ανακυκλώσεις Όταν η αναµονή δεν είναι εθελοντική, έχουµε αδιέξοδο Πώς όµως µπορούµε να το διαπιστώσουµε; Ανίχνευση κατανεµηµένου τερµατισµού Υποθέτουµε αξιόπιστα κανάλια επικοινωνίας Τα µηνύµατα φτάνουν µία φορά και σωστά Αλγόριθµος του Dijkstra Έστω n κόµβοι σε ενεργή ή παθητική κατάσταση Μόνο οι ενεργοί κόµβοι στέλνουν µηνύµατα Ένας παθητικός γίνεται ενεργός όταν λάβει µήνυµα Ένας ενεργός γίνεται παθητικός όταν δεν περιµένει κάτι Κατανεµηµένα Συστήµατα 05-24
25 Κατανεµηµένοςτερµατισµός Κατάσταση τερµατισµού Όλοι οι κόµβοι είναι παθητικοί εν υπάρχει κανένα µήνυµα καθοδόν οµή αλγορίθµου Οι κόµβοι διατάσσονται λογικά σε δακτύλιο Κάθε κόµβος i διατηρεί έναν µετρητή c i Αρχικά c i =0 Ο c i αυξάνεται σε κάθε αποστολήµηνύµατος Ο c i µειώνεται σε κάθε λήψη µηνύµατος Το Σc i δείχνει πόσα µηνύµατα εκκρεµούν Όλοι οι κόµβοι και η σκυτάλη έχουν χρώµα Αρχικά όλα είναι λευκά Ένας κόµβος γίνεται µαύρος όταν λάβει µήνυµα (όχι τη σκυτάλη) Ένας κόµβος γίνεται λευκός όταν προωθεί τη σκυτάλη Αν η σκυτάλη βρει µαύρο κόµβο, γίνεται µαύρη Κατανεµηµένα Συστήµατα 05-25
26 Κατανεµηµένοςτερµατισµός Αλγόριθµος Ο κόµβος i=0 στέλνει τη σκυτάλη µε τιµή 0 στον n-1 Όταν ένας κόµβος i<>0 λάβει τη σκυτάλη Κρατάει τη σκυτάλη µέχρι να γίνει παθητικός Προωθεί τη σκυτάλη στον i-1 αυξάνοντας τηντιµή της κατά c i Αν ο κόµβος είναι µαύρος Η σκυτάλη γίνεται µαύρη Ο κόµβος γίνεται λευκός Όταν ένας κόµβος λάβει ένα µήνυµα (όχι τη σκυτάλη) Γίνεται µαύρος Όταν ο κόµβος 0 λάβει τη σκυτάλη Αν είναι παθητικός και λευκόςκαι η σκυτάλη είναι λευκή και το άθροισµα της τιµής της σκυτάλης και του c είναι 0 Έχει συµβεί τερµατισµός Κατανεµηµένα Συστήµατα 05-26
27 Κατανεµηµένοςτερµατισµός Αλγόριθµος ανάκτησης πίστωσης Μία εργασία j αποτελείται από καθήκοντα Κάθε καθήκον εκτελείται σε έναν µόνο κόµβο Αρχικά κάθε εργασία περιέχει ένα µόνο καθήκον Το καθήκον µπορεί να δηµιουργήσει νέα σε άλλους κόµβους Άρα µπορούµε να έχουµε καθήκοντα καθοδόν Όταν τα καθήκοντα ολοκληρωθούν, έχουµε terminated(j)=true Ο τερµατισµός είναι σταθερό καθολικό κατηγόρηµα Αν ο κόµβος Sδεν έχει ενεργά καθήκοντα, έχουµε idle S (j)=true Η αδράνεια είναι ασταθές τοπικό κατηγόρηµα Μπορεί να φτάσουν σε λίγο κι άλλα καθήκοντα Η αδράνεια όλων των κόµβων δεν υπονοεί τερµατισµό Μπορεί να έχουµε καθήκοντα καθοδόν Κατανεµηµένα Συστήµατα 05-27
28 Κατανεµηµένοςτερµατισµός οµή αλγορίθµου Κάθε έργο έχει µία συγκεκριµένη πίστωση Κάθε καθήκον παίρνει µέρος της πίστωσης του έργου Όταν τερµατίσει το καθήκον η πίστωση επιστρέφεται Έχουµε τερµατισµό όταν ανακτηθεί η πίστωση όλου του έργου Για κάθε καθήκον tέχουµε job(t) είναι το έργο που ανήκει credit(t)είναι η πίστωσή του, της µορφής 2 -i Για κάθε έργο j έχουµε home(j) είναι ο κόµβος που ξεκίνησε recovered(j) είναι η ανακτηθείσα πίστωση Για κάθε κόµβο S έχουµε done S (j)είναι το άθροισµα πιστώσεων Κατανεµηµένα Συστήµατα 05-28
29 Κατανεµηµένοςτερµατισµός Αλγόριθµος ηµιουργία νέου έργου j µε ένα καθήκον t στον κόµβο H home(j)=h, job(t)=j, credit(t)=1, recovered(j)=0, done H (j)=0 ηµιουργία από το t ενός νέου καθήκοντος t credit(t)=credit(t )=credit(t)/2 Ολοκλήρωση του t στον κόµβο S done S (j)=done S (j)+credit(t) Ολοκλήρωση όλων των καθηκόντων στον S Ο Sστέλνει το done S (j)στον home(j) O Ηθέτει recovered(j)=recovered(j)+done S (j) Αν recovered(j)=1, έχουµε τερµατισµό Ιδιότητες αλγορίθµου Βέλτιστος: ένα µήνυµα ανά κατάσταση αδράνειας Βασίζεται σε αυθαίρετης ακρίβειας δυαδικούς αριθµούς Κατανεµηµένα Συστήµατα 05-29
30 Κατανεµηµένοςτερµατισµός Αλγόριθµος των Dijkstra και Scholten Οι κόµβοι είναι ενεργοί ή παθητικοί Όπως στον αλγόριθµο του Dijkstra Αρχικά όλοι οι κόµβοι είναι παθητικοί Ο συντονιστής S είναι ενεργητικός Οι υπολογισµοί ξεκινούν από τον S Κατασκευή ενός αντεστραµµένου δένδρου Ρίζα ο συντονιστής S Κάθε κλαδί δείχνει έναν εκκρεµή υπολογισµό Κάθε κόµβος p δείχνει στον πατέρα του (parent(p)) Ένας κόµβος χωρίς πατέρα είναι ελεύθερος Κάθε κόµβος p µετράει τα παιδιά του (children(p)) Ένας κόµβος χωρίς παιδιά είναι φύλλο Κατανεµηµένα Συστήµατα 05-30
31 Κατανεµηµένοςτερµατισµός Αλγόριθµος Όταν o p<>s λάβει µήνυµα από τον p Αν parent(p)=null Εισάγεται στο δένδρο η ακµή (p,p ) Ο p ενηµερώνει τον p children(p )++ Αν ένα φύλλο p είναι παθητικό και children(p)=0 Για κάθε κόµβο p στον οποίο δείχνει ο p Ο p ενηµερώνει τον p children(p ) Αφαιρούνται όλες οι εξερχόµενες ακµές του p Αν ο S είναι παθητικό φύλλο έχουµε τερµατισµό εν υπάρχουν άλλοι εκκρεµείς υπολογισµοί Κατανεµηµένα Συστήµατα 05-31
32 Κατανεµηµένοςτερµατισµός Ανίχνευση τερµατισµού µε στιγµιότυπα Έστω ότι η p λαµβάνει µήνυµα στιγµιοτύπου από την p Τότε η p είναι ο προκάτοχος της p Αλγόριθµος Όταν η διεργασία p ολοκληρώσει τη δουλειά της Αν η p έχει λάβει <done> από όλους τουςδιαδόχους της και δεν έχει λάβει κανένα µήνυµα κατάτο χρονικό διάστηµα που κατέγραφε την κατάσταση των καναλιών της Στέλνει <done> στον προκάτοχό της ιαφορετικά Στέλνει <continue> στον προκάτοχό της Αν ο συντονιστής λάβει <done> από όλους τους προκατόχους Ο υπολογισµός έχει τελειώσει Κατανεµηµένα Συστήµατα 05-32
Κατανεμημένα Συστήματα: Θεωρία και Προγραμματισμός. Ενότητα # 3: Καθολικά κατηγορήματα Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής
Κατανεμημένα Συστήματα: Θεωρία και Προγραμματισμός Ενότητα # 3: Καθολικά κατηγορήματα Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια
Διαβάστε περισσότεραΕντοπισμός τερματισμού. Κατανεμημένα Συστήματα 1
Εντοπισμός τερματισμού Κατανεμημένα Συστήματα 1 lalis@inf.uth.gr Μοντέλο συστήματος Μια ομάδα διεργασιών εκτελεί έναν υπολογισμό Κατάσταση διεργασίας: ενεργητική ή παθητική (ανάλογα με το αν εκτελεί μέρος
Διαβάστε περισσότεραΣυνεπής παρατήρηση εκτέλεσης & συνεπείς καθολικές καταστάσεις. Κατανεμημένα Συστήματα 1
Συνεπής παρατήρηση εκτέλεσης & συνεπείς καθολικές καταστάσεις Κατανεμημένα Συστήματα 1 lalis@inf.uth.gr Λογικά συνεπείς τομές Τμήμα τοπικής ιστορίας: h i.k {e i.1,e i.2,e i.k } τμήμα της τοπικής εκτέλεσης
Διαβάστε περισσότεραΣυνεπείς καθολικές καταστάσεις & επιβεβαίωση ιδιοτήτων. Κατανεμημένα Συστήματα 1
Συνεπείς καθολικές καταστάσεις & επιβεβαίωση ιδιοτήτων Κατανεμημένα Συστήματα 1 lalis@inf.uth.gr Λογικά συνεπείς τομές Τμήμα τοπικής ιστορίας: h i.k {e i.1,e i.2,e i.k } τμήμα της τοπικής εκτέλεσης στην
Διαβάστε περισσότεραΠροηγούµενο Μάθηµα. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων
Προηγούµενο Μάθηµα Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης ευτέρα, 20 εκεµβρίου, 2010 Αίθουσα Β3 Ασύγχρονα Κατανεµηµένα
Διαβάστε περισσότεραΑµοιβαίοςαποκλεισµός. Κατανεµηµένα Συστήµατα 03-1
Αµοιβαίοςαποκλεισµός Εισαγωγή Συγκεντρωτική προσέγγιση Κατανεµηµένη προσέγγιση Αλγόριθµος Lamport Αλγόριθµος Ricart-Agrawala Προσέγγιση µεταβίβασης σκυτάλης Αλγόριθµος LeLann Αλγόριθµος Raymond Αλγόριθµος
Διαβάστε περισσότεραΕκλογήαρχηγού. Εισαγωγή Ισχυρά συνδεδεµένος γράφος ακτύλιος µίας κατεύθυνσης Τοπολογία δένδρου. Κατανεµηµένα Συστήµατα 06-1
Εκλογήαρχηγού Εισαγωγή Ισχυρά συνδεδεµένος γράφος ακτύλιος µίας κατεύθυνσης Τοπολογία δένδρου Κατανεµηµένα Συστήµατα 06- Εισαγωγή Πρόβληµα: επιλογή µίας διεργασίας από το σύνολο εν αρκεί να αυτοανακηρυχθεί
Διαβάστε περισσότεραΚαθολικέςκαταστάσεις. Ορισµοί Κατασκευή καθολικών καταστάσεων Παθητική στρατηγική Ενεργητική στρατηγική. Κατανεµηµένα Συστήµατα 04-1
Καθολικέςκαταστάσεις Ορισµοί Κατασκευή καθολικών καταστάσεων Παθητική στρατηγική Ενεργητική στρατηγική Κατανεµηµένα Συστήµατα 04-1 Ορισµοί Τοπικήιστορία διεργασίας p i Έστω ότι e ij είναι το γεγονός jτης
Διαβάστε περισσότεραΤο Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash model) Οι διεργασίες µπορούν να σταµατούν να εκτελούνται σε
Οµοφωνία σε σύστηµα µε αϖοτυχίες κατάρρευσης διεργασιών Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 1 Το Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash model) Οι διεργασίες
Διαβάστε περισσότεραΕντοπισμός αδιεξόδου. Κατανεμημένα Συστήματα 1
Εντοπισμός αδιεξόδου Κατανεμημένα Συστήματα 1 lalis@inf.uth.gr Αδιέξοδο σε κατανεμημένο σύστημα Αδιέξοδο: «κυκλική» και ατέρμονη αναμονή μεταξύ δύο ή περισσοτέρων διεργασιών Το πρόβλημα υφίσταται ήδη σε
Διαβάστε περισσότεραοµήτης παρουσίασης Marzullo και Neiger αλγόριθµος Παράδειγµα Distributed Debugging Εισαγωγικά
Distributed Debugging Τσώτσος Θοδωρής Φωλίνας Νίκος Εισαγωγικά Επιθυµούµε να µπορούµε να παρατηρούµε την εκτέλεση του προγράµµατος κατά τη διάρκειά του. Έχουµε τη δυνατότητα να ελέγξουµε αν οι απαιτούµενες
Διαβάστε περισσότεραΚατανεμημένα Συστήματα με Java. Ενότητα # 4: Αμοιβαίος αποκλεισμός Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής
Κατανεμημένα Συστήματα με Java Ενότητα # 4: Αμοιβαίος αποκλεισμός Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Κατανεμημένα Συστήματα Ι Εκλογή αρχηγού και κατασκευή BFS δένδρου σε σύγχρονο γενικό δίκτυο Παναγιώτα Παναγοπούλου Περίληψη Εκλογή αρχηγού σε γενικά δίκτυα Ορισμός του προβλήματος Ο αλγόριθμος FloodMax
Διαβάστε περισσότεραιεργασίες και Επεξεργαστές στα Κατανεµηµένων Συστηµάτων
ιεργασίες και Επεξεργαστές στα Κατανεµηµένων Συστηµάτων Μαρία Ι. Ανδρέου ΗΜΥ417, ΗΜΥ 663 Κατανεµηµένα Συστήµατα Χειµερινό Εξάµηνο 2006-2007 Τµήµα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών Πανεπιστήµιο
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Εκλογή αρχηγού σε γενικά δίκτυα 20 Οκτωβρίου 2016 Παναγιώτα Παναγοπούλου Εκλογή αρχηγού σε γενικά δίκτυα Προηγούμενη διάλεξη Σύγχρονα Κατανεμημένα Συστήματα Μοντελοποίηση συστήματος Πρόβλημα εκλογής αρχηγού
Διαβάστε περισσότεραΚατανεµηµένα Αντικείµενα 16-1
Κατανεµηµένααντικείµενα Αποµακρυσµένα αντικείµενα Αναφορές προς αντικείµενα Εξυπηρετητές αντικειµένων Εκκαθάριση αντικειµένων Μετρητές αναφορών Λίστες αναφορών Αποκοµιδή απορριµµάτων Κατανεµηµένα Αντικείµενα
Διαβάστε περισσότεραΤο Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash model) Οι διεργασίες µπορούν να σταµατούν να εκτελούνται σε
Οµοφωνία σε σύγχρονο σύστηµα µε αϖοτυχίες κατάρρευσης διεργασιών Παναγιώτα Φατούρου Κατανεµηµένος Υπολογισµός 1 Το Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash
Διαβάστε περισσότεραΕνδεικτικές Λύσεις 1ου Σετ Ασκήσεων
Κ Σ Ι Ενδεικτικές Λύσεις 1ου Σετ Ασκήσεων Παναγιώτα Παναγοπούλου Άσκηση 1. Υποθέστε ότι οι διεργασίες ενός σύγχρονου κατανεμημένου συστήματος έχουν μοναδικές ταυτότητες (UIDs), γνωρίζουν ότι είναι συνδεδεμένες
Διαβάστε περισσότεραΤη φυσική (MAC) διεύθυνση που δίνει ο κατασκευαστής του δικτυακού υλικού στις συσκευές του (π.χ. στις κάρτες δικτύου). Η περιοχή διευθύνσεων που
7.7 Πρωτόκολλο ARP 1 ύο είδη διευθύνσεων: MAC - IP Τη φυσική (MAC) διεύθυνση που δίνει ο κατασκευαστής του δικτυακού υλικού στις συσκευές του (π.χ. στις κάρτες δικτύου). Η περιοχή διευθύνσεων που µπορεί
Διαβάστε περισσότεραΕιδικά θέματα Αλγορίθμων και Δομών Δεδομένων (ΠΛΕ073) Απαντήσεις 1 ου Σετ Ασκήσεων
Ειδικά θέματα Αλγορίθμων και Δομών Δεδομένων (ΠΛΕ073) Απαντήσεις 1 ου Σετ Ασκήσεων Άσκηση 1 α) Η δομή σταθμισμένης ένωσης με συμπίεση διαδρομής μπορεί να τροποποιηθεί πολύ εύκολα ώστε να υποστηρίζει τις
Διαβάστε περισσότεραΚατανεμημένα Συστήματα. Ενότητα # 2: Εκλογή αρχηγού Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής
Κατανεμημένα Συστήματα Ενότητα # 2: Εκλογή αρχηγού Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού έργου του διδάσκοντα.
Διαβάστε περισσότεραΑλγόριθµοι και Πολυπλοκότητα
Αλγόριθµοι και Πολυπλοκότητα Ν. Μ. Μισυρλής Τµήµα Πληροφορικής και Τηλεπικοινωνιών, Πανεπιστήµιο Αθηνών Καθηγητής: Ν. Μ. Μισυρλής () Αλγόριθµοι και Πολυπλοκότητα Φεβρουαρίου 0 / ένδρα Ενα δένδρο είναι
Διαβάστε περισσότεραΛειτουργικά Συστήματα (Λ/Σ)
Λειτουργικά Συστήματα (Λ/Σ) Αδιέξοδα Βασίλης Σακκάς 22/1/2014 1 Εισαγωγή Πόροι Ένα σύνολο διεργασιών βρίσκεται σε αδιέξοδο (deadlock) αν κάθε διεργασία του συνόλου περιμένει ένα γεγονός που μόνο μια άλλη
Διαβάστε περισσότεραΑλγόριθµοι Οπισθοδρόµησης
Αλγόριθµοι Οπισθοδρόµησης Στην ενότητα αυτή θα µελετηθούν τα εξής επιµέρους θέµατα: Η οπισθοδρόµηση στο σχεδιασµό αλγορίθµων Το πρόβληµα των σταθερών γάµων και ο αλγόριθµος των Gale-Shapley Το πρόβληµα
Διαβάστε περισσότεραΔιάλεξη 10: Αλγόριθμοι Αμοιβαίου Αποκλεισμού σε περιβάλλον ανταλλαγής μηνυμάτων. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 10: Αλγόριθμοι Αμοιβαίου Αποκλεισμού σε περιβάλλον ανταλλαγής μηνυμάτων ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Τι θα δούμε σήμερα Αλγόριθμος Χρήση Συντονιστή Αλγόριθμος του Lamport Αλγόριθμος LeLann:
Διαβάστε περισσότεραΑδιέξοδα Ανάθεση Πόρων (Deadlocks Resource Allocation)
Αδιέξοδα Ανάθεση Πόρων (Deadlocks Resource Allocation) Εισαγωγή Μοντέλο συστήματος Χαρακτηρισμός και ορισμός κατάστασης αδιεξόδου Μέθοδοι χειρισμού αδιεξόδων Αποτροπή αδιεξόδου (Deadlock Prevention) Αποφυγή
Διαβάστε περισσότεραΠροηγούµενο Μάθηµα. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων. Σύνοψη 3 ης ιάλεξης
Προηγούµενο Μάθηµα Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης Σύγχρονα Κατανεµηµένα Συστήµατα Μοντελοποίηση Συστήµατος
Διαβάστε περισσότεραΝήµαταστην Java. Συγχρονισµός νηµάτων Επικοινωνία νηµάτων Εκτελέσιµα αντικείµενα Νήµατα δαίµονες Οµάδες νηµάτων. Κατανεµηµένα Συστήµατα 11-1
Νήµαταστην Java Συγχρονισµός νηµάτων Επικοινωνία νηµάτων Εκτελέσιµα αντικείµενα Νήµατα δαίµονες Οµάδες νηµάτων Κατανεµηµένα Συστήµατα 11-1 Νήµαταστην Java γεννηθείσα notify notifyall έτοιµη start εκπνοή
Διαβάστε περισσότεραΚινητά και Διάχυτα Συστήματα. Ενότητα # 8: Εκλογή αρχηγού Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής
Κινητά και Διάχυτα Συστήματα Ενότητα # 8: Εκλογή αρχηγού Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού έργου του
Διαβάστε περισσότεραΓ. Κορίλη Αλγόριθµοι ροµολόγησης
- Γ. Κορίλη Αλγόριθµοι ροµολόγησης http://www.seas.upenn.edu/~tcom50/lectures/lecture.pdf ροµολόγηση σε ίκτυα εδοµένων Αναπαράσταση ικτύου µε Γράφο Μη Κατευθυνόµενοι Γράφοι Εκτεταµένα έντρα Κατευθυνόµενοι
Διαβάστε περισσότεραΑδιέξοδα Ανάθεση Πόρων (Deadlocks Resource Allocation)
Αδιέξοδα Ανάθεση Πόρων (Deadlocks Resource Allocation) Για τη δηµιουργία των διαφανειών έχει χρησιµοποιηθεί υλικό από τις διαφάνειες παραδόσεων που βασίζονται στο βιβλίο, Silberschatz, Galvin and Gagne,
Διαβάστε περισσότεραΤεχνητή Νοημοσύνη. 2η διάλεξη (2015-16) Ίων Ανδρουτσόπουλος. http://www.aueb.gr/users/ion/
Τεχνητή Νοημοσύνη 2η διάλεξη (2015-16) Ίων Ανδρουτσόπουλος http://www.aueb.gr/users/ion/ 1 Οι διαφάνειες αυτής της διάλεξης βασίζονται στα βιβλία: Τεχνητή Νοημοσύνη των Βλαχάβα κ.ά., 3η έκδοση, Β. Γκιούρδας
Διαβάστε περισσότεραΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ
ΘΕΜΑ 1 ο (2.5 µονάδες) ΠΑΝΕΠΙΣΤΗΜΙΟ ΜΑΚΕ ΟΝΙΑΣ ΟΙΚΟΝΟΜΙΚΩΝ ΚΑΙ ΚΟΙΝΩΝΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΕΦΑΡΜΟΣΜΕΝΗΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ Τελικές εξετάσεις Παρασκευή 28 Σεπτεµβρίου 2007 ιάρκεια: 13:00-16:00
Διαβάστε περισσότεραΚεφάλαιο 5ο: Εντολές Επανάληψης
Χρήστος Τσαγγάρης ΕΕ ΙΠ Τµήµατος Μαθηµατικών, Πανεπιστηµίου Αιγαίου Κεφάλαιο 5ο: Εντολές Επανάληψης Η διαδικασία της επανάληψης είναι ιδιαίτερη συχνή, αφού πλήθος προβληµάτων µπορούν να επιλυθούν µε κατάλληλες
Διαβάστε περισσότεραfor for for for( . */
Εισαγωγή Στον Προγραµµατισµό «C» Βρόχοι Επανάληψης Πανεπιστήµιο Πελοποννήσου Τµήµα Πληροφορικής & Τηλεπικοινωνιών Νικόλαος Δ. Τσελίκας Νικόλαος Προγραµµατισµός Δ. Τσελίκας Ι Ο βρόχος for Η εντολή for χρησιµοποιείται
Διαβάστε περισσότεραΠροηγούµενο Μάθηµα. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων
Προηγούµενο Μάθηµα Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης Σύγχρονα Κατανεµηµένα Συστήµατα Μοντελοποίηση Συστήµατος
Διαβάστε περισσότεραΕνότητα 9 Ξένα Σύνολα που υποστηρίζουν τη λειτουργία της Ένωσης (Union-Find)
Ενότητα 9 Ξένα Σύνολα που υποστηρίζουν τη (Union-Find) ΗΥ240 - Παναγιώτα Φατούρου 1 Ξένα Σύνολα που υποστηρίζουν τη λειτουργία της Ένωσης Έστω ότι S 1,, S k είναι ξένα υποσύνολα ενός συνόλου U, δηλαδή
Διαβάστε περισσότεραOutlook Express-User Instructions.doc 1
Οδηγίες προς τους υπαλλήλους του ήµου Θεσσαλονίκης για την διαχείριση της ηλεκτρονικής τους αλληλογραφίας µε το Outlook Express (Ver 1.0 22-3-2011) (Για οποιοδήποτε πρόβληµα ή απορία επικοινωνήστε µε τον
Διαβάστε περισσότεραΙδιοκτησία Αντικειµένου
Software Transactional Memory H STM υποστηρίζει την εκτέλεση δοσοληψιών από τις διεργασίες, οι οποίες περιέχουν λειτουργίες που ο χρήστης θέλει να εκτελέσει στα διαµοιραζόµενα αντικείµενα. H STM εγγυάται
Διαβάστε περισσότεραΑδιέξοδα Ανάθεση Πόρων (Deadlocks Resource Allocation)
Αδιέξοδα Ανάθεση Πόρων (Deadlocks Resource Allocation) Το Πρόβλημα του Αδιεξόδου Ένα σύνολο από διεργασίες σε αναμονή, όπου η κάθε μια κατέχει έναν αριθμό από πόρους και περιμένει να αποκτήσει και έναν
Διαβάστε περισσότεραΛειτουργικά Συστήματα. Ενότητα # 6: Αδιέξοδα Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής
Λειτουργικά Συστήματα Ενότητα # 6: Αδιέξοδα Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού έργου του διδάσκοντα.
Διαβάστε περισσότεραΠροηγούµενο Μάθηµα. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων. Ορισµοί Τοπική ιστορία
Προηγούµενο Μάθηµα Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης ευτέρα, 10 εκεµβρίου, 2007 Αίθουσα Β3 Ασύγχρονα Κατανεµηµένα
Διαβάστε περισσότεραΑΔΙΕΞΟΔΑ (Deadlocks) Παράδειγμα 1 Θανάσιμο αγκάλιασμα (deadly embrace)
Παράδειγμα 1 Ένα σύστημα με έναν εκτυπωτή και ένα σαρωτή εγγράφων Δύο διεργασίες Ρ1 και Ρ2 Η Ρ1 δεσμεύει τον εκτυπωτή Η Ρ2 δεσμεύει το σαρωτή Η Ρ1 ζητά το σαρωτή και εμποδίζεται Η Ρ2 ζητά τον εκτυπωτή
Διαβάστε περισσότερα7.9 ροµολόγηση. Ερωτήσεις
7.9 ροµολόγηση Ερωτήσεις 1. Να δώσετε τον ορισµό της δροµολόγησης; 2. Από τι εξαρτάται η χρονική στιγµή στην οποία λαµβάνονται οι αποφάσεις δροµολόγησης; Να αναφέρετε ποια είναι αυτή στην περίπτωση των
Διαβάστε περισσότεραΤο Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash model) Οι διεργασίες µπορούν να σταµατούν να εκτελούνται σε
Οµοφωνία σε σύστηµα µε αϖοτυχίες διεργασιών Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 1 Το Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash model) Οι διεργασίες µπορούν
Διαβάστε περισσότεραΑδιέξοδα (Deadlocks)
Αδιέξοδα (Deadlocks) Περίληψη Αδιέξοδα (deadlocks) Τύποι πόρων (preemptable non preemptable) Μοντελοποίηση αδιεξόδων Στρατηγικές Στρουθοκαµηλισµός (ostrich algorithm) Ανίχνευση και αποκατάσταση (detection
Διαβάστε περισσότεραΠροηγούµενο Μάθηµα. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων. Ορισµοί Τοπική ιστορία
Προηγούµενο Μάθηµα Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης ευτέρα, 12 Ιανουαρίου, 2008 Αίθουσα Β3 Ασύγχρονα Κατανεµηµένα
Διαβάστε περισσότεραΚΑΤΑΝΕΜΗΜΕΝΑ ΣΥΣΤΗΜΑΤΑ. Παράδοση Ασκήσεων Κεφάλαιο 2 Ασκήσεις 3,6,8,9,15,22,24,26. Γεωργόπουλος Άλκης Α.Μ.: 39 Κοντογιώργης Αναστάσιος A.M.
ΚΑΤΑΝΕΜΗΜΕΝΑ ΣΥΣΤΗΜΑΤΑ Παράδοση Ασκήσεων Κεφάλαιο 2 Ασκήσεις 3,6,8,9,15,22,24,26 Γεωργόπουλος Άλκης Α.Μ.: 39 Κοντογιώργης Αναστάσιος A.M.: 43 Άσκηση 3 Μια αξιόπιστη multicast υπηρεσία επιτρέπει σε έναν
Διαβάστε περισσότεραΕπίλυση Προβληµάτων µε Greedy Αλγόριθµους
Επίλυση Προβληµάτων µε Greedy Αλγόριθµους Περίληψη Επίλυση προβληµάτων χρησιµοποιώντας Greedy Αλγόριθµους Ελάχιστα Δέντρα Επικάλυψης Αλγόριθµος του Prim Αλγόριθµος του Kruskal Πρόβληµα Ελάχιστης Απόστασης
Διαβάστε περισσότεραΔροµολόγηση (Routing)
Δροµολόγηση (Routing) Περίληψη Flooding Η Αρχή του Βέλτιστου και Δυναµικός Προγραµµατισµός Dijkstra s Algorithm Αλγόριθµοi Δροµολόγησης Link State Distance Vector Δροµολόγηση σε Κινητά Δίκτυα Δροµολόγηση
Διαβάστε περισσότεραΜοντέλο Σύγχρονου ικτύου. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων
Μοντέλο Σύγχρονου ικτύου Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης ευτέρα, Νοεµβρίου, 0 Αίθουσα Β Μία συλλογή υπολογιστικών
Διαβάστε περισσότερα09/04/2014 ΛΕΙΤΟΥΡΓΙΚΑ ΣΥΣΤΗΜΑΤΑ Ι. Μάθηµα: Α ΙΕΞΟ Α. ιδάσκων: Λειτουργικά Συστήµατα Ι Αν. Καθ. Κ. Λαµπρινουδάκης Α ΙΕΞΟ Α
ΛΕΙΤΟΥΡΓΙΚΑ ΣΥΣΤΗΜΑΤΑ Ι Μάθηµα: Λειτουργικά Συστήµατα Ι Α ΙΕΞΟ Α ιδάσκων: Αν. Καθ. Κ. Λαµπρινουδάκης clam@unipi.gr 1 Α ΙΕΞΟ Α 2 1 ΠΟΡΟΙ Υπάρχουν δύο τύποι πόρων σε υπολογιστικά συστήµατα: Προεκτοπίσιµοι
Διαβάστε περισσότεραΠαράδειγµα: Προσοµοίωση µιας ουράς FIFO Οι λειτουργίες που υποστηρίζονται από µια ουρά FIFO είναι: [enq(q,x), ack(q)] [deq(q), return(q,x)] όπου x είν
Wait-free προσοµοιώσεις αυθαίρετων αντικειµένων Έχουµε δει ότι το πρόβληµα της οµοφωνίας δεν µπορεί να επιλυθεί µε χρήση µόνο read/write καταχωρητών. Πολλοί µοντέρνοι επεξεργαστές παρέχουν επιπρόσθετα
Διαβάστε περισσότεραΤεχνικές διόρθωσης και ανίχνευσης σφαλµάτων
Τεχνικές διόρθωσης και ανίχνευσης σφαλµάτων Εντοπισµός σφαλµάτων Εντοπισµός ιόρθωση Προστίθενται bit πλεονασµού Αν µπορεί διορθώνει, (forward error correction) αλλιώς ζητά επανεκποµπή (backward error correction)
Διαβάστε περισσότεραΛύση: Λύση: Λύση: Λύση:
1. Ένας δίαυλος έχει ρυθµό δεδοµένων 4 kbps και καθυστέρηση διάδοσης 20 msec. Για ποια περιοχή µηκών των πλαισίων µπορεί η µέθοδος παύσης και αναµονής να έχει απόδοση τουλάχιστον 50%; Η απόδοση θα είναι
Διαβάστε περισσότεραΠρωτόκολλο ARP. Γεωργιλά Χιονία Καθηγήτρια Πληροφορικής ΠΕ1901
Πρωτόκολλο ARP Γεωργιλά Χιονία Καθηγήτρια Πληροφορικής ΠΕ1901 Ποιο είναι το έργο του Πρωτοκόλλου Μετατροπής Διεύθυνσης (Address Resolution Protocol ARP) Κάνει δυναμική μετατροπή των IP διευθύνσεων σε φυσικές
Διαβάστε περισσότεραΔοµές Δεδοµένων. 18η Διάλεξη Ισορροπηµένα δέντρα. Ε. Μαρκάκης
Δοµές Δεδοµένων 18η Διάλεξη Ισορροπηµένα δέντρα Ε. Μαρκάκης Περίληψη Επανάληψη των Τυχαιοποιηµένων ΔΔΑ, Στρεβλών ΔΔΑ, Δέντρων 2-3-4 Δέντρα κόκκινου-µαύρου Λίστες Παράλειψης Χαρακτηριστικά επιδόσεων - συµπεράσµατα
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Κατανεμημένα Συστήματα Ι Συναίνεση και Σφάλματα Διεργασιών Παναγιώτα Παναγοπούλου Περίληψη Συναίνεση με σφάλματα διεργασιών Το πρόβλημα Ο αλγόριθμος FloodSet Επικύρωση δοσοληψιών Ορισμός του προβλήματος
Διαβάστε περισσότερα6. Α ΙΕΞΟ Α Στέφανος Γκρίτζαλης Αναπληρωτής Καθηγητής Κωνσταντίνος Καραφασούλης ιδάσκων (Π 407) 6.1 ΠΟΡΟΙ (1/2) Υπάρχουν δύο τύποι πόρων σε υπολογιστικά συστήµατα: προεκχωρήσιµοι πόροι (preemptable resources):
Διαβάστε περισσότεραDr. Garmpis Aristogiannis - EPDO TEI Messolonghi
Προϋποθέσεις για Αµοιβαίο Αποκλεισµό Μόνο µία διεργασία σε κρίσιµο τµήµασεκοινό πόρο Μία διεργασία που σταµατά σε µη κρίσιµο σηµείο δεν πρέπει να επιρεάζει τις υπόλοιπες διεργασίες εν πρέπει να υπάρχει
Διαβάστε περισσότεραΕνότητα 7 Ουρές Προτεραιότητας
Ενότητα Ουρές Προτεραιότητας ΗΥ4 - Παναγιώτα Φατούρου Ουρές Προτεραιότητας Θεωρούµε ένα χώρο κλειδιών U και έστω ότι µε κάθε κλειδί Κ (τύπου Key) έχει συσχετισθεί κάποια πληροφορία Ι (τύπου Type). Έστω
Διαβάστε περισσότεραΔομές Δεδομένων. Καθηγήτρια Μαρία Σατρατζέμη. Τμήμα Εφαρμοσμένης Πληροφορικής. Δομές Δεδομένων. Τμήμα Εφαρμοσμένης Πληροφορικής
Ενότητα 8: Γραμμική Αναζήτηση και Δυαδική Αναζήτηση-Εισαγωγή στα Δέντρα και Δυαδικά Δέντρα-Δυαδικά Δέντρα Αναζήτησης & Υλοποίηση ΔΔΑ με δείκτες Καθηγήτρια Μαρία Σατρατζέμη Άδειες Χρήσης Το παρόν εκπαιδευτικό
Διαβάστε περισσότεραΔιάλεξη 6: Εκλογή Προέδρου σε Σύγχρονους Δακτύλιους. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 6: Εκλογή Προέδρου σε Σύγχρονους Δακτύλιους ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Τι θα δούμε σήμερα Μη Ομοιόμορφος Αλγόριθμος Εκλογής Προέδρου σε Σύγχρονο Δακτύλιο Ομοιόμορφος Αλγόριθμος Εκλογής Προέδρου
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ Τ Μ Η Μ Α Π Λ Η Ρ Ο Φ Ο Ρ Ι Κ Η Σ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ Τ Μ Η Μ Α Π Λ Η Ρ Ο Φ Ο Ρ Ι Κ Η Σ ΕΠΛ 035 - ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΚΑΙ ΑΛΓΟΡΙΘΜΟΙ ΓΙΑ ΗΛΕΚΤΡΟΛΟΓΟΥΣ ΜΗΧΑΝΙΚΟΥΣ ΚΑΙ ΜΗΧΑΝΙΚΟΥΣ ΥΠΟΛΟΓΙΣΤΩΝ Ακαδηµαϊκό έτος 2017-2018 Υπεύθυνος εργαστηρίου: Γεώργιος
Διαβάστε περισσότεραΣτοιχεία Αλγορίθµων και Πολυπλοκότητας
Στοιχεία Αλγορίθµων και Πολυπλοκότητας Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Πολυπλοκότητα 1 / 16 «Ζέσταµα» Να γράψετε τις συναρτήσεις
Διαβάστε περισσότεραΚατ οίκον Εργασία 5 Σκελετοί Λύσεων
Κατ οίκον Εργασία 5 Σκελετοί Λύσεων Άσκηση 1 (α) Ο αλγόριθµος χρησιµοποιεί τη διαδικασία DFS(v) η οποία, ως γνωστό, επισκέπτεται όλους τους κόµβους που είναι συνδεδεµένοι µε τον κόµβο v. Για να µετρήσουµε
Διαβάστε περισσότεραSearch and Replication in Unstructured Peer-to-Peer Networks
Search and Replication in Unstructured Peer-to-Peer Networks Presented in P2P Reading Group in 11/10/2004 Abstract: Τα µη-κεντρικοποιηµένα και µη-δοµηµένα Peer-to-Peer δίκτυα όπως το Gnutella είναι ελκυστικά
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ασκήσεις.
Κατανεμημένα Συστήματα Ασκήσεις 2016-2017 http://www.cslab.ece.ntua.gr/courses/distrib Άσκηση 1 3 διεργασίες, η P1, η P2 και η P3 στέλνουν μεταξύ τους multicast μηνύματα. Σε περίπτωση που θέλουμε να εξασφαλίσουμε:
Διαβάστε περισσότεραHY118- ιακριτά Μαθηµατικά. Παράδειγµα. Από τα συµπεράσµατα στις υποθέσεις Αποδείξεις - Θεωρία συνόλων. Από τις υποθέσεις στα συµπεράσµατα...
HY118- ιακριτά Μαθηµατικά Παρασκευή, 11/03/2016 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/15/2016
Διαβάστε περισσότεραΒαθμός Σχόλια. lab5 PASS PASS PASS PASS PASS. Οριακά PASS - Καλή δουλειά
Α. Μ. Βαθμός Σχόλια 1183 1194 1238 1239 1240 1241 - Καλή δουλειά 1242 1243 1244 1245 - Κακή χρήση συναρτήσεων. Κάνεις τον ίδιο έλεγχο και εντός και εκτός της συνάρτησης. Θα έπρεπε να έχεις βρεί ένα τρόπο
Διαβάστε περισσότεραΣημειωματάριο Τετάρτης 29 Νοε. 2017
Σημειωματάριο Τετάρτης 29 Νοε. 2017 Γραφήματα (γράφοι), η αναπαράστασή τους στον υπολογιστή και μερικά προβλήματα σε αυτά Είδαμε σήμερα λίγα πράγματα για γραφήματα (ή γράφους). Γράφημα είναι, στην απλούστερή
Διαβάστε περισσότεραΕπαναληπτικές Διαδικασίες
Επαναληπτικές Διαδικασίες Οι επαναληπτικές δομές ( εντολές επανάληψης επαναληπτικά σχήματα ) χρησιμοποιούνται, όταν μια ομάδα εντολών πρέπει να εκτελείται αρκετές- πολλές φορές ανάλογα με την τιμή μιας
Διαβάστε περισσότεραΣειρά Προβλημάτων 3 Ημερομηνία Παράδοσης: 04/04/16
ΜΕΡΟΣ Α Άσκηση 1 Σειρά Προβλημάτων 3 Ημερομηνία Παράδοσης: 04/04/16 Δύο ιδιότητες φ και ψ είναι ισοδύναμες μεταξύ τους, φ ψ, αν, για κάθε δομή Kripke M, M φ αν και μόνο αν M ψ. Να αποφασίσετε ποια από
Διαβάστε περισσότεραΕλαφρύτατες διαδρομές
Ελαφρύτατες διαδρομές Ελαφρύτατες διαδρομές Κατευθυνόμενο γράφημα Συνάρτηση βάρους Ελαφρύτατη διαδρομή από το u στο v : διαδρομή με και ελάχιστο βάρος s 3 t 7 x 5 3 y z Βάρος ελαφρύτατης διαδρομής εάν
Διαβάστε περισσότεραΆρα, Τ ser = (A 0 +B 0 +B 0 +A 0 ) επίπεδο 0 + (A 1 +B 1 +A 1 ) επίπεδο 1 + +(B 5 ) επίπεδο 5 = 25[χρονικές µονάδες]
Α. Στο παρακάτω διάγραµµα εµφανίζεται η εκτέλεση ενός παράλληλου αλγόριθµου που λύνει το ίδιο πρόβληµα µε έναν ακολουθιακό αλγόριθµο χωρίς πλεονασµό. Τα Α i και B i αντιστοιχούν σε ακολουθιακά υποέργα
Διαβάστε περισσότεραif(συνθήκη) {... // οµάδα εντολών } C: Από τη Θεωρία στην Εφαρµογή 5 ο Κεφάλαιο
C: Από τη Θεωρία στην Εφαρµογή Κεφάλαιο 5 ο Έλεγχος Προγράµµατος Γ. Σ. Τσελίκης Ν. Δ. Τσελίκας Η εντολή if (Ι) Η εντολή if είναι µία από τις βασικότερες δοµές ελέγχου ροής στη C, αλλά και στις περισσότερες
Διαβάστε περισσότερα7.7 Πρωτόκολλο ARP. Τεχνολογία ικτύων Επικοινωνιών ΙΙ
Τεχνολογία ικτύων Επικοινωνιών ΙΙ 7.7 Πρωτόκολλο ARP 73. Ποιο είναι το έργο του Πρωτοκόλλου Μετατροπής ιεύθυνσης (Address Resolution Protocol ARP); Η µετατροπή των ΙΡ διευθύνσεων στις αντίστοιχες φυσικές
Διαβάστε περισσότεραΑμοιβαίος αποκλεισμός με ασύγχρονη επικοινωνία (ανταλλαγή μηνυμάτων) Ταυτόχρονος Προγραμματισμός 1
Αμοιβαίος αποκλεισμός με ασύγχρονη επικοινωνία (ανταλλαγή μηνυμάτων) Ταυτόχρονος Προγραμματισμός 1 lalis@inf.uth.gr Μοντέλο δικτύου/επικοινωνίας Αξιοπιστία (δεν χάνονται μηνύματα) Άγνωστη ταχύτητα μετάδοσης
Διαβάστε περισσότεραΠληροφορική 2. Αλγόριθμοι
Πληροφορική 2 Αλγόριθμοι 1 2 Τι είναι αλγόριθμος; Αλγόριθμος είναι ένα διατεταγμένο σύνολο από σαφή βήματα το οποίο παράγει κάποιο αποτέλεσμα και τερματίζεται σε πεπερασμένο χρόνο. Ο αλγόριθμος δέχεται
Διαβάστε περισσότεραΠροηγούµενο Μάθηµα. Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων. Η σχέση συνέβη-πριν
Προηγούµενο Μάθηµα Κατανεµηµένα Συστήµατα Ι Μάθηµα Βασικής Επιλογής, Χειµερινού Εξαµήνου Τοµέας Εφαρµογών και Θεµελιώσεων Ιωάννης Χατζηγιαννάκης ευτέρα, 3 εκεµβρίου, 2007 Αίθουσα Β3 Ασύγχρονα Κατανεµηµένα
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Κατανεμημένα Συστήματα Ι Παναγιώτα Παναγοπούλου Χριστίνα Σπυροπούλου 8η Διάλεξη 8 Δεκεμβρίου 2016 1 Ασύγχρονη κατασκευή BFS δέντρου Στα σύγχρονα συστήματα ο αλγόριθμος της πλημμύρας είναι ένας απλός αλλά
Διαβάστε περισσότεραΕπίλυση Προβλημάτων 1
Επίλυση Προβλημάτων 1 Επίλυση Προβλημάτων Περιγραφή Προβλημάτων Αλγόριθμοι αναζήτησης Αλγόριθμοι τυφλής αναζήτησης Αναζήτηση πρώτα σε βάθος Αναζήτηση πρώτα σε πλάτος (ΒFS) Αλγόριθμοι ευρετικής αναζήτησης
Διαβάστε περισσότεραΕισαγωγή. E-03: Λειτουργικά Συστήµατα ΙΙ 6. Εαρινό Εξάµηνο 2005-06. Κατανεµηµένα συστήµατα αρχείων. Μέρη κατανεµηµένου συστήµατος αρχείων
Εισαγωγή Ε-03: Λειτουργικά Συστήµατα ΙΙ Εαρινό Εξάµηνο 2005-06 «Κατανεµηµένα Συστήµατα Αρχείων (1/2)» ρ. Παναγιώτης Χατζηδούκας (Π..407/80) Σύστηµα αρχείων Αποθήκευση, προσπέλαση και διαχείριση δεδοµένων
Διαβάστε περισσότεραΑΔΙΕΞΟΔΑ. Λειτουργικά Συστήματα Ι. Διδάσκων: Καθ. Κ. Λαμπρινουδάκης ΛΕΙΤΟΥΡΓΙΚΑ ΣΥΣΤΗΜΑΤΑ Ι
ΛΕΙΤΟΥΡΓΙΚΑ ΣΥΣΤΗΜΑΤΑ Ι Μάθημα: Λειτουργικά Συστήματα Ι ΑΔΙΕΞΟΔΑ Διδάσκων: Καθ. Κ. Λαμπρινουδάκης clam@unipi.gr 1 ΑΔΙΕΞΟΔΑ 2 ΠΟΡΟΙ Υπάρχουν δύο τύποι πόρων σε υπολογιστικά συστήματα: Προεκτοπίσιμοι πόροι
Διαβάστε περισσότεραh/2. Άρα, n 2 h/2-1 h 2log(n+1). Πως υλοποιούµε τη LookUp()? Πολυπλοκότητα?
Κόκκινα-Μαύρα ένδρα (Red-Black Trees) Ένα κόκκινο-µαύρο δένδρο είναι ένα δυαδικό δένδρο αναζήτησης στο οποίο οι κόµβοι µπορούν να χαρακτηρίζονται από ένα εκ των δύο χρωµάτων: µαύρο-κόκκινο. Το χρώµα της
Διαβάστε περισσότεραΠρογραµµατισµός Ι (ΗΥ120)
Προγραµµατισµός Ι (ΗΥ120) Διάλεξη 15: Διασυνδεµένες Δοµές - Λίστες Δοµές δεδοµένων! Ένα τυπικό πρόγραµµα επεξεργάζεται δεδοµένα Πώς θα τα διατάξουµε? 2 Τι λειτουργίες θέλουµε να εκτελέσουµε? Πώς θα υλοποιήσουµε
Διαβάστε περισσότεραΔέντρα Απόφασης (Decision(
Δέντρα Απόφασης (Decision( Trees) Το μοντέλο που δημιουργείται είναι ένα δέντρο Χρήση της τεχνικής «διαίρει και βασίλευε» για διαίρεση του χώρου αναζήτησης σε υποσύνολα (ορθογώνιες περιοχές) Ένα παράδειγμα
Διαβάστε περισσότεραΓια παράδειγμα η αρχική και η τελική κατάσταση αναπαριστώνται ως εξής: (ένα λίτρο)
8 1 η ΕΡΓΑΣΙΑ ΣΤΟ ΜΑΘΗΜΑ ΤΕΧΝΗΤΗ ΝΟΗΜΟΣΥΝΗ Απάντηση 1ης άσκησης Κατάσταση (κόμβοι): Αναπαριστούμε μια κατάσταση του προβλήματος με ένα διατεταγμένο ζεύγος (X,Y) όπου X είναι τα λίτρα στο βάζο Α (χωρητικότητα
Διαβάστε περισσότεραΕπιλογή και επανάληψη. Λογική έκφραση ή συνθήκη
Επιλογή και επανάληψη Η ύλη που αναπτύσσεται σε αυτό το κεφάλαιο είναι συναφής µε την ύλη που αναπτύσσεται στο 2 ο κεφάλαιο. Όπου υπάρχουν διαφορές αναφέρονται ρητά. Προσέξτε ιδιαίτερα, πάντως, ότι στο
Διαβάστε περισσότεραΗΥ240: οµές εδοµένων Χειµερινό Εξάµηνο Ακαδηµαϊκό Έτος Παναγιώτα Φατούρου. Προγραµµατιστική Εργασία 3 ο Μέρος
Πανεπιστήµιο Κρήτης, Τµήµα Επιστήµης Υπολογιστών 6 εκεµβρίου 2008 ΗΥ240: οµές εδοµένων Χειµερινό Εξάµηνο Ακαδηµαϊκό Έτος 2008-09 Παναγιώτα Φατούρου Προγραµµατιστική Εργασία 3 ο Μέρος Ηµεροµηνία Παράδοσης:
Διαβάστε περισσότεραΔομές Δεδομένων και Αλγόριθμοι
Δομές Δεδομένων και Αλγόριθμοι Χρήστος Γκόγκος ΤΕΙ Ηπείρου Χειμερινό Εξάμηνο 2014-2015 Παρουσίαση 18 Dijkstra s Shortest Path Algorithm 1 / 12 Ο αλγόριθμος εύρεσης της συντομότερης διαδρομής του Dijkstra
Διαβάστε περισσότεραΠΛΗΡΟΦΟΡΙΚΗ Ι Ενότητα 3: Συναρτήσεις
ΠΛΗΡΟΦΟΡΙΚΗ Ι Ενότητα 3: Συναρτήσεις Μιχάλης Δρακόπουλος Σχολή Θετικών επιστημών Τμήμα Μαθηματικών Συναρτήσεις 60 Ροή ελέγχου Είναι η σειρά µε την οποία εκτελούνται οι εντολές. Μέχρι τώρα, «σειριακή»,
Διαβάστε περισσότεραΕνότητα 9 Ξένα Σύνολα που υποστηρίζουν τη λειτουργία της Ένωσης (Union-Find)
Ενότητα 9 (Union-Find) ΗΥ240 - Παναγιώτα Φατούρου 1 Έστω ότι S 1,, S k είναι ξένα υποσύνολα ενός συνόλου U, δηλαδή ισχύει ότι S i S j =, για κάθε i,j µε i j και S 1 S k = U. Λειτουργίες q MakeSet(X): επιστρέφει
Διαβάστε περισσότεραΙσορροπημένα Δένδρα. για κάθε λειτουργία; Ισορροπημένο δένδρο : Διατηρεί ύψος κάθε εισαγωγή ή διαγραφή
Ισορροπημένα Δένδρα Μπορούμε να επιτύχουμε για κάθε λειτουργία; χρόνο εκτέλεσης Ισορροπημένο δένδρο : Διατηρεί ύψος κάθε εισαγωγή ή διαγραφή μετά από Περιστροφές x αριστερή περιστροφή από το x y α β y
Διαβάστε περισσότεραΜάθημα 5 ο : Μετάδοση Μηνυμάτων
Μάθημα 5 ο : Μετάδοση Μηνυμάτων Υπάρχουν περιπτώσεις στις οποίες επιθυµούµε τα αντικείµενα που χρησιµοποιούµε να επικοινωνούν µεταξύ τους άµεσα έτσι ώστε ο συγχρονισµός της συµπεριφοράς τους να γίνεται
Διαβάστε περισσότεραΚατανεμημένα Συστήματα με Java. Ενότητα # 2: Διάταξη συμβάντων, καθολικές καταστάσεις Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής
Κατανεμημένα Συστήματα με Java Ενότητα # 2: Διάταξη συμβάντων, καθολικές καταστάσεις Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια
Διαβάστε περισσότερα4.1.1 Πρωτόκολλο TCP - Δομή πακέτου
4.1.1 Πρωτόκολλο TCP - Δομή πακέτου 1 / 38 Παράδειγμα Έστω ότι θέλουμε να αποστείλουμε ένα μήνυμα μέσω ηλεκτρονικού ταχυδρομείου. Αρχικά η εφαρμογή χρησιμοποιώντας τα πρωτόκολλα του επιπέδου εφαρμογής
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Συναίνεση με σφάλματα διεργασιών Κατανεμημένα Συστήματα Ι 5η Διάλεξη 10 Νοεμβρίου 2016 Παναγιώτα Παναγοπούλου Κατανεμημένα Συστήματα Ι 5η Διάλεξη 1 Συναίνεση με σφάλματα διεργασιών Προηγούμενη διάλεξη
Διαβάστε περισσότεραΣτην ενότητα αυτή θα µελετηθούν τα εξής θέµατα:
Χρονικά αυτόµατα Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Συστήµατα πραγµατικού Χρόνου ιακριτός και συνεχής χρόνος Χρονικά αυτόµατα Χρονική CTL ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστηµάτων 12-1 Συστήµατα
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Κατανεμημένα Συστήματα Ι Μοντέλο σύγχρονου κατανεμημένου δικτύου Εκλογή αρχηγού σε σύγχρονο δακτύλιο Παναγιώτα Παναγοπούλου Περίληψη Σύγχρονα Κατανεμημένα Συστήματα Μοντέλο Σφάλματα Πολυπλοκότητα Εκλογή
Διαβάστε περισσότερα