Esempio Area dei metodi x15 0x02 0x15 Control store Stack

Presentazione sul tema: "Esempio Area dei metodi x15 0x02 0x15 Control store Stack"— Transcript della presentazione:

1 Esempio Area dei metodi 2320 2321 0x15 0x02 0x15 Control store Stack
ILOAD varnum ILOAD Control store Stack 1005 0x15 37 / 25 H = LV MAR = MBRU + H; rd MAR = SP = SP + 1 PC = PC + 1; fetch; wr TOS = MDR; goto Main1 1000

2 MAR / 2321 15 1005 1000 37 / 2321 02 1005 1000 37 1002 / 2321 02 1005 1000 37 1006 25 2321 02 1000 / 37 1006 25 2322 02 1000 / 37 1006 25 2322 15 1000 / MDR PC MBR SP LV CPP TOS OPC H

3 Programma Java: … … A = B + C ... Compilatore Programma IJVM: … … ILOAD2 ILOAD5 IADD ISTORE4 ...

4 Area dei metodi 2320 2321 2326 0x15 0x02 0x15 0x05 0x60 0x36 0x04
ILOAD varnum ILOAD varnum IADD ISTORE varnum Stack 1005 37 / 25 1000

5 ILOAD IADD ISTORE H = LV MAR = MBRU + H; rd MAR = SP = SP + 1
PC = PC + 1; fetch; wr TOS = MDR; goto Main1 ILOAD MAR = SP = SP - 1; rd H = TOS MDR = TOS = MDR - H; wr; goto Main1 IADD H = LV MAR = MBRU + H MDR = TOS; wr SP = MAR = SP -1; rd PC = PC + 1; fetch TOS = MDR; goto Main1 ISTORE

6 5cicli 1ciclo 5cicli 1ciclo 3cicli 1ciclo 6cicli
Main1 5cicli 1ciclo 5cicli 1ciclo 3cicli 1ciclo 6cicli MAR / 2321 0x15 1005 1000 37 1006 25 2322 0x15 1000 / 1006 25 2323 0x15 1000 / 1007 37 2324 0x60 1000 / 1007 37 2325 0x60 1000 / 1006 62 2325 0x36 1000 / 37 1006 62 2326 0x36 1000 / 37 1005 37 2327 0x04 1000 / MDR PC MBR SP LV CPP TOS OPC H

7 BIPUSH byte DUP IADD IAND IINC varnum const ILOAD varnum IOR ISTORE varnum ISUB NOP POP SWAP LDCW index GOTO offset IFEQ offset IFTL offset IF_ICMPEQ offset WIDE INVOKEVIRTUAL disp IRETURN

8 Main1 PC = PC + 1; fetch; goto 0xA7
0xA7 GOTO offset Main PC = PC + 1; fetch; goto 0xA7 opcode opcode opcode opcode yy yy offset xx xx PC A7 PC A7 Area dei metodi

9 0xA7 yy PC yy xx xx PC A7 OPC A7 H = xxyy goto1 OPC = PC - 1
goto PC = PC + 1; fetch goto H = MBRU << 8 goto H = MBRU OR H opcode opcode opcode opcode yy PC yy xx xx PC A7 OPC A7 H = xxyy

10 PC yy PC xx yy A7 OPC xx A7 OPC goto5 PC = OPC + H; fetch
goto6 goto Main1 opcode PC opcode opcode opcode opcode yy PC xx opcode yy A7 OPC xx A7 OPC

11 PC = PC + 1; fetch; goto (MBR)
0x9F IF_ICMPEQ offset PC = PC + 1; fetch; goto (MBR) opcode opcode opcode opcode yy yy offset xx xx PC 9F PC 9F Area dei metodi

12 TOS contiene operando1, H contiene operando2,
(MBR) ificmpeq MAR = SP = SP - 1; rd ificmpeq MAR = SP = SP - 1 ificmpeq H = MDR; rd TOS contiene operando1, H contiene operando2, i due operandi sono stati eliminati dallo stack ed è iniziata la lettura dell’elemento che affiora sullo stack operando1 opcode operando2 opcode yy SP xx PC 9F LV stack

