Oversættelse af symbolsk maskinsprog. Sammenkædning og indlæsning af maskinsprog

Oversættelse af

symbolsk maskinsprog

Sammenkædning og indlæsning af

maskinsprog

Niveauer af abstrakte maskiner

Spørgsmål ...

Hvordan bruges asm-niveauet?

metode til programmering

Hvordan stilles asm-niveauet tilrådighed?

oversættelse af symbolsk maskinsprog

til absolut maskinsprog

Programmering i

symbolsk maskinsprog

Evt. optimeringer foretages

altid

på et korrekt program ...

Tag udgangspunkt i et C program

Oversæt systematisk til symbolsk maskinsprog

Kommenter med C programmet

.method main //

int main

.args 3 //

( int a, int b )

.define a = 1

.define b = 2

//

{

bipush 88

iload a

iload b

invokevirtual min

ireturn //

return min ( a, b );

//

}

.method min //

int min

.args 3 //

( int a, int b ){

.define a = 1

.define b = 2

.locals 1 //

int r;

.define r = 3

iload a //

if ( a >= b )

iload b

isub

iflt else

iload b //

r = b;

istore r

goto end_if

else: //

else

iload a //

r = a;

istore r

end_if:

iload r //

return r;

ireturn //

}

main index: 0

method area: 40 bytes

00 03 00 00 10 58 15 01 15 02 b6 00 01 ac 00 03

00 01 15 01 15 02 64 9b 00 0a 15 02 36 03 a7 00

07 15 01 36 03 15 03 ac

constant pool: 2 words

00000000

0000000e

Hvilke opgaver har

assembleren for at

producere absolut

maskinkode?

Oversættelse af symbolsk maskinsprog

1-1 afbildning mellem maskinordre og symbolsk maskinordre

Oversættelse er vel ligetil?

.method main //

int main

.args 3 //

( int a, int b )

.define a = 1

.define b = 2

//

{

bipush 88

iload a

iload b

invokevirtual min

ireturn

//

return min ( a, b );

//

}

.method min //

int min

.args 3 //

( int a, int b ){

.define a = 1

.define b = 2

.locals 1 //

int r;

.define r = 3

iload a //

if ( a >= b )

iload b

isub

iflt else

iload b //

r = b;

istore r

goto end_if

else: //

else

iload a //

r = a;

istore r

end_if:

iload r //

return r;

ireturn

//

}

main index: 0

method area: 40 bytes

00 03 00 00 10 58 15 01 15 02 b6

?? ?? ac 00 03 00 01 15 01 15 02

64 9b ?? ?? 15 02 36 03 a7 ?? ??

15 01 36 03 15 03 ac

constant pool: 2 words

00000000

0000000e

Sekventiel

Two-pass assembler

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // } main index: 0

method area: 40 bytes

00 03 00 00 10 58 15 01 15 02 b6 00 01 ac 00 03 00 01 15 01 15 02 64 9b 00 0a 15 02 36 03 a7 00 07 15 01 36 03 15 03 ac

constant pool: 2 words 00000000

0000000e

1. gennemløb

Opbyg symboltabel

Sammenknytning af symbolske navne og værdier ...

2. gennemløb

oversættelse af program ordre for ordre ...

ijvm-asm test.j

test.bc

Hvad skal asm holde styr på?

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

Adressen på næste ledige

byte

i method area:

Instruction Location Counter

Adressen på næste ledige

word i constant pool:

Constant Location Counter

Værdier knyttet til

symboler, konstanter,

metodenavne, labels:

Symboltabel

main index: 0

method area: 40 bytes

00 03 00 00 10 58 15 01 15 02 b6 00 01 ac 00 03 00 01 15 01 15 02 64 9b 00 0a 15 02 36 03 a7 00 07 15 01 36 03 15 03 ac

constant pool: 2 words 00000000

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 0

CLC: 0

1. gennemløb

.method main // int main

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 0

CLC: 1

Symbol

værdi

