ΔΙΑΧΕΙΡΙΣΗ ΜΝΗΜΗΣ. Λειτουργικά Συστήματα Ι. Διδάσκων: Καθ. Κ. Λαμπρινουδάκης ΛΕΙΤΟΥΡΓΙΚΑ ΣΥΣΤΗΜΑΤΑ Ι

Transcript

1 ΛΕΙΤΟΥΡΓΙΚΑ ΣΥΣΤΗΜΑΤΑ Ι Μάθημα: Λειτουργικά Συστήματα Ι ΔΙΑΧΕΙΡΙΣΗ ΜΝΗΜΗΣ Διδάσκων: Καθ. Κ. Λαμπρινουδάκης 1

2 ΕΙΣΑΓΩΓΗ Μνήμη : Πόρος ζωτικής σημασίας του οποίου η διαχείριση απαιτεί ιδιαίτερη προσοχή Νόμος του Parkinson «Τα προγράμματα τείνουν να καταλάβουν τόσο χώρο στη μνήμη, όσο τους προσφέρεται» Διαχειριστής Μνήμης (Memory Manager): Το τμήμα του λειτουργικού συστήματος που διαχειρίζεται τη μνήμη Τα βασικά του καθήκοντα είναι : Να παρακολουθεί ποια τμήματα της μνήμης είναι σε χρήση και ποια όχι. Να χορηγεί μνήμη σε διεργασίες όποτε την χρειάζονται. Να επαναχορηγεί σε άλλες την μνήμη όταν οι πρώτες ολοκληρώνουν την αποστολή τους. Να διαχειρίζεται την εναλλαγή (swapping) πληροφοριών μεταξύ κύριας μνήμης και δίσκου, όταν η κύρια μνήμη δεν είναι αρκετή για να εξυπηρετηθούν όλες οι διεργασίες. 2

3 ΔΙΑΧΕΙΡΗΣΗ ΜΝΗΜΗΣ ΧΩΡΙΣ ΕΝΑΛΛΑΓΗ Ή ΣΕΛΙΔΟΠΟΙΗΣΗ Διάκριση Συστημάτων Διαχείρισης Μνήμης Αυτά που μετακινούν διεργασίες μεταξύ κύριας μνήμης και δίσκου κατά τη διάρκεια της εκτέλεσής τους (swapping και paging) Αυτά που δε διαθέτουν τέτοιες τεχνικές Τα τελευταία θα μελετηθούν πρώτα μιας και είναι πιο απλά. 3

4 ΜΟΝΟΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΧΩΡΙΣ EΝΑΛΛΑΓΗ ΚΑΙ ΣΕΛΙΔΟΠΟΙΗΣΗ (1/2) Διεργασία Χρήστη Λειτουργικό Σύστημα στη RAM Λειτουργικό Σύστημα στη RΟΜ Διεργασία Χρήστη Οδηγοί Συσκευών στη RΟΜ Διεργασία Χρήστη Λειτουργικό Σύστημα στη RAM Απλούστερο δυνατό σύστημα διαχείρισης μνήμης Κάθε φορά έχουμε μόνο μία διεργασία στη μνήμη που επιτρέπεται να χρησιμοποιεί το σύνολό της Συνηθέστερη τεχνική: Η μνήμη διαμοιράζεται ανάμεσα στο λειτουργικό σύστημα και σε μία μόνο διεργασία χρήστη 4

5 ΜΟΝΟΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΧΩΡΙΣ EΝΑΛΛΑΓΗ ΚΑΙ ΣΕΛΙΔΟΠΟΙΗΣΗ Διαδικασία εκτέλεσης διεργασίας Εισαγωγή εντολής από το χρήστη Το λειτουργικό σύστημα φορτώνει στη μνήμη από το δίσκο το πρόγραμμα που ζητήθηκε και το εκτελεί Όταν η διεργασία τελειώσει, το λειτουργικό σύστημα τυπώνει ένα χαρακτήρα προτροπής και περιμένει μία νέα εντολή για να φορτώσει μια άλλη διεργασία 5

6 ΠΟΛΥΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΚΑΙ ΧΡΗΣΙΜΟΠΟΙΗΣΗ ΜΝΗΜΗΣ Ανάγκες για πολυπρογραμματισμό: Ευκολότερος ο προγραμματισμός μιας εφαρμογής χωρίζοντας την σε δύο ή περισσότερες διεργασίες Παροχή διαλογικών υπηρεσιών ταυτόχρονα (μέσων ενός μεγάλου υπολογιστή) σε ικανό αριθμό χρηστών. Αποδοτική χρήση της CPU όταν μια διεργασία βρίσκεται «μπλοκαρισμένη» περιμένοντας να ολοκληρωθούν διάφορες εργασίες εισόδου / εξόδου. Για να είναι λογικές οι επιδόσεις του συστήματος πρέπει να βρίσκονται περισσότερες από μια διεργασίες στην κύρια μνήμη. 6

