Auf einen Blick. Prozessor-Modi. Register. Moduswechsel. Der Prozessor befindet sich zu jedem Zeitpunkt in genau einem Modus.

Transkript

1 Trivia Trivia Die -Architektur Praktikum Betriebssysteme Was ist? ist ein Design und kein konkreter Prozessor. Mario Haustein Matthias Werner Jan Richling 1 TU Chemnitz WS 2013/14 Bezeichnung Kenngröße Im Praktikum Version des es v4t Familie 9 Kern 920 Variante T Implementierung AT91RM Mit freundlicher Genehmigung Mario Haustein (TUC) Die -Architektur WS 2013/14 1 / 39 Mario Haustein (TUC) Die -Architektur WS 2013/14 2 / 39 Trivia Trivia Varianten / Versionen Bezeichner Varianten T Zusätzlicher Thumb- M Multiplikation 32 Bit 32 Bit 64 Bit E Zusätzliche DPS-Operationen J Hardwarebeschleunigung für Java-Bytecode Versionen v1 Entwicklungsversion. 26-Bit-Adressen. v2 Mehr Register als v1, Kooprozessoren, Multiplikation, 26-Bit-Adressen v3 32-Bit-Adressraum, Statusregister CPSR und SPSR, zwei neue Prozessormodi, M-Variante v4 System-Modus, T-Variante v5 Bessere Zusammenarbeit zwischen - und Thumb-, J- und E-Variante v6 SIMD-Befehle, verbesserte Interruptbehandlung, Thumb2 optional v7 Thumb2 obligatorisch, weitere SIMD-Befehle, DSP-Unterstützung Version v Versionnr. [{ Variantenbezeichner }] Besonderheit Ab v4 unterstützt jeder Kern standardmäßig die M-Variante. Kerne ohne M-Unterstützung tragen xm im Variantenbezeichner. Kerne Familie Modellnummer [{ Variantenbezeichner }] z.b. 920T 9 implementiert z.b. v4 aufwärts. Mario Haustein (TUC) Die -Architektur WS 2013/14 3 / 39 Mario Haustein (TUC) Die -Architektur WS 2013/14 4 / 39

2 Architektur Register und Modi Auf einen Blick Von-Neumann-Architektur RISC-Architektur Load/Store-Architektur 32 Bit Adress- und Datenbus. Linearer Adressraum. 3-Adress-Code 7 Prozessor-Modi 37 Register 5 Adressierungsarten mit jeweils bis zu 11 Unterformen Datentypen Wort (32 Bit), an 4-Byte-Grenze ausgerichtet. Halbwort (16 Bit), an 2-Byte-Grenze ausgerichtet. Byte (8 Bit) Maschinenbefehle 54 -Befehle. Genau ein Wort groß. 38 Thumb-Befehle. Genau ein Halbwort groß. Datenverarbeitende Operationen arbeiten alle auf Wörtern. Mario Haustein (TUC) Die -Architektur WS 2013/14 5 / 39 Prozessor-Modi Der Prozessor befindet sich zu jedem Zeitpunkt in genau einem Modus. User usr Regulärer Benutzermodus System sys Regulärer priviligierter Modus Supervisor svc Modus für Systemrufe Abort abt Memory Abort Undefined und Undefinierter Befehl Interrupt irq Interrupts Fast Interrupt fiq Beschleunigte Interrupts priviligiert Ausnahme Mario Haustein (TUC) Die -Architektur WS 2013/14 6 / 39 Register und Modi Register und Modi Moduswechsel Register Der aktuelle Modus wird im Statusregister gespeichert. priviligiert priviligiert Inhalt des Statusregister ändern. USR Priviligiert Entsprechende Bits im Statusregister können nicht geändert werden. Nur durch eine Ausnahme möglich. = Kein direkter Übergang USR SYS. priviligiert USR Inhalt des Statusregister ändern. 37 Register (32 Bit): R0 bis R15 + CPSR + SPSR Allgemeine Register: R0 bis R12 Sonderfunktion: R13 (sp): Stack-Pointer R14 (lr): Link-Register speichert Rücksprungadresse bei Unterprozeduraufruf. R15 (pc): Program-Counter speichert Adresse der nächsten Befehls. CPSR: Current Program Status Register SPSR: Saved Program Status Register Einige Register sind modusspezifisch. Nach dem Reset befindet sich der Prozessor im SVC-Modus. Mario Haustein (TUC) Die -Architektur WS 2013/14 7 / 39 Mario Haustein (TUC) Die -Architektur WS 2013/14 8 / 39

