Περιγραφή και Έλεγχος ιεργασιών

Transcript

1 Περιγραφή και Έλεγχος ιεργασιών Περίληψη ιεργασίες Πολυπρογραµµατισµός Καταστάσεις ιεργασιών Περιγραφή διεργασιών στο ΛΣ Έλεγχος διεργασιών Το ΛΣ Linux 1

2 ιεργασία (process) ιεργασία είναι κάθε πρόγραµµα που εκτελείται Κώδικας του προγράµµατος (program code) εδοµένα (data) τα οποία χρειάζονται από το πρόγραµµα (µεταβλητές, ενδιάµεση µνήµη (buffers), work space ) Κατάσταση της διεργασίας (execution context or process state). Καταχωρητές του επεξεργαστή και δεδοµένα τα οποία χρησιµοποιεί το ΛΣ για να παρακολουθεί και να ελέγχει κάθε διεργασία (προτεραιότητα, κατάσταση Ε/Ε, κλπ). Ή έννοια της διεργασίας είναι σηµαντική στην όλη λειτουργία του ΛΣ. Κάθε πρόγραµµα αποτελείται από µια ή περισσότερες διεργασίες ή υποδιεργασίες (threads). Ο καταµερισµός των πόρων του συστήµατος γίνεται µεταξύ των διεργασιών ιεργασίες συναγωνίζονται για πρόσβαση στους πόρους του συστήµατος Το ΛΣ επίσης αποτελείται από διάφορες διεργασίες. ιεργασία (process) Τρόποι ηµιουργίας ιεργασιών Υποβολή εργασίας (batch job submission) Είσοδος νέου χρήστης (user login) Παροχή κάποιας υπηρεσίας από το ΛΣ. Μια διεργασία (εφαρµογή) δηµιουργεί µια νέα (spawned child process) Όταν δηµιουργηθεί η νέα διεργασία το ΛΣ δηµιουργεί τις απαιτούµενες δοµές έτσι που να µπορεί να τη διαχειριστεί Τρόποι τερµατισµού διεργασιών Κανονικός τερµατισµός ιάφορα λάθη (π.χ., αριθµητικά, προσπάθεια πρόσβασης σε µη επιτρεπτό χώρο, χρήση µη επιτρεπτών εντολών) Αποτυχία κάποιον συσκευών Ε/Ε Παραβίαση χρονικών περιθωρίων Όταν τερµατίζεται µια διεργασία ελευθερώνεται η δεσµευµένη µνήµη. 2

3 Λίστα ιεργασιών (Process List) Process List i j CPU Registers i PC Process A Context Data Program Code b h Base Limit Process B Context Data Program Code h Other Registers Πολυπρογραµµατισµός (multiprogramming) Πολυπρογραµµατισµός ή ψευδοπαράλληλο σύστηµα Ο επεξεργαστής µπορεί να εκτελεί µόνο ένα πρόγραµµα Το ΛΣ δηµιουργεί την ψευδαίσθηση ότι ο υπολογιστής εκτελεί παράλληλα πολλά προγράµµατα PC 0xFFFF

4 Πολυπρογραµµατισµός Χρόνος Μόνο ένα πρόγραµµα εκτελείται κάθε στιγµή. Ψευδαίσθηση ότι οι διεργασίες τρέχουν παράλληλα. Παράδειγµα Πολυπρογραµµατισµού 0 Ίχνη των ιεργασιών Ίχνος Dispatcher ιεργασία Α ιεργασία Β ιεργασία Γ Κύρια Μνήµη ιερ. Α ιερ. Β ιερ. Γ

5 Μοντέλο ύο Καταστάσεων Κάθε διεργασία µπορεί να βρίσκεται σε µια από δύο δυνατές καταστάσεις Εκτελείται (running) εν εκτελείται και περιµένει (waiting) Μηχανή Πεπερασµένων Καταστάσεων (Finite State Machine FSM) Επιλογή ηµιουργία ιεργασίας Περιµένει Εκτελείται Τερµατισµός Αναστολή Κύκλοι αντιπροσωπεύουν καταστάσεις (states) Βέλη αντιπροσωπεύουν µεταβάσεις (event transitions) Μοντέλο ύο Καταστάσεων Υλοποίηση του µοντέλου δύο καταστάσεων σαν σύστηµα ουράς ηµιουργία διεργασίας Ουρά διεργασιών CPU Τερµατισµός Πώς θα υλοποιούσατε µια ουρά; Ποια τα πιθανά µειονεκτήµατα του µοντέλου δύο καταστάσεων και πώς αντιµετωπίζονται; Μια διεργασία µπορεί να µην εκτελείται για δύο λόγους Ο χρονοδροµολογητής επέλεξε άλλη διεργασία να εκτελεσθεί από τον επεξεργαστή. Η διεργασία δεν µπορεί να εκτελεσθεί διότι περιµένει κάποια συσκευή Ε/Ε. 5