7 ΜΟΝΤΕΛΟΠΟΙΗΣΗ ΤΟΥ ΠΟΛΥΠΡΟΓΡΑΜΜΑΤΙΣΜΟΥ Έστω μια διεργασία καταναλώνει τμήμα p του χρόνου της σε κατάσταση αναμονής για εργασίες εισόδου/εξόδου. Με n τέτοιες διεργασίες συγχρόνως στην μνήμη, η πιθανότητα όλες τους να περιμένουν για είσοδο/έξοδο (οπότε η CPU θα είναι αδρανής) είναι p n Αξιοποίηση της CPU = 1 p n Βαθμός πολυπρογραμματισμού είναι η αξιοποίηση της CPU συναρτήσει του n 7

8 ΠΟΛΥΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΜΕ ΣΤΑΘΕΡΑ ΤΜΗΜΑΤΑ ΜΝΗΜΗΣ Απλούστερος Τρόπος οργάνωσης της μνήμης ώστε να βρίσκονται σε αυτή περισσότερες από μία διεργασίες ταυτόχρονα: Διαίρεση της μνήμης σε τμήματα (partitions), ίσα ή άνισα Σύστημα με πολλές ουρές όπου τοποθετούνται οι διεργασίες που καταφθάνουν για να εκτελεσθούν. Η πρώτη προσέγγιση εξυπηρετεί την πρώτη διεργασία στην ουρά η οποία χωράει στο τμήμα της μνήμης που μόλις ελευθερώθηκε. Σύστημα με μία ουρά όπου τοποθετούνται οι διεργασίες που καταφθάνουν για να εκτελεσθούν Στην δεύτερη προσέγγιση τοποθετείται στο τμήμα που μόλις ελευθερώθηκε η μεγαλύτερη διεργασία που βρίσκεται στην ουρά και χωράει στο τμήμα αυτό. 8

9 ΠΟΛΥΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΜΕ ΣΤΑΘΕΡΑ ΤΜΗΜΑΤΑ ΜΝΗΜΗΣ 9

10 ΜΕΤΑΤΟΠΙΣΗ ΚΑΙ ΠΡΟΣΤΑΣΙΑ Δύο σημαντικά προβλήματα του πολυπρογραμματισμού: η μετατόπιση (relocation) η προστασία (protection) Μετατόπιση: προσδιορισμός της διεύθυνσης μνήμης στην οποία θα μεταφερθεί ο έλεγχος του προγράμματος μετά από μια κλήση σε μια σχετική διεύθυνση x του προγράμματος που εκτελείται. Η πραγματική διεύθυνση στην οποία θα δοθεί ο έλεγχος του προγράμματος είναι Διεύθυνση έναρξης του προγράμματος + x. Ύπαρξη δύο επιπλέον καταχωρητών Καταχωρητής Βάσης (base register): παίρνει ως τιμή τη διεύθυνση της αρχής του τμήματος Καταχωρητής Ορίου (limit register): παίρνει ως τιμή το μέγεθος του τμήματος π.χ. Αν ο καταχωρήτης βάσης περιέχει διεύθυνση που αντιστοιχεί στα 100Κ, μία εντολή της μορφής CALL 100 μετατρέπεται σε CALL 100K

11 ΕΝΑΛΛΑΓΗ Σε συστήματα διαμοιρασμού χρόνου (time sharing) υπάρχουν πολλοί χρήστες (πολλές διεργασίες) που πρέπει να εξυπηρετηθούν Ο αριθμός και το μέγεθος των διεργασιών είναι μεγαλύτερος από όσο μπορεί να χωρέσει στην μνήμη συγχρόνως. Εναλλαγή (swapping) : Mετακίνηση διεργασιών από την κύρια μνήμη στον δίσκο και αντίστροφα. 11

12 ΕΝΑΛΛΑΓΗ 12

13 ΕΝΑΛΛΑΓΗ 13