3 Register und Modi Register und Modi Modusspezifische Register R0 R1 R2 R3 R4 R5 R6 R7 R8 R9 R10 R11 R12 R13 R14 R15 CPSR R13 svc R14 svc SPSR svc R13 abt R14 abt SPSR abt R13 und R14 und SPSR und R13 irq R14 irq SPSR irq R8 fiq R9 fiq R10 fiq R11 fiq R12 fiq R13 fiq R14 fiq SPSR fiq USR/SYS SVC ABT UND IRQ FIQ Das CPSR N Z C V Reserviert I F T M[4:0] N Negativ-Flag Z Zero-Flag C Carry-Flag (vorzeichenloser Über-/Unterlauf) V Overflow-Flag (vorzeichnbehafteter Über-/Unterlauf) I, F Interrupt-Flags (IRQ und FIQ), 1 deaktiviert T Thumb-Modus, 1 Thumb- M Modus USR FIQ IRQ SVC ABT UND SYS I, F, T und M können im USR-Mode nicht geändert werden. SPSR: Inhalt des CPSR bei Auftreten der Exception Mario Haustein (TUC) Die -Architektur WS 2013/14 9 / 39 Mario Haustein (TUC) Die -Architektur WS 2013/14 10 / 39 Exceptions Exceptions Ausnahmen Exception-Handler Fehler, Interrupt (IRQ) oder Software-Interrupt (SWI) Verhalten des Prozessors beim Eintritt einer Ausnahme R14_ exception mode = return link SPSR_ exception mode = CPSR CPSR [ 4: 0] = exception mode number CPSR [5] = 0 ; Execute in state if exception mode = RESET or FIQ CPSR [6] = 1 ; Disable FIQs CPSR [7] = 1 ; Disable IRQs PC = exception vector address Abschließen der Ausnahmenbehandlung Gleichzeitig CPSR wiederherstellen und LR exception mode PC. Für jede Exception gibt es eine Handler-Funktion. Vektoren in Interrupttabelle Achtung: Die Interrupttabelle enthält Maschinenbefehle und nicht Adressen! Art Modus Adresse IVT Adresse HV 2 Reset SVC 0x xFFFF0000 Undefined Instr. UND 0x xFFFF0004 Software Interrupt SVC 0x xFFFF0008 Prefetch Abort ABT 0x C 0xFFFF000C Data Abort ABT 0x xFFFF0010 IRQ IRQ 0x xFFFF0018 Fast IRQ FIQ 0x C 0xFFFF001C 2 Für zukünftige Erweiterungen frei gehalten. Mario Haustein (TUC) Die -Architektur WS 2013/14 11 / 39 Mario Haustein (TUC) Die -Architektur WS 2013/14 12 / 39

4 Exceptions Befehlsausführung Prioritäten von Exceptions 1. Reset 2. Data Abort 3. Fast IRQ 4. IRQ 5. Prefetch Abort 6. Undefined Instruction 3 6. Software Interrupt 4 Exception-Handler können durch andere Exceptions unterbrochen werden. Achtung: Die Handler müssen diesen Fall ggf. berücksichtigen. Pipelining Der v4-prozessor nutzt eine 5-stufige Pipeline IF Instruction Fetch ID Instruction Decode EX Execute MEM Memory Access REG Register Write Nicht alle Pipelinekonflikte werden durch die CPU abgefangen. Müssen vom Programmierer/Compiler beachtet werden. t 4 Können nicht gleichzeitig eintreten. Mario Haustein (TUC) Die -Architektur WS 2013/14 13 / 39 n Mario Haustein (TUC) Die -Architektur WS 2013/14 14 / 39 Die Befehlssätze Der - - Thumb- 32 Bit pro Befehl 16 Bit pro Befehl 54 Befehle 38 Befehle Standard-Modus reduzierte Mächtigkeit Für Praktikum relevant Für Praktikum nicht relevant Wechsel jederzeit durch BX-Befehl möglich. Jeder Befehl ist 32 Bit breit. Sehr strukturierte Kodierung: Ähnliche Befehle sind ähnlich kodiert. Alle 5 Befehle können bedingt ausgeführt werden. Höchstwertigsten 4 Bits gegeben Bedingung an. 15 verschiedene Bedingungen. Keine Bedingung: AL (always) Adressierung Zwei oder drei Operanden (Ziel, Quelle, optionale Quelle). Ziel und optionale Quelle sind immer Register. Shifter-Operand: Shiften des Operanden innerhalb des Befehlszyklus. Korrekte Ausrichtung muss vom Programmierer sichergestellt werden. S-Bit: Sonderverhalten bei Transport- oder Artihmetik-Befehlen. 5 Ab v5 gibt es Ausnahmen. Mario Haustein (TUC) Die -Architektur WS 2013/14 15 / 39 Mario Haustein (TUC) Die -Architektur WS 2013/14 16 / 39