type

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 4

CLC: 1

Symbol

værdi

type

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 4

CLC: 1

Symbol

værdi

type

scope

main

0

metode

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 4

CLC: 1

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 6

CLC: 1

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 8

CLC: 1

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 10

CLC: 1

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 13

CLC: 1

Forward reference (

min

er ikke i symboltabellen)

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 14

CLC: 1

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 14

CLC: 2

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 18

CLC: 2

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

min

1

metode

a

1

konstant

min

b

2

konstant

min

r

3

konstant

min

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 20

CLC: 2

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

min

1

metode

a

1

konstant

min

b

2

konstant

min

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

min

1

metode

a

1

konstant

min

b

2

konstant

min

r

3

konstant

min

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 22

CLC: 2

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

min

1

metode

a

1

konstant

min

b

2

konstant

min

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

min

1

metode

a

1

konstant

min

b

2

konstant

min

r

3

konstant

min

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 23

CLC: 2

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

min

1

metode

a

1

konstant

min

b

2

konstant

min

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

min

1

metode

a

1

konstant

min

b

2

konstant

min

r

3

konstant

min

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 26

CLC: 2

Forward reference

(

else

er ikke defineret)

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

min

1

metode

a

1

konstant

min

b

2

konstant

min

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

min

1

metode

a

1

konstant

min

b

2

konstant

min

r

3

konstant

min

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 28

CLC: 2

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

min

1

metode

a

1

konstant

min

b

2

konstant

min

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

min

1

metode

a

1

konstant

min

b

2

konstant

min

r

3

konstant

min

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 30

CLC: 2

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

min

1

metode

a

1

konstant

min

b

2

konstant

min

r

3

konstant

min

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 33

CLC: 2

Forward reference

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

min

1

metode

a

1

konstant

min

b

2

konstant

min

r

3

konstant

min

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 33

CLC: 2

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

min

1

metode

a

1

konstant

min

b

2

konstant

min

r

3

konstant

min

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 35

CLC: 2

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

min

1

metode

a

1

konstant

min

b

2

konstant

min

r

3

konstant

min

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 37

CLC: 2

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

min

1

metode

a

1

konstant

min

b

2

konstant

min

r

3

konstant

min

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 37

CLC: 2

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

min

1

metode

a

1

konstant

min

b

2

konstant

min

r

3

konstant

min

else

33

label

min

end_if

37

label

min

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 39

CLC: 2

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

min

1

metode

a

1

konstant

min

b

2

konstant

min

r

3

konstant

min

else

33

label

min

end_if

37

label

min

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 40

CLC: 2

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

min

1

metode

a

1

konstant

min

b

2

konstant

min

r

3

konstant

min

else

33

label

min

end_if

37

label

min

1. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // }

ILC: 40

CLC: 2

method area: 40 bytes

00 03 00 00 10 58 15 01 15 02 b6 ?? ?? ac 00 03 00 01 15 01 15 02 64 9b ?? ?? 15 02 36 03 a7 ?? ?? 15 01 36 03 15 03 ac

constant pool: 2 words

00000000 0000000e

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

min

1

metode

a

1

konstant

min

b

2

konstant

min

r

3

konstant

min

else

33

label

min

end_if

37

label

min

2. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // } main index: 0

method area: 40 bytes

00 03 00 00 10 58 15 01 15 02 b6 ?? ?? ac 00 03 00 01 15 01 15 02 64 9b ?? ?? 15 02 36 03 a7 ?? ?? 15 01 36 03 15 03 ac

constant pool: 2 words 00000000

0000000e

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

min

1

metode

a

1

konstant

min

b

2

konstant

min

r

3

konstant

min

else

33

label

min

end_if

37

label

min

Udfyld “huller” vha.

symboltabel

2. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // } main index: 0

method area: 40 bytes

00 03 00 00 10 58 15 01 15 02 b6 00 01 ac 00 03 00 01 15 01 15 02 64 9b ?? ?? 15 02 36 03 a7 ?? ?? 15 01 36 03 15 03 ac

