- MMIX
-
MMIX [ˌɛmɪks] ist ein 64-Bit-Modellcomputer (engl: abstract machine) mit einem RISC-Befehlssatz. Donald 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 verhindert, dass sein Werk rasch veraltet wirkt. Man hätte in den letzten Jahrzehnten immer wieder neue Programmiersprachen gesehen, die nur kurze Zeit Interesse fanden. Zudem erlaubt 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, besitzen ausschließlich Register-Operanden. Wie moderne RISC-Prozessoren verfügt der MMIX über eine relativ hohe Zahl von Allzweck-Registern, 256 beim MMIX. Zusätzlich verfügt er über 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 verschiedener Algorithmen.
Inhaltsverzeichnis
Architektur
MMIX ist ein Binärcomputer mit einem 64-Bit großen virtuellen Adressraum und 32-Bit Befehlen, die die big-endian-Konvention benutzen.
Befehle
Alle Befehle besitzen zugehörige Mnemonics. Zum Beispiel gehört Befehl 32 zu ADD. Die meisten Befehle haben die Form OP X,Y,Z, wobei OP für die Anweisung und X für das Register, in dem das Ergebnis gespeichert werden soll, steht. Der Rest steht für die Operanden der Anweisung. Jedes Feld ist acht Bit breit. ADD $0,$1,3, wird beispielsweise den Inhalt aus Register $1 mit 3 addieren und in Register $0 speichern.
MMIX Programme benutzen normalerweise die MMIXAL-Assembler Sprache (siehe dazu die Hello-World-Seite).
Register
Es gibt 256 Allzweckregister im MMIX-Chip, die von $0 bis $255 durchnummeriert sind, und 32 Spezialregister. Wenn X eine Zahl von 0 bis einschließlich 255 bezeichnet, legen die Register rL und rG fest, ob $X ein lokales oder globales Register ist.
Lokaler Registerstack
Der lokale Registerstack führt seine eigenen Unterroutinen mit eigenen rL lokalen Registern ($0 bis $(rL-1)) durch. Die Argumente der Unterprogramme verbleiben bei Aufruf in lokalen Registern des Unterprogramms. Beim Rücksprung aus dem Unterprogramm werden die zuvor gepushten Register zurückgepopt. Da nur 512 lokale, physische Register vorliegen, wird ein Teil des Stacks im Hauptspeicher abgelegt. Mit den Spezialregistern rO und rS kann man einsehen, welcher Teil des lokalen Registerstacks bereits im Speicher liegt.
Spezialregister
Die 32 Spezialregister sind:
-
- rB, das Bootstrap-Register (trip)
- Beim Zuweisen von, rB ← $255 und $255 ← rJ. Somit wird rJ in einem normalem Register gespeichert.
- rD, Dividendenregister
- Unsigned Integer Division verwendet dieses Register.
- rE, Epsilonregister
- Für Gleitkommavergleiche mit Beachtung des Epsilons.
- rH, Himultregister
- Zum Speichern des linken Teils eines 128-Bit Ergebnisses nach einer unsigned integer Multiplikation.
- rJ, return Jump register
- Beim Ausführen von PUSH wird die Adresse der nächsten Anweisung hier gespeichert und beim Rücksprung von POP gelesen.
- rM, Multiplex mask register
- Wird vom Multiplex Befehl verwendet.
- rR, Restregister
- Für den Rest einer Integerdivision.
- rBB, Bootstrap register (trap)
- Beim Zuweisen von, rB ← $255 und $255 ← rJ. Somit wird rJ in einem normalem Register gespeichert.
- rC, Cycle counter
- Wird bei jedem Zyklus erhöht.
- rN, Seriennummer
- Eine Konstante, die den MMIX Prozessor bezeichnet.
- rO, Registerstack Offset
- Zur Umsetzung des Registerstacks.
- rS, Registerstack Pointer
- Zur Umsetzung des Registerstacks.
- rI, Interval counter
- Wird bei jedem Zyklus verringert. Löst bei 0 ein Interrupt aus.
- rT, Trap address Register
- Zum Speichern der Adresse des Tripvektors.
- rTT, dynamic Trap address register
- Zum Speichern der Adresse des Tripvektors.
- rK, Interrupt mask register
- Zum Aktivieren/Deaktivieren von Interrupts.
- rQ, Interrupt request register
- Zum Speichern der Interrupts bei ihrem Auftreten.
- rU, Usage counter
- Zählt die ausgeführten Befehle.
- rV, Virtual translation register
- Zum Übersetzen einer virtuellen Adresse in eine physische.
- rG, Global threshold register
- Alle Register größer-gleich rG gehören zu den globalen Registern.
- rL, Local threshold register
- Alle Register kleiner als rL gehören zu den globalen Registern.
- rA, Arithmetic status register
- Zum Aufzeichnen arthmetischer Exceptions wie Overflows oder Division durch Null.
- rF, Failure location register
- Hier wird die Adresse des Befehls gespeichert, der einen Fehler ausgelöst hat.
- rP, Prediction register
- Wird von conditional swap (CSWAP) verwendet.
- rW, Where-interrupted register (trip)
- Zum Speichern des nachfolgenden Befehls der von einem Interrupt unterbrochen wurde.
- rX, Execution register (trip)
- Zum Speichern des Befehls der von einem Interrupt unterbrochen wurde.
- rY, Y Operand (trip)
- Zum Speichern des Y Operanden bei einem Interrupt.
- rZ, Z Operand (trip)
- Zum Speichern des Z Operanden bei einem Interrupt.
- rWW, Where-interrupted register (trap)
- Zum Speichern des nachfolgenden Befehls der von einem Interrupt unterbrochen wurde.
- rXX, Execution register (trap)
- Zum Speichern des Befehls der von einem Interrupt unterbrochen wurde.
- rYY, Y Operand (trap)
- Zum Speichern des Y Operanden bei einem Interrupt.
- rZZ, Z Operand (trap)
- Zum Speichern des Z Operanden bei einem Interrupt.
Literatur
- Anlauff, Böttcher, Ruckert: Das MMIX-Buch – Ein praxisnaher Zugang zur Informatik, Heidelberg: Springer-Verlag, 2002, Lecture Notes in Computer Science, no. 1750.
- Knuth, Donald E.: MMIXware A RISC Computer for the Third Millennium, Heidelberg: Springer-Verlag, 1999, viii+550pp. ISBN 3-540-66938-8
- Knuth, Donald E.: Vol.1, Fascicle 1: MMIX – A RISC Computer for the New Millennium, Addison-Wesley, ISBN 0-201-85392-2, 134 Seiten
Weblinks
- Donald Knuths MMIX Seite (englisch)
- MMIX Homepage (englisch)
-
Wikimedia Foundation.