14 ΙΔΕΑΤΗ ΜΝΗΜΗ Η ιδεατή μνήμη (virtual memory) παρουσιάζει στις διεργασίες παραπάνω μνήμη από αυτή που διαθέτει το σύστημα. Αυτό γίνεται χρησιμοποιώντας ιδεατές διευθύνσεις (virtual addresses) οι οποίες μεταφράζονται σε πραγματικές από τη μονάδα διαχείρισης μνήμης (memory management unit). Ο χώρος των ιδεατών διευθύνσεων διαιρείται σε ίσα μέρη που ονομάζονται σελίδες (pages). Ο χώρος της φυσικής μνήμης (physical memory) διαιρείται αντίστοιχα σε πλαίσια σελίδας (page frames). 14

15 ΙΔΕΑΤΗ ΜΝΗΜΗ 15

16 ΣΕΛΙΔΟΠΟΙΗΣΗ Η σελιδοποίηση λύνει το πρόβλημα του εξωτερικού κατακερματισμού επιτρέποντας ταυτόχρονα την φόρτωση του προγράμματος σε διάσπαρτα τμήματα της κύριας μνήμης Η φυσική μνήμη χωρίζεται σε τμήματα ίσου μεγέθους (πλαίσια), ενώ η λογική μνήμη του προγράμματος χωρίζεται σε τμήματα με το ίδιο μέγεθος (σελίδες). Το μέγεθος είναι συνήθως bytes Η επιλογή της δύναμης του 2 για μέγεθος πλαισίου/σελίδας απλοποιεί τη μετατροπή μιας λογικής διεύθυνσης σε φυσική Η αντιστοίχιση του αριθμού μιας σελίδας και της φυσικής διεύθυνσης του πλαισίου γίνεται μέσω του πίνακα σελίδων (page table) 16

17 ΠΙΝΑΚΕΣ ΣΕΛΙΔΩΝ Αν ο αριθμός των bits των λογικών διευθύνσεων είναι m και το μέγεθος σελίδας είναι 2 n, τότε: τα «υψηλότερα» (most significant) m-n bits μιας λογικής διεύθυνσης προσδιορίζουν τον αριθμό της σελίδας και τα υπόλοιπα n bits τη μετατόπιση μέσα στην σελίδα Σημαντικά Προβλήματα Μεγάλος Πίνακας Σελίδων Γρήγορη Απεικόνιση 17

18 ΠΙΝΑΚΕΣ ΣΕΛΙΔΩΝ 18

19 ΑΛΓΟΡΙΘΜΟΙ ΑΝΤΙΚΑΤΑΣΤΑΣΗΣ ΣΕΛΙΔΩΝ Όταν προκύπτει λάθος σελίδας, το Λ.Σ. πρέπει να διαλέξει μια σελίδα και να την απομακρύνει για να εξασφαλίσει χώρο στη μνήμη για επόμενη σελίδα Η τροποποιημένη σελίδα πρέπει πρώτα να σωθεί Η μη τροποποιημένη απλώς διαγράφεται Καλύτερη επίδοση του συστήματος επιτυγχάνεται αν επιλεγεί μία σελίδα που δεν χρησιμοποιείται συχνά 19

20 ΑΛΓΟΡΙΘΜΟΣ ΤΗΣ ΒΕΛΤΙΣΤΗΣ ΑΝΤΙΚΑΤΑΣΤΑΣΗΣ ΣΕΛΙΔΑΣ optimal page replacement algorithm Βασίζεται στο χρόνο μελλοντικής χρήσης της σελίδας Θεωρητικά είναι βέλτιστος αλγόριθμος Πρακτικά είναι αδύνατο να υλοποιηθεί αφού προϋποθέτει πρόβλεψη της μελλοντικής συμπεριφοράς των διεργασιών. 20

21 ΑΛΓΟΡΙΘΜΟΣ ΑΝΤΙΚΑΤΑΣΤΑΣΗΣ ΣΕΛΙΔΑΣ ΠΟΥ ΔΕΝ ΧΡΗΣΙΜΟΠΟΙΗΘΗΚΕ ΠΡΟΣΦΑΤΑ Not Recently Used Κάθε σελίδα έχει bit αναφοράς και bit τροποποίησης Τα bit ενεργοποιούνται όταν στη σελίδα γίνει αναφορά ή τροποποίηση Οι σελίδες κατηγοριοποιούνται 0. δεν έγινε αναφορά, δεν τροποποιήθηκε 1. δεν έγινε αναφορά, τροποποιήθηκε 2. έγινε αναφορά, δεν τροποποιήθηκε 3. έγινε αναφορά, τροποποιήθηκε Ο NRU αντικαθιστά τις σελίδες τυχαία Από την χαμηλότερη αριθμημένη μη άδεια τάξη 21