constant pool: 2 words 00000000

0000000e

ILC: 13

CLC: 1

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

min

1

metode

a

1

konstant

min

b

2

konstant

min

r

3

konstant

min

else

33

label

min

end_if

37

label

min

2. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // } main index: 0

method area: 40 bytes

00 03 00 00 10 58 15 01 15 02 b6 00 01 ac 00 03 00 01 15 01 15 02 64 9b 00 0a 15 02 36 03 a7 ?? ?? 15 01 36 03 15 03 ac

constant pool: 2 words 00000000

0000000e

ILC: 26

CLC: 2

23

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

min

1

metode

a

1

konstant

min

b

2

konstant

min

r

3

konstant

min

else

33

label

min

end_if

37

label

min

2. gennemløb

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // } main index: 0

method area: 40 bytes

00 03 00 00 10 58 15 01 15 02 b6 00 01 ac 00 03 00 01 15 01 15 02 64 9b 00 0a 15 02 36 03 a7 00 07 15 01 36 03 15 03 ac

constant pool: 2 words 00000000

0000000e

ILC: 33

CLC: 2

30

Symbol

værdi

type

scope

main

0

metode

a

1

konstant

main

b

2

konstant

main

min

1

metode

a

1

konstant

min

b

2

konstant

min

r

3

konstant

min

else

33

label

min

end_if

37

label

min

Two-pass assembler

.args 3 // ( int a, int b )

.define a = 1 .define b = 2 // { bipush 88 iload a iload b invokevirtual min

ireturn // return min ( a, b );

// }

.method min // int min

.args 3 // ( int a, int b ){

.define a = 1 .define b = 2 .locals 1 // int r; .define r = 3 iload a // if ( a >= b ) iload b isub iflt else iload b // r = b; istore r goto end_if else: // else iload a // r = a; istore r end_if: iload r // return r; ireturn // } main index: 0

method area: 40 bytes

00 03 00 00 10 58 15 01 15 02 b6 00 01 ac 00 03 00 01 15 01 15 02 64 9b 00 0a 15 02 36 03 a7 00 07 15 01 36 03 15 03 ac

constant pool: 2 words 00000000

0000000e

1. gennemløb

Opbyg symboltabel

Sammenknytning af symbolske navne og værdier ...

2. gennemløb

oversættelse af program ordre for ordre ...

ijvm-asm test.j

test.bc

main index: 0

method area: 40 bytes

00 03 00 00 10 58 15 01 15 02 b6 00 01 ac 00 03 00 01 15 01 15 02 64 9b 00 0a 15 02 36 03 a7 00 07 15 01 36 03 15 03 ac

constant pool: 2 words 00000000

0000000e

Maskinsprog / binært program

Indlæsning af IJVM program

00 03 00 00 10 58 15 01 15 02 b6 00 01 ac 00 03 00 01 15 01 15 02 64 9b 00 0a 15 02 36 03 a7 00 07 15 01 36 03 15 03 ac 00 00 00 00 00 00 00 0e

PC = 0

CPP = 10

SP = 16

LV = 12

1.Indlæs binært program i lager (method area

og constant pool) startende fra adresse 0

2.Initialiser kontrolregistre PC, CPP, LV og SP

3.Start afvikling; invokevirtual ''main index''

IJVM Trace of test.bc

stack = 0, 1, 87, 42, 15

bipush 88 [10 58] stack = 88, 0, 1, 87, 42, 15

iload 1 [15 01] stack = 42, 88, 0, 1, 87, 42, 15

iload 2 [15 02] stack = 87, 42, 88, 0, 1, 87, 42, 15

invokevirtual 1 [b6 00 01] stack = 12, 13, 0, 87, 42, 21, 0, 1

iload 1 [15 01] stack = 42, 12, 13, 0, 87, 42, 21, 0

iload 2 [15 02] stack = 87, 42, 12, 13, 0, 87, 42, 21