5 Bedingungsflags Allgemeines Format: opcode { cond } Flags cond Meaning Condition 0000 EQ gleich Z = NE ungleich Z = CS/HS größer gleich (VZ-los) C = CC/LO kleiner (VZ-los) C = MI negativ N = PL nichtneg. N = VS Überlauf V = VC kein Überlauf V = HI größer (VZ-los) C = 1 Z = LS kleiner gleich (VZ-los) C = 0 Z = GE größer gleich N = V 1011 LT kleiner als N V 1100 GT größer als N = V Z = LE kleiner gleich N = V Z = AL immer Datenverarbeitende Befehle Format opcode { cond }{S} Rd, Rn, shifter operand S-Bit: Rd PC: Statusbits aktualisieren Rd = PC: Zusätzlich SPSR CPSR Bei Vergleichen implizit gesetzt Beispiele ADD R1, R2, R3 ; R1 := R2 + R3 ADDEQ R2, R4, R5 ; Wenn Z- Flag dann R2 := R4 + R5 TEQS R4, #3 ; Teste R4 == 3 MOV R0, R0 ; Leer - Instruktion ( NoOP ) MOV PC, LR ; Rü ckkehr von Unterprogramm MOVS PC, LR ; Rü ckkehr aus Exception - Handler Ohne Suffix wird AL angenommen. Mario Haustein (TUC) Die -Architektur WS 2013/14 17 / 39 Mario Haustein (TUC) Die -Architektur WS 2013/14 18 / 39 Multiplikation Format MUL{L}{ cond }{S} Rd, Rm, Rs MLA{L}{ cond }{S} Rd, Rm, Rs, Rn MUL: Multiplikation MLA: Multiplikation + Addition Es werden nur die 32 niederwertigen Bits gespeichert L-Variante: 64-Bit Ergebnisse Beispiele MUL R1, R2, R3 ; R1 := R2 * R3 MLA R1, R2, R3, R4 ; R1 := R2 * R3 + R4 SMULL R1, R4, R2, R3 ; R4: R1 := R2 * R3, signed UMLAL R1, R5, R2, R3 ; R5: R1 := R2 * R3 + R5: R1, unsigned Einzelregister-zugriffe Format LDR{ cond }{B}{T} Rd, address STR{ cond }{B}{T} Rd, address 9 Adressierungsvarianten (siehe -Handbuch) Adressierung immer in Bezug auf ein Basisregister B: Byte-Zugriff T: Zugriff mit USR-Privilegien Beispiele LDR R1, [ R2, #16] ; Lade R1 mit Inhalt von ; Adresse ( R2 + 16) STR R1, [ R2, R4 ]! ; e R1 auf Adresse ; ( R2 + R4) und schreibe ; Adresse nach R2 STR R1, [ R2], R4 ; e R1 nach Adresse in R2 ; und schreibe R2 + R4 zur ü ck ; nach R2 Mario Haustein (TUC) Die -Architektur WS 2013/14 19 / 39 Mario Haustein (TUC) Die -Architektur WS 2013/14 20 / 39

