Kleine buffer waarin een core schrijfacties tijdelijk verzamelt. Het kan naar de volgende instructie gaan zonder te wachten op de voltooiing van het schrijven, maar voor andere cores lijkt het schrijven vertraagd.
Japanse benaming: ストアバッファ
“Store buffer” komt voor in 3 oefenvragen uit 1 onderwerpen, bijv. Multicore en synchronisatie.
Vakgebied: Multicore en synchronisatie
Antwoord: C. In welke volgorde de lees- en schrijfacties van een core naar meerdere adressen voor andere cores zichtbaar kunnen zijn
Voor betere prestaties kan een CPU de volgorde van geheugenbewerkingen wijzigen, bijvoorbeeld door schrijfacties in een store buffer te verzamelen of lezen voor te trekken. Binnen één core is dit zo gemaakt dat het resultaat niet verandert, maar voor andere cores kan de volgorde verwisseld lijken. Het geheugenconsistentiemodel legt vast welke verwisselingen kunnen optreden en is de afspraak waarmee programmeurs correcte synchronisatie kunnen schrijven.
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.
Voor betere prestaties kan een CPU de volgorde van geheugenbewerkingen wijzigen, bijvoorbeeld door schrijfacties in een store buffer te verzamelen of lezen voor te trekken.
Wat legt een geheugenconsistentiemodel vast?Bij echte CPU's komt x = 1 echter eerst in de store buffer van de core, en de latere leesactie r1 = y kan eerder een waarde uit het hoofdgeheugen of de cache lezen voordat de schrijfactie voor andere cores zichtbaar wordt.
De bovenstaande twee threads worden tegelijk op verschillen…Dit is een model dat de aanwezigheid van de store buffer rechtstreeks weergeeft.
Welke eigenschap van het geheugenconsistentiemodel van x86 …Geheugenconsistentiemodel (memory consistency model) Sequentiële consistentie (sequential consistency) Geheugenbarrière (memory barrier) TSO (total store order) Numerieke apertuur (NA) ABA-probleem Acquire-release Atomaire instructie Barrièresynchronisatie Compare-and-swap