isub [64] stack = -45, 12, 13, 0, 87, 42, 21, 0

iflt 10 [9b 00 0a] stack = 12, 13, 0, 87, 42, 21, 0, 1

iload 1 [15 01] stack = 42, 12, 13, 0, 87, 42, 21, 0

istore 3 [36 03] stack = 12, 13, 42, 87, 42, 21, 0, 1

iload 3 [15 03] stack = 42, 12, 13, 42, 87, 42, 21, 0

ireturn [ac] stack = 42, 0, 1, 87, 42, 15

ireturn [ac] stack = 42

return value: 42

ijvm test.bc 42 87

Hvordan ser indholdet af lageret ud ved

programstart?

Caller's LV:

0

Caller's PC:

1

b:

87

a:

42

Link prt:

15

SP

LV

+2

+1

15

12

Store programmer

Man vil gerne anvende ''biblioteksmetoder''

...

// Integer multiplication.

.method imul

.args 3 // ( int x, int y ) .define x = 1 .define y = 2 .locals 1 // int p; .define p = 3 ldc_w 0 istore p // p = 0; while: // while iload x ifeq end_while // ( x > 0 ) // { iload x bipush 1 isub istore x // x = x - 1; iload p iload y iadd istore p // p = p + y; goto while // } end_while: iload p ireturn // return p; // My multiplication program .method main .args 3 .define a = 1 .define b = 2 bipush 88 iload a iload b invokevirtual calc ireturn .method calc .args 3 .define a = 1 .define b = 2 bipush 88 iload a iload b invokevirtual imul ldc_w 42 iadd

Mulig løsning

Lav et samlet program i

symbolsk maskinsprog, der kan

oversættes ...

Problemer

Kræver adgang til kildeteksten for

de anvendte biblioteksmetoder...

Biblioteksmetoder skal oversættes

hver gang der rettes i egen kode

...

// Integer multiplication .method imul

.args 3 // ( int x, int y ) .define x = 1 .define y = 2 .locals 1 // int p; .define p = 3 ldc_w 0 istore p // p = 0; ... ... // My multiplication program .method main .args 3 .define a = 1 .define b = 2 bipush 88 iload a iload b invokevirtual calc ireturn .method calc .args 3 .define a = 1 .define b = 2 bipush 88 iload a iload b invokevirtual imul ldc_w 42 iadd

ireturn // return a*b+42

main index: 1

method area: 66 bytes

00 03 00 01 13 00 00 36 03 15 01 99 00 14 15 01 10 01 64 36 01 15 03 15 02 60 36 03 a7 ff ed 15 03 ac 00 03 00 00 10 58 15 01 15 02 b6 00 02 ac 00 03 00 00 10 58 15 01 15 02 b6 00 00 13 00 03 60 ac

constant pool: 4 words 00000000

00000022 00000030 0000002a

Mulig løsning

Sammenkæd den oversattte

kode, maskinkoden, inden

indlæsning ...

Sammenkædning

Sammenkæd den oversatte kode, maskinkoden, inden

indlæsning ...

main index: ??

method area: 34 bytes

00 03 00 01 13 00 00 36 03 15 01 99 00 14 15 01 10 01 64 36 01 15 03 15 02 60 36 03 a7 ff ed 15 03 ac

constant pool: 1 words 00000000

Mangler

''imul''

Har ingen

main-metode

main index: 0

method area: 32 bytes

00 03 00 00 10 58 15 01 15 02 b6 00 01 ac 00 03 00 00 10 58 15 01 15 02 b6 ?? ?? 13 00 02 60 ac constant pool: 3 words

00000000 0000000e 0000002a

Sammenkædning

Sammenkæd den oversatte kode, maskinkoden, inden

indlæsning ...

main index: ??

method area: 34 bytes

00 03 00 01 13 00 00 36 03 15 01 99 00 14 15 01 10 01 64 36 01 15 03 15 02 60 36 03 a7 ff ed 15 03 ac

