Ελεγκτές/Παρακολουθητές (Monitors) Ταυτόχρονος Προγραμματισμός 1

Transcript

1 Ελεγκτές/Παρακολουθητές (Monitors) 1 lalis@inf.uth.gr

2 Ελεγκτές Αμοιβαίος αποκλεισμός στο πλαίσιο ενός τμήματος λογισμικού που προσπελάζεται με δομημένο τρόπο, μέσω προκαθορισμένης διασύνδεσης (API) Ο συγχρονισμός γίνεται την στιγμή που ένα νήμα επιχειρεί να καλέσει μια λειτουργία του ελεγκτή Αν κάποιο άλλο νήμα ήδη εκτελεί μια λειτουργία του ελεγκτή, τότε το καλών νήμα μπλοκάρεται, μέχρι το προηγούμενο νήμα να ολοκληρώσει την λειτουργία Ο αμοιβαίος αποκλεισμός είναι εξ ορισμού εγγυημένος για τον κώδικα που γράφεται μέσα στο πλαίσιο ενός ελεγκτή 2 lalis@inf.uth.gr

3 entry points mutual exclusion boundary proc3 proc2 proc1 code code code state / data Monitor 3 lalis@inf.uth.gr

4 proc2 proc1 proc2 proc1 code code (1) (2) state / data code state / data code proc2 proc1 proc2 proc1 code code (3) (4) state / data code state / data code 4 lalis@inf.uth.gr

5 Δομή κώδικα monitor name { /* δηλώσεις μεταβλητών */ /* ρουτίνες πρόσβασης ελεγκτή */ proc1 ( ) { } proc2 ( ) { } εκτελούνται με εγγυημένο τον αμοιβαίο αποκλεισμό procν ( ) { } } 5 lalis@inf.uth.gr

6 Κρίσιμο τμήμα monitor cs { } void CS1 () { /* κώδικας που αποτελεί κρίσιμο τμήμα */ } void CSN() { /* κώδικας που αποτελεί κρίσιμο τμήμα */ } : : PN: while (1) { cs.cs1(); } while (1) { cs.cs2(); }... while (1) { cs.csn(); } 6 lalis@inf.uth.gr

7 με ελεγκτή monitor counter { int cnt; void init() { cnt=0; } με δυαδικό σηματοφόρο int cnt; bsem mtx; void init() { cnt=0; init(mtx,1); } } void inc() { cnt=cnt+1; } void dec() { cnt=cnt-1; } void inc() { down(mtx); cnt=cnt+1; up(mtx); } void dec() { down(mtx); cnt=cnt-1; up(mtx); } 7 lalis@inf.uth.gr

8 Μεταβλητές συνθήκης Συχνά απαιτείται αναμονή υπό συνθήκη μέσα σε ένα κρίσιμο τμήμα π.χ., αναμονή καταναλωτή όταν/όσο η αποθήκη είναι άδεια Η αναμονή μέσα σε ελεγκτή επιτυγχάνεται με μεταβλητές συνθήκης (condition variables) Η μεταβλητή συνθήκης μπορεί να θεωρηθεί ως μια δίκαιη ουρά αναμονής. Οι μεταβλητές συνθήκης μπορεί να δηλωθούν μόνο μέσα σε έναν ελεγκτή δεν είναι σηματοφόροι 8 lalis@inf.uth.gr

9 Χρήση μεταβλητών συνθήκης : δήλωση wait(x): το καλών νήμα μπλοκάρεται, ενώ παράλληλα αίρεται ο «συμβατικός» αμοιβαίος αποκλεισμός στον ελεγκτή (γιατί;) signal(x): αφυπνίζεται ένα (το πρώτο) από τα νήματα που έχουν μπλοκάρει στο x Αν δεν υπάρχει μπλοκαρισμένο νήμα στο x, απλά δεν γίνεται τίποτα αν στη συνέχεια ένα νήμα καλέσει wait(x), θα μπλοκάρει 9 lalis@inf.uth.gr

10 Συνθήκες ανταγωνισμού Με σηματοφόρους, αν ένα νήμα επιθυμεί να περιμένει μέσα στο ΚΤ, πρέπει να απελευθερώσει (up) τον σηματοφόρο που χρησιμοποιείται για αμοιβαίο αποκλεισμό, και να μπλοκάρει (down) μειώνοντας τον σηματοφόρο που χρησιμοποιείται ως ουρά αναμονής Υπάρχει η «κλασική» συνθήκη ανταγωνισμού: πιθανότητα εναλλαγής μετά το up και πριν το down Αυτό το πρόβλημα δεν υφίσταται σε ελεγκτή (όμως: βλέπε ζητήματα προτεραιότητας) 10

11 bsem mtx,q; void init() { init(mtx,1); init(q,0); } void proc1( ) { down(mtx); if ( ) { up(mtx);} else { up(mtx); down(q);} } monitor { condition q; void init() { } void proc1( ) { if ( ) { wait(q); } } δεν υφίσταται συνθήκη ανταγωνισμού void proc2( ) { down(mtx); if ( ) { up(q); } up(mtx); } υπάρχει συνθήκη ανταγωνισμού void proc2( ) { if ( ) { signal(q); } } 11 lalis@inf.uth.gr }

