Problem: Zugriff auf x ist nicht atomar

(1)

Zusammenfassung der neuen Befehle

Instruktion Beispiel Beduetung

lui lui $s1, 61 Lade 16‐Bit‐Wert in obere 16 Bits von Register $s1

(2)

Quiz

80000 : Loop: sll $t1,$s3,2 # Temp-Reg $t1 = i * 4

80004 : add $t1,$t1,$s6 # $t1 = Adresse von safe[i]

80008 : lw $t0,0($t1) # Temp-Reg $t0 = save[i]

80012 : bne $t0,$s5,Exit # gehe nach Exit, wenn save[i]!=k 80016 : addi $s3,$s3,1 # i = i + 1

80020 : j Loop # gehe wieder nach Loop 80024 : Exit:

Adresse Opcode rs rt rd shamt Funct

80000 0 0 19 9 2 0

80004 0 9 22 9 0 32

80008 35 9 8 0

80012 5 8 21

80016 8 19 19 1

80020 2

80024 ...

Was steht hier?

(3)

Synchronisation

(4)

Data‐Race

Prozessor 1: berechne x = x + 2

lw $t0, 0($s0) # lade x nach $t0 addi $t0, $t0, 2 # $t0 = $t0 + 2

sw $t0, 0($s0) # speichere $t0 nach x

Gemeinsamer Speicher

Variable x Prozessor 2: berechne x = x – 1

lw $t0, 0($s0) # lade x nach $t0 addi $t0, $t0, -1 # $t0 = $t0 – 1

Es gelte zu Beginn: x=10 Gilt nach Durchlauf beider Code‐Abschnitte immer x=11?

(5)

Problem: Zugriff auf x ist nicht atomar

lw $t0, 0($s0) # lade x nach $t0 addi $t0, $t0, 2 # $t0 = $t0 + 2

Prozessor 2: berechne x = x – 1

lw $t0, 0($s0) # lade x nach $t0 addi $t0, $t0, -1 # $t0 = $t0 – 1

Zeit

Inhalt von x 10

(6)

Mögliche Lösung: Atomic‐Swap

Speicher

Variable lock 1.) Speicherinhalt lock in Register $t1 kopieren

2.) Alten Wert von $t1 nach lock kopieren

swap $t1, lock

Beispiel

$t1 lock

Vor Ausführung von swap 1 0

Nach Ausführung von swap 0 1

MIPS‐ISA hat kein swap, dennoch gibt es andere ISAs die so einen Befehl haben.

Also, zunächst ein Beispiel, wie man mittels swap synchronisieren kann.

swap ist hierbei atomar, d.h. während des swap wird jeglicher Speicherzugriff anderer Prozesse verzögert bis swap vollständig ausgeführt wurde!

(7)

Mögliche Lösung: Atomic‐Swap

addi $t1, $zero, 1 # setze $t1 auf 1

loop: swap $t1, lock # tausche $t1 und lock bne $t1, $zero, loop # nochmal wenn $t1!=0 lw $t0, 0($s0) # lade x nach $t0

addi $t0, $t0, 2 # $t0 = $t0 + 2

sw $t0, 0($s0) # speichere $t0 nach x swap $t1, lock # gib lock wieder frei

Variable x

Variable lock (initial=0) Prozessor 2: berechne x = x – 1

addi $t0, $t0, -1 # $t0 = $t0 – 1

(8)

Mögliche Lösung: Atomic‐Swap

addi $t0, $t0, 2 # $t0 = $t0 + 2

sw $t0, 0($s0) # speichere $t0 nach x swap $t1, lock # gib lock wieder frei Prozessor 2: berechne x = x – 1

addi $t0, $t0, -1 # $t0 = $t0 – 1

Zeit x 10 lock

0

(9)

Weitere Lösung: Load Linked und Store Conditional

MIPS‐ISA hat ein Load‐Linked (ll) und Store‐Conditional (sc).

Also, wie kann man mit ll und sc synchronisieren?

Speicher

Variable lock Lade den Inhalt der Speicherstelle 0($s1) in das

Register $t1

ll $t1, 0($s1) # load linked

sc $t0, 0($s1) # store conditional 1. Wenn seit dem letztem load linked keiner

auf den Speicherblock zugegriffen hat , dann Speichere den Inhalt von Register $t0 auf die Speicherstelle 0($s1) und setze $t0 auf 1.

2. Sonst lasse den Speicherblock unberührt und setze $t0 auf 0.

(10)

Weitere Lösung: Load Linked und Store Conditional

loop: ll $t0, 0($s0) # $t0 = x

addi $t0, $t0, 2 # $t0 = $t0 + 2 sc $t0, 0($s0) # x = $t0

beq $t0, $zero, loop # nochmal bei failure

Variable x

loop: ll $t0, 0($s0) # $t0 = x

addi $t0, $t0, -1 # $t0 = $t0 – 1 sc $t0, 0($s0) # x = $t0

(11)

Weitere Lösung: Load Linked und Store Conditional

loop: ll $t0, 0($s0) # $t0 = x

addi $t0, $t0, 2 # $t0 = $t0 + 2 sc $t0, 0($s0) # x = $t0