13 Viene aggiornato TOS, in Z si ha zero se operando1 (ora in OPC)
ificmpeq OPC = TOS ificmpeq TOS = MDR ificmpeq Z = OPC - H; if Z goto T else goto F Viene aggiornato TOS, in Z si ha zero se operando1 (ora in OPC) è uguale a operando2. Se i due operandi sono diversi: opcode F PC = PC + 1 F2 PC = PC + 1; fetch F3 goto Main1 opcode PC yy xx 9F

14 Se i due operandi sono uguali:
T OPC = PC - 1; fetch; goto goto2 goto PC = PC + 1; fetch goto H = MBRU << 8 goto H = MBRU OR H goto PC = OPC + H; fetch goto goto Main1 Si calcola il valore del nuovo PC sommando l’offset all’indirizzo in cui si trova il codice dell’istruzione

15 Ci deve essere una relazione tra gli indirizzi di T e di F
nel “control store”? Ricordiamo che il salto è controllato dalla linea di controllo Z: se JAMZ and Z è 1, il micro program counter MPC avrà il bit 8 a 1. La microistruzione “ificmpeq6” avra’ JAMZ abilitato per poter utilizzare nel calcolo dell’indirizzo della microistruzione seguente il valore di Z.

16 high bit: (JAMZ AND Z) OR (JAMN AND N) OR (NEXTADDRESS[8])
Ificmpeq6 Z = OPC - H; if Z goto T else goto F addr jam alu C mem B high bit: (JAMZ AND Z) OR (JAMN AND N) OR (NEXTADDRESS[8]) Se Z = 1 MPC contiene x15A (346 in base 10) Se Z = 0 MPC contiene x5A (90 in base 10) Nel “control store” la prima microistruzione da eseguire nel caso Z = 1 (T) dovrà trovarsi in un indirizzo che inizia con 1, e la prima microistruzione da eseguire nel caso Z = 0 (F) nell’indirizzo inferiore al precedente di 256.

17 WIDE : l’istruzione seguente ha un indice di 16 bit
0xC PC = PC + 1; fetch; goto (MBR OR 0x100) addr jam alu C mem B Supponiamo che l’istruzione seguente WIDE sia ILOAD (0x15). 0x15 sarà allora il contenuto di MBR nel momento in cui il circuito O esegue l’OR bit a bit tra MBR e NEXTADDRESS, in quanto JMPC = 1. L’ indirizzo della prossima microistruzione è il risultato dell’OR: OR = 0x OR 0x = 0x115

18 I microprogrammi per eseguire una ILOAD o una WIDE ILOAD
si trovano nel “control store” ad indirizzi distanti 256 0xC x x x03 WIDE ILOAD varnum 0x115 PC = PC + 1;fetch H = MBRU << 8 H = MBRU OR H MAR = LV + H; rd; goto iload3 iload3 MAR = SP = SP + 1 (0x17?) PC = PC + 1; fetch; wr TOS = MDR; goto Main1

19 Esempio Area dei metodi 2320 2321 2326
0x x x x x x x04 ILOAD varnum ILOAD varnum IADD ISTORE varnum . . . 0xB x x1E INVOKEVIRTUAL disp 4576 4577 4580 0x x x x x84 . . . Num. parametri Spazio var. loc. 1^istruzione 5620 5621 . . . 0xAC . . .

20 situazione all’atto della chiamata
Stack Constant pool 1007 62 OBJREF 1005 37 62 / 25 530 4576 1000 500 (LV) = 1000 (SP) = 1007 (CPP) = 500

21 dopo la INVOKEVIRTUAL Stack 1013 1012 1000 2334 4580 1013 1006 500
MAR MDR PC 4580 MBR SP 1013 1006 500 1000 1007 62 LV 1012 CPP 1005 37 62 / 25 TOS OPC H 1000

