Έλεγχος Ταυτοχρονισμού: Διαφορά μεταξύ των αναθεωρήσεων

Στην επιστήμη των υπολογιστών ιδιαίτερα στους κλάδους του ''προγραμματισμού'', ''λειτουργικών συστημάτων'', ''μικροεπεξεργαστών'' και [[Βάση δεδομένων|βάσεων δεδομένων]] (ΒΔ) ο '''έλεγχος ταυτοχρονισμού''' διασφαλίζει την ορθότητα των αποτελεσμάτων για ταυτόχρονες ενέργειες/συναλλαγές το ταχύτερο δυνατό. Τα υπολογιστικά συστήματα αποτελούνται από υποσυστήματα. Κάθε υποσύστημα σχεδιάζεται υιοθετώντας κάποιους κανόνες συνέπειας. Όταν τα υποσυστήματα που λειτουργούν ταυτόχρονα αλληλεπιδρούν στέλνοντας μηνύματα το ένα στο άλλο ή διακινώντας δεδομένα ίσως η συνέπεια κάποιου υποσυστήματος να παραβιάζεται από κάποιο άλλο. Ο έλεγχος ταυτοχρονισμού παρέχει κανόνες , μεθόδους και σχεδιαστικές μεθοδολογίες οι οποίες διατηρούν την συνέπεια των υποσυστημάτων τα οποία λειτουργούν ταυτόχρονα όταν αλληλεπιδρούν και επομένως διατηρεί την συνέπεια ολόκληρου του συστήματος. Οι κανόνες της συνέπειας και της ορθότητας συνάδουν με την αποδοτικότητα του συστήματος.