[Advcomparch] Β.2

[Nikos Anastopoulos]

On 07/14/2011 04:40 PM, ΒΥΡΩΝΑΣ ΔΟΚΙΜΑΚΗΣ wrote:
> Καλησπέρα,
>
> Με βάση την απάντησή σας, αναφορές στη μνήμη θεωρούνται όλες οι εντολές
> της άσκησης B.2, καθώς όλες είτε γράφουν είτε διαβάζουν από κάποια θέση
> μνήμης.

Σωστά.


  Συνεπώς, με βάση το RMM προκύπτει ένας τεράστιος αριθμός πιθανών
> αναδιατάξεων εντολών που πρέπει να ελέγξουμε.

Νομίζω ότι τα πράγματα είναι πιο απλά. Και εξηγούμαι: μην προσπαθείτε να 
βρείτε όλες τις διαφορετικές αναδιατάξεις εντολών -σίγουρα είναι 
πολλές-, προσπαθήστε να βρείτε τις διαφορετικές τιμές που μπορεί να 
πάρει καθένας register. Και μην ξεχνάτε ότι ζητάμε τις τελικές τιμές, 
αφότου δηλαδή έχει ολοκληρωθεί η εκτέλεση και των 2 processes.

Παράδειγμα: ο r1 δεν μπορεί να πάρει άλλη τιμή από την 1, διότι η r1=X 
δεν μπορεί να αναδιαταχθεί με την X=1.  Ομοίως και τα υπόλοιπα.

N.