loop: ll $t0, 0($s0) # $t0 = x

addi $t0, $t0, -1 # $t0 = $t0 – 1 sc $t0, 0($s0) # x = $t0

Zeit x 10

(12)

Zusammenfassung der neuen Befehle

Instruktuion Beispiel Bedeutung

ll ll $s1, 0($s0) Lade den Inhalt von Adresse 0($s0) in

$s1 und starte eine atomare Read‐

Modify‐Write‐Operation.

sc sc $t0, 0($s0) Speichere den Inhalt von $t0 auf Adresse 0($s0), wenn seit dem

letzten ll nicht von einem anderen Prozess auf den Speicherblock

zugegriffen wurde, der das

adressierte Word enthält. Setze $t0 auf 1 in diesem Fall.

Ansonsten überschreibe den

Speicherbereich nicht und setze $t0 auf 0.

(13)

Quiz für den Quizmaster

Realisiere swap Register, Adresse mit ll und sc.

Erinnerung:

swap tauscht Speicher‐

inhalt und Registerinhalt atomar aus.

Das Register sei $s0 Die Adresse sei 0($s1) Das temporäre

Register sei $t0

(14)

Exceptions

(15)

Motivation: Behandlung von Overflows

Was war nochmal ein Overflow? Beispiel mit 8‐Bit‐Zahlen:

01011010 (= 90) + 01100111 (=103) --- 11000001 (=-63)

Die bisher behandelten ganzzahligen Arithmetik‐Instruktionen (z.B.

add, addi und sub ) können Overflow erzeugen.

Was wenn so ein Overflow auftritt? Einfach ignorieren?

Für jeden Overflow sollte eine Ausnahmebehandlungsroutine aufgerufen werden, die dann entscheidet was zu tun ist.

Anschließend kann der normale Code wieder ausgeführt werden.

Eine solche Ausnahmebehandlung wird über Exceptions realisiert.

(16)

Beispiele für Exceptions

Von außen ausgelöste Exceptions nennt man auch Interrupts

Ereignistyp Ausgelöst durch

den Prozessor?

Interrupt

Anfrage eines I/O Gerätes nein X

System‐Call ja

Arithmetischer Overflow ja Verwendung einer undefinierten

Instruktion

ja

Hardwarefehler ja/nein (X)

... ...

(17)

Behandlung von Exceptions

Genereller Ablauf:

Exception‐Handler

Aktuell laufendes Programm

Speicher

(1) Exception

(2) Sichere $pc (3) Springe zum

Exception‐Handler (4) Behandle die

Exception (5) springe ggf.

wieder zurück.

Rücksprung mit gesichertem $pc möglich.

Woher weis die CPU wo der Exception‐

Handler liegt?

(18)

Behandlung von Exceptions

Möglichkeit 1: Interrupt‐Vektor‐Tabelle

Speichere Adresse der aktuellen Programmausführung in einem

speziellen Register EPC.

Wähle aus der Interrupt‐Vektor‐

Tabelle die Adresse des Handlers für diesen Exception‐Typ und

springe dort hin.

Exception‐

Typ

Adresse des Exception‐

Handlers Undefinded

Instruction

0x8000 0000 Arithmetic

Overflow

0x8000 0180

... ...

Handler‐Routine springt nach Exception‐Behandlung ggf. zurück in den normalen Code, d.h. an die Programminstruktion auf die EPC

zeigt.

Interrupt‐Vektor‐Tabelle

(19)

Behandlung von Exceptions

Möglichkeit 2: Cause‐Register (das ist die MIPS‐Variante)

Speichere Adresse der aktuellen Programmausführung in einem

speziellen Register EPC.

Speichere den Exception‐Typ in einem speziellen Cause‐Register.

Springe an die Adresse des einen Exception‐Handlers.

Der Exception‐Handler behandelt den im Cause‐Register

beschriebenen Exception‐Typ.

Routine springt nach Exception‐

Behandlung ggf. zurück in den normalen Code, d.h. an die Programminstruktion auf die

EPC zeigt.

Nummer Exception‐Typ (Grund) 0 Interrupt (Hardware)

4 Address‐Error (load or fetch) 5 Address‐Error (store)

6 Bus‐Error (fetch) 7 Bus‐Error (store)

8 System‐Call

9 Break‐Point

10 Reserved Instruction

11 Coprocessor Unimplemented 12 Arithmetic Overflow

13 Trap

15 Floating‐Point‐Exception

MIPS Exception‐Codes

(20)

PC

MIPS Hardware‐Realisierung von Exceptions?

CPU Coprocessor 1 (FPU)

Coprocessor 0 (Traps and Memory)

$0 . . .

$31 Arithmetic

Unit

Multiply Divide

$0 . . .

$31

Arithmetic Unit Registers Registers

Lo Hi

BadVadr ($8) Status ($12) Cause ($13) EPC ($14) Registers

Memory

Es gibt einen weiteren Coprozessor

(21)

Beispiel: Aufruf des Exception‐Handlers

Coprocessor 0 (Traps and Memory) Registers

