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

[Theodore D]

Καλησπέρα,

Στα θέματα της εαρινής εξεταστικής υπήρχε μία άσκηση που μεταξύ άλλων
ζητούσε να ελέγξουμε αν το παρακάτω σενάριο μπορεί να προκύψει σε σύστημα
που υλοποιεί RMO:

P0: W(x, 1)
P1: R(x, 1), R(x, 0)

Θεωρούμε ότι μπορούν να αναδιαταχθούν οι εντολές R(x, 1) και R(x, 0) (άρα
το σενάριο είναι εφικτό);

Ή αυτό δεν βγάζει νόημα, καθώς οι εντολές είναι στην πραγματικότητα R(x)
και R(x) και η αναδιάταξή τους δεν αλλάζει το αποτέλεσμα; Δηλαδή με
οποιαδήποτε σειρά πρώτα θα διαβαστεί η τιμή 1 και μετά 0 (άρα το σενάριο
δεν είναι εφικτό).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cslab.ece.ntua.gr/pipermail/advcomparch/attachments/20190911/23e259bb/attachment.htm>