6 Μοντέλο Πέντε Καταστάσεων Κάθε διεργασία µπορεί να βρίσκεται σε µια από πέντε δυνατές καταστάσεις Εκτελείται (running) εν εκτελείται αλλά είναι έτοιµη (ready) εν εκτελείται και δεν είναι έτοιµη (blocked) Νέα διεργασία υπό δηµιουργία (new) Παρόλο που έχει δηµιουργηθεί µπορεί να παραµένει ανέτοιµη να εκτελεσθεί Τερµατισµός διεργασίας (Exit) Μια διεργασία που τερµατίζει πρέπει να ελευθερώσει όλους τους πόρους τους οποίους έχει δεσµευµένους. Μοντέλο Πέντε Καταστάσεων dispatched loaded Done new Ready running exit I/O Response Timeout blocked I/O Request Σε ορισµένα ΛΣ είναι δυνατόν να υπάρχουν επιπρόσθετες µεταβάσεις, π.χ., Ready Exit, Blocked Exit. Αυτό µπορεί να συµβαίνει όταν η διεργασία είναι θυγατρική από γονέα ο οποίος τερµάτισε. 6

7 Υλοποίηση Μοντέλο Πέντε Καταστάσεων ηµιουργία διεργασίας Ουρά Έτοιµων διεργασιών CPU Τερµατισµός Αλλαγή διεργασίας Ουρά Μη-Έτοιµων διεργασιών Ηαλλαγή διεργασίας ελέγχεται από το ΛΣ και µπορεί να γίνει διότι µια διεργασία έχει εξαντλήσει το χρονικό της περιθώριο ή διότι υπάρχει διεργασία υψηλότερης προτεραιότητας Εναλλακτικά, µπορούν να υλοποιηθούν παράλληλες ουρές µη έτοιµων διεργασιών, µια για κάθε αναµενόµενο συµβάν. Μοντέλα Καταστάσεων Άλλα µοντέλα µπορούν συµπεριλάβουν επιπρόσθετές καταστάσεις, π.χ., τι θα συµβεί εάν δεν υπάρχει διαθέσιµη µνήµη για να φορτωθεί άλλη µια διεργασία; Suspended: κατάσταση στην οποία η διεργασία δεν είναι φορτωµένη στην κύρια µνήµη. dispatched loaded Done new Ready running exit activate Timeout I/O Response I/O Request suspended suspend blocked 7

8 Περιγραφή ιεργασιών στο ΛΣ Το ΛΣ διατηρεί διάφορες δοµές ελέγχου (control structures) όπου αποθηκεύονται οι πληροφορίες που χρειάζεται το ΛΣ Πίνακας Μνήµης Κατανοµή µνήµης (κύριας ή δευτερεύουσας) σε διεργασίες Κανόνες χρήσης και περιορισµούς πρόσβασης Πίνακας συσκευών Ε/Ε Ποιες συσκευές υπάρχου, πιες είναι δεσµευµένες και ποιες ελεύθερες. Ποιες λειτουργίες Ε/Ε βρίσκονται σε εξέλιξη Πίνακας Αρχείων Που βρίσκεται το κάθε αρχείο καθώς και επιπρόσθετες πληροφορίες π.χ., κωδικούς πρόσβασης. Πίνακας ιεργασιών Το πρόγραµµα, τα δεδοµένα του προγράµµατος, οι τιµές των καταχωρητών (process image). Έλεγχος ιεργασιών Τα περισσότερα ΛΣ υποστηρίζουν δύο τρόπους εκτέλεσης προγραµµάτων (modes of execution) Στον πυρήνα (kernel mode) του ΛΣ ιεργασίες που εκτελούνται στον πυρήνα έχουν περισσότερα προνόµια. Μπορούν να χρησιµοποιούν περισσότερες εντολές Έχουν άµεση πρόσβαση στις συσκευές Ε/Ε Στο χώρο του χρήστη (user mode) Προβλήµατα Πώς ο επεξεργαστής αποφασίζει ποιο τρόπο θα χρησιµοποιήσει; Υπάρχει κάποιο bit στον καταχωρητή (Program Status Word PSW) Πώς αλλάζει το τρόπος εκτέλεσης; Το bit αυτό αλλάζει κατάσταση όταν συµβεί κάποιο γεγονός (event) π.χ., συστηµική κλήση (system call) 8

