<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">Καλησπέρα,</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">Στα θέματα της εαρινής εξεταστικής υπήρχε μία άσκηση που μεταξύ άλλων ζητούσε να ελέγξουμε αν το παρακάτω σενάριο μπορεί να προκύψει σε σύστημα που υλοποιεί RMO:<br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">P0: W(x, 1)</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">P1: R(x, 1), R(x, 0)</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">Θεωρούμε ότι μπορούν να αναδιαταχθούν οι εντολές R(x, 1) και R(x, 0) (άρα το σενάριο είναι εφικτό);</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">Ή αυτό δεν βγάζει νόημα, καθώς οι εντολές είναι στην πραγματικότητα R(x) και R(x) και η αναδιάταξή τους δεν αλλάζει το αποτέλεσμα; Δηλαδή με οποιαδήποτε σειρά πρώτα θα διαβαστεί η τιμή 1 και μετά 0 (άρα το σενάριο δεν είναι εφικτό).<br></div></div>