CES-41 COMPILADORES

1. CES-41 COMPILADORES Capítulo VIII Ambientes de Execução

2. Capítulo VIII – Ambientes de Execução 8.1 – Organização da memória durante a execução 8.2 – Ambientes de execução estáticos 8.3 – Ambientes baseados em pilhas

3. 8.1 – Organização da Memória Durante a Execução • Um compilador deve organizar o espaço a ser ocupado por um programa • Esse espaço deve conter: • Instruções executáveis em linguagem de máquina – área de código • Armazenamento de informações em processamento (variáveis, constantes) – área de dados

4. Durante a execução de um programa: • Instruções de máquina da área de código são executadas • Posições de memória da área de dados são consultadas e alteradas pelas instruções • Subprogramas são ativados e desativados • As instruções surgem da tradução do código intermediário, com consultas à tabela de símbolos

5. Ponto de entrada do subprograma 2 Ponto de entrada do subprograma 1 Ponto de entrada do subprograma n Código do subprograma 1 Visualização da área de código: • A área de código é estabelecida antes da execução Código do subprograma 2 . . . Código do subprograma n

6. A organização da área de dados depende da semântica da linguagem Perguntas sobre essa semântica: • O que deve acontecer com as variáveis locais e seus valores, quando seu subprograma “sai do ar”? • Num subprograma, pode-se referenciar variáveis não-locais? • Quais os modos de passagem de parâmetros? • Os subprogramas podem ser recursivos? • Pode haver alocação dinâmica de memória?

7. A organização da área de dados depende da semântica da linguagem Perguntas sobre essa semântica: • A desalocação de memória deve ser explicitada? • Subprogramas podem ser parâmetros? • Subprogramas podem ser retornados como resultados? Com relação às variáveis de um subprograma, a alocação de memória pode ser: • Estática ou Dinâmica

8. Alocação estática: a posição de memória de cada variável é conhecida antes da execução • Não há necessidade de gerenciamento em tempo de execução • Chamadas de subprogramas são mais rápidas • O local e o número de bytes de cada variável (escalar ou estruturada) é fixo • Subprogramas recursivos são muito limitados: • Cada variável local não pode ocupar mais de uma posição na memória • Estruturas de dados não podem ser criadas dinamicamente

9. Alocação dinâmica: as variáveis locais de um subprograma ficam alocadas na memória somente enquanto ele estiver em execução • Memória para variáveis indexadas pode ser alocada numa quantidade conforme a necessidade • Recursividade pode ser usada de modo bem menos restrito • Um subprograma pode ter várias ativações simultâneas • É necessário incluir no código objeto instruções para gerenciamento de memória em tempo de execução • Chamadas de subprogramas são mais demoradas

10. Registro de ativação: • Bloco de memória na área de dados, contendo informações necessárias à ativação de um subprograma Valor retornado Visualização dos campos do registro de ativação de um subprograma: Parâmetros Ligação de controle Ligação de acesso Status da máquina Variáveis locais Temporárias

11. Valor retornado: a ser retirado pela ativação que chamou o subprograma Parâmetros: recebem os argumentos da ativação que chamou o subprograma Ligação de controle: aponta para o registro de ativação de quem chamou o subprograma Ligação de acesso: referências a variáveis não-locais alocadas em outros registros de ativação Registro de ativação: Valor retornado Parâmetros Ligação de controle Ligação de acesso Status da máquina Variáveis locais Temporárias

12. Variáveis locais: seu layout é planejado pelos dados da TabSimb Temporárias: valores intermediários de cálculo de expressões Status da máquina: valores de registradores (PC, SP, etc.) antes da chamada do subprograma Registro de ativação: Valor retornado Parâmetros Ligação de controle Ligação de acesso Status da máquina Variáveis locais Temporárias

13. Nem todas as linguagens e compiladores usam todos esses campos: • Fortran não usa ligação de acesso • Parâmetros e valores retornados muitas vezes usam registradores, para maior eficiência Registro de ativação: Valor retornado Parâmetros Ligação de controle Ligação de acesso Status da máquina Variáveis locais Temporárias

14. 8.2 – Ambientes de Execução Estáticos • É o tipo mais simples de ambiente • Não há necessidade de código para gerenciamento de memória durante a execução • Cada subprograma tem um único registro de ativação, alocado antes da execução • As variáveis de todos os subprogramas permanecemalocadas durante toda a execução do programa • Os valores das variáveis locais se mantêm entre duas chamadas do subprograma

15. Código do programa principal Código do subprograma 1 Visualização de toda a área do programa: Área de código . . . Código do subprograma n Área de dados globais Registro de ativação do programa principal Registro de ativação do subprograma 1 Área de dados . . . Registro de ativação do subprograma n