constant pool: 1 words 00000000

Mangler ''imul''

_{Har ingen main-metode}

main index: 0

method area: 32 bytes

00 03 00 00 10 58 15 01 15 02 b6 00 01 ac 00 03 00 00 10 58 15 01 15 02 b6 ?? ?? 13 00 02 60 ac constant pool: 3 words

00000000 0000000e 0000002a

main index: 0

calc index: 1

method area: 32 bytes

00 03 00 00 10 58 15 01 15 02 b6 00 01 ac 00 03 00 00 10 58 15 01 15 02 b6 ?? ?? 13 00 02 60 ac constant pool: 3 words

00000000 [.method main]

0000000e [.method calc]

0000002a [ldc_w constant] external symbols:

.method imul [ 24: invokevirtual imul ]

imul index: 1

method area: 34 bytes

00 03 00 01 13 00 00 36 03 15 01 99 00 14 15 01 10 01 64 36 01 15 03 15 02 60 36 03 a7 ff ed 15 03 ac

constant pool: 1 words 00000000 [ldc_w constant] 00000000 [.method imul]

Sammenkædning

main.o

bj

imul.o

bj

Linker

all.bc

method area: 66 bytes

00 03 00 01 13 00 00 36 03 15 01 99 00 14 15 01 10 01 64 36 01 15 03 15 02 60 36 03 a7 ff ed 15 03 ac 00 03 00 00 10 58 15 01 15 02 b6 00 02 ac 00 03 00 00 10 58 15 01 15 02 b6 00 00 13 00 03 60 ac

constant pool: 4 words 00000000 00000022 00000030 0000002a main index: 0 calc index: 1

method area: 32 bytes

00 03 00 00 10 58 15 01 15 02 b6 00 01 ac 00 03 00 00 10 58 15 01 15 02 b6 ?? ?? 13 00 02 60 ac constant pool: 3 words

00000000 [.method main]

0000000e [.method calc]

0000002a [ldc_w constant] external symbols:

.method imul [ 24: invokevirtual imul ]

imul index: 1

method area: 34 bytes

00 03 00 01 13 00 00 36 03 15 01 99 00 14 15 01 10 01 64 36 01 15 03 15 02 60 36 03 a7 ff ed 15 03 ac

constant pool: 1 words 00000000 [ldc_w constant] 00000000 [.method imul]

Sammenkædning

main.o

bj

imul.o

bj

Linker

all.b

c

method area: 66 bytes

00 03 00 01 13 00 00 36 03 15 01 99 00 14 15 01 10 01 64 36 01 15 03 15 02 60 36 03 a7 ff ed 15 03 ac 00 03 00 00 10 58 15 01 15 02 b6 00 02 ac 00 03 00 00 10 58 15 01 15 02 b6 00 00 13 00 03 60 ac

constant pool: 4 words 00000000 00000022 00000030 0000002a main index: 0 calc index: 1

method area: 32 bytes

00 03 00 00 10 58 15 01 15 02 b6 00 01 ac 00 03 00 00 10 58 15 01 15 02 b6 ?? ?? 13 00 02 60 ac constant pool: 3 words

00000000 [.method main]

0000000e [.method calc]

0000002a [ldc_w constant] external symbols:

.method imul [ 24: invokevirtual imul ]

imul index: 1

method area: 34 bytes

00 03 00 01 13 00 00 36 03 15 01 99 00 14 15 01 10 01 64 36 01 15 03 15 02 60 36 03 a7 ff ed 15 03 ac

constant pool: 1 words 00000000 [ldc_w constant] 00000000 [.method imul]

Sammenkædning

main.o

bj

imul.o

bj

Linker

all.b

c

method area: 66 bytes

00 03 00 01 13 00 00 36 03 15 01 99 00 14 15 01 10 01 64 36 01 15 03 15 02 60 36 03 a7 ff ed 15 03 ac 00 03 00 00 10 58 15 01 15 02 b6 00 02 ac 00 03 00 00 10 58 15 01 15 02 b6 00 00 13 00 03 60 ac

