FMA and FMA3

Šta treba da znate

Kako funkcioniše

Spojena operacija izračunava proizvod i zbir kao jednu aritmetičku operaciju pre zaokruživanja na ciljni format. Ovo može očuvati doprinos koji bi bio izgubljen ako bi se množenje prvo zaokružilo. Formati instrukcija 132, 213 i 231 biraju koji operandi obezbeđuju proizvod, sabirak i prepisano odredište. Skalarni i pakovani oblici imaju različito ponašanje po linijama (lanes).

Gde je korisno

Evaluacija polinoma, množenje matrica i digitalni filteri mogu koristiti FMA za objedinjavanje aritmetičkih operacija. Spojeni rezultat se može razlikovati od programa koji namerno koristi dve zasebne operacije. Zbog toga su podešavanja kontrakcije u prevodiocu i zahtevi za numeričkom ponovljivošću podjednako važni kao i dostupnost instrukcija.

Kako proveriti podršku i omogućavanje

Za VEX FMA3 instrukcije proverite CPUID.01H:ECX bit 12 zajedno sa potpunim proverama AVX stanja operativnog sistema. Ako koristite EVEX oblike, proverite dodatne AVX-512 podskupove i stanje koje ti oblici zahtevaju. Pregledajte opcije prevodioca kada se numerički rezultati promene nakon ponovnog kompajliranja.

Program mora i da sadrži odgovarajuću implementaciju i da je izabere tokom izvršavanja. Hardversko pobrojavanje, stanje registara omogućeno od strane operativnog sistema i kompajlirana osnovna linija binarne datoteke predstavljaju zasebne provere. Virtuelna mašina može namerno izložiti manje funkcija od svog domaćina, a kontejner ne dodaje instrukcije procesoru domaćina.

Šta ova funkcija ne utvrđuje

FMA ne znači da se svaki izraz u pokretnom zarezu izračunava sa dodatnom tačnošću i ne garantuje identične rezultate pri različitim podešavanjima prevodioca. FMA4 je drugačija porodica instrukcija. Ni AVX ni AVX2 sami po sebi ne dokazuju podršku za FMA3.

Kompatibilnost i performanse u praksi

Izmerite kompletno radno opterećenje sa reprezentativnim podacima. Širi vektori mogu smanjiti broj instrukcija, ostavljajući memorijski saobraćaj, sinhronizaciju ili troškove konverzije nepromenjenim. Kašnjenje instrukcija, propusnost i energetske karakteristike zavise od tačne mikroarhitekture i radnih uslova.

Praktična kontrolna lista za verifikaciju

1. Zabeležite tačan model procesora ili platforme, kao i verzije aplikacije, operativnog sistema i izvršnog okruženja koji se koriste. Sačuvajte formulaciju stvarne greške ili zahteva.
2. Proverite referencu proizvođača za taj tačan model, a zatim pregledajte efektivnu sposobnost i omogućeno stanje u okruženju u kojem se program izvršava.
3. Uporedite svaki zahtev izabrane binarne datoteke ili pozadinskog podsistema. Slično nazvana funkcija, alias ili široka oznaka tehnologije nisu dovoljni.
4. Potvrdite da je aplikacija izabrala predviđenu implementaciju. Koristite njenu dokumentovanu dijagnostiku i podržanu rezervnu varijantu kada zahtevi nisu ispunjeni.
5. Primenite jednu po jednu podržanu promenu i ponovite isto radno opterećenje. Zadržite originalnu konfiguraciju i putanju za oporavak na raspolaganju.

Ako je funkcija navedena, ali softver ne može da je koristi

Počnite od tačne komponente koja otkazuje. Baza podataka hardvera opisuje zabeležene mogućnosti; operativni sistem ili hipervizor mogu izložiti drugačije efektivno okruženje. Greška nelegalne instrukcije takođe zahteva ispitivanje stvarne instrukcije koja izaziva grešku i binarne verzije, jer oštećenje ili nepovezana nepodržana instrukcija mogu proizvesti sličan simptom.

Instalirajte verziju aplikacije, drajvera ili izvršnog okruženja podržanu za tačnu platformu i po potrebi koristite dokumentovanu osnovnu ili rezervnu verziju proizvođača. Softversko ažuriranje ne može stvoriti instrukciju koja procesoru nedostaje. Promene firmvera i bezbednosnih smernica treba da prate proceduru proizvođača sistema i plan oporavka, a ne generički recept za optimizaciju.

Povezane funkcije i korisne razlike

AVX · AVX2 · F16C · x86-64-v3

Izvori i obuhvat ovog objašnjenja

Intel 64 and IA-32 Architectures Software Developer's Manual · Linux kernel: using XSTATE features in user space

Ove reference utvrđuju arhitektonsko ponašanje i softverske zahteve. One ne verifikuju nezavisno svaku vrednost funkcije na povezanoj stranici modela hardvera. Za podršku modela koristite dokaze proizvođača sa te stranice i proverite efektivnu konfiguraciju sistema. Ovaj članak ne pruža referentni rezultat, sertifikaciju niti datum nezavisnog pregleda.

Povezano

Ovi entiteti su povezani sa ovim člankom. Tip je prikazan na svakoj vezi.

Izvori i verifikacija

Urednička pripadnost: Feex. Nije zabeležen datum nezavisne recenzije. Kako istražujemo.

• Intel 64 and IA-32 Architectures Software Developer's Manual · Tomovi 1 i 2 opisuju imenovane porodice instrukcija i CPUID; Tom 3 opisuje kontrole stanja, straničenja, VMX i zaštite. Dokumentacija o arhitekturi ne utvrđuje podršku za određeni model.
• Linux kernel: using XSTATE features in user space · Stanje vektora omogućeno operativnim sistemom, dinamički omogućeno stanje pločica, zahtevi za stek signala i tok dozvola za AMX. Ponašanje specifično za Linux ne predstavlja obećanje za drugi operativni sistem.