Ανακεφαλαίωση

Στα ταυτόχρονα προγράμματα η ύπαρξη δεδομένων που χρησιμοποιούν από κοινού πολλές διεργασίες (και τουλάχιστον μια από αυτές γράφει στα δεδομένα), εισάγει το ζήτημα της ακεραιότητας των δεδομένων αυτών. Το τμήμα κώδικα μιας διεργασίας το οποίο διαβάζει ή γράφει χρησιμοποιούν από κοινού χρησιμοποιούμενα δεδομένα ονομάζεται κρίσιμο τμήμα. Από μια ομάδα διεργασιών που χρησιμοποιούν από κοινού δεδομένα μόνο μια μπορεί να εκτελεί ανά πάσα στιγμή το κρίσιμο τμήμα της. Αν για κάποιο λόγο όλες οι διεργασίες της ομάδας εμποδίζονται να εκτελέσουν το κρίσιμο τμήμα τους, τότε έχουμε μια περίπτωση αδιεξόδου.

Ερωτήσεις - Τι είναι το κρίσιμο τμήμα; Περίγραψε το κρίσιμο τμήμα στο πρόβλημα των τραπεζικών αναλήψεων. - Πότε έχουμε αμοιβαίο αποκλεισμό μεταξύ δύο διεργασιών; - Εξήγησε τη λύση του Peterson για τον αμοιβαίο αποκλεισμό.