Der 1980 zusammen mit dem 8086 eingeführte Gleitkomma-Coprozessor Intel 8087 gilt seit Langem als Meisterwerk der Mikroarchitektur. Jahrelang nahmen Ingenieure an, seine transzendenten Funktionen beruhten allein auf CORDIC (Coordinate Rotation Digital Computer). Eine neue Reverse-Engineering-Analyse kippt diese Annahme: Der Tangenten-Algorithmus ist hybrid, CORDIC übernimmt einen Teil der Berechnung, eine Polynomapproximation den Rest.
Warum der 8087 noch zählt
Der 8087 war keine Nischenkuriosität. Mit rund 45.000 Transistoren führte er Gleitkommaoperationen bis zu 100-mal schneller aus als der 8086 allein, so die damalige Intel-Dokumentation. Dieser Leistungssprung machte ihn für CAD, wissenschaftliches Rechnen und frühe Tabellenkalkulationen unverzichtbar. Sein Befehlssatz legte zudem den Grundstein für die x87-Architektur, die jahrzehntelang in x86-Prozessoren steckte.
Zu verstehen, wie der 8087 Tangenten berechnete, ist daher mehr als historische Neugier. Es beleuchtet die Kompromisse, vor denen Chipdesigner standen, als Siliziumfläche, Leistungsaufnahme und Präzision eng begrenzt waren. Der Hybridansatz deutet darauf hin, dass Intels Ingenieure bereit waren, Algorithmusfamilien zu mischen, um Genauigkeitsziele zu erreichen, ohne das Die aufzublähen.
Der Hybridalgorithmus erklärt
CORDIC ist für Rotationen und Trigonometrie elegant, weil es nur Verschiebungen und Additionen nutzt. Doch in bestimmten Winkelbereichen stößt es an Grenzen, wo die Konvergenz langsamer wird oder die Präzision leidet. Die Reverse-Engineering-Ergebnisse legen nahe, dass der 8087 in diesen Zonen auf eine Polynomapproximation umschaltete und so die Schwächen von CORDIC mit einem numerisch zugeschnittenen Rückfallpfad ausglich.
Das ist kein nebensächliches Detail. Es bedeutet, dass der Microcode des 8087 Verzweigungslogik enthielt, die je nach Eingabewinkel zwischen Berechnungspfaden wählte. Eine solche adaptive Ausführung war für Silizium von 1980 anspruchsvoll und nimmt Techniken vorweg, die heute in modernen FPUs und KI-Beschleunigern üblich sind.
Was das für das Rechnen heute bedeutet
Die Entdeckung hallt nach, weil hybride numerische Verfahren wieder Konjunktur haben. GPUs und Tensor-Prozessoren jonglieren mit mehreren Approximationsstrategien, um Durchsatz und Genauigkeit auszubalancieren. Dieselbe Philosophie in einem Coprozessor von 1980 zu sehen, erinnert daran, dass gute Ingenieursideen zurückkehren, wenn die Randbedingungen enger werden.
Für Retrocomputing-Fans und Chip-Historiker eröffnet der Befund zudem neue Wege: Auch andere 8087-Funktionen könnten ähnliche Hybride verbergen. Weitere Analysen dürften diese Hypothese prüfen, und es lohnt sich zu verfolgen, wie diese Erkenntnisse die Genauigkeit von Emulatoren und moderne Mathematikbibliotheken mit niedriger Präzision beeinflussen.
Kommentare
Noch keine Kommentare.