12 Προτεραιότητες (1) Τι γίνεται αν ένα νήμα μέσω signal αφυπνίσει ένα άλλο νήμα που έχει μπλοκάρει μέσα στον ελεγκτή; Για να ισχύει αμοιβαίος αποκλεισμός, μόνο ένα νήμα μπορεί να συνεχίσει την εκτέλεση του στον ελεγκτή signal&continue: προτεραιότητα έχει το νήμα που προκάλεσε την αφύπνιση (κάλεσε την signal) signal&block: προτεραιότητα έχει το νήμα που αφυπνίστηκε (σειρά εισόδου στον ελεγκτή) Δεν τίθεται θέμα αν η signal καλείται ως τελευταία εντολή σε μια ρουτίνα του ελεγκτή γιατί; 12

13 πλαίσιο συγχρονισμού του ελεγκτή ουρά αναμονής της μεταβλητής συνθήκης x νήμα που εκτελεί κώδικα του ελεγκτή ουρά νημάτων που περιμένουν, λόγω signal&block / signal&continue, να ελευθερωθεί ο ελεγκτής 13 lalis@inf.uth.gr

14 call 14

15 15

16 wait 16

17 17

18 call 18

19 19

20 signal 20

21 signal&continue signal 21

22 signal&continue προσπεράστηκε από 22

23 signal&continue exit 23

24 signal&continue 24

25 signal&continue 25

26 signal 26

27 signal&block signal 27

28 signal&block 28

29 signal&block exit 29

30 signal&block 30

31 signal&block 31

32 Προτεραιότητες (2) Τι γίνεται με τα νήματα που έχουν μπλοκάρει έξω από τον ελεγκτή, περιμένοντας να τους δοθεί άδεια να προχωρήσουν με την εκτέλεση μιας λειτουργίας; Eggshell: προτεραιότητα έχουν τα νήματα που ήδη έχουν αρχίσει την εκτέλεση τους μέσα στον ελεγκτή Λογική FIFO Open: τα νήματα έχουν την ίδια προτεραιότητα Ένα νήμα που αφυπνίζει/αφυπνίζεται μέσω signal, μπορεί προσπεραστεί από ένα άλλο νήμα που περιμένει έξω από τον ελεγκτή 32

33 Eggshell χαμηλή προτεραιότητα ουρά εισόδου ουρά αναμονής της μεταβλητής συνθήκης x ψηλή προτεραιότητα νήμα που εκτελεί κώδικα του ελεγκτή ουρά νημάτων που περιμένουν, λόγω signal&block / signal&continue, να ελευθερωθεί ο ελεγκτής 33 lalis@inf.uth.gr

34 eggshell P3 call 34

35 P3 eggshell 35

36 P3 eggshell signal&block signal 36

37 P3 eggshell 37

38 P3 eggshell exit 38

39 P3 eggshell 39

40 P3 eggshell 40

41 P3 eggshell exit 41

42 P3 eggshell 42

43 P3 eggshell 43

44 eggshell P3 44

45 Open κοινή ουρά (α) για τα νήματα που θέλουν να μπουν στον ελεγκτή και (β) για τα νήματα που είχαν μπλοκάρει λόγω signal μέσα στον ελεγκτή ουρά εισόδου ουρά αναμονής της μεταβλητής συνθήκης x νήμα που εκτελεί κώδικα του ελεγκτή 45 lalis@inf.uth.gr

46 open call P3 46

47 P3 open 47

48 P3 open signal&block signal 48

49 P3 open προσπεράστηκε από το P3 49

50 P3 open exit 50

51 P3 open 51

52 open P3 52

53 Συνθήκη ανταγωνισμού Ο μηχανισμός του ελεγκτή λύνει το πρόβλημα της συνθήκης ανταγωνισμού σε περίπτωση που ένα νήμα επιθυμεί να μπλοκάρει μέσα στον ελεγκτή Δεν υπάρχει περίπτωση να παρεμβληθεί άλλο νήμα ανάμεσα στον έλεγχο της συνθήκης αναμονής και την κλήση της wait Παρόλα αυτά, πάλι μπορεί να υπάρχουν συνθήκες ανταγωνισμού, ανάλογα με το μοντέλο προτεραιότητας της υλοποίησης του ελεγκτή Το eggshell-signal&block είναι ο πιο δίκαιος και διαισθητικά λογικός συνδυασμός (σειρά FIFO) 53

54 Έλεγχος προδιαγραφών Αρκετές γλώσσες και περιβάλλοντα εκτέλεσης υποστηρίζουν μηχανισμούς συγχρονισμού που έχουν πολλές ομοιότητες με τον μηχανισμό του ελεγκτή Πριν αρχίσετε να γράφετε κώδικα, βεβαιωθείτε ότι γνωρίζετε ακριβώς ποιο μοντέλο ελεγκτή υλοποιούν Οι «μικρές» διαφορές ανάμεσα π.χ. σε eggshell/open σε συνδυασμό με signal&block/continue μπορεί να επηρεάσουν την ορθότητα του κώδικα Λύσεις που είναι σωστές με ένα μοντέλο δεν είναι απαραίτητα σωστές με ένα άλλο μοντέλο Στην συνέχεια υποθέτουμε eggshell-signal&block 54