Multicore en synchronisatie
Welke eigenschap van het geheugenconsistentiemodel van x86 (TSO, Total Store Order) is juist?
- AHet is het zwakste model dat verwisseling van alle combinaties van lezen en schrijven toestaat
- BHet is gewoon sequentiële consistentie, die geen enkele verwisseling toestaat
- CHet is een relatief sterk model dat alleen toestaat dat een leesactie van een ander adres na een schrijfactie eerder zichtbaar wordt dan die schrijfactie
Antwoord en toelichting tonen
Antwoord: C. Het is een relatief sterk model dat alleen toestaat dat een leesactie van een ander adres na een schrijfactie eerder zichtbaar wordt dan die schrijfactie
Bij TSO blijven de volgorde van schrijfacties onderling, van leesacties onderling en van een schrijfactie na een leesactie behouden, en kan alleen een leesactie van een ander adres na een schrijfactie die inhalen. Dit is een model dat de aanwezigheid van de store buffer rechtstreeks weergeeft. Veel programma's werken binnen dit bereik intuïtief, dus bij x86 zijn barrières in relatief weinig situaties nodig.