André Santos / Pablo Sampaio

Transcrição

1 JVM- Máquina Virtual Java André Santos / Pablo Sampaio

2 Estrutura da Apresentação Máquinas Virtuais Introdução à JVM Arquivo class Tipos de Dados Descritores de Tipos Frames Instruções Compilando para a JVM

3 Máquinas Virtuais Definições: Particionamento de uma máquina: sistema IBM VM/ESA para o IBM 370 (1965). Software que simula o comportamento de uma máquina (diferente daquela na qual roda). Emuladores Ambientes independentes de plataforma para linguagens de programação

4 Máquinas Virtuais para LP s O-Code machine para BCPL (1960 s) P-Code machine para UCSD Pascal (1970 s) Smalltalk (1970 s) Java Virtual Machine para Java Microsoft : VB, C#, C++,... (2001)

5 Máquinas Virtuais para LP s Impacto na Performance Linguagens Interpretadas: JavaScript, Perl, etc. Portabilidade e Segurança 100x a 200x mais lentas que C Linguagens Baseadas em Bytecodes Linguagens semi-compiladas 10 a 20x mais lentas que C JIT: ~5x mais lenta que C

6 JVM - Introdução Engenho que executa um programa Java Possui seu próprio conjunto de instruções Manipula diferentes áreas de memória Baseada em pilha de operandos Responsável por gerenciar: memória (garbage collector), erros, exceções, thread

7 JVM - Introdução Garante as seguintes características da linguagem Java: Portabilidade Eficiência (JIT) Segurança

8 JVM - Introdução sabe nada da linguagem Java. Ela entende apenas arquivos em um formato binário particular: arquivos class. Permite rodar outras linguagens desde que seja possível traduzi-las para arquivos class. Haskell, Pascal, Ada etc. Instruções lembram as de processadores nível). Ex: Instruções para manipular objetos

9 JVM - Introdução Camadas de abstração: Programa em Java Java Bytecode JVM Sistema Operacional Hardware

10 Formato único independente de plataforma Ênfase na compacidade Representa de maneira precisa uma classe ou interface Guarda informações sobre: atributos, métodos, permissões de acesso, herança. Informaç áveis locais, linhas do código (Java), etc.

11 Arquivo.class Constant Pool: armazena valores constante referenciados pelas instruções. Exemplos: Nomes e assinaturas de métodos e atributos Nomes de classes Constantes numéricas Strings constantes Constant Pool favorece a compacidade

12 Arquivo class

13 Tipos de Dados Dividem-se em: Primitivos Referência Checagem de tipos deve ser feita em tempo de compilação (ou pelo Verifier) ção entre valores de tipos diferentes. No entanto, oferece instruções específicas para cada tipo de dado.

14 Tipos Primitivos Tipos numéricos: Inteiros: byte: 8 bits com sinal char: 16 bits sem sinal, representando caracteres Unicode short: 16 bits com sinal int: 32 bits com sinal long: 64 bits com sinal Ponto-flutuante: float: 32 bits com sinal double: 64 bits com sinal

15 Tipos Primitivos Tipo boolean: Suporte limitado, não há instrução que opere exclusivamente sobre esse tipo de dado Em geral, é tratado com o tipo int da JVM Valores: 0 (false) e 1 (true) Tipo returnaddress: Seus valores são ponteiros para opcodes da JVM Usado por algumas instruções da JVM Único tipo que não tem correspondente em Java

16 É o tipo usado para referenciar: arrays, classes e interfaces Seus valores são endereços para objetos criados dinamicamente O valor null representa uma referência inválida

