ADX
Az ADX olyan x86 egészértékű összeadási utasításokat vezet be, amelyek független átviteli láncokat tesznek lehetővé. Hasznos a gondosan megírt többpontosságú aritmetikához, és független a BMI2-től.
Amit tudni érdemes
Az ADX olyan x86 egészértékű összeadási utasításokat vezet be, amelyek független átviteli láncokat tesznek lehetővé. Hasznos a gondosan megírt többpontosságú aritmetikához, és független a BMI2-től.
Hogyan működik
Az ADCX az átviteli jelzőbitet (carry flag), az ADOX pedig a túlcsordulási jelzőbitet (overflow flag) használja különálló átviteli bemenetként és kimenetként. Egy nagy egész számokat kezelő rutin két láncot fűzhet össze egymásba ágyazva, ha az adatfüggőségek ezt lehetővé teszik. A kezdeti jelzőbit-értékeket, a regiszterallokációt és a többi jelzőbit-író utasítással való kölcsönhatást szabályozni kell.
Ahol hasznos
Egy nagy számokkal dolgozó szorzómag képes a részszorzatokat független átviteli láncokkal kombinálni, esetenként a BMI2 MULX utasításával párhuzamosan. Ez egy függvénytáron belüli implementációs döntés, nem pedig egy rendszerszintű mód, amely minden egészértékű összeadást gyorsabbá tesz.
A támogatás és az engedélyezés ellenőrzése
A CPUID.07H.00H:EBX 19. bitje jelzi az ADX meglétét. A rutin által használt minden további utasításcsaládhoz külön végezze el a vezérlésátadást (dispatch). Érvényesítse az átvitelterjedést és a határeseteket a szokásos numerikus eredmények mellett.
A pontos utasítás- és operandusformát ellenőrizze ahelyett, hogy egy szomszédos kiterjesztésből következtetne a támogatásra. A skaláris egészértékű funkciók általában általános célú regisztereket használnak; a vektorokhoz társított kódolás nem jelent automatikusan vektorállapot-követelményt.
Amit a funkció nem biztosít
Az ADX nem garantálja a konstans idejű kriptográfiai megvalósítást, és nem gyorsítja fel az összes nagy egész számokkal végzett műveletet. Nem feltételezi a BMI2 meglétét, és egy olyan másik utasítás használata, amely felülír egy szükséges jelzőbitet, megtörheti az algoritmust.
Kompatibilitás és teljesítmény a gyakorlatban
A helyesség a határesetektől és a sebességtől egyaránt függ. A nulla bemenet, a túlcsordulási és átviteli jelzőbitek, az operandus szélessége, az igazítás és a memóriarendezés mind módosíthatják a szemantikát. Érdemes olyan fordítóprogram- vagy függvénytár-felületeket előnyben részesíteni, amelyek dokumentálják ezeket a részleteket, és támogatott tartalék megoldást (fallback) kínálnak.
Gyakorlati ellenőrzőlista
- Rögzítse az érintett processzor vagy platform pontos modelljét, valamint az alkalmazás, az operációs rendszer és a futtatókörnyezet verzióját. Őrizze meg a tényleges hiba vagy követelmény pontos szövegezését.
- Ellenőrizze az adott modellhez tartozó gyártói referenciát, majd vizsgálja meg a tényleges képességet és az engedélyezett állapotot abban a környezetben, ahol a program fut.
- Vesse össze a kiválasztott bináris vagy háttérrendszer minden követelményét. Egy hasonló elnevezésű funkció, álnév vagy tág technológiai címke nem elegendő.
- Győződjön meg arról, hogy az alkalmazás a kívánt implementációt választotta ki. Használja annak dokumentált diagnosztikai eszközeit és egy támogatott tartalék megoldást, ha a követelmények nem teljesülnek.
- Egyszerre csak egy támogatott módosítást hajtson végre, és ismételje meg ugyanazt a munkaterhelést. Tartsa elérhetően az eredeti konfigurációt és a helyreállítási útvonalat.
Ha a funkció szerepel a listán, de a szoftver nem tudja használni
Kezdje a hibát jelző pontos komponenssel. A hardveradatbázis a rögzített képességet írja le; az operációs rendszer vagy a hipervizor ettől eltérő tényleges környezetet tehet elérhetővé. Az érvénytelen utasítás miatti hiba (illegal-instruction) esetén a ténylegesen hibát okozó utasítást és a bináris összeállítást is vizsgálni kell, mivel az adatsérülés vagy egy nem kapcsolódó, nem támogatott utasítás is hasonló tünetet produkálhat.
Telepítse az adott platformhoz támogatott alkalmazás-, illesztőprogram- vagy futtatókörnyezet-verziót, és szükség esetén használja a gyártó által dokumentált alapértelmezett vagy tartalék változatot. Egy szoftverfrissítés nem hozhat létre olyan utasítást, amellyel a processzor nem rendelkezik. A firmware- és biztonságipolitika-módosítások során a rendszer gyártójának eljárását és egy helyreállítási tervet kell követni egy általános optimalizálási recept helyett.
A magyarázat forrásai és hatóköre
Intel 64 and IA-32 Architectures Software Developer's Manual
Ezek a hivatkozások az architekturális viselkedést és a szoftverkövetelményeket határozzák meg. Nem ellenőrzik függetlenül a hivatkozott hardvermodell oldalán található összes funkcióértéket. A modell támogatásához használja az adott oldal gyártói bizonyítékait, és ellenőrizze a tényleges rendszerkonfigurációt. Ez a cikk nem tartalmaz teljesítménytesztet, tanúsítást vagy független felülvizsgálati dátumot.
Források és ellenőrzés
Szerkesztői jogtulajdonos: Feex. Független felülvizsgálati dátum nincs rögzítve. Hogyan kutatunk.
- Intel 64 and IA-32 Architectures Software Developer's Manual · Az 1. és 2. kötet a megnevezett utasításcsaládokat és a CPUID-t ismerteti; a 3. kötet az állapot-, lapozás-, VMX- és védelmi vezérlőket tárgyalja. Az architektúra-dokumentáció nem igazolja egy adott modell támogatását.
Hasznos volt ez a cikk?
Egy igen vagy nem is elég. Válasszon egy indokot, ha szeretne, vagy írjon egy rövid megjegyzést.
Köszönjük. Ez segít az oldal fejlesztésében.