[Advcomparch] Ερώτηση για RMO

[Konstantinos Nikas]

Καλησπέρα,

τα data dependencies είναι πάντα σεβαστά και δεν μπορούν να
αναδιαταχτούν. Επομένως, πρέπει ο P1 να διαβάσει το x και να πάρει
τιμή 1 και να διαβάσει το x και να πάρει τιμή 0.

Κ.

On Wed, 11 Sep 2019 at 01:15, Theodore D <diamaltho at 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 at lists.cslab.ece.ntua.gr
> http://lists.cslab.ece.ntua.gr/mailman/listinfo/advcomparch



-- 
Dr. Konstantinos Nikas
Computing Systems Laboratory
School of Electrical and Computer Engineering
National Technical University of Athens

Tel: +30-210-7724159
e-mail: knikas at cslab.ece.ntua.gr
http://www.cslab.ece.ntua.gr/~knikas