Matematický koprocesor

Blokové schéma koprocesoru Intel 8087

Matematický koprocesor případně numerický koprocesor, někdy zkráceně jen koprocesor (angl. numeric coprocessor, math coprocessor zkráceně MCP nebo floating-point unit zkráceně FPU) je specializovaný hardware určený na vykonávání operací s čísly s pohyblivou řádovou čárkou. Matematický koprocesor může být implementován jako samostatná jednotka nebo může být součástí CPU.

V minulosti procesory neobsahovaly nativní mechanismus pro zpracování reálných čísel. Zpracování bylo realizováno externím koprocesorem, případně emulováno mikroprogramem v aritmeticko-logické jednotce (ALU). Softwarová emulace je v porovnání s hardwarovou implementací až o dva řády pomalejší a plně zatěžuje hlavní procesor. V posledních desetiletích prošly koprocesory transformací od diskrétních obvodů přes integrované součásti až po komplexní vektorové jednotky a maticové akcelerátory pro strojové učení a umělou inteligenci.

Koprocesory Intel 80x87

Intel 8087

Koprocesor Intel 8087, uvedený v roce 1980, byl navržen jako těsně vázaný společník procesorů Intel 8086 a 8088. Monitoroval instrukční tok a automaticky zachytával specifické numerické instrukce. Vedle základní aritmetiky obsahoval hardwarovou podporu pro výpočet goniometrických funkcí a odmocnin, čímž položil základy pozdějšího standardu IEEE 754.

Investice do koprocesoru byla v 80. letech nákladná a ospravedlnitelná zejména pro vědecké výpočty, CAD nebo 3D grafiku. Tato modulární éra skončila v roce 1989 s příchodem procesoru Intel 80486DX, který integroval FPU přímo na křemíkovou destičku procesoru.

Vývojová linie diskrétních koprocesorů architektury x86

Model koprocesoru	Kompatibilní CPU	Rok uvedení	Hlavní přínosy
Intel 8087	8086, 8088	1980	První implementace standardu IEEE 754; 80bitová vnitřní přesnost
Intel 80287	80286	1983	Asynchronní běh (koprocesor mohl mít jiný takt než CPU)
Intel 80387	80386	1987	Plná synchronizace s CPU; vylepšené goniometrické instrukce
Intel 80487	80486 SX	1991	De facto procesor 486DX; po instalaci deaktivoval 486SX

Vnitřní struktura a mikroarchitektura x87

Na rozdíl od standardního registrového modelu CPU využívá x87 FPU model registrového zásobníku (stack). Z pohledu programátora obsahuje následující registry:

• Osm 80bitových registrů označených ST(0) až ST(7). Vrchol zásobníku ST(0) je využíván většinou instrukcí.
• Registr značek (Tag Word) – 16bitový registr indikující stav registrů (platné číslo, nula, NaN/Infinity, prázdný).
• Stavový registr (Status Word) – uchovává příznaky výjimek (dělení nulou, přetečení) a ukazatel na vrchol zásobníku (TOP).
• Řídicí registr (Control Word) – umožňuje nastavení režimu zaokrouhlování a přesnosti výpočtu (24, 53 nebo 64 bitů mantisy).

Architektura x87 využívá 80bitovou vnitřní přesnost (extended precision), aby minimalizovala kumulativní zaokrouhlovací chyby při složitých výpočtech.

Typy čísel a speciální stavy

Podle normy IEEE 754 koprocesor pracuje s následujícími stavy:

• Normalizovaná čísla – ve tvaru $\pm 1,mmmm\dots \times 2^{eeee\dots }$ s implicitní vedoucí jedničkou (hidden bit).
• Denormalizovaná čísla – umožňují reprezentovat extrémně malá čísla s postupnou ztrátou přesnosti.
• Nekonečno (Infinity) – vzniká dělením nulou nebo přetečením; existuje kladné i záporné nekonečno.
• NaN (Not a Number) – reprezentuje nedefinované operace jako $0/0$ nebo ${\sqrt {-1}}$. Rozlišuje se tiché (Quiet NaN) a signalizační (Signaling NaN).

Chyba Pentium FDIV

V roce 1994 byla v jednotce FPU procesoru Intel Pentium objevena chyba v algoritmu dělení SRT. Algoritmus generoval dva bity podílu za takt pomocí vyhledávací tabulky, kde bylo pět hodnot chybně nahrazeno nulou.

Chyba se mohla projevit již na čtvrtém nebo pátém platném místě; například operace ${\frac {4\,195\,835}{3\,145\,727}}$ vrátila místo správného výsledku $\sim 1,333820449$ hodnotu $1,333739068$. Událost stála Intel 475 milionů dolarů a vedla k zavedení formální verifikace při návrhu procesorů..

Evoluce k SIMD: SSE, AVX a AVX10

S rozvojem multimédií se zásobníkový model x87 ukázal jako nevhodný pro paralelní zpracování. Intel zavedl technologie SIMD (Single Instruction, Multiple Data):

• SSE (Streaming SIMD Extensions) – zavedlo 128bitové registry XMM organizované jako ploché pole.
• AVX (Advanced Vector Extensions) – rozšířilo registry na 256 bitů (YMM) a zavedlo tříoperandový formát $C=A+B$.
• AVX-512 – přineslo 512bitové registry (ZMM) a podporu pro maskování.

V roce 2023 Intel oznámil strategii AVX10, která sjednocuje schopnosti AVX-512 napříč hybridními jádry (P-cores i E-cores). Doprovází ji APX (Advanced Performance Extensions), které zdvojnásobuje počet obecných registrů na 32.

Architektura Arm a Apple AMX

Architektura Arm využívá technologii NEON pro 128bitové vektory a pro HPC oblast rozšíření SVE (Scalable Vector Extension). SVE zavádí "šířkově agnostický kód", kde stejný binární soubor funguje na jednotkách o šířce 128 až 2048 bitů.

Apple do svých čipů (M1–M4) integroval Apple Matrix Coprocessor (AMX). Ten je určen pro maticové výpočty (GEMM) a využívá masivní registry (např. 4096bitový akumulátor Z).

Akcelerátory pro AI a nové formáty přesnosti

Těžiště výpočtů se dnes přesouvá k vysoce specializovaným jednotkám:

• GPU – využívají tisíce jader pro masivní paralelismus a "Tensor Cores" pro maticové operace.
• TPU (Tensor Processing Unit) – ASIC od Googlu postavený na systolické architektuře.
• NPU (Neural Processing Unit) – optimalizovány pro energeticky efektivní inferenci v mobilních zařízeních s využitím nízko-bitové kvantizace (INT8).

Formáty Bfloat16 a FP8

Pro trénování AI se stal standardem Bfloat16. Má stejný dynamický rozsah jako FP32 (8 bitů exponentu), ale pouze 7 bitů mantisy, což zabraňuje přetečení při konverzích. Nejnovější trendy zahrnují 8bitové formáty FP8 (varianty E4M3 pro inferenci a E5M2 pro trénování), které zdvojnásobují propustnost oproti 16bitovým formátům.

Odkazy

Související články

• IEEE 754 – norma pro aritmetiku v pohyblivé řádové čárce
• Streaming SIMD Extensions – technologie pro paralelní výpočty
• Tensor Processing Unit – maticový akcelerátor společnosti Google

Portály: Procesory