# Es gelte $s2 = 0x7fffffff

0x40000014 : add $s1,$s2,$s2 # Overflow!

0x40000018 : ...

...

# Exception-Handler beginnt immer hier 0x80000180 : ...

0x80000184 : ...

BadVadr ($8) Status ($12) Cause ($13) EPC ($14)

$pc vor Exception:

6 2 Exception‐Code für Arithmetic Overflow ist 12.

$pc nach Exception:

(22)

Beispiel: Handling der Exception

40000014 Registers

0x40000018 : ...

...

# Ein fauler Exception-Handler

0x80000180 : addi $s2,$zero,0# Problem gelöst 0x80000184 : eret # Rücksprung

$pc zur Behandlung:

$pc nach Behandlung:

(23)

Weitere Exceptions während des Handlings?

40000014 Registers

0x40000018 : ...

...

Möglichkeiten, z.B.:

• Exception‐Handler erzeugt selber eine Exception

• Anfrage eines IO‐Gerätes

(24)

Exceptions während des Handlings abgeschaltet

0x40000018 : ...

...

BadVadr ($8) Status ($12) Cause ($13) EPC ($14) 15 8 1 0

Exception‐Level‐Bit:

0 = Exceptions werden berücksichtigt

1 = Exceptions werden nicht berücksichtigt

Wird bei Sprung in den Exception‐Handler immer gesetzt.

Bei Aufruf von eretwird das Bit wieder gelöscht

(25)

Status erlaubt auch das Maskieren von Interrupts

0x40000018 : ...

...

Interrupt‐Maske

Die Bits einer Interrupt‐Maske bestimmen welche Interrupt‐

Level Exceptions erzeugen dür‐

fen und welche ignoriert wer‐

den.

Jeder mögliche Interrupt ist einem Interrupt‐Level zugeord‐

net.

Mit Bit 0 des Status‐

Registers können Interrupts generell ein‐ und ausgeschaltet werden.

(26)

Pending‐Interrupts

0x40000018 : ...

...

# Exception-Handler beginnt immer hier 0x80000180 : ...

0x80000184 : ...

Exception‐Code

Registers Pending

Interrupts

Alle ankommenden Interrupts (auch ausmaskierte) setzen im Cause‐Register das

Pending‐Flag ihres Interrupt‐

Levels.

Wird das Masken‐Bit (oder das generelle Interrupt‐Bit) später wieder aktiviert, löst das

Pending‐Bit dann den Interrupt auf der CPU aus.

(27)

Zugriff auf die Coprocesor‐0‐Register

BadVadr ($8) Status ($12) Cause ($13) EPC ($14) Registers

Erinnerung: Für den FPU‐Coprozessor (Coprozessor 1) hatten wir:

mfc1 : laden von FP‐Coprozessor‐Register in CPU‐Register mtc1 : laden von CPU‐Register in FP‐Coprozessor‐Register Analoge Instruktionen für den Coprozessor 0:

mfc0 : laden von Coprozessor0‐Register in CPU‐Register mtc0 : laden von CPU‐Register in Coprozessor0‐Register Beispiele:

mfc0 $s0, $13 # $s0=Coprozessor-Register 13 mtc0 $13, $s0 # Coprozessor-Register 13=$s0

(28)

Beispiel für Coprocessor 0 Register‐Zugriff

0x40000018 : ...

...

# Ein etwas besserer Exception-Handler

# Exception auslösende Instruktion einfach überspringen 0x80000180 : mfc0 $k0,$14 # $k0 = EPC 0x80000184 : addi $k0,$k0,4 # $k0 = EPC+4 0x80000188 : mtc0 $14,$k0 # EPC=EPC+4 0x8000018c : eret # Rücksprung

Beachte: Register‐Satz‐

Konvention: $k0 und $k1 sind für OS‐Funktionen reserviert. Behandeln von Exceptions ist eine OS‐

Funktion.

(29)

Traps

Trap – eine Instruktion, die eine Bedingung testet und eine

Exception vom Typ 13 (Trap) auslöst, wenn die Bedingung erfüllt ist.

Trap‐Instruktionen am Beispiel:

teq $s0,$s1 # Trap‐Exception, wenn $s0 = $s1 teqi $s0,42 # Trap‐Exception, wenn $s0 = 42 tne $s0,$s1 # Trap‐Exception, wenn $s0 != $s1 tnei $s0,42 # Trap‐Exception, wenn $s0 != 42 tge $s0,$s1 # Trap‐Exception, wenn $s0 >= $s1

tgeu $s0,$s1 # Trap‐Exception, wenn $s0 >= $s1 (unsigned) tgei $s0,$42 # Trap‐Exception, wenn $s0 >= 42

tgeiu $s0,42 # Trap‐Exception, wenn $s0 >= 42 (unsigned) tlt $s0,$s1 # Trap‐Exception, wenn $s0 < $s1

tltu $s0,$s1 # Trap‐Exception, wenn $s0 < $s1 (unsigned) tlti $s0,$42 # Trap‐Exception, wenn $s0 < 42

tltiu $s0,42 # Trap‐Exception, wenn $s0 < 42 (unsigned)