Καλησπέρα,
Στα θέματα της εαρινής εξεταστικής υπήρχε μία άσκηση που μεταξύ άλλων ζητούσε να ελέγξουμε αν το παρακάτω σενάριο μπορεί να προκύψει σε σύστημα που υλοποιεί RMO:
P0: W(x, 1) P1: R(x, 1), R(x, 0)
Θεωρούμε ότι μπορούν να αναδιαταχθούν οι εντολές R(x, 1) και R(x, 0) (άρα το σενάριο είναι εφικτό);
Ή αυτό δεν βγάζει νόημα, καθώς οι εντολές είναι στην πραγματικότητα R(x) και R(x) και η αναδιάταξή τους δεν αλλάζει το αποτέλεσμα; Δηλαδή με οποιαδήποτε σειρά πρώτα θα διαβαστεί η τιμή 1 και μετά 0 (άρα το σενάριο δεν είναι εφικτό).
Καλησπέρα,
τα data dependencies είναι πάντα σεβαστά και δεν μπορούν να αναδιαταχτούν. Επομένως, πρέπει ο P1 να διαβάσει το x και να πάρει τιμή 1 και να διαβάσει το x και να πάρει τιμή 0.
Κ.
On Wed, 11 Sep 2019 at 01:15, Theodore D diamaltho@gmail.com wrote:
Καλησπέρα,
Στα θέματα της εαρινής εξεταστικής υπήρχε μία άσκηση που μεταξύ άλλων ζητούσε να ελέγξουμε αν το παρακάτω σενάριο μπορεί να προκύψει σε σύστημα που υλοποιεί RMO:
P0: W(x, 1) P1: R(x, 1), R(x, 0)
Θεωρούμε ότι μπορούν να αναδιαταχθούν οι εντολές R(x, 1) και R(x, 0) (άρα το σενάριο είναι εφικτό);
Ή αυτό δεν βγάζει νόημα, καθώς οι εντολές είναι στην πραγματικότητα R(x) και R(x) και η αναδιάταξή τους δεν αλλάζει το αποτέλεσμα; Δηλαδή με οποιαδήποτε σειρά πρώτα θα διαβαστεί η τιμή 1 και μετά 0 (άρα το σενάριο δεν είναι εφικτό). _______________________________________________ Advcomparch mailing list Advcomparch@lists.cslab.ece.ntua.gr http://lists.cslab.ece.ntua.gr/mailman/listinfo/advcomparch
advcomparch@lists.cslab.ece.ntua.gr