17 Descritores de Tipos São strings usadas para descrever o tipo de um atributo ou método dentro de um arquiv class. Exemplos: [[I significa int[][] São usados para definir a assinatura de métodos e atributos e também para acessálos.

18 Descritores de Tipos descritor_simples: básico array classe Tipos básicos: Z : boolean B : byte I : int F : float J : long etc.

19 Descritores de Tipos Arrays: [ + <descritor_simples> Ex.: [[[Z => boolean[][][] Classes: L + <nome_classe> + ; nome_classe: nome completo da classe (informando o pacote a que ela pertence, usando barras / ao invés de ponto. ) Ex.: Ljava/lang/String; => String

20 Descritores de Tipo Métodos: ( + <descritor_simples>* + ) + <descritor_simples> Exemplo: Um método Java: long[] mymethod(int i, double d, Thread t) Descritor do método: (IDLjava/lang/Thread;)[J

21 Frames São estruturas que guardam informações específica de uma chamada de método. São criados a cada chamada de método e destruído quando a chamada termina. São sucessivamente empilhados na JVM Stack em chamadas aninhadas. Cada frame da JVM possui: Uma pilha de operandos Um array de variáveis (locais) Referência para a runtime Constant Pool

22 Frames Array de variáveis locais Posições de 4 bytes acessadas através de seu índices Valores byte, char, short, int,... ocupam uma única posição do array Valores long e double ocupam duas posições Tem seu tamanho determinado em tempo de compilação e informado no arquivo class

23 Frames Pilha de operandos ções buscam seus operandos e para onde retornam resultados Vazia quando o frame é criado Usada para preparar parâmetros para a chamada a u método, bem como para retornar valores Tamanho determinado em tempo de compilação long e double ocupam dois espaços

24 Frames this argumentos var. locais Pilha de Operandos Frame 5 Frame 4 Frame Ref. Constant Pool Frame 2 Frame 1 M Stack 0 <Class> My Class 1 <String> Hello World 2 <Integer>

25 ções O conjunto de instruções da JVM não é ortogonal, ou seja, instruções disponíveis para um tipo podem não possuir instrução análoga para outro tipo. O tipo int é o que apresenta melhor suporte na JVM: 23 instruções O tipo boolean apresenta o pior suporte: 0 instruçõe Alguns tipos são operados como int: char, boolean: estendidos (para 32 bits) com zero byte, short: estendidos com o sinal

26 Instruções Instruções com opcodes de apenas 1 byte. Algumas instruç um ou mais operandos. A maioria das instruções da JVM opera apenas sobre um tipo específico. A maioria das instruções tem representado no seu mnemônico o tipo sobre o qual ela opera.

27 Instruções Uma letra para representar cada tipo: i : operações sobre int l : operações sobre long s : operações sobre short b : operações sobre byte c : para char f : para float d : para double a : para o tipo referência (classes, arrays, interfaces)

28 Instruções Instruções de load/store: Para carregar uma variável local na pilha de operandos: iload, lload, dload, aload, etc. Para armazenar uma valor da pillha de operandos em uma variável local: istore, lstore, fstore, dstore, astore, etc. Colocar uma constante na pilha de operandos: bipush, sipush, ldc, aconst_null etc.

29 Instruções Instruções aritméticas: Soma: iadd, ladd, fadd, dadd. Multiplicação: imul, lmul, fmul, dmul. Negação: ineg, lneg, fneg, dneg. Shift: ishl, ishr, lshl, lshr, etc. AND bit-a-bit: iand, land. Comparação: dcmpg, dcmpl, fcmpg, lcmp, etc. Retornam 1 (menor), 0 (igual) ou +1 (maior) Incrementa variável local (sem colocar na pilha): iin etc.

30 Instruções iload_ bipush 10 6 iadd 7 istore_3...

31 Instruções Conversões de tipo: A primeira letra é o tipo origem, a última é o tipo destino. O número 2 tem o sentido de to (para). A JVM suporta diretamente as seguinte conversões d extensão (sem perdas significativas): int => long => float => double i2l, i2f, l2f, f2d. As outras conversões suportadas podem resultar em perdas significativas do valor: i2b, i2c, l2i,...

32 Instruções Instruções para criação e manipulação de objetos: Criação de objetos: new, newarray, etc. Acessar atributos: getfield, putfield, etc. Acessar uma posição do array: baload, caload, bastore, castore, etc. Tamanho do array: arraylength

33 Instruções Checar propriedades dos objetos: instanceof, checkcast. Instruções para manipulação da pilha e do array de variáveis: pop, pop2, dup, dup2, swap, wide, etc.

34 Instruções Instruções de controle (desvios): Desvios incondicionais: goto, goto_w, etc. Desvios condicionais: ifeq, iflt, ifle, ifnull, etc. Desvios condicionais sobre o tipo int realizam a comparação automaticamente: if_icmplt, if_icmpeq, if_icmpg, etc. Desvios condicionais sobre outros tipos precisam ser precedidos por uma instrução de comparação: dcmpg ifeq loop Switch: tableswitch, lookupswitch

35 Instruções fcmpg ifeq 11 9 aconst_null 10 astore_2 11 fload_

36 Instruções Chamada e retorno de métodos: Chamada: invokevirtual, invokespecial, invokestatic. Retorno: lreturn, freturn, ireturn. Ao chamar um método, os parâmetros devem ser colocados (na ordem da declaração) na pilha. Quando a execução termina, o valor de retorno, se houver, é colocado no topo da pilha do frame pai.

37 Arquivo HelloWorld.java : public class HelloWorld { public static void main(string args[]) System.out.println( Hello World! ); } } javac HelloWorld.java Gera o arquivo HelloWorld.class

38 Compilando para a JVM A ferramenta javap, distribuída junto com o JDK da Sun, permite decompilar: > javap c HelloWorld.class Compiled from HelloWorld.java public class HelloWorld extends java.lang.object { public static void main(java.lang.string[]); } Method void main(java.lang.string[]) 0 getstatic #2 <Field java.io.printstream out> 3 ldc #3 <String "Hello World!"> 5 invokevirtual #4 <Method void println(java.lang.string)> 8 return

39 Compilando para a JVM O código gerado pelo javap não pode ser alterado e recompilado. Para compilar uma arquivo com código é necessário usar alguma biblioteca. Exemplos: Jas, Jasmin

40 Jasmin Java Assembler Interface. Compilador de assembly JVM para arquivos class. Recebe um arquivo texto como entrada. A sintaxe do arquivo é parecida com a dos arquivos gerados com o javap. java jasmin.main <arquivo_fonte>

41 Jasmin Exemplos Exemplo de chamada de método Código Java original int add12and13() { } return addtwo(12, 13);

42 Jasmin Exemplos Exemplo de chamada de método Código Jasmin:.method add12and13()i aload_0 //coloca variável zero na pilha (this) bipush 12 //coloca constante 12 na pilha bipush 13 //coloca constante 13 na pilha invokevirtual Classe/addTwo(II)I //chama metodo addtwo da classe Classe ireturn //retorna o inteiro do topo da pilha.end method

43 Jasmin Exemplos Exemplo de uso de parâmetros e retorno de valores: Código Java: double doublelocals(double d1, double d2){ } return d1 + d2;

44 Jasmin Exemplos Exemplo de uso de parâmetros e retorno de valores: Código Jasmin:.method doublelocals(dd)d dload_1 dload_3 dadd //coloca variável d1 na pilha //coloca constante d2 na pilha //soma de double dreturn //retorna o double do topo da pilha.end method

45 Jasmin Exemplos Instanciando um novo objeto: Código Java: } return new Object();

46 Jasmin Exemplos Instanciando um novo objeto: Código Jasmin:.method create()ljava/lang/object; new java/lang/object dup //aloca espaço no hea //duplica o topo da pi invokespecial java/lang/object/<init> areturn.end method //chama o construtor (método <init //retorna a referência para o objeto

47 Jasmin Exemplos Laço for: Código Java: void spin() { int i; for (i =0; i < 100; i ++) { ; } }

48 Jasmin Exemplos Laço for: Código Jasmin:.method spin()v iconst_0 // põe valor zero na pilha istore_1 // armazena na variável 1 (i=0) goto teste // desvia para o teste do laço laco: // label do início do laco iinc 1 1 // incrementa variável 1 (i) de 1 teste: // label do teste da condicao iload_1 // põe variável i na pilha bipush 100 // põe constante 100 na pilha if_icmplt laco // compara os valores da pilha e de return.end method

49 The Java Virtual Machine Specification (Lindholm & Yellin) (capítulos 3 a 7) WikiPedia The Free Encyclopedia The Core Of Information Technology m Jasmin