6 Multiregister-zugriffe Prinzip Multiregister-zugriffe Stack-Zugriffe Format LDM{ cond } adressing mode Rb {!}, register list {^} STM{ cond } adressing mode Rb {!}, register list {^} Lesen/Schreiben einer beliebigen Teilmenge der Registerbank aus/in aufeinanderfolgende stellen. Adressierungsmodus IA Increment After IB Increment Before!-Flag: Aktualisieren des Basisregisters. DA Decrement After DB Decrement Before ^-Flag PC in Registerliste und LDM: Zusätzlich SPSR CPSR Sonst: Zugriff aus USR-Register Register mit kleinerer Ordnungszahl liegen immer an den kleineren Adressen. Achtung: Es gibt Fälle mit undefiniertem Verhalten! Stack-Adressierungsmodi als Synonym für IA, IB, DA, DB Geben das Wachstum des Stacks an. FD Full Descending ED Empty Descending LDM... STM... DA = FA DA = ED IA = FD IA = EA DB = EA DB = FD IB = ED IB = FA FA Full Ascending EA Empty Ascending Befehle mit gleichen Stack-Modi gehören zusammen. Mario Haustein (TUC) Die -Architektur WS 2013/14 21 / 39 Mario Haustein (TUC) Die -Architektur WS 2013/14 22 / 39 Multiregister-zugriffe Beispiele Multiregister-zugriffe Stolperfallen STMFD R13!, { R0 - R12, LR} ; Alle Register bis auf R13 ; und R15 sichern. R13 zeigt ; anschlie ß end auf Inhalt ; von R0. STMFD R13, { R0 - R12, LR} ; Wie oben, nur zeigt R13 auf ; das Wort ü ber Inhalt von ; LR. LDMFD R13!, { R0 - R12, PC} ; Kontext wiederherstellen. ; Dabei Rü cksprung vornehmen. LDMFD R13!, { R0 - R12, PC }^ ; Dito, allerdings auch CPSR ; wiederherstellen. PC als Basisregister Leere Registerliste ^ im USR/SYS-Modus! und Zugriff auf USR-Register LDM:! und Basisregister in Registerliste STM: PC in Registerliste = implementationsspezifisch STM ohne Zugriff auf USR-Register:! und Basisregister hat nicht die kleinste Ordnungszahl in der Registerliste. Wenn Befehl auf banked Register zugreift, und direkt davor ein LDM/STM mit Zugriff auf USR-Register erfolgte. Gängige Praxis: Im Zweifel ein NOP einfügen. Mario Haustein (TUC) Die -Architektur WS 2013/14 23 / 39 Mario Haustein (TUC) Die -Architektur WS 2013/14 24 / 39

7 Sprünge CPSR-Zugriffe Format B{ cond } target BL{ cond } target Nur PC-relative Adressierung möglich. Sprungweite auf 8 Byte ± 32 MByte begrenzt. BL: Vor Sprung wird Adresse des Folgebefehls im LR gespeichert. Durch Load- oder Arithmetikbfehle sind ebenfalls Sprünge möglich. Format MRS{ cond } Rd, CPSR MRS{ cond } Rd, SPSR MSR{ cond } CPSR, Rs MSR{ cond } CPSR, # immediate MSR{ cond } SPSR, Rs MSR{ cond } SPSR, # immediate MSR kann zusätzlich Bits maskieren (siehe -Handbuch). Beispiel MRS R0, CPSR ; Kopiere CPSR nach R0 BIC R0, R0, #0 x1f ; Modus - Bits lö schen ORR R0, R0, # new mode ; Neuen Modus setzen MSR CPSR, R0 ; Zur ü ckschreiben Mario Haustein (TUC) Die -Architektur WS 2013/14 25 / 39 Mario Haustein (TUC) Die -Architektur WS 2013/14 26 / 39 Atomare Befehle Format SWP{B}{ cond } Rd, Rm, [ Rn ] Atomarer zugriff Rd := [ Rn ] [ Rn ] := Rm Randbedingungen Rd Rn und Rn Rm Register PC nicht involviert. Beispiele SWP R1, R2, [ R3] ; R2 an Stelle R3 n. ; Vorheriger wert steht in ; R1. SWP R1, R1, [ R2] ; Tausche R1 mit dem wort ; an Adresse R2. Software Interrupt (Trap) Format SWI{ cond } immed24 Löst SVC-Exception aus. Der Direktwert im Vefehlswort kodiert, aber ignoriert. Kann vom Exception-Handler aus dem Programmcode ausgelesen werden. Beispiel SWI #0 Mario Haustein (TUC) Die -Architektur WS 2013/14 27 / 39 Mario Haustein (TUC) Die -Architektur WS 2013/14 28 / 39

