Intel har (ännu) inte officiellt sagt att Haswell kommer stödja något som kallas för transactional memory men mycket tyder på att Haswell kommer stödja detta, t.ex artiklar som denna.
Hardware transactional memory (HTM) ger programmerare (minst) två stora fördelar
1. fler algoritmer går att göra "låsfria" med HTM än med de atomära instruktioner vi har i dagens CPUer (som t.ex. compare-and-swap).
2. idag kan man naturligtvis använda lås (mutex, spinlock etc) för att skydda data-strukturer under uppdateringen och läsning i program som använder flera CPU-kärnor, men motsvara med HTM kan potentiellt bli betydligt mycket mer effektivt -> programmet kan skala bättre
Det skulle kunna se ut så här i C/C++/Java
atomic {
if (f(x) != y)
y = x;
}
Allt i blocken som har prefix "atomic" är garanterat att köras i sin helhet utan att någon annan tråd under tiden modifierat x eller y. Idag skulle man i stället få skriva
lock(mutex);
if (f(x) != y)
y = x;
unlock(mutex);
Skillnaden i dessa är fler en man kan tro. I fallet med en mutex så är f(x) garanterad att köras exakt en gång. Tyvärr krävs minst två (dyra) instruktioner, en för att implementera lock(mutex) och en för unlock(mutex).
I HTM fallet så körs f(x) MINST en gång (men det kan vara fler), så den får inte ha sidoeffekter. Men den stora fördelen är att alla resultat och beräkningar kan göra hel isolerat på en CPU-kärna som körs och man klarar sig med en dyr instruktion för att göra resultat synligt för andra CPU:er!
Kan låta lite att bara spara en (i.o.f.s dyr) instruktion, men en sådan instruktion kan ta VÄLDIGT många cykler och dessa instruktioner ställer till stora prestandaproblem för en CPU som har spekulativ exekvering (i.e. alla moderna x86 förutom Atom). Så fördelen för oss användare är att gränsen för vilka typer av algoritmer som effektivt kan köras på fler än en CPU-kärna flyttas en bra bit.
