Καλησπέρα,
Στα θέματα της εαρινής εξεταστικής υπήρχε μία άσκηση που μεταξύ άλλων
ζητούσε να ελέγξουμε αν το παρακάτω σενάριο μπορεί να προκύψει σε σύστημα
που υλοποιεί RMO:
P0: W(x, 1)
P1: R(x, 1), R(x, 0)
Θεωρούμε ότι μπορούν να αναδιαταχθούν οι εντολές R(x, 1) και R(x, 0) (άρα
το σενάριο είναι εφικτό);
Ή αυτό δεν βγάζει νόημα, καθώς οι εντολές είναι στην πραγματικότητα R(x)
και R(x) και η αναδιάταξή τους δεν αλλάζει το αποτέλεσμα; Δηλαδή με
οποιαδήποτε σειρά πρώτα θα διαβαστεί η τιμή 1 και μετά 0 (άρα το σενάριο
δεν είναι εφικτό).