Ποια ιδιότητα αϖό τις δύο τελευταίες είναι ϖιο ισχυρή;
|
|
- Καλλιστώ Θεοδοσίου
- 8 χρόνια πριν
- Προβολές:
Transcript
1 Το Πρόβληµα του Αµοιβαίου Αϖοκλεισµού Τµήµατα Κώδικα Ο χρήστης που την τρέχουσα χρονική στιγµή προσβαίνει τον πόρο βρίσκεται στο κρίσιµο τµήµα του. Χρήστες που την τρέχουσα χρονική στιγµή δεν ενδιαφέρονται να χρησιµοποιήσουν τον πόρο βρίσκονται στο µη-κρίσιµο τµήµα τους. Χρήστες που ενδιαφέρονται να χρησιµοποιήσουν τον πόρο και προσπαθούν να αποκτήσουν πρόσβαση σε αυτόν βρίσκονται στο τµήµα εισόδου τους. Τέλος, χρήστες που µόλις τελείωσαν τη χρήση του πόρου βρίσκονται στο τµήµα εξόδου τους (εκτελούν κατάλληλες ενέργειες για να επιτρέψουν σε άλλες διεργασίες να χρησιµοποιήσουν τον πόρο). Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 1
2 Αλγόριθµοι ϖου εϖιλύουν το ϖρόβληµα του Αµοιβαίου Αϖοκλεισµού Αµοιβαίος Αϖοκλεισµός Σε κάθε καθολική κατάσταση οποιαδήποτε εκτέλεσης, το πολύ µια διεργασία βρίσκεται στο κρίσιµο τµήµα της. Αϖοφυγή Αδιεξόδου Αν σε κάποια καθολική κατάσταση (οποιασδήποτε εκτέλεσης ενός αλγορίθµου που επιλύει το πρόβληµα) µια διεργασία βρίσκεται στο τµήµα εισόδου της τότε υπάρχει καθολική κατάσταση σε επόµενο σηµείο της εκτέλεσης στην οποία κάποια διεργασία (η ίδια ή άλλη) βρίσκεται στο κρίσιµο τµήµα της. Αϖοφυγή Παρατεταµένης Στέρησης Αν σε κάποια καθολική κατάσταση (οποιασδήποτε εκτέλεσης) µια διεργασία βρίσκεται στο τµήµα εισόδου της τότε υπάρχει καθολική κατάσταση σε επόµενο σηµείο της εκτέλεσης στην οποία η ίδια αυτή διεργασία βρίσκεται στο κρίσιµο τµήµα της. Ποια ιδιότητα αϖό τις δύο τελευταίες είναι ϖιο ισχυρή; Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 2
3 Αλγόριθµοι ϖου εϖιλύουν το ϖρόβληµα του Αµοιβαίου Αϖοκλεισµού Υϖοθέσεις Οι µεταβλητές (διαµοιραζόµενες ή µη) που προσπελαύνονται στο τµήµα εισόδου ή στο τµήµα εξόδου δεν προσπελαύνονται σε κανένα από τα άλλα δύο τµήµατα. Κανένας επεξεργαστής δεν µένει το κρίσιµο τµήµα για πάντα. Εϖιτρεϖτές Εκτελέσεις Το τµήµα εξόδου πρέπει να αποτελείται από πεπερασµένο αριθµό βηµάτων. Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 3
4 Mutual Exclusion using atomic registers: Basic Topics Algorithms for Two Processes Tournament Algorithms Starvation-free Algorithms Tight Space bounds A Fast Mutual Exclusion Algorithms Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 4
5 Properties & complexity Time complexity Fast Adaptive Fairness FIFO,... Fault-tolerance Local spinning Space complexity Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 5
6 Βασικοί Ορισµοί r-bounded-waiting: A waiting process will be able to enter its critical section before each of the other processes is able to enter its critical section r+1 times. Bounded Waiting: There exists a positive integer r for which the algorithm is r-bounded waiting. That is, if a given process is in its entry code, then there is a bound on the number of times any other process is able to enter its critical section before the given process does so. Linear Waiting: 1-bounded waiting First-In-First-Out: the term is used for 0-bounded waiting -> FIFO guarantees that no beginning process can pass an already waiting process. Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 6
7 Αµοιβαίος Αϖοκλεισµός χρησιµοϖοιώντας Read-Write Καταχωρητές Κύρια Αϖοτελέσµατα Αλγόριθµοι 1. Ένας αλγόριθµος αµοιβαίου αποκλεισµού για n διεργασίες που εγγυάται αποφυγή παρατεταµένης στέρησης και χρησιµοποιεί Ο(n) RW καταχωρητές µη-πεπερασµένης χωρητικότητας. 2. Ένας αλγόριθµος αµοιβαίου αποκλεισµού για n διεργασίες που εγγυάται αποφυγή παρατεταµένης στέρησης και χρησιµοποιεί Ο(n) RW καταχωρητές πεπερασµένης χωρητικότητας. Αρνητικά Αϖοτελέσµατα 1. Κάθε αλγόριθµος αµοιβαίου αποκλεισµού χρειάζεται n RW καταχωρητές ανεξάρτητα από το µέγεθος τους. Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 7
8 Section Peterson s algorithm Thread 0 1. flag[0] = true 2. turn = 1 3. while (flag[1] and turn == 1) 4. {noop} 5. critical section 6. flag[0] = false Thread 1 1. flag[1] = true 2. turn = 0 3. while (flag[0] and turn == 0) 4. {noop} 5. critical section 6. flag[1] = false 0 1 turn flag false false 0/1 Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 8
9 A variant of Peterson s algorithm Is it correct? Thread 0 turn = 1 flag[0] = true while (flag[1] and turn = 1) {noop} critical section flag[0] = false Thread 1 turn = 0 flag[1] = true while (flag[0] and turn = 0) {noop} critical section flag[1] = false 0 1 turn flag false true false true 0/1 1 Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 9
10 Ένας Αλγόριθµος Αµοιβαίου Αποκλεισµού για 2 ιεργασίες που χρησιµοποιεί πεπερασµένης χωρητικότητας καταχωρητές Μη-συµµετρική έκδοση want[0]: εγγράφεται από τη διεργασία 0 και διαβάζεται από την 1. Αρχική τιµή 0, τίθεται στην τιµή 1 αν η 0 θέλει να εισέλθει στο κρίσιµο τµήµα της want[1]: συµµετρική της want[0] Κώδικας για την p 0 : Τµήµα Εισόδου: want[0] = 1; wait until (want[1] == 0); <κρίσιµο τµήµα>; Τµήµα Εξόδου: want[0] = 0; <µη-κρίσιµο τµήµα>; Κώδικας για την p 1 : Τµήµα Εισόδου: 1: want[1] = 0; wait until (want[0] == 0); want[1] = 1; if (want[0] == 1) goto line 1; <κρίσιµο τµήµα>; Τµήµα Εξόδου: want[1] = 0; <µη-κρίσιµο τµήµα>; Ο αλγόριθµος επιτυγχάνει αµοιβαίο αποκλεισµό και αποφυγή αδιεξόδου! Ο αλγόριθµος είναι µησυµµετρικός: η p 1 εισέρχεται στο κρίσιµο τµήµα της µόνο αν η p 0 δεν ενδιαφέρεται να εισέλθει! Ένας Αλγόριθµος Αµοιβαίου Αποκλεισµού για 2 Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 10
11 ιεργασίες που χρησιµοποιεί πεπερασµένης χωρητικότητας καταχωρητές Συµµετρική Έκδοση Κώδικας για τη διεργασία p i : Τµήµα Εισόδου: 1: want[i] = 0; 2: wait until ((want[1-i] == 0) OR (priority == i)); 3: want[i] = 1; 4: if (priority == 1-i) then { 5: if (want[1-i] == 1) then goto line 1; } 6: else wait until (want[1-i] == 0); <κρίσιµο τµήµα>; Τµήµα Εξόδου: 7: priority = 1-i; 8: want[i] = 0; <µη-κρίσιµο τµήµα>; Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 11
12 Ένας Αλγόριθµος Αµοιβαίου Αποκλεισµού για 2 ιεργασίες που χρησιµοποιεί πεπερασµένης χωρητικότητας καταχωρητές Συµµετρική Έκδοση Θεώρηµα Ο αλγόριθµος επιτυγχάνει αµοιβαίο αποκλεισµό. Απόδειξη (sketch): Γιατί ισχύει αυτό; Ας υποθέσουµε, δια της µεθόδου της εις άτοπο απαγωγής, ότι και οι δύο διεργασίες βρίσκονται στο κρίσιµο τµήµα τους ταυτόχρονα want[0] = want[1] = 1. Ας υποθέσουµε, wlog, ότι η τελευταία εγγραφή της p 0 στην want[0] έπεται της τελευταίας εγγραφής της p 1 στο want[1]. ιακρίνουµε περιπτώσεις (case analysis) και σε κάθε περίπτωση καταλήγουµε σε άτοπο. Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 12
13 Ένας Αλγόριθµος Αµοιβαίου Αποκλεισµού για 2 ιεργασίες που χρησιµοποιεί πεπερασµένης χωρητικότητας καταχωρητές Συµµετρική Έκδοση Θεώρηµα Ο αλγόριθµος εγγυάται αποφυγή αδιεξόδου. Απόδειξη (sketch) Ας υποθέσουµε ότι και κάποια/ες διεργασίες εκτελούν το τµήµα εισόδου τους, αλλά καµιά δεν εισέρχεται στο κρίσιµο τµήµα. Περίπτωση 1: έστω ότι οι δύο διεργασίες είναι για πάντα στο τµήµα εισόδου. Έστω, wlog, ότι priority == 0. Περίπτωση 2: µόνο µια από τις διεργασίες είναι στο τµήµα εισόδου. Αν κάποια διεργασία βρίσκεται στο κρίσιµο τµήµα δεν µπορεί να παραµείνει εκεί για πάντα. Θεώρηµα Ο αλγόριθµος εγγυάται αποφυγή παρατεταµένης στέρησης. Απόδειξη (sketch) Ας υποθέσουµε ότι κάποια διεργασία π.χ., η 0, υφίσταται παρατεταµένη στέρηση. Περίπτωση 1: η διεργασία 1 εκτελεί την εντολή 7 κάποια στιγµή αργότερα. Από τότε και µετά ισχύει ότι priority == 0. Περίπτωση 2: η διεργασία 1 δεν εκτελεί την εντολή 7. Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 13
14 Solutions for Many Processes How can we use a two-process algorithm to construct an algorithm for many processes? Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 14
15 Section 2.2 Tournament Algorithms Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 15
16 Ο Αλγόριθµος Tournament για n διεργασίες Οι διεργασίες συναγωνίζονται σε ζευγάρια, χρησιµοποιώντας το συµµετρικό αλγόριθµο για 2 διεργασίες. Οι διεργασίες σχηµατίζουν ένα δένδρο tournament (δηλαδή ένα πλήρες, δυαδικό δένδρο µε n φύλλα, ένα για κάθε διεργασία). Κάθε διεργασία ξεκινά από κάποιο συγκεκριµένο φύλλο (εκείνο που της αναλογεί) του δένδρου. Σε κάθε επίπεδο του δένδρου, δύο διεργασίες συναγωνίζονται σε κάθε κόµβο. Μόνο οι νικητές συνεχίζουν στο επόµενο επίπεδο. Ο νικητής στον κόµβο ρίζα εισέρχεται στο κρίσιµο τµήµα του. Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 16
17 Ο Αλγόριθµος Tournament για n διεργασίες procedure Node(v: integer, side: 0..1) { } 1: want v [side] = 0; 2: wait until ((want v [1-side] == 0) OR (priority v == side)); 3: want v [side] = 1; 4: if (priority v == 1-side) then { 5: if (want v [1-side] == 1) then goto line 1; } 6: else wait until (want v [1-side] == 0); 8: if (v == 1) then 9: <κρίσιµο τµήµα>; 10: else Node(\lfloor v/2 \rfloor, v mod 2) 11: priority v = 1-side; 12: want v [side] = 0; Η ρίζα αριθµείται µε το 1. Τ αριστερό παιδί ενός κόµβου µε αριθµό v αριθµείται µε τον αριθµό 2v και το δεξιό παιδί µε τον 2v+1 wantv[0], wantv[1], priorityv: µεταβλητές που έχουν συσχετισθεί µε τον κόµβο µε αριθµό v. Ο κόµβος i ξεκινά εκτελώντας την Node(2k+\lfloor i/2 \lceil, i mod 2), όπου k = \ceil{logn} -1. Ο αµοιβαίος αποκλεισµός εξασφαλίζεται από το γεγονός ότι ο συµµετρικός αλγόριθµος για 2 διεργασίες τον εγγυάται. Το ίδιο ισχύει και για την ιδιότητα αποφυγής παρατεταµένης στέρησης. Χωρική Πολυπλοκότητα: 3n καταχωρητές Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 17
18 Starvation-free Algorithms 4.1 Basic Definitions (i.e., FIFO) 4.2 The Bakery Algorithm 4.3 The Black-White Bakery Algorithm Algorithm Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 18
19 Ο Aλγόριθµος Bakery for each i, 0 i n-1: Choosing[i]: έχει τιµή TRUE όσο η p i προσπαθεί να επιλέξει αριθµό Number[i]: ο αριθµός (εισιτήριο) που επιλέγεται από την p i Κώδικας για την p i, 0 i n-1 Αρχικά, Number[i] = 0, και Choosing[i] = FALSE, για κάθε i, 0 i n-1 Τµήµα Εισόδου: Choosing[i] = TRUE; Number[i] = max{number[0],, Number[n-1]}+1; Choosing[i] = FALSE; for j = 0 to n-1, j i, do wait until Choosing[j] == FALSE; wait until ((Number[j] == 0) OR ((Number[j], j) > (Number[i], i))); <κρίσιµο τµήµα>; Τµήµα Εξόδου: Number[i] = 0; <µη-κρίσιµο τµήµα>; Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 19
20 Ο Aλγόριθµος Bakery Λήµµα Σε κάθε καθολική κατάσταση C οποιασδήποτε εκτέλεσης a του αλγορίθµου, αν η pi βρίσκεται στο κρίσιµο τµήµα της και για κάθε k i, Number[k] 0, τότε (Number[k],k) > (Number[i],i). Απόδειξη (σύντοµη περιγραφή) Number[i] > 0 η p i έχει τελειώσει την εκτέλεση της for Περίπτωση 1: η p i βλέπει Number[k] == 0 Περίπτωση 2: η p i βλέπει (Number[k],k) > (Number[i],i) Θεώρηµα Ο αλγόριθµος Bakery παρέχει αµοιβαίο αποκλεισµό. Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 20
21 Ο Aλγόριθµος Bakery Αποφυγή Παρατεταµένης Στέρησης Θεώρηµα: Ο αλγόριθµος Bakery επιτυγχάνει αποφυγή από παρατεταµένη στέρηση. Απόδειξη (σύντοµη περιγραφή): Ας υποθέσουµε ότι υπάρχει τουλάχιστον µια διεργασία που υφίσταται παρατεταµένη στέρηση. Όλες οι διεργασίες που επιθυµούν να εισέλθουν στο κρίσιµο τµήµα τους θα τελειώσουν την επιλογή αριθµού. Έστω ότι p j είναι διεργασία µε το µικρότερο ζεύγος (number[j],j) που υφίσταται παρατεταµένη στέρηση. Αν οποιαδήποτε διεργασία p k εισέλθει στο κρίσιµο τµήµα της µετά την j, τότε Number[k] > Number[j]. Οποιαδήποτε διεργασία p k µε Number[k] < Number[j] θα εισέλθει στο κρίσιµο τµήµα της και θα εξέλθει αυτού. Χωρική Πολυπλοκότητα Ο αριθµός των διαµοιραζόµενων καταχωρητών είναι 2n. Οι n µεταβλητές Choosing είναι δυαδικές, ενώ οι Number αποθηκεύουν µη-πεπερασµένο αριθµό τιµών. Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 21
22 Properties of the Bakery Algorithm Satisfies mutex & FIFO. The size of number[i] is unbounded. Safe registers: reads which are concurrent with writes may return arbitrary value. Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 22
23 Properties of the Bakery Algorithm Satisfies mutex & FIFO. The size of number[i] is unbounded. Safe registers: reads which are concurrent with writes may return arbitrary value. Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 23
24 The Black-White Bakery Algorithm code of process i, i {1,..., n} 1. choosing[i] = true 2. mycolor[i] = color 3. number[i] = 1 + max{number[j] (1 j n) (mycolor[j] = mycolor[i])} 4. choosing[i] = false 5. for j = 0 to n do 6. await choosing[j] = false 7. if mycolor[j] = mycolor[i] 8. then await (number[j] = 0) (number[j],j) (number[i],i) (mycolor[j] mycolor[i]) 9. else await (number[j] = 0) (mycolor[i] color) (mycolor[j] = mycolor[i]) fi od 10. critical section 11. if mycolor[i] = black then color = white else color = black fi 12. number[i] = 0 Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 24
25 Tight space bounds for mutual exclusion using atomic registers A lower bound (Section 2.5.1) An Upper Bound (Section 2.5.2) Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 25
26 Κάτω Φράγµα στον Αριθµό των Read/Write Καταχωρητών Όλοι οι αλγόριθµοι που επιλύουν το πρόβληµα του αµοιβαίου αποκλεισµού χρησιµοποιώντας µόνο read/write καταχωρητές απαιτούν n τέτοιους καταχωρητές. Αυτό δεν συµβαίνει κατά τύχη!!! Μπορεί να αποδειχθεί ότι το πρόβληµα δεν επιλύεται µε λιγότερους από n καταχωρητές. Αυτό ισχύει ακόµη και αν: 1. απαιτείται να ισχύουν µόνο οι ιδιότητες του αµοιβαίου αποκλεισµού και της αποφυγής αδιεξόδου 2. οι καταχωρητές έχουν µη-πεπερασµένο µέγεθος. Χρήσιµοι Ορισµοί Μια καθολική κατάσταση λέγεται ανενεργή αν όλες οι διεργασίες βρίσκονται στη µηκρίσιµο τµήµα τους. Λέµε ότι µια διεργασία j καλύπτει µια µεταβλητή x σε µια καθολική κατάσταση C αν στο πρώτο βήµα που θα εκτελέσει η j µετά τη C θα γράψει στη µεταβλητή x. Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 26
27 Κάτω Φράγµα στον Αριθµό των Read/Write Καταχωρητών Χρήσιµοι Ορισµοί Για κάθε k, 0 k n, µια καθολική κατάσταση είναι k-προσβάσιµη από κάποια άλλη καθολική κατάσταση C αν υπάρχει τµήµα εκτέλεσης που να ξεκινά από τη C και να καταλήγει στη C το οποίο περιλαµβάνει βήµατα µόνο των διεργασιών p 0,, p k-1. Ένα τµήµα εκτέλεσης a είναι p-only αν µόνο η διεργασία p εκτελεί βήµατα στο a. Το a είναι S-only (όπου S είναι ένα σύνολο διεργασιών) αν µόνο οι διεργασίες που ανήκουν στο S εκτελούν βήµατα στο a. Το χρονοδιάγραµµα µιας εκτέλεσης a είναι η ακολουθία από δείκτες διεργασιών που εκτελούν βήµατα στην a (µε τη σειρά που τα βήµατα αυτά συναντώνται στην a). Ένα χρονοδιάγραµµα καθορίζει µια ακολουθία γεγονότων. Μια καθολική κατάσταση C και ένα χρονοδιάγραµµα σ καθορίζουν µε µοναδικό τρόπο ένα τµήµα εκτέλεσης το οποίο συµβολίζουµε µε exec(c,σ). Συµβολίζουµε µε mem(c) = (r 0,, r m-1 ): διάνυσµα τιµών των καταχωρητών στη C Μια καθολική κατάσταση C είναι παρόµοια (similar ή indistinguishable) µε µια άλλη καθολική κατάσταση C ως προς κάποιο σύνολο διεργασιών S αν κάθε διεργασία του S είναι στην ίδια κατάσταση στη C και τη C και mem(c) = mem(c ). Το γεγονός αυτό το συµβολίσουµε C S C. Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 27
28 Κάτω Φράγµα στον Αριθµό των Read/Write Καταχωρητών Χρήσιµοι Ορισµοί Προφανείς Ισχυρισµοί Μια διεργασία που εκτελείται µόνη ξεκινώντας από µια ανενεργή καθολική κατάσταση εισέρχεται στο κρίσιµο τµήµα της. Μια διεργασία που εκτελείται µόνη ξεκινώντας από µια καθολική κατάσταση που είναι παρόµοια µιας ανενεργής εισέρχεται στο κρίσιµο τµήµα της. Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 28
29 Κάτω Φράγµα στον Αριθµό των Read/Write Καταχωρητών Λήµµα 1: Έστω µια καθολική κατάσταση C που είναι παρόµοια µιας ανενεργής καθολικής κατάστασης για κάποια διεργασία j. Έστω ότι a 1 είναι ένα j-only τµήµα εκτέλεσης που ξεκινά από τη C στο οποίο η j εισέρχεται στο κρίσιµο τµήµα της. Τότε, στο a 1, η j πρέπει να εκτελέσει τουλάχιστον µια write εντολή σε κάποιο καταχωρητή. Απόδειξη: C : η τελική καθολική κατάσταση του a 1. Τότε: αν C = (q 0,, q j,, q n-1, mem(c)) C = (q 0,, q j,, q n-1, mem(c)) Αν mem(c) = mem(c ) C k C, k j. Υπάρχει ένα τµήµα εκτέλεσης a 2 (µε χρονοδιάγραµµα s 2 ) που ξεκινά από τη C στο οποίο η διεργασία k εισέρχεται στο κρίσιµο τµήµα της. Ωστόσο, C k C. C : η τελική καθολική κατάσταση της εκτέλεσης a 1 a 2. και ο p j και ο p k είναι στο κρίσιµο τµήµα στη C. Άτοπο!!! Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 29
30 Κάτω Φράγµα στον Αριθµό των Read/Write Καταχωρητών Single-Writer Read/Write Καταχωρητές Θεώρηµα Έστω ότι ο Α είναι αλγόριθµος που επιλύει το πρόβληµα του αµοιβαίου αποκλεισµού για n 2 διεργασίες, χρησιµοποιώντας µόνο single-writer/multe-reader καταχωρητές ανάγνωσης/εγγραφής. Τότε, ο Α χρησιµοποιεί τουλάχιστον n τέτοιους καταχωρητές. Γενικευµένο Λήµµα (Λήµµα 2) Έστω µια καθολική κατάσταση C που είναι παρόµοια µιας ανενεργής καθολικής κατάστασης για κάποια διεργασία j. Έστω ότι a 1 είναι ένα j-only τµήµα εκτέλεσης που ξεκινά από τη C στο οποίο η j εισέρχεται στο κρίσιµο τµήµα της. Τότε, στο a 1, η j πρέπει να εκτελέσει τουλάχιστον µια write εντολή σε κάποιο καταχωρητή που δεν καλύπτεται από καµία (άλλη) διεργασία στη C. Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 30
31 Κάτω όριο: 2 διεργασίες και 1 MW καταχωρητής Θεώρηµα 1 εν υπάρχει αλγόριθµος που να επιλύει το πρόβληµα του αµοιβαίου αποκλεισµού για δύο διεργασίες χρησιµοποιώντας µόνο έναν διαµοιραζόµενο RW καταχωρητή. Απόδειξη Με εις άτοπο απαγωγή. Α: αλγόριθµος x: ο διαµοιραζόµενος καταχωρητής που χρησιµοποιεί C 0 : αρχική κατάσταση Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 31
32 Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 32
33 Κάτω όριο: 3 διεργασίες και 2 MW καταχωρητές Θεώρηµα 2: εν υπάρχει αλγόριθµος που να επιλύει το πρόβληµα του αµοιβαίου αποκλεισµού για τρεις διεργασίες χρησιµοποιώντας µόνο δύο διαµοιραζόµενες RW καταχωρητές. Απόδειξη: Με εις άτοπο απαγωγή. Α: αλγόριθµος x,y: διαµοιραζόµενοι καταχωρητές Στρατηγική 1. ηµιουργούµε σενάριο στο οποίο οι διεργασίες p 0 και p 1 εκτελούνται µέχρι που η κάθε µια καλύπτει έναν διαφορετικό καταχωρητή και η καθολική κατάσταση C που προκύπτει είναι παρόµοια µε µια προσβάσιµη ανενεργή καθολική κατάσταση για την p 2. Στη C και οι δύο καταχωρητές x και y καλύπτονται. 2. Επιτρέπουµε στη p 2 να τρέξει µόνη από τη C µέχρι να εισέλθει στο κρίσιµο τµήµα. 3. Βάζουµε τις p 0 και p 1 να κάνουν από ένα βήµα ώστε να πανωγράψουν τους καταχωρητές x και y. Αυτό καταστρέφει κάθε ίχνος της εκτέλεσης της p Επιτρέπουµε στις p 0 και p 1 να συνεχίσουν να κάνουν βήµατα µέχρι κάποια από αυτές να εισέλθει στο κρίσιµο τµήµα. 5. Τότε, δύο διεργασίες βρίσκονται ταυτόχρονα στο κρίσιµο τµήµα. Άτοπο!!!! Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 33
34 Κάτω όριο: 3 διεργασίες και 2 MW καταχωρητές Απόδειξη (συνέχεια): Πως µπορούµε να εξαναγκάσουµε τις διεργασίες p 0 και p 1 να καλύπτουν τους καταχωρητές x και y ενώ η διεργασία p 2 νοµίζει ότι βρίσκονται στο µη-κρίσιµο τµήµα τους? Απάντηση Σε 2 από τις 3 καθολικές καταστάσεις S 1, S 2, S 3, η p 0 καλύπτει τον ίδιο καταχωρητή, π.χ., τον x. S 1 = C 0, S 2 και S 3 : ανενεργές καταστάσεις Έστω ότι C 1 = S 2, C 1 = S 2, C 2 = S 3, C 2 = S 3. Αν εκτελέσουµε την p 1 µόνη ξεκινώντας από την S 2 θα εισέλθει στο κρίσιµο τµήµα αφού S 2 1 S 2. Στην εκτέλεση αυτή η p 1 γράφει στον y. Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 34
35 Κάτω όριο: 3 διεργασίες και 2 MW καταχωρητές Από την C η p 2 µπορεί να εκτελεστεί µόνη µέχρι να εισέλθει στο κρίσιµο τµήµα. Τότε, οι p 0 και p 1 εκτελούν ένα βήµα η κάθε µια και όλα τα ίχνη της εκτέλεσης της p 2 χάνονται. Οι p 0, p 1 στη συνέχεια συνεχίζουν µέχρι µια από τις δυο να εισέλθει στο κρίσιµο τµήµα. Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 35
36 Κάτω όριο: Γενική Περίϖτωση Φυσική επέκταση των αποδείξεων των δύο ειδικών περιπτώσεων που µελετήθηκαν παραπάνω. Θεώρηµα 3: εν υπάρχει αλγόριθµος που να επιλύει το πρόβληµα του αµοιβαίου αποκλεισµού για n 2 διεργασίες χρησιµοποιώντας n-1 ή λιγότερους διαµοιραζόµενες RW καταχωρητές. Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 36
37 Tight Space Bounds Section An Upper Bound Theorem: There is a deadlock-free mutual exclusion algorithm for n processes that uses n shared bits. Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 37
38 The One-Bit Algorithm code of process i, i {1,..., n} 1. repeat 2. b[i] = true; j = 1; 3. while (b[i] = true) and (j < i) do 4. if b[j] = true then b[i] = false; await b[j] =false fi 5. j = j+1 od 6. until b[i] = true 7. for j = i+1 to n do await b[j] = false od 8. critical section 9. b[i] = false n b false fals e false false fals e fals e bit s Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 38
39 Properties of the One-Bit Algorithm Satisfies mutual exclusion and deadlock-freedom Starvation is possible It is not fast It is not symmetric It uses only n shared bits and hence it is space optimal Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 39
40 Ένας γρήγορος αλγόριθµος για αµοιβαίο αϖοκλεισµό Ανιχνευτής Συµφόρησης Αρχικά, door = open, race = -1; race = id; if (door == closed) then return lose; else { door = closed; if (race == id) then return win; else return lose; } Θεώρηµα Σε κάθε επιτρεπτή εκτέλεση του αλγορίθµου: 1. Το πολύ µια διεργασία επιστρέφει win από τον ανιχνευτή συµφόρησης. 2. Αν µια διεργασία p i εκτελέσει τον ανιχνευτή συµφόρησης µόνη της, δηλαδή καµιά άλλη διεργασία δεν ξεκινά την εκτέλεση του ανιχνευτή συµφόρησης πριν η p i τερµατίσει τη δική της εκτέλεση, τότε η p i επιστρέφει win. Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 40
41 Section 2.3 Fast Mutual exclusion Algorithm Mutual exclusion and deadlock-freedom Starvation of individual processes is possible fast access in the absence of contention, only 7 accesses to shared memory are needed With contention Even if only 2 processes contend, the winner may need to check all the 0(n) shared registers System response time is of order n time units n+2 shared registers are used Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 41
42 Splitter At most n-1 can move right At most n-1 can move down At most 1 can win In solo run 1 win win n 1 n-1 right n-1 down Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 42
43 The code of the splitter x = i if y = 1 then go right fi y = 1 if x i then go down fi win x win n 1 n-1 n-1 right y 0 down Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 43
44 Fast Mutual exclusion Algorithm code of process i, i {1,..., n} 1 2 n x y 0 b fals e fals e fals e false 1. start: b[i] = true 2. x = i 3. if y 0 then b[i] = false 4. await y = 0 5. goto start fi 6. y = i 7. if x i then b[i] = false 8. for j = 1 to n do await b[j] = false od 9. if y i then await y = goto start fi fi 11. critical section 12. y = b[i] = false Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 44
45 Schematic for the fast algorithm Indicate contending b[i] := true Contention? y = 0? no Barrier turn := i yes Wait until CS is released The last to cross the barrier! Contention? x i? no critical section exit code yes yes Continue only after it is guaranteed that no one can cross the barrier Last to cross the barrier? no y = i? Wait until CS is released Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 45
Ασύγχρονο Σύστηµα ιαµοιραζόµενης Μνήµης Το σύστηµα περιέχει n διεργασίες p 0,, p n-1 και m καταχωρητές R 0,, R m-1. Κάθε διεργασία µοντελοποιείται ως
Αµοιβαίος Αϖοκλεισµός Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 1 Ασύγχρονο Σύστηµα ιαµοιραζόµενης Μνήµης Το σύστηµα περιέχει n διεργασίες p 0,, p n-1 και m καταχωρητές R 0,, R m-1. Κάθε διεργασία µοντελοποιείται
Διαβάστε περισσότεραΑσύγχρονο Σύστηµα ιαµοιραζόµενης Μνήµης Το σύστηµα περιέχει n διεργασίες p 0,, p n-1 και m καταχωρητές R 0,, R m-1. Κάθε διεργασία µοντελοποιείται ως
Αµοιβαίος Αϖοκλεισµός Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 1 Ασύγχρονο Σύστηµα ιαµοιραζόµενης Μνήµης Το σύστηµα περιέχει n διεργασίες p 0,, p n-1 και m καταχωρητές R 0,, R m-1. Κάθε διεργασία µοντελοποιείται
Διαβάστε περισσότεραΑσύγχρονο Σύστηµα ιαµοιραζόµενης Μνήµης Το σύστηµα περιέχει n διεργασίες p 0,, p n-1 και m καταχωρητές R 0,, R m-1. Κάθε διεργασία µοντελοποιείται ως
Αµοιβαίος Αϖοκλεισµός Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 1 Ασύγχρονο Σύστηµα ιαµοιραζόµενης Μνήµης Το σύστηµα περιέχει n διεργασίες p 0,, p n-1 και m καταχωρητές R 0,, R m-1. Κάθε διεργασία µοντελοποιείται
Διαβάστε περισσότεραΔιάλεξη 9: Αλγόριθμοι Αμοιβαίου Αποκλεισμού με τη χρήση μεταβλητών Ανάγνωσης/Εγγραφής. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 9: Αλγόριθμοι Αμοιβαίου Αποκλεισμού με τη χρήση μεταβλητών Ανάγνωσης/Εγγραφής ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Τι θα δούμε σήμερα Αλγόριθμος Ψησταριάς (Bakery Algorithm) Αλγόριθμος 2- επεξεργαστών
Διαβάστε περισσότεραΤο Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash model) Οι διεργασίες µπορούν να σταµατούν να εκτελούνται σε
Οµοφωνία σε σύστηµα µε αϖοτυχίες κατάρρευσης διεργασιών Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 1 Το Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash model) Οι διεργασίες
Διαβάστε περισσότεραΠαράδειγµα: Προσοµοίωση µιας ουράς FIFO Οι λειτουργίες που υποστηρίζονται από µια ουρά FIFO είναι: [enq(q,x), ack(q)] [deq(q), return(q,x)] όπου x είν
Wait-free προσοµοιώσεις αυθαίρετων αντικειµένων Έχουµε δει ότι το πρόβληµα της οµοφωνίας δεν µπορεί να επιλυθεί µε χρήση µόνο read/write καταχωρητών. Πολλοί µοντέρνοι επεξεργαστές παρέχουν επιπρόσθετα
Διαβάστε περισσότεραΔιάλεξη 8: Πρόβλημα Αμοιβαίου Αποκλεισμού. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 8: Πρόβλημα Αμοιβαίου Αποκλεισμού ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Τι θα δούμε σήμερα Μοντέλο Κοινόχρηστης Μνήμης Αλγόριθμοι Αμοιβαίου Αποκλεισμού με Ισχυρούς Καταχωρητές ΕΠΛ432: Κατανεµηµένοι
Διαβάστε περισσότεραΓιατί υϖάρχει τέτοια καθολική κατάσταση;
ΥΛΟΠΟΙΗΣΗ ΚΑΤΑΧΩΡΗΤΩΝ ΑΝΑΓΝΩΣΗΣ/ΕΓΓΡΑΦΗΣ Καταχωρητές που µοιάζουν πιο πολύπλοκοι µπορούν να υλοποιηθούν από απλούστερους καταχωρητές. Multi-valued from Binary Βασικό Αντικείµενο: δυαδικός καταχωρητής ο
Διαβάστε περισσότεραΤο Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash model) Οι διεργασίες µπορούν να σταµατούν να εκτελούνται σε
Οµοφωνία σε σύγχρονο σύστηµα µε αϖοτυχίες κατάρρευσης διεργασιών Παναγιώτα Φατούρου Κατανεµηµένος Υπολογισµός 1 Το Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash
Διαβάστε περισσότεραΔιάλεξη 10: Αλγόριθμοι Αμοιβαίου Αποκλεισμού σε περιβάλλον ανταλλαγής μηνυμάτων. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 10: Αλγόριθμοι Αμοιβαίου Αποκλεισμού σε περιβάλλον ανταλλαγής μηνυμάτων ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Τι θα δούμε σήμερα Αλγόριθμος Χρήση Συντονιστή Αλγόριθμος του Lamport Αλγόριθμος LeLann:
Διαβάστε περισσότεραDr. Garmpis Aristogiannis - EPDO TEI Messolonghi
Προϋποθέσεις για Αµοιβαίο Αποκλεισµό Μόνο µία διεργασία σε κρίσιµο τµήµασεκοινό πόρο Μία διεργασία που σταµατά σε µη κρίσιµο σηµείο δεν πρέπει να επιρεάζει τις υπόλοιπες διεργασίες εν πρέπει να υπάρχει
Διαβάστε περισσότεραΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007
Οδηγίες: Να απαντηθούν όλες οι ερωτήσεις. Αν κάπου κάνετε κάποιες υποθέσεις να αναφερθούν στη σχετική ερώτηση. Όλα τα αρχεία που αναφέρονται στα προβλήματα βρίσκονται στον ίδιο φάκελο με το εκτελέσιμο
Διαβάστε περισσότεραThe challenges of non-stable predicates
The challenges of non-stable predicates Consider a non-stable predicate Φ encoding, say, a safety property. We want to determine whether Φ holds for our program. The challenges of non-stable predicates
Διαβάστε περισσότεραΛειτουργικά Συστήματα
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΧΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ Λειτουργικά Συστήματα Ενότητα 3: Δρομολόγηση Κεντρικής Μονάδας Επεξεργασίας Αθηνά Βακάλη Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται
Διαβάστε περισσότεραSection 8.3 Trigonometric Equations
99 Section 8. Trigonometric Equations Objective 1: Solve Equations Involving One Trigonometric Function. In this section and the next, we will exple how to solving equations involving trigonometric functions.
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 664: Ανάλυση και Επαλήθευση Συστημάτων ΕΝΔΙΑΜΕΣΗ ΕΞΕΤΑΣΗ ΗΜΕΡΟΜΗΝΙΑ : Πέμπτη, 21 Μαρτίου 2013 ΔΙΑΡΚΕΙΑ : 14:00 16:00 ΔΙΔΑΣΚΟΥΣΑ : Άννα Φιλίππου Ονοματεπώνυμο:
Διαβάστε περισσότεραΙδιοκτησία Αντικειµένου
Software Transactional Memory H STM υποστηρίζει την εκτέλεση δοσοληψιών από τις διεργασίες, οι οποίες περιέχουν λειτουργίες που ο χρήστης θέλει να εκτελέσει στα διαµοιραζόµενα αντικείµενα. H STM εγγυάται
Διαβάστε περισσότεραFinite Field Problems: Solutions
Finite Field Problems: Solutions 1. Let f = x 2 +1 Z 11 [x] and let F = Z 11 [x]/(f), a field. Let Solution: F =11 2 = 121, so F = 121 1 = 120. The possible orders are the divisors of 120. Solution: The
Διαβάστε περισσότερα2 Composition. Invertible Mappings
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan Composition. Invertible Mappings In this section we discuss two procedures for creating new mappings from old ones, namely,
Διαβάστε περισσότεραΑμοιβαίος αποκλεισμός με κοινή μνήμη. Ταυτόχρονος Προγραμματισμός 1
Αμοιβαίος αποκλεισμός με κοινή μνήμη 1 lalis@inf.uth.gr Το πρόβλημα Έστω ότι δύο η περισσότερα νήματα επιθυμούν να προσπελάσουν έναν κοινό πόρο, που όμως δεν μπορεί να χρησιμοποιηθεί ταυτόχρονα Η χρήση
Διαβάστε περισσότεραΛειτουργικά Συστήματα Η/Υ
Λειτουργικά Συστήματα Η/Υ Κεφάλαιο 5 «Αμοιβαίος Αποκλεισμός» Διδάσκων: Δ Λιαροκάπης Διαφάνειες: Π. Χατζηδούκας 1 Αμοιβαίος Αποκλεισμός 1. Εισαγωγή 2. Κρίσιμα τμήματα (Critical Sections) 3. Υλοποίηση του
Διαβάστε περισσότεραΔιεργασίες (Processes)
Διεργασία (process) ή καθήκον (task) Διεργασίες (Processes) στοιχειώδης οντότητα/δραστηριότητα υπολογισμού (processing entity/activity) εκτέλεση ενός προγράμματος ένα (κύριο) νήμα (thread)/ρεύμα ελέγχου/εκτέλεσης
Διαβάστε περισσότεραΤο Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash model) Οι διεργασίες µπορούν να σταµατούν να εκτελούνται σε
Οµοφωνία σε σύστηµα µε αϖοτυχίες διεργασιών Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 1 Το Πρόβληµα Οµοφωνίας Σύγχρονα Συστήµατα Μεταβίβασης Μηνύµατος Μοντέλο Κατάρρευσης (crash model) Οι διεργασίες µπορούν
Διαβάστε περισσότεραAdvanced Subsidiary Unit 1: Understanding and Written Response
Write your name here Surname Other names Edexcel GE entre Number andidate Number Greek dvanced Subsidiary Unit 1: Understanding and Written Response Thursday 16 May 2013 Morning Time: 2 hours 45 minutes
Διαβάστε περισσότεραFractional Colorings and Zykov Products of graphs
Fractional Colorings and Zykov Products of graphs Who? Nichole Schimanski When? July 27, 2011 Graphs A graph, G, consists of a vertex set, V (G), and an edge set, E(G). V (G) is any finite set E(G) is
Διαβάστε περισσότεραC.S. 430 Assignment 6, Sample Solutions
C.S. 430 Assignment 6, Sample Solutions Paul Liu November 15, 2007 Note that these are sample solutions only; in many cases there were many acceptable answers. 1 Reynolds Problem 10.1 1.1 Normal-order
Διαβάστε περισσότεραΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 24/3/2007
Οδηγίες: Να απαντηθούν όλες οι ερωτήσεις. Όλοι οι αριθμοί που αναφέρονται σε όλα τα ερωτήματα μικρότεροι του 10000 εκτός αν ορίζεται διαφορετικά στη διατύπωση του προβλήματος. Αν κάπου κάνετε κάποιες υποθέσεις
Διαβάστε περισσότεραANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?
Teko Classes IITJEE/AIEEE Maths by SUHAAG SIR, Bhopal, Ph (0755) 3 00 000 www.tekoclasses.com ANSWERSHEET (TOPIC DIFFERENTIAL CALCULUS) COLLECTION # Question Type A.Single Correct Type Q. (A) Sol least
Διαβάστε περισσότεραCHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS
CHAPTER 5 SOLVING EQUATIONS BY ITERATIVE METHODS EXERCISE 104 Page 8 1. Find the positive root of the equation x + 3x 5 = 0, correct to 3 significant figures, using the method of bisection. Let f(x) =
Διαβάστε περισσότεραNowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in
Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in : tail in X, head in A nowhere-zero Γ-flow is a Γ-circulation such that
Διαβάστε περισσότεραΑιτιώδεις Σχέσεις και Χρονισµός Παναγιώτα Φατούρου Κατανεµηµένα Συστήµατα 1 Η Σχέση Happens-Before (Συµβαίνει-ϖριν) Οι εκτελέσεις, ως ακολουθίες γεγονότων, καθορίζουν µια καθολική διάταξη σε αυτά. Ωστόσο
Διαβάστε περισσότεραΠρόβλημα 1: Αναζήτηση Ελάχιστης/Μέγιστης Τιμής
Πρόβλημα 1: Αναζήτηση Ελάχιστης/Μέγιστης Τιμής Να γραφεί πρόγραμμα το οποίο δέχεται ως είσοδο μια ακολουθία S από n (n 40) ακέραιους αριθμούς και επιστρέφει ως έξοδο δύο ακολουθίες από θετικούς ακέραιους
Διαβάστε περισσότεραΛειτουργικά Συστήματα
ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΧΤΑ ΑΚΑΔΗΜΑΙΚΑ ΜΑΘΗΜΑΤΑ Λειτουργικά Συστήματα Ενότητα 4α: Σημαφόροι, Πρόβλημα Συνδαιτυμόνων Φιλοσόφων, Αδιέξοδα Αθηνά Βακάλη Άδειες Χρήσης Το παρόν εκπαιδευτικό
Διαβάστε περισσότεραderivation of the Laplacian from rectangular to spherical coordinates
derivation of the Laplacian from rectangular to spherical coordinates swapnizzle 03-03- :5:43 We begin by recognizing the familiar conversion from rectangular to spherical coordinates (note that φ is used
Διαβάστε περισσότεραΕισαγωγή στο EV3 Μέρος 2
Εισαγωγή στο EV3 Μέρος 2 Δρ. Γιώργος Α. Δημητρίου Εργαστήριο και Αυτομάτων Συστημάτων & Ακαδημία Τμήμα Πληροφορικής και Μηχανικών Υπολογιστών Σχολή Μηχανικής και Εφαρμοσμένων Επιστημών Πανεπιστήμιο Frederick
Διαβάστε περισσότεραThe Simply Typed Lambda Calculus
Type Inference Instead of writing type annotations, can we use an algorithm to infer what the type annotations should be? That depends on the type system. For simple type systems the answer is yes, and
Διαβάστε περισσότεραΛειτουργικά Συστήματα
1 Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου Λειτουργικά Συστήματα Ενότητα 5 : Αμοιβαίος Αποκλεισμός Δημήτριος Λιαροκάπης 2 Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Τμήμα Μηχανικών
Διαβάστε περισσότεραΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 6/5/2006
Οδηγίες: Να απαντηθούν όλες οι ερωτήσεις. Ολοι οι αριθμοί που αναφέρονται σε όλα τα ερωτήματα είναι μικρότεροι το 1000 εκτός αν ορίζεται διαφορετικά στη διατύπωση του προβλήματος. Διάρκεια: 3,5 ώρες Καλή
Διαβάστε περισσότεραΕνότητα 7 Ουρές Προτεραιότητας
Ενότητα Ουρές Προτεραιότητας ΗΥ4 - Παναγιώτα Φατούρου Ουρές Προτεραιότητας Θεωρούµε ένα χώρο κλειδιών U και έστω ότι µε κάθε κλειδί Κ (τύπου Key) έχει συσχετισθεί κάποια πληροφορία Ι (τύπου Type). Έστω
Διαβάστε περισσότεραHomework 3 Solutions
Homework 3 Solutions Igor Yanovsky (Math 151A TA) Problem 1: Compute the absolute error and relative error in approximations of p by p. (Use calculator!) a) p π, p 22/7; b) p π, p 3.141. Solution: For
Διαβάστε περισσότεραPaper Reference. Paper Reference(s) 1776/04 Edexcel GCSE Modern Greek Paper 4 Writing. Thursday 21 May 2009 Afternoon Time: 1 hour 15 minutes
Centre No. Candidate No. Paper Reference(s) 1776/04 Edexcel GCSE Modern Greek Paper 4 Writing Thursday 21 May 2009 Afternoon Time: 1 hour 15 minutes Materials required for examination Nil Paper Reference
Διαβάστε περισσότεραApproximation of distance between locations on earth given by latitude and longitude
Approximation of distance between locations on earth given by latitude and longitude Jan Behrens 2012-12-31 In this paper we shall provide a method to approximate distances between two points on earth
Διαβάστε περισσότεραBounding Nonsplitting Enumeration Degrees
Bounding Nonsplitting Enumeration Degrees Thomas F. Kent Andrea Sorbi Università degli Studi di Siena Italia July 18, 2007 Goal: Introduce a form of Σ 0 2-permitting for the enumeration degrees. Till now,
Διαβάστε περισσότερα3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β
3.4 SUM AND DIFFERENCE FORMULAS Page Theorem cos(αβ cos α cos β -sin α cos(α-β cos α cos β sin α NOTE: cos(αβ cos α cos β cos(α-β cos α -cos β Proof of cos(α-β cos α cos β sin α Let s use a unit circle
Διαβάστε περισσότερα6.3 Forecasting ARMA processes
122 CHAPTER 6. ARMA MODELS 6.3 Forecasting ARMA processes The purpose of forecasting is to predict future values of a TS based on the data collected to the present. In this section we will discuss a linear
Διαβάστε περισσότεραΓραµµικός Προγραµµατισµός (ΓΠ)
Γραµµικός Προγραµµατισµός (ΓΠ) Περίληψη Επίλυση δυσδιάστατων προβληµάτων Η µέθοδος simplex Τυπική µορφή Ακέραιος Προγραµµατισµός Προγραµµατισµός Παραγωγής Προϊόν Προϊόν 2 Παραγωγική Δυνατότητα Μηχ. 4 Μηχ.
Διαβάστε περισσότεραΕισαγωγή στον Προγραμματισμό
Εισαγωγή στον Προγραμματισμό Έλεγχος Δημήτρης Μιχαήλ Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Ακ. Έτος 2012-2013 Σχεσιακοί Τελεστές και Ισότητας Ένα πρόγραμμα εκτός από αριθμητικές πράξεις
Διαβάστε περισσότεραInverse trigonometric functions & General Solution of Trigonometric Equations. ------------------ ----------------------------- -----------------
Inverse trigonometric functions & General Solution of Trigonometric Equations. 1. Sin ( ) = a) b) c) d) Ans b. Solution : Method 1. Ans a: 17 > 1 a) is rejected. w.k.t Sin ( sin ) = d is rejected. If sin
Διαβάστε περισσότεραΕνότητα 7 Ουρές Προτεραιότητας
Ενότητα 7 Ουρές Προτεραιότητας ΗΥ240 - Παναγιώτα Φατούρου Ουρές Προτεραιότητας Θεωρούµε ένα χώρο κλειδιών U και έστω ότι µε κάθε κλειδί Κ (τύπου Key) έχει συσχετισθεί κάποια πληροφορία Ι (τύπου Type).
Διαβάστε περισσότεραΟδηγίες Αγοράς Ηλεκτρονικού Βιβλίου Instructions for Buying an ebook
Οδηγίες Αγοράς Ηλεκτρονικού Βιβλίου Instructions for Buying an ebook Βήμα 1: Step 1: Βρείτε το βιβλίο που θα θέλατε να αγοράσετε και πατήστε Add to Cart, για να το προσθέσετε στο καλάθι σας. Αυτόματα θα
Διαβάστε περισσότεραMath221: HW# 1 solutions
Math: HW# solutions Andy Royston October, 5 7.5.7, 3 rd Ed. We have a n = b n = a = fxdx = xdx =, x cos nxdx = x sin nx n sin nxdx n = cos nx n = n n, x sin nxdx = x cos nx n + cos nxdx n cos n = + sin
Διαβάστε περισσότερα2.4 Κλασσικά Προβλήματα IPC
2.4 Κλασσικά Προβλήματα IPC 1 Οι φιλόσοφοι που γευματίζουν - Dining Philosophers Μια πρώτη λύση για Ν φιλοσόφους: philosopher (i) while (1) { think; take_fork(i);/* πάρε αριστερό ξυλάκι */ take_fork(i+1
Διαβάστε περισσότεραΒΑΣΙΚΑ ΑΤΟΜΙΚΑ ΑΝΤΙΚΕΙΜΕΝΑ Καταχωρητής Read/Write Αποθηκεύει µια τιµή από κάποιο σύνολο και υποστηρίζει δύο λειτουργίες: read(r): επιστρέφει την τιµή
ΑΤΟΜΙΚΑ ΑΝΤΙΚΕΙΜΕΝΑ Ένα ατοµικό αντικείµενο κάποιου τύπου µοιάζει µε µια κοινή µεταβλητή αυτού του τύπου. Ένα ατοµικό αντικείµενο βρίσκεται σε µια κατάσταση και υποστηρίζει ένα σύνολο από λειτουργίες µέσω
Διαβάστε περισσότεραHY380 Αλγόριθμοι και πολυπλοκότητα Hard Problems
HY380 Αλγόριθμοι και πολυπλοκότητα Hard Problems Ημερομηνία Παράδοσης: 0/1/017 την ώρα του μαθήματος ή με email: mkarabin@csd.uoc.gr Γενικές Οδηγίες α) Επιτρέπεται η αναζήτηση στο Internet και στην βιβλιοθήκη
Διαβάστε περισσότεραΚΥΠΡΙΑΚΟΣ ΣΥΝΔΕΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY 21 ος ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ Δεύτερος Γύρος - 30 Μαρτίου 2011
Διάρκεια Διαγωνισμού: 3 ώρες Απαντήστε όλες τις ερωτήσεις Μέγιστο Βάρος (20 Μονάδες) Δίνεται ένα σύνολο από N σφαιρίδια τα οποία δεν έχουν όλα το ίδιο βάρος μεταξύ τους και ένα κουτί που αντέχει μέχρι
Διαβάστε περισσότεραExample Sheet 3 Solutions
Example Sheet 3 Solutions. i Regular Sturm-Liouville. ii Singular Sturm-Liouville mixed boundary conditions. iii Not Sturm-Liouville ODE is not in Sturm-Liouville form. iv Regular Sturm-Liouville note
Διαβάστε περισσότεραHOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:
HOMEWORK 4 Problem a For the fast loading case, we want to derive the relationship between P zz and λ z. We know that the nominal stress is expressed as: P zz = ψ λ z where λ z = λ λ z. Therefore, applying
Διαβάστε περισσότερα4.6 Autoregressive Moving Average Model ARMA(1,1)
84 CHAPTER 4. STATIONARY TS MODELS 4.6 Autoregressive Moving Average Model ARMA(,) This section is an introduction to a wide class of models ARMA(p,q) which we will consider in more detail later in this
Διαβάστε περισσότεραEE512: Error Control Coding
EE512: Error Control Coding Solution for Assignment on Finite Fields February 16, 2007 1. (a) Addition and Multiplication tables for GF (5) and GF (7) are shown in Tables 1 and 2. + 0 1 2 3 4 0 0 1 2 3
Διαβάστε περισσότεραΣυστήματα Διαχείρισης Βάσεων Δεδομένων
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Συστήματα Διαχείρισης Βάσεων Δεδομένων Φροντιστήριο 9: Transactions - part 1 Δημήτρης Πλεξουσάκης Τμήμα Επιστήμης Υπολογιστών Tutorial on Undo, Redo and Undo/Redo
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Δομές δεδομένων. Ενότητα 7η: Ουρές Προτεραιότητας Παναγιώτα Φατούρου Τμήμα Επιστήμης Υπολογιστών
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Δομές δεδομένων Ενότητα 7η: Ουρές Προτεραιότητας Παναγιώτα Φατούρου Τμήμα Επιστήμης Υπολογιστών Ενότητα 7 Ουρές Προτεραιότητας ΗΥ240 - Παναγιώτα Φατούρου 2 Ουρές
Διαβάστε περισσότεραΜάθημα 4 ο. Κρίσιμα Τμήματα και Αμοιβαίος Αποκλεισμός
Μάθημα 4 ο Κρίσιμα Τμήματα και Αμοιβαίος Αποκλεισμός Εισαγωγή Σκοπός του μαθήματος αυτού είναι να εξηγήσει την έννοια του κρίσιμου τμήματος σε μία διεργασία και να δείξει τη λύση για ένα απλό πρόβλημα
Διαβάστε περισσότεραEcon 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1
Eon : Fall 8 Suggested Solutions to Problem Set 8 Email questions or omments to Dan Fetter Problem. Let X be a salar with density f(x, θ) (θx + θ) [ x ] with θ. (a) Find the most powerful level α test
Διαβάστε περισσότεραSCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions
SCHOOL OF MATHEMATICAL SCIENCES GLMA Linear Mathematics 00- Examination Solutions. (a) i. ( + 5i)( i) = (6 + 5) + (5 )i = + i. Real part is, imaginary part is. (b) ii. + 5i i ( + 5i)( + i) = ( i)( + i)
Διαβάστε περισσότεραΑδιέξοδα (Deadlocks)
Αδιέξοδα (Deadlocks) Περίληψη Αδιέξοδα (deadlocks) Τύποι πόρων (preemptable non preemptable) Μοντελοποίηση αδιεξόδων Στρατηγικές Στρουθοκαµηλισµός (ostrich algorithm) Ανίχνευση και αποκατάσταση (detection
Διαβάστε περισσότεραTridiagonal matrices. Gérard MEURANT. October, 2008
Tridiagonal matrices Gérard MEURANT October, 2008 1 Similarity 2 Cholesy factorizations 3 Eigenvalues 4 Inverse Similarity Let α 1 ω 1 β 1 α 2 ω 2 T =......... β 2 α 1 ω 1 β 1 α and β i ω i, i = 1,...,
Διαβάστε περισσότεραModbus basic setup notes for IO-Link AL1xxx Master Block
n Modbus has four tables/registers where data is stored along with their associated addresses. We will be using the holding registers from address 40001 to 49999 that are R/W 16 bit/word. Two tables that
Διαβάστε περισσότεραOrdinal Arithmetic: Addition, Multiplication, Exponentiation and Limit
Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit Ting Zhang Stanford May 11, 2001 Stanford, 5/11/2001 1 Outline Ordinal Classification Ordinal Addition Ordinal Multiplication Ordinal
Διαβάστε περισσότεραPARTIAL NOTES for 6.1 Trigonometric Identities
PARTIAL NOTES for 6.1 Trigonometric Identities tanθ = sinθ cosθ cotθ = cosθ sinθ BASIC IDENTITIES cscθ = 1 sinθ secθ = 1 cosθ cotθ = 1 tanθ PYTHAGOREAN IDENTITIES sin θ + cos θ =1 tan θ +1= sec θ 1 + cot
Διαβάστε περισσότεραElements of Information Theory
Elements of Information Theory Model of Digital Communications System A Logarithmic Measure for Information Mutual Information Units of Information Self-Information News... Example Information Measure
Διαβάστε περισσότεραΕνότητα 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): επιστρέφει
Διαβάστε περισσότεραΕπικοινωνία µεταξύ ιεργασιών και Σύνδροµες ιεργασίες
Επικοινωνία µεταξύ ιεργασιών και Σύνδροµες ιεργασίες Interprocess Communication and Concurrent Processes Περίληψη Σύνδροµος Προγραµµατισµός Συνθήκη συναγωνισµού Συγχρονισµός διεργασιών Κρίσιµες περιοχές
Διαβάστε περισσότεραPhys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)
Phys460.nb 81 ψ n (t) is still the (same) eigenstate of H But for tdependent H. The answer is NO. 5.5.5. Solution for the tdependent Schrodinger s equation If we assume that at time t 0, the electron starts
Διαβάστε περισσότεραΑμοιβαίος αποκλεισμός με κοινή μνήμη. Ταυτόχρονος Προγραμματισμός 1
Αμοιβαίος αποκλεισμός με κοινή μνήμη 1 lalis@inf.uth.gr Το πρόβλημα Έστω ότι δύο η περισσότερα νήματα επιθυμούν να προσπελάσουν έναν κοινό πόρο, που όμως δεν μπορεί να χρησιμοποιηθεί ταυτόχρονα Η χρήση
Διαβάστε περισσότεραΑντισταθμιστική ανάλυση
Αντισταθμιστική ανάλυση Θεωρήστε έναν αλγόριθμο Α που χρησιμοποιεί μια δομή δεδομένων Δ : Κατά τη διάρκεια εκτέλεσης του Α η Δ πραγματοποιεί μία ακολουθία από πράξεις. Παράδειγμα: Θυμηθείτε το πρόβλημα
Διαβάστε περισσότεραSection 7.6 Double and Half Angle Formulas
09 Section 7. Double and Half Angle Fmulas To derive the double-angles fmulas, we will use the sum of two angles fmulas that we developed in the last section. We will let α θ and β θ: cos(θ) cos(θ + θ)
Διαβάστε περισσότεραPartial Differential Equations in Biology The boundary element method. March 26, 2013
The boundary element method March 26, 203 Introduction and notation The problem: u = f in D R d u = ϕ in Γ D u n = g on Γ N, where D = Γ D Γ N, Γ D Γ N = (possibly, Γ D = [Neumann problem] or Γ N = [Dirichlet
Διαβάστε περισσότεραΠαράλληλη Επεξεργασία Κεφάλαιο 6 ο Σύγχρονος Παραλληλισμός
Παράλληλη Επεξεργασία Κεφάλαιο 6 ο Σύγχρονος Παραλληλισμός Κωνσταντίνος Μαργαρίτης Καθηγητής Τμήμα Εφαρμοσμένης Πληροφορικής Πανεπιστήμιο Μακεδονίας kmarg@uom.gr http://eos.uom.gr/~kmarg Αρετή Καπτάν Υποψήφια
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Ψηφιακή Οικονομία. Διάλεξη 10η: Basics of Game Theory part 2 Mαρίνα Μπιτσάκη Τμήμα Επιστήμης Υπολογιστών
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Ψηφιακή Οικονομία Διάλεξη 0η: Basics of Game Theory part 2 Mαρίνα Μπιτσάκη Τμήμα Επιστήμης Υπολογιστών Best Response Curves Used to solve for equilibria in games
Διαβάστε περισσότεραProblem Set 3: Solutions
CMPSCI 69GG Applied Information Theory Fall 006 Problem Set 3: Solutions. [Cover and Thomas 7.] a Define the following notation, C I p xx; Y max X; Y C I p xx; Ỹ max I X; Ỹ We would like to show that C
Διαβάστε περισσότεραExercises 10. Find a fundamental matrix of the given system of equations. Also find the fundamental matrix Φ(t) satisfying Φ(0) = I. 1.
Exercises 0 More exercises are available in Elementary Differential Equations. If you have a problem to solve any of them, feel free to come to office hour. Problem Find a fundamental matrix of the given
Διαβάστε περισσότεραΕΝΟΤΗΤΑ 4 Λήψη Αποφάσεων και Συναρτήσεις Ελέγχου
ΕΝΟΤΗΤΑ 4 Λήψη Αποφάσεων και Συναρτήσεις Ελέγχου Σκοπός και περίγραμμα της Ενότητας 4 Σκοπός της παρουσίασης Να μελετήσουμε τις συναρτήσεις που ελέγχουν την ροή και την εκτέλεση ενός προγράμματος Σύνοψη
Διαβάστε περισσότεραΣυγχρονισμός Μέρος Α : Κρίσιμο τμήμα και κλειδώματα
Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Ηλεκτρολόγων Μηχ. και Μηχανικών Υπολογιστών Εργαστήριο Υπολογιστικών Συστημάτων Συγχρονισμός Μέρος Α : Κρίσιμο τμήμα και κλειδώματα 9 ο Εξάμηνο Η ανάγκη για συγχρονισμό
Διαβάστε περισσότεραΤαυτόχρονος. Algorithm of Dekker. Dekker s Algorithm. Σχέδιο ιάλεξης. Πρόβληµα Αµοιβαίου Αποκλεισµού για δύο διεργασίες
Προηγµένες Τεχνικές Προγραµµατισµού Ταυτόχρονος Προγραµµατισµός Αλγόριθµος του Dekker Πρόβληµα Αµοιβαίου Αποκλεισµού για δύο διεργασίες Algorithm of Dekker ιασφάλισε τον Αµοιβαίο Αποκλεισµό ιδάσκων: Κλεάνθης
Διαβάστε περισσότεραΔιάλεξη 16: Πρόβλημα Συμφωνίας. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι
Διάλεξη 16: Πρόβλημα Συμφωνίας ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι Τι θα δούμε σήμερα Ορισμός του προβλήματος Συμφωνίας Αλγόριθμος Συμφωνίας με Σφάλματα Κατάρρευσης ΕΠΛ432: Κατανεµηµένοι Αλγόριθµοι 1 Πρόβλημα
Διαβάστε περισσότεραModels for Probabilistic Programs with an Adversary
Models for Probabilistic Programs with an Adversary Robert Rand, Steve Zdancewic University of Pennsylvania Probabilistic Programming Semantics 2016 Interactive Proofs 2/47 Interactive Proofs 2/47 Interactive
Διαβάστε περισσότεραOther Test Constructions: Likelihood Ratio & Bayes Tests
Other Test Constructions: Likelihood Ratio & Bayes Tests Side-Note: So far we have seen a few approaches for creating tests such as Neyman-Pearson Lemma ( most powerful tests of H 0 : θ = θ 0 vs H 1 :
Διαβάστε περισσότεραΕνότητα 9 Ξένα Σύνολα που υποστηρίζουν τη λειτουργία της Ένωσης (Union-Find)
Ενότητα 9 Ξένα Σύνολα που υποστηρίζουν τη (Union-Find) ΗΥ240 - Παναγιώτα Φατούρου 1 Ξένα Σύνολα που υποστηρίζουν τη λειτουργία της Ένωσης Έστω ότι S 1,, S k είναι ξένα υποσύνολα ενός συνόλου U, δηλαδή
Διαβάστε περισσότερα2.3 Επικοινωνία Διεργασιών
2.3 Επικοινωνία Διεργασιών 2.3.3 Η λύση του Peterson. (για 2 διεργασίες) Το σενάριο περιλαμβάνει 2 διεργασίες. Υπάρχουν 2 ρουτίνες που καλούνται για να μπούν και να βγούν οι διεργασίες σε/από critical
Διαβάστε περισσότεραLecture 2. Soundness and completeness of propositional logic
Lecture 2 Soundness and completeness of propositional logic February 9, 2004 1 Overview Review of natural deduction. Soundness and completeness. Semantics of propositional formulas. Soundness proof. Completeness
Διαβάστε περισσότεραSecond Order RLC Filters
ECEN 60 Circuits/Electronics Spring 007-0-07 P. Mathys Second Order RLC Filters RLC Lowpass Filter A passive RLC lowpass filter (LPF) circuit is shown in the following schematic. R L C v O (t) Using phasor
Διαβάστε περισσότερα9.09. # 1. Area inside the oval limaçon r = cos θ. To graph, start with θ = 0 so r = 6. Compute dr
9.9 #. Area inside the oval limaçon r = + cos. To graph, start with = so r =. Compute d = sin. Interesting points are where d vanishes, or at =,,, etc. For these values of we compute r:,,, and the values
Διαβάστε περισσότεραOverview. Transition Semantics. Configurations and the transition relation. Executions and computation
Overview Transition Semantics Configurations and the transition relation Executions and computation Inference rules for small-step structural operational semantics for the simple imperative language Transition
Διαβάστε περισσότεραSOME PROPERTIES OF FUZZY REAL NUMBERS
Sahand Communications in Mathematical Analysis (SCMA) Vol. 3 No. 1 (2016), 21-27 http://scma.maragheh.ac.ir SOME PROPERTIES OF FUZZY REAL NUMBERS BAYAZ DARABY 1 AND JAVAD JAFARI 2 Abstract. In the mathematical
Διαβάστε περισσότεραMatrices and Determinants
Matrices and Determinants SUBJECTIVE PROBLEMS: Q 1. For what value of k do the following system of equations possess a non-trivial (i.e., not all zero) solution over the set of rationals Q? x + ky + 3z
Διαβάστε περισσότεραStatistical Inference I Locally most powerful tests
Statistical Inference I Locally most powerful tests Shirsendu Mukherjee Department of Statistics, Asutosh College, Kolkata, India. shirsendu st@yahoo.co.in So far we have treated the testing of one-sided
Διαβάστε περισσότεραΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ Ανώτατο Εκπαιδευτικό Ίδρυμα Πειραιά Τεχνολογικού Τομέα. Προγραμματισμός Η/Υ
ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ Ανώτατο Εκπαιδευτικό Ίδρυμα Πειραιά Τεχνολογικού Τομέα Προγραμματισμός Η/Υ Ενότητα 3 η : Η Γλώσσα Προγραμματισμού VB.NET (2 ο Μέρος) Ι. Ψαρομήλιγκος Χ. Κυτάγιας Τμήμα Λογιστικής & Χρηματοοικονομικής
Διαβάστε περισσότεραΣτόχοι και αντικείμενο ενότητας. Προτάσεις επανάληψης. Έλεγχος ροής προγράμματος. #5.. Εντολές Επανάληψης
Στόχοι και αντικείμενο ενότητας Έλεγχος ροής προγράμματος (βλ. ενότητα #4) Δομή επανάληψης #5.. Εντολές Επανάληψης Προτάσεις επανάληψης Εντολές while, do while Εντολή for Περί βρόχων (loops) Τελεστές,
Διαβάστε περισσότεραΠροβλήματα ταυτόχρονης εκτέλεσης (για νήματα με κοινή μνήμη)
Προβλήματα ταυτόχρονης εκτέλεσης (για νήματα με κοινή μνήμη) ΙΙΙ 1 lalis@inf.uth.gr Ταυτόχρονη εκτέλεση Ο προγραμματιστής δεν ελέγχει (άμεσα) την εκτέλεση/εναλλαγή των νημάτων Δεν γνωρίζει πότε θα αρχίσει
Διαβάστε περισσότεραLecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3
Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3 1 State vector space and the dual space Space of wavefunctions The space of wavefunctions is the set of all
Διαβάστε περισσότερα