8 Koprozessoren Bis zu 16 Koprozessoren mit je bis zu 16 Registern Erweiterung um FPU, MMU, Debug,... Wenn nicht vorhanden = Undefined-Exception Software-Emulation möglich Format Datenoperation CDP{ cond } coproc, opcode1, CRd, CRn, CRm, opcode2 zugriff LDC{ cond }{L} coproc, CRd, addressing mode STC{ cond }{L} coproc, CRd, addressing mode Registerzugriff MCR{ cond } coproc, opcode1, Rd, CRn, CRm {, opcode2 } MRC{ cond } coproc, opcode1, Rd, CRn, CRm {, opcode2 } Bedeutung der Befehle und Register = -Handbuch Bedingte Befehle Kompakter Code, bessere Performance C-Code if(a == 0) b = 23; else { b = 42; c = a; } x86 Assembler test eax, eax jne _else mov ebx, 23 jmp _done _else : mov ebx, 42 mov ecx, eax _done : Mario Haustein (TUC) Die -Architektur WS 2013/14 29 / 39 Mario Haustein (TUC) Die -Architektur WS 2013/14 30 / 39 Bedingte Befehle Kompakter Code, bessere Performance C-Code if(a == 0) b = 23; else { b = 42; c = a; } Assembler (konventionell) TEQ R0, #0 BNE _else MOV R1, #23 B _done _else : MOV R1, #42 MOV R2, R0 _done : Bedingte Befehle Kompakter Code, bessere Performance C-Code if(a == 0) b = 23; else { b = 42; c = a; } Assembler (bedingt) TEQ R0, #0 MOVEQ R1, #23 MOVNE R1, #42 MOVNE R2, R0 Mario Haustein (TUC) Die -Architektur WS 2013/14 30 / 39 Mario Haustein (TUC) Die -Architektur WS 2013/14 30 / 39

9 Shifter-Operand Effekte des Pipelining t MOV R1, R0, LSL #3 ; R1 := 8 * R0 ADD R3, R2, R1, LSR #2 ; R3 := R2 + R1 / 4 ADD R0, R1, R1, LSL #1 ; R0 := 3 * R1 MOV R3, R2, ROR R1 ; R2 um R1 nach rechts ; rotieren und Wert in R3 ; laden. n l1: NOP l2: NOP l3: MOV R0, PC ; R0 ist Adresse von l5. l4: NOP l5: NOP l6: NOP Mario Haustein (TUC) Die -Architektur WS 2013/14 31 / 39 Mario Haustein (TUC) Die -Architektur WS 2013/14 32 / 39 Effekte des Pipelining Effekte des Pipelining n l1: NOP l2: NOP l3: STR PC, [ R0] ; R0 enth ä lt Adresse von l5 oder l6. l4: NOP ; Implementationsabh ä ngig! l5: NOP l6: NOP t n LDM R1, { LR }^ ; Wo ist der Fehler? SUB R0, SP, #4 ; Zugriff auf SP undefiniert! t Mario Haustein (TUC) Die -Architektur WS 2013/14 32 / 39 Mario Haustein (TUC) Die -Architektur WS 2013/14 32 / 39