22 situazione dopo IRETURN, supponendo che il metodo chiamato
restituisca al chiamante il quadrato del valore del parametro alla chiamata Stack MAR MDR 1006 3844 PC 2334 1005 37 62 / 25 MBR SP 1006 1000 500 3844 LV CPP TOS 1000 OPC H

23 0xB6 INVOKEVIRTUAL displacement
opcode opcode vv uu tt zz CPP + xxyy CPP Indirizzo di ritorno yy Disp. Da CPP Constant pool xx B6 PC zztt: numero dei parametri uuvv: spazio per le variabili locali Area dei metodi

24 Main1 PC = PC + 1; fetch; goto (MBR)
Invokevirtual1 PC = PC + 1; fetch Invokevirtual2 H = MBRU <<8 Invokevirtual3 H = MBRU OR H Invokevirtual4 MAR = CPP + H; rd Invokevirtual5 OPC = PC + 1 Invokevirtual6 PC = MDR; fetch Invokevirtual7 PC = PC + 1; fetch Invokevirtual8 H = MBRU <<8 Invokevirtual9 H = MBRU OR H H = xxyy Si legge l’indirizzo di zz In OPC si ha l’indirizzo di ritorno H = zztt

25 zztt = n+1 Par. n SP . . . Par. 1 OBJREF TOS, MAR LV stack
Invokevirtual10 PC = PC + 1; fetch Invokevirtual11 TOS = SP - H Invokevirtual12 TOS = MAR = TOS + 1 zztt = n+1 Par. n SP . . . Par. 1 OBJREF TOS, MAR LV stack

26 H = uuvv = numero di variabili locali
Invokevirtual13 PC = PC + 1; fetch Invokevirtual14 H = MBRU <<8 Invokevirtual15 H = MBRU OR H H = uuvv = numero di variabili locali Par. n SP . . . Par. 1 OBJREF TOS, MAR LV stack

27 SP + H + 1 MAR, SP Variabili locali Variabili locali Par. n SP Par. n
Invokevirtual MDR = SP + H + 1; wr Invokevirtual MAR = SP = MDR SP + H + 1 MAR, SP Variabili locali Variabili locali Par. n SP Par. n . . . . . . Par. 1 Par. 1 TOS, MAR TOS LV LV

28 Salva il vecchio PC Salva il vecchio LV SP LV precedente SP, MAR
Invokevirtual MDR = OPC; wr Invokevirtual MAR = SP = SP + 1 Invokevirtual OPC = MDR = LV; wr Invokevirtual PC = PC + 1; fetch Invokevirtual LV = TOS Invokevirtual TOS = OPC; goto Main1 Salva il vecchio PC Salva il vecchio LV SP LV precedente SP, MAR PC precedente Variabili locali Variabili locali Par. n Par. n . . . . . . Par. 1 Par. 1 TOS LV LV

29 0xAC IRETURN valore SP LV precedente PC precedente 1 Variabili locali
ireturn MAR = SP = LV; rd legge l’indirizzo in cui è ireturn memorizzato il PC da ripristinare ireturn LV = MAR = MDR; rd legge il PC precedente valore SP LV precedente PC precedente 1 Variabili locali Par. n 3 . . . Par. 1 3 LV 1 MAR

30 PC assume il valore di ritorno si legge il precedente LV e si inizia
ireturn MAR = LV + 1 ireturn PC = MDR; rd; fetch PC assume il valore di ritorno si legge il precedente LV e si inizia il fetch della prima istruzione del metodo chiamante al rientro valore LV precedente MAR PC precedente LV Variabili locali Par. n . . . Par. 1 SP

31 LV assume il valore di ritorno si scrive “valore” sullo
ireturn MAR = SP ireturn LV = MDR ireturn MDR = TOS; wr; goto Main1 LV assume il valore di ritorno si scrive “valore” sullo stack in quanto (TOS) = valore valore LV precedente MAR PC precedente LV Variabili locali 1007 valore SP Par. n . . . Par. 1 1000 LV 1007 SP