constant pool: 4 words 00000000 00000022 00000030 0000002a main index: 0 calc index: 1

method area: 32 bytes

00 03 00 00 10 58 15 01 15 02 b6 00 01 ac 00 03 00 00 10 58 15 01 15 02 b6 ?? ?? 13 00 02 60 ac constant pool: 3 words

00000000 [.method main]

0000000e [.method calc]

0000002a [ldc_w constant] external symbols:

.method imul [ 24: invokevirtual imul ]

imul index: 1

method area: 34 bytes

00 03 00 01 13 00 00 36 03 15 01 99 00 14 15 01 10 01 64 36 01 15 03 15 02 60 36 03 a7 ff ed 15 03 ac

constant pool: 1 words 00000000 [ldc_w constant] 00000000 [.method imul]

Generelt eksempel

Hver oversat under antagelse af indlæsning fra

adresse 0 ...

Fire objekt-moduler skal

sammenkædes

Reallokeringsproblem

Absolutte referencer til

lageradresse skal

justeres jvf.

indlæsningsadresser ...

Eksterne referencer

Skal sættes jvf.

indlæsnings-adresser ...

IJVM eksempel

Linker

all.bc

main index: 1

method area: 66 bytes

00 03 00 01 13 00 00 36 03 15 01 99 00 14 15 01 10 01 64 36 01 15 03 15 02 60 36 03 a7 ff ed 15 03 ac 00 03 00 00 10 58 15 01 15 02 b6 00 02 ac 00 03 00 00 10 58 15 01 15 02 b6 00 00 13 00 03 60 ac

constant pool: 4 words 00000000 00000022 00000030 0000002a main index: 0 calc index: 1

method area: 32 bytes

00 03 00 00 10 58 15 01 15 02 b6 00 01 ac 00 03 00 00 10 58 15 01 15 02 b6 ?? ?? 13 00 02 60 ac constant pool: 3 words

00000000 [.method main]

0000000e [.method calc]

0000002a [ldc_w constant] external symbols:

.method imul [ 24: invokevirtual imul ]

imul index: 1

method area: 34 bytes

00 03 00 01 13 00 00 36 03 15 01 99 00 14 15 01 10 01 64 36 01 15 03 15 02 60 36 03 a7 ff ed 15 03 ac

constant pool: 1 words 00000000 [ldc_w constant] 00000000 [.method imul]

IJVM eksempel

Linker

all.bc

main index: 1

method area: 66 bytes

00 03 00 01 13 00 00 36 03 15 01 99 00 14 15 01 10 01 64 36 01 15 03 15 02 60 36 03 a7 ff ed 15 03 ac 00 03 00 00 10 58 15 01 15 02 b6 00 02 ac 00 03 00 00 10 58 15 01 15 02 b6 00 00 13 00 03 60 ac

constant pool: 4 words

00000000 00000022 00000030 0000002a main index: 0 calc index: 1

method area: 32 bytes

00 03 00 00 10 58 15 01 15 02 b6 00 01 ac 00 03 00 00 10 58 15 01 15 02 b6 ?? ?? 13 00 02 60 ac

constant pool: 3 words

00000000 [.method main]

0000000e [.method calc]

0000002a [ldc_w constant] external symbols:

.method imul [ 24: invokevirtual imul ]

imul index: 1

method area: 34 bytes

00 03 00 01 13 00 00 36 03 15 01 99 00 14 15 01 10 01 64 36 01 15 03 15 02 60 36 03 a7 ff ed 15 03 ac

constant pool: 1 words

00000000 [ldc_w constant]

00000000 [.method imul]

Eksterne referencer sættes jvf. placering i fælles

''method area'' og ''constant pool'' ...

IJVM eksempel

Linker

all.bc

main index: 1

method area: 66 bytes

