[Advcomparch] 4.B.2

Nikos Anastopoulos anastop at cslab.ece.ntua.gr
Tue Jul 12 11:34:54 EEST 2011


On 07/11/2011 08:47 PM, Carl Barks wrote:
> Ζητάτε:
>
> 2. Ποιοι από αυτούς τους συνδυασμούς μπορούν να εμφανιστούν με
> sequential consistency;
>
> Εννοείται προφανώς με τον κώδικα όπως είναι και όχι με κάποια αναδιάταξη
> που θα έχουμε κάνει για να βρούμε πιθανά αποτελέσματα για το 1. Σωστά;

Προφανώς στην SC θα παίρνετε ένα υποσύνολο των δυνατών αποτελεσμάτων που 
παίρνετε με κάποιο πιο χαλαρό memory model, ακριβώς επειδή δεν 
επιτρέπονται οι αναδιατάξεις.

Ν.




More information about the Advcomparch mailing list