Szekvencialis konzisztencia (az utasítas-feldolgozas és a kivételkezelés soros konzisztenciaja, a precíz megszakítas-kezelés)

Szekvenciális konzisztencia (az utasítás-feldolgozás és a kivételkezelés soros konzisztenciája, a precíz megszakítás-kezelés)

Szekvenciális konzisztencia

Utasításfeldolgozás Kivételkezelés

Szekvenciális konzisztenciája Szekvenciális konzisztenciája

Utasítás-végrehajtás Memória-hozzáférés Kivétel-konzisztencia

Szekvenciális konzisztenciája

Konzisztenciája Memória-konzisztencia

Processzor-konzisztencia

Processzor-konzisztencia

Probléma:

MUL

ADD

JZ (JMP ZERO)

Ha nem figyelünk, akkor a MUL értékére reagál!

Soros feldolgozás esetén, amennyiben az ADD eredménye nulla, akkor ugrik.

Párhuzamos feldolgozás esetén várhatóan a MUL utasítás fejezödik be késöbb, tehát biztosítani kell, hogy az ugrás továbbra is az ADD utasítás nulla eredménye esetén történjen

Kivételek konzisztenciája

Gyenge konzisztencia Erös konzisztencia

Pontatlan megszakítás-kezelés Pontos megszakítás-kezelés

Pontatlan megszakításkezelés:

Probléma:

MUL

ADD

JZ

Párhuzamos feldolgozás esetén várhatóan az ADD utasítás fejezödik be hamarabb, és lehet, hogy pl. túlcsordulással - amennyiben ezt a processzor elfogadja, akkor az állapottere elveszti korrektséget, ami csak kiegészítö eljárásokkal lehet helyreállítani. Ennek oka, hogy a korábbi MUL utasítás még definiálatlan s így felborulhat a kivételkezelés soros konzisztenciája

Pl.: Power1 (1990) és Power 2 (1993) - csak a lebegöpontos utasításoknál. Az Alpha processzorok viszont minden utasításnál

Pontos megszakításkezelés

A processzor kizárólag az eredeti utasítás szekvenciának megfelelö sorrendben fogadja el a megszakításkéréseket

Ehhez általában átrendezö-puffert használ, így a processzor csak akkor fogadja el a megszakításkérést, amikor az adott utasítást kiírjuk az átrendezö-pufferböl. Pl.: Az Intel processzorcsalád, és a mai processzorok