22 ΑΛΓΟΡΙΘΜΟΣ ΑΝΤΙΚΑΤΑΣΤΑΣΗΣ ΣΕΛΙΔΑΣ ΠΡΩΤΗ ΜΕΣΑ, ΠΡΩΤΗ ΕΞΩ (FIFO) first page in first page out Διατήρηση μιας λίστας με δεσμούς όλων των σελίδων Με τη σειρά που ήρθαν στη μνήμη Σελίδα στην αρχή της λίστας που αντικαταστάθηκε Μειονέκτημα Σελίδα στην μνήμη το περισσότερο που μπορεί να χρησιμοποιηθεί 22

23 ΑΛΓΟΡΙΘΜΟΣ ΑΝΤΙΚΑΤΑΣΤΑΣΗΣ ΣΕΛΙΔΩΝ ΔΕΥΤΕΡΗΣ ΕΥΚΑΙΡΙΑΣ second chance replacement algorithm Τροποποίηση του FIFO έτσι ώστε σελίδες που έχουν χρησιμοποιηθεί πρόσφατα όταν είναι υποψήφιες για αντικατάσταση να μεταφέρονται πάλι στην αρχή της ουράς Μειονέκτημα Είναι άσκοπα μη αποδοτικός μιας και διαρκώς μετακινεί σελίδες γύρω από τη λίστα 23

24 ΑΛΓΟΡΙΘΜΟΣ ΤΟΥ ΡΟΛΟΓΙΟΥ clock Τροποποίηση του αλγορίθμου δεύτερης ευκαιρίας έτσι ώστε ο έλεγχος για τις σελίδες που έχουν χρησιμοποιηθεί να γίνεται κυκλικά και να μη μεταφέρονται στην αρχή της ουράς. Διαφέρει από τον αλγόριθμο δεύτερης ευκαιρίας μόνο στην υλοποίηση 24

25 ΑΛΓΟΡΙΘΜΟΣ ΑΝΤΙΚΑΤΑΣΤΑΣΗΣ ΤΗΣ ΛΙΓΟΤΕΡΟ ΠΡΟΣΦΑΤΑ ΧΡΗΣΙΜΟΠΟΙΗΜΕΝΗΣ ΣΕΛΙΔΑΣ least recently used Κάθε σελίδα σχετίζεται με έναν μετρητή ο οποίος μετράει τον αριθμό των προσβάσεων στη σελίδα. Η σελίδες με τις λιγότερες προσβάσεις είναι αυτές που απομακρύνονται. Όλοι οι αλγόριθμοι που περιγράφηκαν εξαρτώνται από ειδικό υλικό και δεν βοηθούν στη σχεδίαση ενός Λ.Σ. Που δεν έχει αυτό το υλικό 25

26 ΜΕΓΕΘΟΣ ΣΕΛΙΔΑΣ Πλεονεκτήματα Λιγότερη εσωτερική κατάτμηση Μικρό μέγεθος σελίδας Διάφορες δομές δεδομένων χωράνε καλύτερα,τομείς κώδικα Λιγότερο αχρησιμοποίητο πρόγραμμα στην μνήμη Μειονεκτήματα Τα προγράμματα χρειάζονται περισσότερες σελίδες, μεγαλύτεροι πίνακες σελίδων Επιβάρυνση λόγω του πίνακα σελίδας και της εσωτερικής κατάτμησης 26

27 ΚΑΤΑΤΜΗΣΗ Η κατάτμηση (segmentation) επιτρέπει το διαχωρισμό της μνήμης μιας διεργασίας σε πολλά γραμμικά τμήματα. Τα τμήματα αυτά για κάθε διεργασία μπορούν να περιέχουν: Τον κώδικα Τη στοίβα Τα αρχικοποιημένα δεδομένα Το χώρο ανάπτυξης της δυναμικής μνήμης 27

28 ΚΑΤΑΤΜΗΣΗ Η κατάτμηση επιτρέπει: την εύκολη μεταφορά του κώδικα, αφού κάθε τμήμα του εκφράζεται σχετικά με την αρχή του τμήματος. την προστασία των δεδομένων ανάλογα με τον τύπο τους. Την υλοποίηση διαμοιραζομένων βιβλιοθηκών (shared libraries) Η κατάτμηση υλοποιείται με βάση δομών στη μνήμη που καλούνται περιγραφείς (descriptors) και περιέχουν τα χαρακτηριστικά στοιχεία κάθε τμήματος (θέση στην πραγματική μνήμη, προστασία, μέγεθος). 28

29 ΚΑΤΑΤΜΗΣΗ 29

30 ΚΑΤΑΤΜΗΣΗ 30

31 ΚΑΤΑΤΜΗΣΗ ΜΕ ΣΕΛΙΔΕΣ 31