MMIX

MMIX [ˈɛmɪks] ist ein 64-Bit-Modellcomputer (engl. abstract machine) mit einem RISC-Befehlssatz. Donald E. Knuth benutzt ihn in seinem mehrbändigen Standardwerk The Art of Computer Programming, um die vorgestellten Algorithmen zu beschreiben. MMIX ersetzt den älteren MIX-Modellcomputer der ersten Auflagen durch eine moderne, erweiterte Version.

Knuth begründet diese Wahl mit dem Hinweis, dass das Programmieren in einer hypothetischen Assemblersprache verhindere, dass sein Werk rasch veraltet wirke. Man habe in den letzten Jahrzehnten immer wieder neue Programmiersprachen gesehen, die nur kurze Zeit Interesse fanden. Zudem erlaube eine hardwarenahe Sprache, die Probleme bei der effizienten Implementation von Algorithmen konkreter darzustellen als eine höhere Programmiersprache.

Der MMIX wird über 256 Maschinenbefehle gesteuert. Die meisten, insbesondere die arithmetisch-logischen Befehle, verwenden ausschließlich Register-Operanden. Wie moderne RISC-Prozessoren hat der MMIX mit 256 eine relativ große Zahl von Allzweck-Registern. Zusätzlich gibt es 32 Spezialregister zum Anzeigen von Fehlern und bestimmten Zuständen. Daneben erlaubt MMIX, im Gegensatz zum erwähnten MIX, auch virtuelle Adressierung und damit die Untersuchung von Speicheralgorithmen.

Die Tatsache, dass der MMIX nicht als Hardware, sondern als Software-Simulation implementiert ist, ist wohl einer der Gründe, warum er vor allem in der Forschung und der Lehre eingesetzt wird. Insbesondere auf dem Gebiet der Algorithmenentwicklung und der Effizienzmessung von Algorithmen ist der MMIX von großem Nutzen. Die Simulatorsoftware gibt Auskunft über die Laufzeit bzw. die benötigten Taktzyklen und die Anzahl der ausgeführten Befehle einzelner Algorithmen und ermöglicht so einen direkten und ungestörten Vergleich unterschiedlicher Algorithmen.