Geheugenconsistentiemodel van x86. Staat alleen toe dat een leesactie van een ander adres na een schrijfactie die schrijfactie inhaalt. Model dat het bestaan van een store buffer weergeeft.
Japanse benaming: TSO(トータルストアオーダー)
“TSO (total store order)” komt voor in 1 oefenvragen uit 1 onderwerpen, bijv. Multicore en synchronisatie.
Vakgebied: Multicore en synchronisatie
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.
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.
Welke eigenschap van het geheugenconsistentiemodel van x86 …Geheugenconsistentiemodel (memory consistency model) Numerieke apertuur (NA) Store buffer ABA-probleem Acquire-release Atomaire instructie Barrièresynchronisatie Compare-and-swap Conditievariabele Data race