16. 8.3 – Ambientes Baseados em Pilhas • Adotados para permitir recursividade de modo mais amplo • Um mesmo subprograma pode ter vários registros de ativação • Variáveis locais recebem novas posições a cada alocação • Registros de ativação são guardados numa pilha

17. A área de código tem tamanho fixo, determinada antes da execução A área de dados globais e/ou estáticos também é fixa e estabelecida antes da execução Área de código Subdivisão típica do espaço de memória reservado para a execução de um programa: Área de dados globais e/ou estáticos Pilha de registros de ativação Espaço livre Heap

18. Quando um subprograma é chamado, seu registro de ativação é empilhado Ao se retornar dele, tal registro é desempilhado A alocação dinâmica de variáveis é feita na área heap A pilha e a heap têm tamanhos variáveis durante a execução Área de código Subdivisão típica do espaço de memória reservado para a execução de um programa: Área de dados globais e/ou estáticos Pilha de registros de ativação Espaço livre Heap

19. Quando um subprograma é chamado, seu registro de ativação é empilhado • A execução do subprograma que chama é interrompida • No registro empilhado são incluídos os valores do program counter e de outros registradores • Também são incluídas as variáveis locais do programa chamado Área de código Subdivisão típica do espaço de memória reservado para a execução de um programa: Área de dados globais e/ou estáticos Pilha de registros de ativação Espaço livre Heap

20. Ao se retornar de um subprograma, seu registro de ativação é desempilhado: • A execução da ativação do subprograma que o chamou é retomada • Os valores do program counter e de registradores relevantes são restabelecidos • A variáveis locais do subprograma chamado são desalocadas Área de código Subdivisão típica do espaço de memória reservado para a execução de um programa: Área de dados globais e/ou estáticos Pilha de registros de ativação Espaço livre Heap

21. Exemplo: seja o programa a seguir para o QuickSort int A[8]; void ReadVetor ( ) { int i; for (i = 0; i <= 7; i++) scanf (“%d”, &A[i]);} int Partition (int inic, int fim) { - - - - - } void QuickSort (int inic, int fim) { int k; if (inic < fim) { k = Partition (inic, fim); QuickSort (inic, k-1); QuickSort (k, fim); } } void main () {ReadVetor (); QuickSort (0, 7);}

22. Exemplo: ativações na pilha, no início da ativação de Q(2,2) main Árvore de ativação para certa entrada de dados: Read Q(0,7) P(0,7) Q(0,2) Q(3,7) P(0,2) Q(0,1) Q(2,2) P(3,7) Q(3,4) Q(5,7) P(0,1) Q(0,0) Q(1,1) P(3,4) Q(3,3) Q(4,4) P(5,7) Q(5,6) Q(7,7) As ativações vivas são as que ficam na pilha da área de dados P(5,6) Q(5,5) Q(6,6)

23. Exemplo: ativações na pilha, no início da ativação de Q(2,2) main Read Q(0,7) P(0,7) Q(0,2) P(0,2) Q(0,1) Q(2,2) P(0,1) Q(0,0) Q(1,1) As linhas tracejadas são ativações já completadas, que já pertenceram à pilha da área de dados

24. A tradução das quádruplas dos operadores CALL, OPENMOD, RETURN deve conter código para gerenciar a pilha de registros de ativação e para construir cada um desses registros Valor retornado Parâmetros Ligação de controle Ligação de acesso Status da máquina Variáveis locais Temporárias

25. CALL: • Deposita os argumentos nos parâmetros • Guarda o valor do program-counter • Faz as ligações de controle Valor retornado Parâmetros Ligação de controle Ligação de acesso Status da máquina Variáveis locais Temporárias

26. OPENMOD: • Aloca as variáveis locais • Guarda valores de registradores importantes • Faz as ligações de acesso • Aloca variáveis temporárias Valor retornado Parâmetros Ligação de controle Ligação de acesso Status da máquina Variáveis locais Temporárias

27. RETURN: • Coloca o valor a ser retornado em sua posição • Restabelece os valores anteriores do program-counter e de outros registradores • Desempilha o registro de ativação e, com ele, as variáveis locais Valor retornado Parâmetros Ligação de controle Ligação de acesso Status da máquina Variáveis locais Temporárias

28. A complexidade de um ambiente de execução baseado em pilha cresce para linguagens com • Aninhamentos de subprogramas e/ou de blocos • Para essas linguagens, o acesso a variáveis não-locais requer uma procura nos vários registros de ativação presentes na pilha • Sem aninhamentos, as variáveis não-locais são as do escopo global