9 Έλεγχος ιεργασιών Όταν δηµιουργηθεί µια διεργασίας το ΛΣ Προσδιορίζει µια ταυτότητα (process identification) Παρέχει την απαιτούµενη µνήµη (memory allocation) Αρχικοποιεί την δοµή ελέγχου της διεργασίας (process control block initialization) Αρχικοποιεί άλλες πιθανές συνδέσεις (π.χ., µε τις λίστες του χρονοδροµολογητή) ηµιουργεί ή επεκτείνει άλλες δοµές δεδοµένων (π.χ., την δοµή µετρήσεων και παρακολούθησης για σκοπούς χρέωσης). Έλεγχος ιεργασιών Εναλλαγή ιεργασιών (process switching) Συµβαίνει σαν αποτέλεσµα κάποιου γεγονότος (event) Σήµα διακοπής (interrupt, e.g., clock interrupt, I/O interrupt). Περιστατικό λάθους ή εξαιρετικής κατάστασης (fault or exception, e.g., Memory fault) Κλήση επόπτη (supervisor call, e.g., a system call) Εναλλαγή τρόπου εκτέλεσης Μόλις παραληφθεί σήµα διακοπής το program counter πηδά στην αρχή της ρουτίνας που διαχειρίζεται το σήµα διακοπής (interrupt handler). Ο επεξεργαστής εναλλάσσει επίσης στον τρόπο εκτέλεσης στον πυρήνα (kernel mode). Κάθε σήµα διακοπής δεν σηµαίνει αυτόµατα και εναλλαγή διεργασίας 9

10 Έλεγχος ιεργασιών Αλλαγή κατάστασης διεργασίας (process state change) Μεταγωγή περιβάλλοντος (process switch or context switch). Αποθήκευση της κατάστασης του επεξεργαστή (καταχωτητές context) Ενηµέρωση της δοµής ελέγχου της διεργασίας (process control block) Μεταφορά της δοµής ελέγχου της διεργασίας στη κατάλληλη ουρά Επιλογή της επόµενης διεργασίας (χρονοδροµολογητής) Ενηµέρωση της δοµής ελέγχου της νέας διεργασίας. Ενηµέρωση των δοµών δεδοµένων που σχετίζονται µε τη διαχείριση της µνήµης Επαναφορά της κατάστασης του επεξεργαστή στο σηµείο που ήταν την τελευταία φορά πριν διακοπεί η δεδοµένη διαδικασία. Linux Κάθε διεργασία στο ΛΣ Linux περιγράφεται µε τη δοµή task_structure State (Μοντέλο πέντε καταστάσεων) Scheduling Information (Πληροφορίες για τη χρονοδροµολόγηση των διεργασιών) Real-time processes Normal process Identifiers (Ταυτότητα διεργασιών) Unique process identifier (Μοναδική ταυτότητα) Group ID (οµαδική ταυτότητα) Interprocess Communication. (Επικοινωνία µεταξύ διεργασιών) Times and timers (Πληροφορίες σχετικές µε την ώρα δηµιουργίας µιας διεργασίας, διάστηµα εκτέλεσης, χρονόµετρα) File system. ( είκτες (pointers) σε αρχεία τα οποία ανοίχτηκαν από τη διεργασία) 10

11 Linux Κάθε διεργασία στο ΛΣ Linux περιγράφεται µε τη δοµή task_structure Address space (διευθύνσεις του χώρου της διεργασίας) Process-specific context (καταχωρητές και άλλες πληροφορίες που περιγράφουν το περιβάλλον (context) της διεργασίας. Καταστάσεις του ΛΣ Linux Running: Either executing or ready to execute Interruptible: Blocked state where the process is waiting for an I/O operation, availability of a resource or a signal from another process Uninterruptible: Also a blocked state that waits only on hardware response (no signals) Stopped: Process stopped that needs to be restarted by another process (e.g., debugger) Zombie: Terminated process but its data structures still exist. 11

12 Καταστάσεις του ΛΣ Linux Stopped creation signal signal dispatched termination Ready Executing Zombie timeout event signal or event Uninterruptible I/O request Interruptible 12