00 03 00 01 13 00 00 36 03 15 01 99 00 14 15 01 10 01 64 36 01 15 03 15 02 60 36 03 a7 ff ed 15 03 ac 00 03 00 00 10 58 15 01 15 02 b6 00 02 ac 00 03 00 00 10 58 15 01 15 02 b6 00 00 13 00 03 60 ac

constant pool: 4 words

00000000 00000022 00000030 0000002a main index: 0 calc index: 1

method area: 32 bytes

00 03 00 00 10 58 15 01 15 02 b6 00 01 ac 00 03 00 00 10 58 15 01 15 02 b6 ?? ?? 13 00 02 60 ac

constant pool: 3 words

00000000 [.method main]

0000000e [.method calc]

0000002a [ldc_w constant] external symbols:

.method imul [ 24: invokevirtual imul ]

imul index: 1

method area: 34 bytes

00 03 00 01 13 00 00 36 03 15 01 99 00 14 15 01 10 01 64 36 01 15 03 15 02 60 36 03 a7 ff ed 15 03 ac

constant pool: 1 words

00000000 [ldc_w constant]

00000000 [.method imul]

Startadresser for metoder i eget ''method area''

skal justeres i fælles ''constant pool'' jvf. placering

i fælles ''method area'' ...

Linker

all.bc

main index: 1

method area: 66 bytes

00 03 00 01 13 00 00 36 03 15 01 99 00 14 15 01 10 01 64 36 01 15 03 15 02 60 36 03 a7 ff ed 15 03 ac 00 03 00 00 10 58 15 01 15 02 b6 00 02 ac 00 03 00 00 10 58 15 01 15 02 b6 00 00 13 00 03 60 ac

constant pool: 4 words

00000000 00000022 00000030 0000002a main index: 0 calc index: 1

method area: 32 bytes

00 03 00 00 10 58 15 01 15 02 b6 00 01 ac 00 03 00 00 10 58 15 01 15 02 b6 ?? ?? 13 00 02 60 ac

constant pool: 3 words

00000000 [.method main]

0000000e [.method calc]

0000002a [ldc_w constant] external symbols:

.method imul [ 24: invokevirtual imul ]

imul index: 1

method area: 34 bytes

00 03 00 01 13 00 00 36 03 15 01 99 00 14 15 01 10 01 64 36 01 15 03 15 02 60 36 03 a7 ff ed 15 03 ac

constant pool: 1 words

00000000 [ldc_w constant]

00000000 [.method imul]

IJVM eksempel

Startadresser for metoder i eget ''method area''

skal justeres i fælles ''constant pool'' jvf. placering

i fælles ''method area'' ...

IJVM eksempel

Linker

all.bc

main index: 1

method area: 66 bytes

00 03 00 01 13 00 00 36 03 15 01 99 00 14 15 01 10 01 64 36 01 15 03 15 02 60 36 03 a7 ff ed 15 03 ac 00 03 00 00 10 58 15 01 15 02 b6 00 02 ac 00 03 00 00 10 58 15 01 15 02 b6 00 00 13 00 03 60 ac

constant pool: 4 words

00000000 00000022 00000030 0000002a main index: 0 calc index: 1

method area: 32 bytes

00 03 00 00 10 58 15 01 15 02 b6 00 01 ac 00 03 00 00 10 58 15 01 15 02 b6 ?? ?? 13 00 02 60 ac

constant pool: 3 words

00000000 [.method main]

0000000e [.method calc]

0000002a [ldc_w constant] external symbols:

.method imul [ 24: invokevirtual imul ]

imul index: 1

method area: 34 bytes

00 03 00 01 13 00 00 36 03 15 01 99 00 14 15 01 10 01 64 36 01 15 03 15 02 60 36 03 a7 ff ed 15 03 ac

constant pool: 1 words

00000000 [ldc_w constant]

00000000 [.method imul]

Referencer til egen ''constant pool'' (via

invokevirtual eller ldc_w) skal justeres jvf.

placering i fælles ''constant pool'' ...