10 Effekte des Pipelining n LDM R1, { LR }^ ; Wo ist der Fehler? NOP SUB R0, SP, #4 ; So ist s richtig! Mario Haustein (TUC) Die -Architektur WS 2013/14 32 / 39 t Inline Assembler uint32_t change_ mode ( uint32_t mode ) { uint32_t old ; asm v o l a t i l e ( " mrs r0, cpsr \n\t" " mov %[ old_mode ], r0\n\t" " bic r0, r0, #0 x1f \n\t" " orr r0, r0, %[ mode ]\n\t" " msr cpsr, r0\n\t" : [ old_mode ] "=r" ( retval ) : [ new_mode ] "r" ( mode ) : "r0" ); r e t u r n old ; } /* This function won t work as expected, even though the assembler code is correct. Do you know the reason? */ Mario Haustein (TUC) Die -Architektur WS 2013/14 33 / 39 AT91RM9200 und Portux920T AT91RM9200 und Portux920T Der des AT91RM9200 arten Intern: RAM und ROM auf dem Chip Extern: am Prozessorbus I/O-: Pseudospeicher für Memory Mapped IO 4 höchstwertigen Bits bilden Chip-Select = 16 regionen zu 256 MiByte Region 0 Interner 1 8 Externer 9 14 undefiniert (= Abort) 15 I/O Nicht alle 28 Adressleitungen an ext. genutzt = Wrap-Around Siehe Kapitel 8 im AT91RM9200-Datenblatt. Region 0 Bereich Modulus Beschreibung 0x x000FFFFF 1 MiB Boot Memory 0x x001FFFFF 1 MiB int. ROM 0x x002FFFFF 1 MiB int. SRAM 0x x003FFFFF 1 MiB USB Host 0x x0FFFFFFF Undefined = Abort Nach Reset beginnt Prozessor an Adresse 0x Boot Memory abhängig von Pegel eines Prozessor-Pins und Status des Memory Controllers (MC). 6 Vor REMAP-Kommando des MC und BMS-Pin LOW = Wie Region 1 Vor REMAP-Kommando des MC und BMS-Pin HIGH = Int. ROM Nach REMAP-Kommando des MC = Int. SRAM Am Portux-Board ist BMS auf LOW gelegt. = REMAP notwendig um Interrupt-Vektoren anlegen zu können. 6 Nicht mit MMU verwechseln! Mario Haustein (TUC) Die -Architektur WS 2013/14 34 / 39 Mario Haustein (TUC) Die -Architektur WS 2013/14 35 / 39

11 AT91RM9200 und Portux920T AT91RM9200 und Portux920T Der des Portux920T Streuspeicher und schutz MMU und MPU durch Koprozessor 15 bereitgestellt. Ohne MMU Reg. Bereich Modulus Beschreibung 1 0x x1FFFFFFF 16 MiB ext. Flash 2 0x x2FFFFFFF 64 MiB ext. RAM 4 0x x4FFFFFFF 4 B LCD-Display CPU AB DB LCD Mit MMU Jede Adresse zur Ansteuerung geeignet. Zusätzlich müssen Steuerleitungen über den PIO-Controller gesetzt werden. Für Details, siehe Datenblatt. CPU MMU Befehls- und Daten-Cache zwischen CPU und MMU. Müssen bei Umkonfiguration manuell geleert werden. Mario Haustein (TUC) Die -Architektur WS 2013/14 36 / 39 Mario Haustein (TUC) Die -Architektur WS 2013/14 37 / 39 AT91RM9200 und Portux920T I/O AT91RM9200 und Portux920T I/O I/O Schnittstellen des -Kerns an seine Umgebung Daten- und Adressbus IRQ und FIQ-Leitung Debug-Schnittstelle von Koprozessor 14 = Keine dedizierten I/O-Leitungen = Memory Mapped I/O Zugriff auf Register der I/O-Komponenten über Adressraum Schreib- und Lesezugriffe haben Seiteneffekte AT91RM9200 0xFFFA0000 0xFFFFFFFF Für Details, siehe Datenblatt I/O-Komponenten (Auswahl) Parallel I/O Controller (PIO) Ansteuerung der Pins am Chip z.b. LEDs Advanced Interrupt Controller (AIC) Aufschalten von Interrupts der I/O-Komponenten auf IRQ- bzw. FIQ-Leitung Interrupt-Priorisierung möglich System Timer (ST) Erzeugung periodischer Interrupts Watchdog, Echtzeituhr Debug Unit (DBGU) Universal Synchronous Asynchronous Receiver Transmitter (USART) Serielle Schnittstelle Power Management Controller (PMC) Taktaufbereitung Memory Controller (MC) u.a. REMAP-Kommando Mario Haustein (TUC) Die -Architektur WS 2013/14 38 / 39 Mario Haustein (TUC) Die -Architektur WS 2013/14 39 / 39