Διάλεξη 14: Ατομική ΚΚΜ Εγγραφής/Ανάγνωσης στην Παρουσία Σφαλμάτων. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
|
|
- Τρίτων Καραμήτσος
- 7 χρόνια πριν
- Προβολές:
Transcript
1 Διάλεξη 14: Ατομική ΚΚΜ Εγγραφής/Ανάγνωσης στην Παρουσία Σφαλμάτων ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
2 Σφάλματα Κατάρρευσης Τι θα δούμε σήμερα Αλγόριθμος SWMR (ΜΕΠΑ) Ατομικής ΚΚΜ στην παρουσία σφαλμάτων κατάρρευσης (ABD - AOya, Bar- Noy, Dolev) Αλγόριθμος ΜWMR (ΠΕΠΑ) Ατομικής ΚΚΜ στην παρουσία σφαλμάτων κατάρρευσης ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 1
3 Σφάλματα Κατάρρευσης Υποθέτουμε ότι κάθε επεξεργαστής p έχει ένα γεγονός fail p Λέμε ότι ένας επεξεργαστής p καταρρέει σε μια εκτέλεση α εαν Το γεγονός fail p περιέχεται στο α Κανένα υπολογιστικό βήμα από τον p δεν εμφανίζεται στον α μετά από το fail p Ένας επεξεργαστής μπορεί να καταρρεύσει κατά τη διάρκεια αποστολής μηνυμάτων Έτσι ένα υποσύνολο των μηνυμάτων μπορεί να σταλεί Το σύνολο των επεξεργαστών που καταρρέουν δεν είναι γνωστό στους επεξεργαστές εκ των προτέρων ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 2
4 Ανεκτικότητα Σφαλμάτων στην ΚΚΜ Πλεονασμός: κράτα αντίγραφα της μνήμης σε πολλούς επεξεργαστές Διασφαλίζει τη προσβασιμότητα και ζωτικότητα της ΚΚΜ παρά την ύπαρξη σφαλμάτων κατάρρευσης read write Κοινόχρηστη μνήμη send rcv Ανταλλαγή μηνυμάτων send rcv ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 3
5 Πολυπλοκότητα Αλγορίθμων Καθυστέρηση Επικοινωνίας Υπολογισµός Καθυστέρηση Λειτουργίας ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 4
6 Υλοποίηση ΚΚΜ Για να υλοποιήσουμε ΚΜΜ πρέπει να προσδιορίσουμε τον αλγόριθμο 3 λειτουργιών Εγγραφή Ανάγνωση Εξυπηρέτηση από διαχειριστές αντιγράφων Επομένως θεωρούμε 3 σύνολα διεργασιών Εγγραφείς: αλλάζουν την τιμή μιας κοινόχρηστης μεταβλητής Αναγνώστες: διαβάζουν την τιμή μιας κοινόχρηστης μεταβλητής Εξυπηρετητές: κρατούν αντίγραφο μιας κοινόχρηστης μεταβλητής Ένας επεξεργαστής μπορεί να τρέχει και τις τρεις διεργασίες ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 5
7 Χαρακτηριστικά Υλοποίησης Πρέπει να προσδιορίζουμε Μοντέλο Συγχρονισμού (σύγχρονο ή ασύγχρονο) Μοντέλο Ταυτοχρονισμού Μοντέλο Σφαλμάτων Συνθήκη Συνέπειας Μοντέλο Ταυτοχρονισμού SWSR SWMR MWMR Μοντέλου Σφαλμάτων Είδος σφαλμάτων που υποστηρίζουμε Αριθμός σφαλμάτων ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 6
8 Υλοποίηση Ατομικής ΚΚΜ Μοντέλο Συγχρονισμού: Ασύγχρονο Μοντέλο Ταυτοχρονισμού: SWMR (ΜΕΠΑ) Συνθήκη Συνέπειας: Ατομικότητα Μοντέλο Σφαλμάτων: Κατάρρευση μειοψηφίας αντιγράφων ( (n/2)- 1) Κατάρρευση οποιουδήποτε αριθμού αναγνωστών Κατάρρευση εγγραφέα ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 7
9 Write Protocol Αλγόριθμος Α Στείλε μήνυμα write(v) σε ένα αντίγραφο και περίμενε απάντηση Μόλις λάβεις απάντηση επέστρεψε επιβεβαίωση και τερμάτισε Read Potocol Στείλε μήνυμα read() σε ένα αντίγραφο και περίμενε απάντηση Μόλις λάβεις απάντηση επέστρεψε την τιμή που βρίσκεται μέσα στην απάντηση Server Protocol Αν λάβεις μήνυμα write(v) άλλαξε την τιμή του αντιγράφου σου σε ν Απάντησε σε όποιο μήνυμα παραλάβεις με reply(v) όπου ν η τιμή του αντιγράφου σου. ΕΠΛ432: Κατανεμημένοι Αλγόριθμοι 8
10 Παράδειγμα Εκτέλεσης Αλγ. Α Alice Alice loves Bob L Alice hates Bob Bob Write( Alice loves Bob ) Read( Alice hates Bob ) Time ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 9
11 Ανάλυση Αλγορίθμου Α Δεν Ικανοποιεί Νόμιμες Ακολουθίες: ανάγνωση μπορεί να μην επιστρέψει την τιμή της τελευταίας εγγραφής Επομένως δεν ικανοποιεί καμιά Συνθήκη Συνέπειας Δεν είναι Ανεκτικός σε σφάλματα Σφάλμα ενός αντιγράφου μπορεί να εμποδίσει τον τερματισμό μιας λειτουργίας Άρα ο Αλγόριθμος Α είναι λανθασμένος ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 10
12 Αλγόριθμος Β Write Protocol Στείλε μήνυμα write(v) σε όλα τα αντίγραφα και περίμενε απάντηση από την πλειοψηφία Μόλις λάβεις απάντησεις επέστρεψε επιβεβαίωση και τερμάτισε Read Potocol Στείλε μήνυμα read() σε όλα τα αντίγραφα και περίμενε απάντηση από την πλειοψηφία Μόλις λάβεις απάντηση επέστρεψε την τιμή που βρίσκεται μέσα στην απάντηση Server Protocol Αν λάβεις μήνυμα write(v) άλλαξε την τιμή του αντιγράφου σου σε ν Απάντησε σε όποιο μήνυμα παραλάβεις με reply(v) όπου ν η τιμή του αντιγράφου σου. ΕΠΛ432: Κατανεμημένοι Αλγόριθμοι 11
13 Παράδειγμα Εκτέλεσης Αλγ. Β < Alice loves Bob >!??#! Alice < Alice loves Bob > < Alice hates Bob > Bob Write( Alice loves Bob,5) Read(???) Time ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 12
14 Ανάλυση Αλγορίθμου Β Δεν Ικανοποιεί Νόμιμες Ακολουθίες: δεν μπορούμε να αναγνωρίσουμε ποια τιμή γράφτηκε τελευταία Επομένως δεν ικανοποιεί καμιά Συνθήκη Συνέπειας Δεν διασφαλίζει Ατομικότητα Είναι Ανεκτικός σε σφάλματα Αφού το πολύ η μειοψηφία των αντιγράφων θα καταρρεύσει τότε πάντα υπάρχει κάποια πλειοψηφία αντιγράφων να απαντήσει σε κάθε λειτουργία Διασφαλίζει Ζωτικότητα Άρα ο Αλγόριθμος Β είναι λανθασμένος ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 13
15 Αλγόριθμος Γ Χρήση Χρονοσφραγίδας Write Protocol Αύξησε την χρονοσφραγίδα σου (xmestamp++) Στείλε μήνυμα write(<xmestamp,v>) σε όλα τα αντίγραφα και περίμενε απάντηση από την πλειοψηφία Μόλις λάβεις απάντησεις επέστρεψε επιβεβαίωση και τερμάτισε Read Potocol Στείλε μήνυμα read() σε όλα τα αντίγραφα και περίμενε απάντηση από την πλειοψηφία Βρες το ζεύγος <xmestamp,v> που περιέχει την μεγαλύτερη χρονοσφραγίδα ανάμεσα στις απαντήσεις Επέστρεψε την τιμή v που αντιστοιχεί στην μεγαλύτερη χρονοσφραγίδα Server Protocol Αν λάβεις μήνυμα write(<xmestamp,v>) άλλαξε την τιμή του αντιγράφου σου σε ν και την τοπική σου χρονοσφραγίδα σε xmestamp Απάντησε σε όποιο μήνυμα παραλάβεις με reply(<xmestamp,v>) όπου ν η τιμή του αντιγράφου σου. ΕΠΛ432: Κατανεμημένοι Αλγόριθμοι 14
16 Παράδειγμα Εκτέλεσης Αλγ. Γ < Alice loves Bob,5> Alice < Alice hates Bob,4> < Alice loves Bob,5> Bob Write( Alice loves Bob,5) Read( Alice loves Bob, 5) Time ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 15
17 Ανάλυση Αλγορίθμου Γ Ικανοποιεί Νόμιμες Ακολουθίες: κάθε ανάγνωση επιστρέφει τουλάχιστον την τιμή της τελευταίας ολοκληρωμένης εγγραφής Υπάρχει τουλάχιστον ένας εξυπηρετητής που απαντά και στις δυο λειτουργίες ανάγνωσης και εγγραφής (τομή πλειοψηφιών) Είναι Ανεκτικός σε σφάλματα Αφού το πολύ η μειοψηφία των αντιγράφων θα καταρρεύσει τότε πάντα υπάρχει κάποια πλειοψηφία αντιγράφων να απαντήσει σε κάθε λειτουργία Διασφαλίζει Ζωτικότητα Ο Αλγόριθμος Γ ικανοποιεί την Ατομικότητα? ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 16
18 Αλγ. Γ με πολλούς Αναγνώστες Cool < Alice hates Bob,4> Alice < Alice hates Bob,4> < Alice loves Bob,5> Bob Write( Alice loves Bob,5) Read( Alice loves Bob, 5) Read( Alice hates Bob, 4) Time ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 17
19 Πρόβλημα Αλγόριθμου Γ Δεν Ικανοποιεί την χρονική σειρά των λειτουργιών Δεν διασφαλίζει Ατομικότητα Διασφαλίζει Κανονικότητα ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 18
20 Αλγόριθμος ΑΒD Write Protocol Αύξησε την χρονοσφραγίδα σου (xmestamp++) Στείλε μήνυμα write(<xmestamp,v>) σε όλα τα αντίγραφα και περίμενε απάντηση από την πλειοψηφία Μόλις λάβεις απάντησεις επέστρεψε επιβεβαίωση και τερμάτισε Read Potocol Στείλε μήνυμα read() σε όλα τα αντίγραφα και περίμενε απάντηση από την πλειοψηφία Βρες το ζεύγος <xmestamp,v> που περιέχει την μεγαλύτερη χρονοσφραγίδα ανάμεσα στις απαντήσεις Στείλε μήνυμα write(<xmestamp,v>) σε όλα τα αντίγραφα και περίμενε απάντηση από την πλειοψηφία Επέστρεψε την τιμή v που αντιστοιχεί στην μεγαλύτερη χρονοσφραγίδα Server Protocol Αν λάβεις μήνυμα write(<xmestamp,v>) και local.xmestamp< msg.xmestamp άλλαξε την τιμή του αντιγράφου σου σε ν και την τοπική σου χρονοσφραγίδα σε xmestamp Απάντησε σε όποιο μήνυμα παραλάβεις με reply(<xmestamp,v>) όπου ν η τιμή του αντιγράφου σου. ΕΠΛ432: Κατανεμημένοι Αλγόριθμοι 19
21 ABD: Εγγραφέας Itimestamp++ Write completes ACK from majority Update <timestamp,value> ΕΠΛ432: Κατανεμημένοι Αλγόριθμοι 20
22 ABD: Αναγνώστης Phase1: Discover maximum timestamp Compute maxts=max(<timestamp,value>) <timestamp,value> from majority ΕΠΛ432: Κατανεμημένοι Αλγόριθμοι 21
23 Phase2: Propagate <maxts,value> ABD: Αναγνώστης Read completes with maxts and associated value ACK from majority Update <timestamp,value> ΕΠΛ432: Κατανεμημένοι Αλγόριθμοι 22
24 Παράδειγμα Εκτέλεσης ABD Cool Alice < Alice hates Bob, 4> < Alice loves Bob, 5> Bob Read( Alice loves Bob, 5) Write( Alice loves Bob,5) Read( Alice hates Bob, 5) Time ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 23
25 Ανάλυση Αλγορίθμου ABD Ικανοποιεί Ατομικότητα Ικανοποιεί Νόμιμες Ακολουθίες: Oπως Αλγόριθμος Γ Ικανοποιεί Χρονική Σειρά λειτουργιών: Πριν ολοκληρωθεί κάποια ανάγνωση η τιμή που επιστρέφεται στέλνεται στην πλειοψηφία των αντιγράφων Επόμενες αναγνώσεις θα δουν την τιμή αυτή σε τουλάχιστον ένα αντίγραφο Διασφαλίζει Ζωτικότητα Είναι Ανεκτικός σε σφάλματα: Αφού το πολύ η μειοψηφία των αντιγράφων θα καταρρεύσει τότε πάντα υπάρχει κάποια πλειοψηφία αντιγράφων να απαντήσει σε κάθε λειτουργία Ο Αλγόριθμος ABD υλοποιεί Ατομική ΚΚΜ Εγγραφής/ Ανάγνωσης στο ασύγχρονο, SWMR μοντέλο ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 24
26 Τι συμβαίνει στο MWMR μοντέλο Alice ts=5 < Alice loves Bob, 5> Dasy ts=5 < Who loves Bob?, 4> Bob ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 25
27 Τι συμβαίνει στο MWMR μοντέλο Alice ts=5 < Alice loves Bob, 5>!??#! Dasy ts=5 < Alice hates Bob, 5> Bob Write( Alice loves Bob,5) Write( Alice hates Bob,5) Read(?) Time ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 26
28 Πως επιλύουμε το πρόβλημα; Ο εγγραφέας πρέπει να ανακαλύψει την τελευταία χρονοσφραγίδα πριν την αυξήσει Κάθε εγγραφέας περιλαμβάνει σε κάθε μήνυμα τον ΑΤ του Σπάζουμε την συμμετρία σε περίπτωση που δύο εγγραφείς προσπαθήσουν να χρησιμοποιήσουν την ίδια χρονοσφραγίδα Λεξικογραφική σύγκριση Χρονοσφραγίδων ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 27
29 Γενικοποίηση Αλγόριθμου ΑΒD στο MWMR Write Protocol Φάση 1: Στείλε μήνυμα read() σε όλα τα αντίγραφα και περίμενε απάντηση από την πλειοψηφία Φάση 2: Βρες το <xmestamp,id,v> που περιέχει τo μεγαλύτερη χρονοσφραγίδα ανάμεσα στις απαντήσεις Αύξησε την χρονοσφραγίδα (xmestamp++) και στείλε μήνυμα write(<xmestamp,id,v>) σε όλα τα αντίγραφα και περίμενε απάντηση από την πλειοψηφία Μόλις λάβεις απάντησεις επέστρεψε επιβεβαίωση και τερμάτισε Read Potocol Φάση 1: Στείλε μήνυμα read() σε όλα τα αντίγραφα και περίμενε απάντηση από την πλειοψηφία Φάση 2: Βρες το <xmestamp,id,v> που περιέχει την μεγαλύτερη χρονοσφραγίδα ανάμεσα στις απαντήσεις Στείλε μήνυμα write(<xmestamp,id,v> ) σε όλα τα αντίγραφα και περίμενε απάντηση από την πλειοψηφία Επέστρεψε την τιμή v που αντιστοιχεί στην μεγαλύτερη χρονοσφραγίδα Server Protocol Αν λάβεις μήνυμα write(<xmestamp,id,v> ) και local.xmestamp< msg.xmestamp άλλαξε την τιμή του αντιγράφου σου σε ν και την τοπική σου χρονοσφραγίδα σε <xmestamp,id> Απάντησε σε όποιο μήνυμα παραλάβεις με reply(<xmestamp,id,v> ) όπου ν η τιμή του αντιγράφου σου. ΕΠΛ432: Κατανεμημένοι Αλγόριθμοι 28
30 Εγγραφές 2 Φάσεων Phase1: Discover maximum tag maxtag = max(<tag,value>) <tag,value> from majority ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 29
31 Εγγραφές 2 Φάσεων Phase2: Propagate <tag,newvalue> Itag = maxtag++ Write completes ACK from majority Update <tag,value> ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 30
32 Παράδειγμα Εκτέλεσης Alice ts=5 < Who loves Bob?, 4, W> Dasy ts=2 < Who loves Bob?, 4, W> Bob ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 31
33 Παράδειγμα Εκτέλεσης Alice ts=5 < Alice loves Bob, 5, A> Dasy ts=2 < Who loves Bob?, 4, W> Bob ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 32
34 Παράδειγμα Εκτέλεσης Alice ts=5 < Alice loves Bob, 5, A> L Dasy ts=6 < Alice hates Bob, 6, D> Bob Write( Alice loves Bob,5, A) Write( Alice hates Bob,6, D) Read( Alice hates Bob,6,D) Time ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 33
35 Ανάλυση Ορθότητας Ζωτικότητα: Ικανοποιείται Πάντα υπάρχει πλειοψηφία εξυπηρετητών να απαντήσει σε μια λειτουργία Ατομικότητα: Ικανοποιείται Αναγνώσεις επιστρέφουν τουλάχιστον τελευταία εγγραφή Αν μια εγγραφή έπεται μιας άλλης εγγραφής τότε διασφαλίζει μεγαλύτερη χρονοσφραγίδα Αν μια ανάγνωση έπεται μια άλλης ανάγνωσης τότε επιστρέφει νεότερη ή τουλάχιστον την ίδια τιμή ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 34
36 Ερωτήσεις; ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 35
Διάλεξη 13: Κατανεμημένη Κοινόχρηστη Μνήμη. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 13: Κατανεμημένη Κοινόχρηστη Μνήμη ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Τι θα δούμε σήμερα Προσομοίωση Κοινόχρηστης Μνήμης Συνθήκες Συνέπειας Αλγόριθμος χωρίς σφάλματα ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι
Διαβάστε περισσότεραΔιάλεξη 15: Ατομική ΚΚΜ Εγγραφής/Ανάγνωσης με Γρήγορες Λειτουργίες. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 5: Ατομική ΚΚΜ Εγγραφής/Ανάγνωσης με Γρήγορες Λειτουργίες ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Γρήγορες Λειτουργίες Τι θα δούμε σήμερα Συστήματα Απαρτίας Αλγόριθμος SLIQ Χρήση Quorum Views ΕΠΛ432:
Διαβάστε περισσότεραΔιάλεξη 1: Εισαγωγή στον Κατανεμημένο Υπολογισμό. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 1: Εισαγωγή στον Κατανεμημένο Υπολογισμό ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Τι θα δούμε σήμερα Τι είναι ένα Κατανεμημένο Σύστημα; Επικοινωνία, Χρονισμός, Σφάλματα Μοντέλο Ανταλλαγής Μηνυμάτων 1
Διαβάστε περισσότεραΔιάλεξη 12: Διάχυση Μηνυμάτων. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 12: Διάχυση Μηνυμάτων ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Ορισμός Προσομοίωσης Τι θα δούμε σήμερα Προσομοίωση Υπηρεσίας Διάχυσης Μηνυμάτων Ιδιότητες Διάταξης Μηνυμάτων ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι
Διαβάστε περισσότεραΔιάλεξη 17: Συμφωνία με Βυζαντινά Σφάλματα. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 17: Συμφωνία με Βυζαντινά Σφάλματα ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Βυζαντινά Σφάλματα Τι θα δούμε σήμερα Κάτω Φράγμα για Αλγόριθμους Συμφωνίας με Βυζαντινά Σφάλματα: n > 3f Αλγόριθμος Συμφωνίας
Διαβάστε περισσότεραΔιάλεξη 16: Πρόβλημα Συμφωνίας. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 16: Πρόβλημα Συμφωνίας ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Τι θα δούμε σήμερα Ορισμός του προβλήματος Συμφωνίας Αλγόριθμος Συμφωνίας με Σφάλματα Κατάρρευσης ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 1 Πρόβλημα
Διαβάστε περισσότεραΔιάλεξη 10: Αλγόριθμοι Αμοιβαίου Αποκλεισμού σε περιβάλλον ανταλλαγής μηνυμάτων. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 10: Αλγόριθμοι Αμοιβαίου Αποκλεισμού σε περιβάλλον ανταλλαγής μηνυμάτων ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Τι θα δούμε σήμερα Αλγόριθμος Χρήση Συντονιστή Αλγόριθμος του Lamport Αλγόριθμος LeLann:
Διαβάστε περισσότεραΔιάλεξη 18: Πρόβλημα Βυζαντινών Στρατηγών. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 8: Πρόβλημα Βυζαντινών Στρατηγών ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Ορισμός Προβλήματος Τι θα δούμε σήμερα Συνθήκες Συμφωνίας κάτω από Βυζαντινό Στρατηγό Πιθανοτικοί αλγόριθμοι επίλυσης Βυζαντινής
Διαβάστε περισσότεραΔιάλεξη 8: Πρόβλημα Αμοιβαίου Αποκλεισμού. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 8: Πρόβλημα Αμοιβαίου Αποκλεισμού ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Τι θα δούμε σήμερα Μοντέλο Κοινόχρηστης Μνήμης Αλγόριθμοι Αμοιβαίου Αποκλεισμού με Ισχυρούς Καταχωρητές ΕΠΛ432: Κατανεµηµένοι
Διαβάστε περισσότεραΔιάλεξη 6: Εκλογή Προέδρου σε Σύγχρονους Δακτύλιους. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 6: Εκλογή Προέδρου σε Σύγχρονους Δακτύλιους ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Τι θα δούμε σήμερα Μη Ομοιόμορφος Αλγόριθμος Εκλογής Προέδρου σε Σύγχρονο Δακτύλιο Ομοιόμορφος Αλγόριθμος Εκλογής Προέδρου
Διαβάστε περισσότεραΔιάλεξη 11: Αιτιότητα Διάταξη Γεγονότων. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 11: Αιτιότητα Διάταξη Γεγονότων ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Τι θα δούμε σήμερα Ορισμός του «Πριν- Από» (Happens- Before) Λογικά Ρολόγια Αλγόριθμος Χρονοσφραγίδων του Lamport Διανυσματικά
Διαβάστε περισσότεραΔιάλεξη 9: Αλγόριθμοι Αμοιβαίου Αποκλεισμού με τη χρήση μεταβλητών Ανάγνωσης/Εγγραφής. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 9: Αλγόριθμοι Αμοιβαίου Αποκλεισμού με τη χρήση μεταβλητών Ανάγνωσης/Εγγραφής ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Τι θα δούμε σήμερα Αλγόριθμος Ψησταριάς (Bakery Algorithm) Αλγόριθμος 2- επεξεργαστών
Διαβάστε περισσότεραΔιάλεξη 4: Εκλογή Προέδρου σε Δακτύλιους. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 4: Εκλογή Προέδρου σε Δακτύλιους ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Τι θα δούμε σήμερα Δακτύλιοι Το πρόβλημα της Εκλογής Προέδρου Εκλογή Προέδρου σε Ανώνυμους Δακτύλιους Ασύγχρονος Αλγόριθμος με
Διαβάστε περισσότεραΔιάλεξη 3: Αλγόριθμοι σε Γράφους ΙΙ. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη : Αλγόριθμοι σε Γράφους ΙΙ ΕΠΛ : Κατανεμημένοι Αλγόριθμοι Κατασκευή ΓΔ Γνωστή Ρίζα Τι θα δούμε σήμερα Κατασκευή ΓΔ Κατά Βάθος Αναζήτησης - Γνωστή Ρίζα Κατασκευή ΓΔ Άγνωστη Ρίζα ΕΠΛ: Κατανεµηµένοι
Διαβάστε περισσότεραΔιάλεξη 5: Κάτω Φράγμα για Αλγόριθμους Εκλογής Προέδρου. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 5: Κάτω Φράγμα για Αλγόριθμους Εκλογής Προέδρου ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Κάτω Φράγμα στον Αριθμό Μηνυμάτων Ένας οποιοσδήποτε αλγόριθμος εκλογής προέδρου Α ο οποίος 1. Δουλεύει σε ασύγχρονο
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Συναίνεση χωρίς την παρουσία σφαλμάτων Κατανεμημένα Συστήματα Ι 4η Διάλεξη 27 Οκτωβρίου 2016 Παναγιώτα Παναγοπούλου Κατανεμημένα Συστήματα Ι 4η Διάλεξη 1 Συναίνεση χωρίς την παρουσία σφαλμάτων Προηγούμενη
Διαβάστε περισσότεραΚατανεμημένα Συστήματα με Java. Ενότητα # 4: Αμοιβαίος αποκλεισμός Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής
Κατανεμημένα Συστήματα με Java Ενότητα # 4: Αμοιβαίος αποκλεισμός Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού
Διαβάστε περισσότεραΑτομική Διπλωματική Εργασία ΕΠΕΚΤΑΣΗ ΚΑΤΑΝΕΜΗΜΕΝΟΥ ΣΥΣΤΗΜΑΤΟΣ ΑΡΧΕΙΩΝ ΚΑΙ ΔΗΜΙΟΥΡΓΙΑ ΔΙΕΠΑΦΗΣ ΧΡΗΣΤΗ. Σωτήρης Σωτηρίου ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ
Ατομική Διπλωματική Εργασία ΕΠΕΚΤΑΣΗ ΚΑΤΑΝΕΜΗΜΕΝΟΥ ΣΥΣΤΗΜΑΤΟΣ ΑΡΧΕΙΩΝ ΚΑΙ ΔΗΜΙΟΥΡΓΙΑ ΔΙΕΠΑΦΗΣ ΧΡΗΣΤΗ Σωτήρης Σωτηρίου ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ Μάιος 2017 i ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Συναίνεση με σφάλματα διεργασιών Κατανεμημένα Συστήματα Ι 5η Διάλεξη 10 Νοεμβρίου 2016 Παναγιώτα Παναγοπούλου Κατανεμημένα Συστήματα Ι 5η Διάλεξη 1 Συναίνεση με σφάλματα διεργασιών Προηγούμενη διάλεξη
Διαβάστε περισσότεραΑµοιβαίοςαποκλεισµός. Κατανεµηµένα Συστήµατα 03-1
Αµοιβαίοςαποκλεισµός Εισαγωγή Συγκεντρωτική προσέγγιση Κατανεµηµένη προσέγγιση Αλγόριθµος Lamport Αλγόριθµος Ricart-Agrawala Προσέγγιση µεταβίβασης σκυτάλης Αλγόριθµος LeLann Αλγόριθµος Raymond Αλγόριθµος
Διαβάστε περισσότεραΤο Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash model) Οι διεργασίες µπορούν να σταµατούν να εκτελούνται σε
Οµοφωνία σε σύστηµα µε αϖοτυχίες κατάρρευσης διεργασιών Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 1 Το Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash model) Οι διεργασίες
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Σύγχρονα Κατανεμημένα Συστήματα 13 Οκτωβρίου 2016 Παναγιώτα Παναγοπούλου Περίληψη 1 Σύγχρονα Κατανεμημένα Συστήματα 2 Το πρόβλημα εκλογής αρχηγού Ο αλγόριθμος LCR Ο αλγόριθμος HS 1 Σύγχρονα Κατανεμημένα
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Κατανεμημένα Συστήματα Ι Μοντέλο σύγχρονου κατανεμημένου δικτύου Εκλογή αρχηγού σε σύγχρονο δακτύλιο Παναγιώτα Παναγοπούλου Περίληψη Σύγχρονα Κατανεμημένα Συστήματα Μοντέλο Σφάλματα Πολυπλοκότητα Εκλογή
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Κατανεμημένα Συστήματα Ι Συναίνεση και Σφάλματα Διεργασιών Παναγιώτα Παναγοπούλου Περίληψη Συναίνεση με σφάλματα διεργασιών Το πρόβλημα Ο αλγόριθμος FloodSet Επικύρωση δοσοληψιών Ορισμός του προβλήματος
Διαβάστε περισσότεραΤο Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash model) Οι διεργασίες µπορούν να σταµατούν να εκτελούνται σε
Οµοφωνία σε σύγχρονο σύστηµα µε αϖοτυχίες κατάρρευσης διεργασιών Παναγιώτα Φατούρου Κατανεµηµένος Υπολογισµός 1 Το Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash
Διαβάστε περισσότεραΓιατί υϖάρχει τέτοια καθολική κατάσταση;
ΥΛΟΠΟΙΗΣΗ ΚΑΤΑΧΩΡΗΤΩΝ ΑΝΑΓΝΩΣΗΣ/ΕΓΓΡΑΦΗΣ Καταχωρητές που µοιάζουν πιο πολύπλοκοι µπορούν να υλοποιηθούν από απλούστερους καταχωρητές. Multi-valued from Binary Βασικό Αντικείµενο: δυαδικός καταχωρητής ο
Διαβάστε περισσότεραΕνδεικτικές Λύσεις 1ου Σετ Ασκήσεων
Κ Σ Ι Ενδεικτικές Λύσεις 1ου Σετ Ασκήσεων Παναγιώτα Παναγοπούλου Άσκηση 1. Υποθέστε ότι οι διεργασίες ενός σύγχρονου κατανεμημένου συστήματος έχουν μοναδικές ταυτότητες (UIDs), γνωρίζουν ότι είναι συνδεδεμένες
Διαβάστε περισσότεραΕκλογή αρχηγού σε σύγχρονο δακτύλιο: Οι αλγόριθμοι LCR και HS. 1 Ο αλγόριθμος LCR (Le Lann, Chang, and Roberts)
Κ Σ Ι Εκλογή αρχηγού σε σύγχρονο δακτύλιο: Οι αλγόριθμοι LCR και HS Παναγιώτα Παναγοπούλου 1 Ο αλγόριθμος LCR (Le Lann, Chang, and Roberts) Ο αλγόριθμος LCR είναι ένας αλγόριθμος εκλογής αρχηγού σε ένα
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ. Υλοποίηση και Πειραματική Αξιολόγηση Ενός Αλγόριθμου Ατομικών Αντικειμένων Γραφής-Ανάγνωσης.
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ Υλοποίηση και Πειραματική Αξιολόγηση Ενός Αλγόριθμου Ατομικών Αντικειμένων Γραφής-Ανάγνωσης Χάρης Λουκά Επιβλέπων Καθηγητής Δρ. Χρύσης Γεωργίου Η Ατομική Διπλωματική
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ασκήσεις.
Κατανεμημένα Συστήματα Ασκήσεις 2016-2017 http://www.cslab.ece.ntua.gr/courses/distrib Άσκηση 1 3 διεργασίες, η P1, η P2 και η P3 στέλνουν μεταξύ τους multicast μηνύματα. Σε περίπτωση που θέλουμε να εξασφαλίσουμε:
Διαβάστε περισσότεραΚατανεμημένα Συστήματα: Θεωρία και Προγραμματισμός. Ενότητα # 5: Ανοχή βλαβών Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής
Κατανεμημένα Συστήματα: Θεωρία και Προγραμματισμός Ενότητα # 5: Ανοχή βλαβών Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού
Διαβάστε περισσότεραιεργασίες και Επεξεργαστές στα Κατανεµηµένων Συστηµάτων
ιεργασίες και Επεξεργαστές στα Κατανεµηµένων Συστηµάτων Μαρία Ι. Ανδρέου ΗΜΥ417, ΗΜΥ 663 Κατανεµηµένα Συστήµατα Χειµερινό Εξάµηνο 2006-2007 Τµήµα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών Πανεπιστήµιο
Διαβάστε περισσότεραΑιτιώδεις Σχέσεις και Χρονισµός Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 1 Η Σχέση Happens-Before (Συµβαίνει-ϖριν) Οι εκτελέσεις, ως ακολουθίες γεγονότων, καθορίζουν µια καθολική διάταξη σε αυτά. Ωστόσο
Διαβάστε περισσότεραΒασικές έννοιες. Κατανεμημένα Συστήματα 1
Βασικές έννοιες Κατανεμημένα Συστήματα 1 lalis@inf.uth.gr Ορισμός κατανεμημένου συστήματος Ένα σύστημα από ξεχωριστές ενεργές οντότητες (ονομάζονται «κόμβοι» ή «διεργασίες») που εκτελούνται ταυτόχρονα/ανεξάρτητα
Διαβάστε περισσότεραΒασικές έννοιες. Κατανεμημένα Συστήματα 1
Βασικές έννοιες Κατανεμημένα Συστήματα 1 lalis@inf.uth.gr Ορισμός κατανεμημένου συστήματος Ένα σύστημα από ξεχωριστές ενεργές οντότητες (ονομάζονται «κόμβοι» ή «διεργασίες») που εκτελούνται ταυτόχρονα/ανεξάρτητα
Διαβάστε περισσότεραYΒΡΙΔΙΚΗ ΚΡΥΠΤΟΓΡΑΦΙΑ
ΤΕΙ Κρητης Τμήμα Μηχανικών Πληροφορικής Εργαστήριο Ασφάλεια Πληροφοριακών Συστημάτων YΒΡΙΔΙΚΗ ΚΡΥΠΤΟΓΡΑΦΙΑ Εισαγωγή Ο στόχος της υβριδικής μεθόδου είναι να αντισταθμίσει τα μειονεκτήματα της συμμετρικής
Διαβάστε περισσότεραΕντοπισμός τερματισμού. Κατανεμημένα Συστήματα 1
Εντοπισμός τερματισμού Κατανεμημένα Συστήματα 1 lalis@inf.uth.gr Μοντέλο συστήματος Μια ομάδα διεργασιών εκτελεί έναν υπολογισμό Κατάσταση διεργασίας: ενεργητική ή παθητική (ανάλογα με το αν εκτελεί μέρος
Διαβάστε περισσότερα7.7 Πρωτόκολλο ARP. 1. Το πρωτόκολλο ARP μετατρέπει τις διευθύνσεις IP στις αντίστοιχες φυσικές. Σ Λ
7.7 Πρωτόκολλο ARP & Ερωτήσεις 1. Ποιος ο ρόλος του Πρωτοκόλλου Μετατροπής Διεύθυνσης (ARP); 2. Τι είναι ο πίνακας ARP, τι πληροφορία περιλαμβάνει και με ποιο τρόπο ενημερώνεται και ποιος ο χρόνος ζωής
Διαβάστε περισσότεραΤο Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash model) Οι διεργασίες µπορούν να σταµατούν να εκτελούνται σε
Οµοφωνία σε σύστηµα µε αϖοτυχίες διεργασιών Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 1 Το Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash model) Οι διεργασίες µπορούν
Διαβάστε περισσότεραΦυσικά και λογικά ρολόγια. Κατανεμημένα Συστήματα 1
Φυσικά και λογικά ρολόγια Κατανεμημένα Συστήματα 1 lalis@inf.uth.gr Τοπικά γεγονότα/συμβάντα Ορίζουμε ως γεγονός e i.x την x-οστή ενέργεια που έλαβε χώρα τοπικά στην διεργασία P i Το επίπεδο αφαίρεσης
Διαβάστε περισσότεραΠρωτόκολλο ARP. Γεωργιλά Χιονία Καθηγήτρια Πληροφορικής ΠΕ1901
Πρωτόκολλο ARP Γεωργιλά Χιονία Καθηγήτρια Πληροφορικής ΠΕ1901 Ποιο είναι το έργο του Πρωτοκόλλου Μετατροπής Διεύθυνσης (Address Resolution Protocol ARP) Κάνει δυναμική μετατροπή των IP διευθύνσεων σε φυσικές
Διαβάστε περισσότεραΙΑΧΕΙΡΙΣΗ ΟΣΟΛΗΨΙΩΝ Να θυµηθούµε:
ΙΑΧΕΙΡΙΣΗ ΟΣΟΛΗΨΙΩΝ Να θυµηθούµε: Μια βάση δεδοµένων είναι σε συνεπή κατάσταση (consistent state) εάν όλοι οι περιορισµοί ακεραιότητας που έχουν δηλωθεί για αυτήν πληρούνται. Οι αλλαγές στην κατάσταση
Διαβάστε περισσότεραΤη φυσική (MAC) διεύθυνση που δίνει ο κατασκευαστής του δικτυακού υλικού στις συσκευές του (π.χ. στις κάρτες δικτύου). Η περιοχή διευθύνσεων που
7.7 Πρωτόκολλο ARP 1 ύο είδη διευθύνσεων: MAC - IP Τη φυσική (MAC) διεύθυνση που δίνει ο κατασκευαστής του δικτυακού υλικού στις συσκευές του (π.χ. στις κάρτες δικτύου). Η περιοχή διευθύνσεων που µπορεί
Διαβάστε περισσότεραΕπικοινωνία με μηνύματα. Κατανεμημένα Συστήματα 1
Επικοινωνία με μηνύματα Κατανεμημένα Συστήματα 1 lalis@inf.uth.gr Επικοινωνία με ανταλλαγή μηνυμάτων Η επικοινωνία με μηνύματα είναι ο πιο ευέλικτος τρόπος αλληλεπίδρασης σε κατανεμημένα συστήματα πιο
Διαβάστε περισσότεραΚρυπτογραφία. MAC - Γνησιότητα/Ακεραιότητα μηνύματος. Πέτρος Ποτίκας
Κρυπτογραφία MAC - Γνησιότητα/Ακεραιότητα μηνύματος Πέτρος Ποτίκας Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Σχολή ΗΜΜΥ ΕΜΠ Κρυπτογραφία 1 / 32 Περιεχόμενα 1 Message
Διαβάστε περισσότεραΕντοπισμός αδιεξόδου. Κατανεμημένα Συστήματα 1
Εντοπισμός αδιεξόδου Κατανεμημένα Συστήματα 1 lalis@inf.uth.gr Αδιέξοδο σε κατανεμημένο σύστημα Αδιέξοδο: «κυκλική» και ατέρμονη αναμονή μεταξύ δύο ή περισσοτέρων διεργασιών Το πρόβλημα υφίσταται ήδη σε
Διαβάστε περισσότεραΚαθολικέςκαταστάσεις. Ορισµοί Κατασκευή καθολικών καταστάσεων Παθητική στρατηγική Ενεργητική στρατηγική. Κατανεµηµένα Συστήµατα 04-1
Καθολικέςκαταστάσεις Ορισµοί Κατασκευή καθολικών καταστάσεων Παθητική στρατηγική Ενεργητική στρατηγική Κατανεµηµένα Συστήµατα 04-1 Ορισµοί Τοπικήιστορία διεργασίας p i Έστω ότι e ij είναι το γεγονός jτης
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Κατανεμημένα Συστήματα Ι Εκλογή αρχηγού και κατασκευή BFS δένδρου σε σύγχρονο γενικό δίκτυο Παναγιώτα Παναγοπούλου Περίληψη Εκλογή αρχηγού σε γενικά δίκτυα Ορισμός του προβλήματος Ο αλγόριθμος FloodMax
Διαβάστε περισσότεραΕικονική Μνήµη. Κεφάλαιο 8. Dr. Garmpis Aristogiannis - EPDO TEI Messolonghi
Εικονική Μνήµη Κεφάλαιο 8 Υλικό και δοµές ελέγχου Οι αναφορές στην µνήµη υπολογίζονται δυναµικά κατά την εκτέλεση Ηδιεργασίαχωρίζεταισετµήµατα τα οποία δεν απαιτείται να καταλαµβάνουν συνεχόµενες θέσεις
Διαβάστε περισσότεραΚατανεμημένα Συστήματα με Java. Ενότητα # 7: Ατομικές συναλλαγές Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής
Κατανεμημένα Συστήματα με Java Ενότητα # 7: Ατομικές συναλλαγές Διδάσκων: Γεώργιος Ξυλωμένος Τμήμα: Πληροφορικής Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού
Διαβάστε περισσότεραΑτομική Διπλωματική Εργασία ΥΛΟΠΟΙΗΣΗ ΚΑΤΑΝΕΜΗΜΕΝΟΥ ΣΥΣΤΗΜΑΤΟΣ ΑΡΧΕΙΩΝ ΒΑΣΙΣΜΕΝΟ ΣΕ ΑΛΓΟΡΙΘΜΟΥΣ ΓΡΑΦΗΣ ΚΑΙ ΑΝΑΓΝΩΣΗΣ ΑΤΟΜΙΚΩΝ ΑΝΤΙΚΕΙΜΕΝΩΝ
Ατομική Διπλωματική Εργασία ΥΛΟΠΟΙΗΣΗ ΚΑΤΑΝΕΜΗΜΕΝΟΥ ΣΥΣΤΗΜΑΤΟΣ ΑΡΧΕΙΩΝ ΒΑΣΙΣΜΕΝΟ ΣΕ ΑΛΓΟΡΙΘΜΟΥΣ ΓΡΑΦΗΣ ΚΑΙ ΑΝΑΓΝΩΣΗΣ ΑΤΟΜΙΚΩΝ ΑΝΤΙΚΕΙΜΕΝΩΝ Ηλίας Σπανός ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ Μάιος 2016
Διαβάστε περισσότεραΣυστήματα Παράλληλης και Κατανεμημένης Επεξεργασίας
Συστήματα Παράλληλης και Κατανεμημένης Επεξεργασίας Ενότητα: ΕΡΓΑΣΤΗΡΙΑΚΗ ΑΣΚΗΣΗ No:05 Δρ. Μηνάς Δασυγένης mdasyg@ieee.org Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Εργαστήριο Ψηφιακών Συστημάτων
Διαβάστε περισσότεραΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΤΟΜΕΑΣ ΤΕΧΝΟΛΟΓΙΑΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΥΠΟΛΟΓΙΣΤΩΝ
ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΤΟΜΕΑΣ ΤΕΧΝΟΛΟΓΙΑΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΥΠΟΛΟΓΙΣΤΩΝ ΠΡΟΧΩΡΗΜΕΝΑ ΘΕΜΑΤΑ ΒΑΣΕΩΝ ΔΕΔΟΜΕΝΩΝ Τ. Σελλής ΦΘΙΝΟΠΩΡΟ 2008 Λύση ΑΣΚΗΣΗΣ
Διαβάστε περισσότεραΠανεπιστήμιο Θεσσαλίας Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών Τμήμα Πληροφορικής
Πανεπιστήμιο Θεσσαλίας Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών Τμήμα Πληροφορικής Άσκηση : Λυμένες Ασκήσεις Έστω ένα σύστημα μνήμης, στο οποίο έχουμε προσθέσει μια κρυφή μνήμη θυμάτων 6 θέσεων
Διαβάστε περισσότεραΣύστημα Διαχείρισης Σκεπτόμενων Συσκευών CASE STUDY
CASE STUDY Fridge Kitchen Αναλύουμε τα Use Cases Εμφάνιση συσκευών Εμφάνιση τρέχοντων μετρήσεων όλων των συσκευών Εμφάνιση Ιστορικού Μετρήσεων μιας συσκευής Σύνδεση Συσκευής με Διαχειριστή-Συσκευών Έλεγχος
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Εκλογή αρχηγού σε γενικά δίκτυα 20 Οκτωβρίου 2016 Παναγιώτα Παναγοπούλου Εκλογή αρχηγού σε γενικά δίκτυα Προηγούμενη διάλεξη Σύγχρονα Κατανεμημένα Συστήματα Μοντελοποίηση συστήματος Πρόβλημα εκλογής αρχηγού
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ Τ Μ Η Μ Α Π Λ Η Ρ Ο Φ Ο Ρ Ι Κ Η Σ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ Τ Μ Η Μ Α Π Λ Η Ρ Ο Φ Ο Ρ Ι Κ Η Σ ΕΠΛ 035 - ΔΟΜΕΣ ΔΕΔΟΜΕΝΩΝ ΚΑΙ ΑΛΓΟΡΙΘΜΟΙ ΓΙΑ ΗΛΕΚΤΡΟΛΟΓΟΥΣ ΜΗΧΑΝΙΚΟΥΣ ΚΑΙ ΜΗΧΑΝΙΚΟΥΣ ΥΠΟΛΟΓΙΣΤΩΝ Ακαδηµαϊκό έτος 2017-2018 Υπεύθυνος εργαστηρίου: Γεώργιος
Διαβάστε περισσότεραΔιάλεξη 19: Κατανομή Πόρων Κόψιμο Τούρτας. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 19: Κατανομή Πόρων Κόψιμο Τούρτας ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Ορισμός Προβλήματος Τι θα δούμε σήμερα Συνθήκη Δικαιοσύνης Αλγόριθμος 2 επεξεργαστών (Cut & Choose) Αλγόριθμος 3 επεξεργαστών
Διαβάστε περισσότεραΣυνεπείς καθολικές καταστάσεις & επιβεβαίωση ιδιοτήτων. Κατανεμημένα Συστήματα 1
Συνεπείς καθολικές καταστάσεις & επιβεβαίωση ιδιοτήτων Κατανεμημένα Συστήματα 1 lalis@inf.uth.gr Λογικά συνεπείς τομές Τμήμα τοπικής ιστορίας: h i.k {e i.1,e i.2,e i.k } τμήμα της τοπικής εκτέλεσης στην
Διαβάστε περισσότεραΑρχές Δικτύων Επικοινωνιών. Επικοινωνίες Δεδομένων Μάθημα 4 ο
Αρχές Δικτύων Επικοινωνιών Επικοινωνίες Δεδομένων Μάθημα 4 ο Τα επικοινωνιακά δίκτυα και οι ανάγκες που εξυπηρετούν Για την επικοινωνία δύο συσκευών απαιτείται να υπάρχει μεταξύ τους σύνδεση από σημείο
Διαβάστε περισσότεραΑξιόπιστη μεταφορά δεδομένων πάνω από αναξιόπιστο δίκτυο. Κατανεμημένα Συστήματα 1
Αξιόπιστη μεταφορά δεδομένων πάνω από αναξιόπιστο δίκτυο Κατανεμημένα Συστήματα lalis@inf.uth.gr Μοντέλο δικτύου Το δίκτυο δέχεται και επιστρέφει πακέτα κάθε πακέτο μεταφέρει έναν περιορισμένο αριθμό bytes
Διαβάστε περισσότερα6.2 Υπηρεσίες Διαδικτύου
6.2 Υπηρεσίες Διαδικτύου 1 / 34 Όλες οι υπηρεσίες στο Διαδίκτυο, όπως και πολλές εφαρμογές λογισμικού, στηρίζονται στο μοντέλο Πελάτη Εξυπηρετητή. 2 / 34 Σύμφωνα με αυτό το μοντέλο ο Εξυπηρετητής οργανώνει,
Διαβάστε περισσότερα7.4 Πρωτόκολλο UDP. 3. Στη περίπτωση που ένα μήνυμα χωράει σε ένα τμήμα, χρησιμοποιούμε το πρωτόκολλο TCP.
7.4 Πρωτόκολλο UDP & Ερωτήσεις 1. ε ποιες περιπτώσεις χρησιμοποιείται το πρωτόκολλο UDP, εναλλακτικά του TCP; 2. ε τι είδους εφαρμογές χρησιμοποιείται συνήθως το πρωτόκολλο UDP; Να δώσετε παράδειγμα μιας
Διαβάστε περισσότεραΑνοχή βλαβών με καταγραφή κατάστασης και οπισθοδρόμηση (checkpoints & rollback) Κατανεμημένα Συστήματα 1
Ανοχή βλαβών με καταγραφή κατάστασης και οπισθοδρόμηση (checkpoints & rollback) Κατανεμημένα Συστήματα 1 lalis@inf.uth.gr Μοντέλο συστήματος Ένα κατανεμημένο σύστημα με Ν διεργασίες που επικοινωνούν μεταξύ
Διαβάστε περισσότεραΝήµατα. ιεργασίες και νήµατα Υλοποίηση νηµάτων Ελαφριές διεργασίες Αξιοποίηση νηµάτων. Κατανεµηµένα Συστήµατα 10-1
Νήµατα ιεργασίες και νήµατα Υλοποίηση νηµάτων Ελαφριές διεργασίες Αξιοποίηση νηµάτων Κατανεµηµένα Συστήµατα 10-1 ιεργασίεςκαι νήµατα ιεργασία 1 Μνήµη ιεργασία 2 Μνήµη ιεργασία 3 Μνήµη Λειτουργικό Σύστηµα
Διαβάστε περισσότεραΑιτιώδεις Σχέσεις και Χρονισµός. Παναγιώτα Φατούρου Αρχές Κατανεµηµένου Υπολογισµού
Αιτιώδεις Σχέσεις και Χρονισµός Η Σχέση Happens-Before (Συµβαίνει-πριν) Οι εκτελέσεις, ως ακολουθίες γεγονότων, καθορίζουν µια καθολική διάταξη σε αυτά. Ωστόσο είναι δυνατό δύο υπολογιστικά γεγονότα από
Διαβάστε περισσότεραΑνοχή απέναντι σε Σφάλµατα Fault Tolerance
Ανοχή απέναντι σε Σφάλµατα Fault Tolerance Μαρία Ι. Ανδρέου ΗΜΥ417, ΗΜΥ 663 Κατανεµηµένα Συστήµατα Χειµερινό Εξάµηνο 2006-2007 Τµήµα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών Πανεπιστήµιο Κύπρου Βασικές
Διαβάστε περισσότεραΠαράλληλοι Αλγόριθµοι
Παράλληλοι Αλγόριθµοι Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Το µοντέλο PRAΜ Πολλαπλασιασµός πινάκων Υπολογισµός αθροισµάτων προθέµατος ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 13-1 Παράλληλοι Αλγόριθµοι
Διαβάστε περισσότεραΤμήμα Οικιακής Οικονομίας και Οικολογίας. Οργάνωση Υπολογιστών
Οργάνωση Υπολογιστών Υπολογιστικό Σύστημα Λειτουργικό Σύστημα Αποτελεί τη διασύνδεση μεταξύ του υλικού ενός υπολογιστή και του χρήστη (προγραμμάτων ή ανθρώπων). Είναι ένα πρόγραμμα (ή ένα σύνολο προγραμμάτων)
Διαβάστε περισσότεραΚατανεμημένα Συστήματα. 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
Διαβάστε περισσότεραΑριθμοθεωρητικοί Αλγόριθμοι
Αλγόριθμοι που επεξεργάζονται μεγάλους ακέραιους αριθμούς Μέγεθος εισόδου: Αριθμός bits που απαιτούνται για την αναπαράσταση των ακεραίων. Έστω ότι ένας αλγόριθμος λαμβάνει ως είσοδο έναν ακέραιο Ο αλγόριθμος
Διαβάστε περισσότεραΔίκτυα Υπολογιστών Firewalls. Χάρης Μανιφάβας
Δίκτυα Υπολογιστών Firewalls Χάρης Μανιφάβας 1 Επικοινωνία Βασίζεται στη μεταβίβαση μηνυμάτων (λόγω απουσίας διαμοιραζόμενης μνήμης) Απαιτείται συμφωνία φόρμας μηνυμάτων Πρότυπο Στόχος τυποποίησης = Συνεργασία
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Αναγωγές
Θεωρία Υπολογισμού και Πολυπλοκότητα Αναγωγές Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Ανεπίλυτα Προβλήματα από τη Θεωρία Γλωσσών (5.1) To Πρόβλημα της Περάτωσης Το Πρόβλημα της Κενότητα
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (1)
Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες () Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Πεπερασμένα Αυτόματα (Κεφάλαιο., Sipser) Ορισμός πεπερασμένων αυτομάτων και ορισμός του
Διαβάστε περισσότεραΥ- 07 Παράλληλα Συστήματα Συνέπεια και συνοχή μνήμης
Υ- 07 Παράλληλα Συστήματα Συνέπεια και συνοχή μνήμης Αρης Ευθυμίου Λειτουργία μνήμης Η μνήμη είναι ένας πίνακας αποθήκευσης Οταν διαβάζουμε μια θέση, περιμένουμε να πάρουμε την τελευταία τιμή που έχει
Διαβάστε περισσότεραΛειτουργικά Συστήματα 7ο εξάμηνο, Ακαδημαϊκή περίοδος
ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ KΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΤΟΜΕΑΣ ΤΕΧΝΟΛΟΓΙΑΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΥΠΟΛΟΓΙΣΤΩΝ ΕΡΓΑΣΤΗΡΙΟ ΥΠΟΛΟΓΙΣΤΙΚΩΝ ΣΥΣΤΗΜΑΤΩΝ http://www.cslab.ece.ntua.gr Λειτουργικά
Διαβάστε περισσότεραΚατανεμημένες δοσοληψίες
Κατανεμημένες δοσοληψίες Κατανεμημένα Συστήματα 2015-2016 http://www.cslab.ece.ntua.gr/courses/distrib Στο προηγούμενο μάθημα Απλές δοσοληψίες (transactions) Flat Nested Ιδιότητες ACID Και κυρίως atomicity
Διαβάστε περισσότεραHY-486 Αρχές Κατανεμημένου Υπολογισμού Εαρινό Εξάμηνο
HY-486 Αρχές Κατανεμημένου Υπολογισμού Εαρινό Εξάμηνο 2016-2017 Δέυτερη Προγραμματιστική Εργασία Προθεσμία παράδοσης: 19/6/2017 1. Γενική Περιγραφή Στην δεύτερη προγραμματιστική εργασία καλείστε να υλοποιήσετε
Διαβάστε περισσότεραΑνάπτυξη Εφαρμογών σε Προγραμματιστικό Περιβάλλον
Ανάπτυξη Εφαρμογών σε Προγραμματιστικό Περιβάλλον 2.4.5 8.2 Δομή Επανάληψης Δομές Επανάληψης Οι δομές επανάληψης χρησιμοποιούνται στις περιπτώσεις όπου μια συγκεκριμένη ακολουθία εντολών πρέπει να εκτελεστεί
Διαβάστε περισσότεραΤρίτη Πρόοδος [110 μονάδες] Απαντήσεις
ΗY335: Δίκτυα Υπολογιστών Χειμερινό Εξάμηνο 2011-20112 Τμήμα Επιστήμης Υπολογιστών Πανεπιστήμιο Κρήτης Διδάσκουσα: Μαρία Παπαδοπούλη 15 Δεκεμβρίου 2011 Τρίτη Πρόοδος [110 μονάδες] Απαντήσεις 1. Θεωρήσετε
Διαβάστε περισσότεραa. b. c. d ΤΕΧΝΟΛΟΓΙΑ ΔΙΚΤΥΩΝ ΕΠΙΚΟΙΝΩΝΙΩΝ
7.7 Πρωτόκολλο Μέχρι τώρα έχουμε αναφέρει, ότι, για να μεταδοθούν τα αυτοδύναμα πακέτα στο φυσικό μέσο, πρέπει αυτά να μετατραπούν σε πακέτα φυσικού δικτύου (π.χ. Ethernet). Όμως, δεν έχει ειπωθεί τίποτε
Διαβάστε περισσότεραΣτην ενότητα αυτή θα μελετηθούν τα εξής θέματα:
Χρονικά αυτόματα Στην ενότητα αυτή θα μελετηθούν τα εξής θέματα: Συστήματα πραγματικού Χρόνου Διακριτός και συνεχής χρόνος Χρονικά αυτόματα Χρονική CTL ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστημάτων 7-1 Συστήματα
Διαβάστε περισσότεραΑξιόπιστη μεταφορά δεδομένων πάνω από αναξιόπιστο δίκτυο. Κατανεμημένα Συστήματα 1
Αξιόπιστη μεταφορά δεδομένων πάνω από αναξιόπιστο δίκτυο Κατανεμημένα Συστήματα lalis@inf.uth.gr Μοντέλο δικτύου* Το δίκτυο δέχεται και επιστρέφει πακέτα κάθε πακέτο μεταφέρει έναν περιορισμένο αριθμό
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 3: Ντετερμινιστικά Πεπερασμένα Αυτόματα (DFA)
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 3: Ντετερμινιστικά Πεπερασμένα Αυτόματα (DFA) Τι θα κάνουμε σήμερα Εισαγωγή στα Ντετερμινιστικά Πεπερασμένα Αυτόματα 14-Sep-11 Τυπικός Ορισμός Ντετερμινιστικών
Διαβάστε περισσότεραΠαράλληλη Επεξεργασία Κεφάλαιο 1 Γιατί Παράλληλος Προγραμματισμός;
Παράλληλη Επεξεργασία Κεφάλαιο 1 Γιατί Παράλληλος Προγραμματισμός; Κωνσταντίνος Μαργαρίτης Καθηγητής Τμήμα Εφαρμοσμένης Πληροφορικής Πανεπιστήμιο Μακεδονίας kmarg@uom.gr http://eos.uom.gr/~kmarg Αρετή
Διαβάστε περισσότεραΚατανεμημένες δοσοληψίες
Κατανεμημένες δοσοληψίες Κατανεμημένα Συστήματα 2018-2019 http://www.cslab.ece.ntua.gr/courses/distrib Στο προηγούμενο μάθημα Απλές δοσοληψίες (transactions) Ιδιότητες ACID Και κυρίως atomicity και durability
Διαβάστε περισσότεραΣχήμα 1: TCP αποστολέας με παράθυρο αποστολέα = 1
I. Παράδειγμα 1: Απόδοση TCP με παράθυρο αποστολέα = 1 a. Ο μηχανισμός όπως έχει περιγραφεί ως τώρα στέλνει μόνο ένα πακέτο και σταματάει να μεταδίδει έως ότου πάρει το ack του πακέτου αυτού (λειτουργία
Διαβάστε περισσότεραΕπικοινωνία με μηνύματα. Κατανεμημένα Συστήματα 1
Επικοινωνία με μηνύματα Κατανεμημένα Συστήματα 1 lalis@inf.uth.gr Επικοινωνία με ανταλλαγή μηνυμάτων Η επικοινωνία με μηνύματα είναι ο πιο ευέλικτος τρόπος αλληλεπίδρασης σε κατανεμημένα συστήματα πιο
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Κατανεμημένα Συστήματα Ι Παναγιώτα Παναγοπούλου 11η Διάλεξη 12 Ιανουαρίου 2017 1 Ανεξάρτητο σύνολο Δοθέντος ενός μη κατευθυνόμενου γραφήματος G = (V, E), ένα ανεξάρτητο σύνολο (independent set) είναι ένα
Διαβάστε περισσότεραΕισαγωγή στην εφαρμογή Βασική Σελίδα (Activity) Αναζήτηση Πελάτη... 6 Προβολή Πελάτη... 7 Επεξεργασία Πελάτη... 10
Περιεχόμενα Εισαγωγή στην εφαρμογή... 2 Βασική Σελίδα (Activity)... 3 Ρυθμίσεις... 3 Πελάτες... 6 Αναζήτηση Πελάτη... 6 Προβολή Πελάτη... 7 Επεξεργασία Πελάτη... 10 Αποθήκη... 11 Αναζήτηση προϊόντος...
Διαβάστε περισσότεραΕισαγωγή στην Πληροφορική Προγραμματισμός-Λειτουργικά
Εισαγωγή στην Πληροφορική Προγραμματισμός-Λειτουργικά Ηλ. Γκρίνιας Τ. Ε. Ι. Σερρών Τμήμα Πληροφορικής και Επικοινωνιών Αλγόριθμοι Ορισμός: ο αλγόριθμος είναι μια σειρά από πεπερασμένα βήματα που καθορίζουν
Διαβάστε περισσότεραΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ
ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΤΟΜΕΑΣ ΤΕΧΝΟΛΟΓΙΑΣ ΠΛΗΡΟΦΟΡΙΚΗΣ ΚΑΙ ΥΠΟΛΟΓΙΣΤΩΝ ΠΡΟΧΩΡΗΜΕΝΑ ΘΕΜΑΤΑ ΒΑΣΕΩΝ Ε ΟΜΕΝΩΝ ΦΘΙΝΟΠΩΡΟ 2007 Λύση ΑΣΚΗΣΗΣ #2 Τ. Σελλής
Διαβάστε περισσότεραΚατανεμημένα Συστήματα Ι
Κατανεμημένα Συστήματα Ι Παναγιώτα Παναγοπούλου Χριστίνα Σπυροπούλου 8η Διάλεξη 8 Δεκεμβρίου 2016 1 Ασύγχρονη κατασκευή BFS δέντρου Στα σύγχρονα συστήματα ο αλγόριθμος της πλημμύρας είναι ένας απλός αλλά
Διαβάστε περισσότεραNetwork Address Translation (NAT)
HY335Α Δίκτυα Υπολογιστών Xειμερινό Εξάμηνο 2016-2017 Πανεπιστήμιο Κρήτης, Τμήμα Επιστήμης Υπολογιστών Network Address Translation (NAT) Network Layer Private IP Addresses Πρόβλημα: o χώρος των ΙΡ διευθύνσεων
Διαβάστε περισσότεραΑπαντήσεις. Απάντηση. Απάντηση
6 η σειρά ασκήσεων Άλκης Γεωργόπουλος Α.Μ. 39 Αναστάσιος Κοντογιώργης Α.Μ. 43 Άσκηση 1. Απαντήσεις Η αλλαγή ενός ρολογιού προς τα πίσω µπορεί να προκαλέσει ανεπιθύµητη συµπεριφορά σε κάποια προγράµµατα.
Διαβάστε περισσότεραΔοσοληψίες Βάσεις Δεδομένων Διδάσκων: Μαρία Χαλκίδη
Δοσοληψίες Βάσεις Δεδομένων Διδάσκων: Μαρία Χαλκίδη με βάση slides από A. Silberschatz, H. Korth, S. Sudarshan, Database System Concepts, 5 th edition Βασικές έννοιες της δοσοληψίας Δοσοληψία είναι μία
Διαβάστε περισσότεραΣυστήματα Παράλληλης και Κατανεμημένης Επεξεργασίας
Συστήματα Παράλληλης και Κατανεμημένης Επεξεργασίας Ενότητα: ΕΡΓΑΣΤΗΡΙΑΚΗ ΑΣΚΗΣΗ No:03 Δρ. Μηνάς Δασυγένης mdasyg@ieee.org Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Εργαστήριο Ψηφιακών Συστημάτων
Διαβάστε περισσότεραΆπληστοι Αλγόριθμοι. Επιμέλεια διαφανειών: Δ. Φωτάκης Τροποποιήσεις: Α. Παγουρτζής. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Άπληστοι Αλγόριθμοι Επιμέλεια διαφανειών: Δ. Φωτάκης Τροποποιήσεις: Α. Παγουρτζής Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Άπληστοι Αλγόριθμοι... για προβλήματα
Διαβάστε περισσότεραΣτοιχεία Θεωρίας Αριθμών και Εφαρμογές στην Κρυπτογραφία. Fast Asynchronous Byzantine Agreement with Optimal Resilience
Στοιχεία Θεωρίας Αριθμών και Εφαρμογές στην Κρυπτογραφία Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Fast Asynchronous Byzantine Agreement with Optimal Resilience Πρόβλημα των στρατηγών του
Διαβάστε περισσότεραΑνοχήβλαβών. Κατανεµηµένα Συστήµατα 19-1
Ανοχήβλαβών Εισαγωγή Πλεονασµός Ενεργή παραγωγή αντιγράφων Παθητική παραγωγή αντιγράφων Σύγχρονο πρωτόκολλο Ασύγχρονο πρωτόκολλο Επανόρθωση Ενεργητική ή παθητική; Κατανεµηµένη συµφωνία Πρόβληµα των δύο
Διαβάστε περισσότερα