Capítulo VIII Ambientes de Execução

Apresentação em tema: "Capítulo VIII Ambientes de Execução"— Transcrição da apresentação:

1 Capítulo VIII Ambientes de Execução
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 . Visualização da área de código:
A área de código é estabelecida antes da execução Ponto de entrada do subprograma 1 Código do subprograma 1 Ponto de entrada do subprograma 2 Código do subprograma 2 . Ponto de entrada do subprograma n 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 Visualização dos campos do registro de ativação de um subprograma: Valor retornado Parâmetros Ligação de controle Ligação de acesso Status da máquina Variáveis locais Temporárias

11 Registro de ativação: 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 Valor retornado Parâmetros Ligação de controle Ligação de acesso Status da máquina Variáveis locais Temporárias

12 Registro de ativação: 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 Valor retornado Parâmetros Ligação de controle Ligação de acesso Status da máquina Variáveis locais Temporárias

13 Registro de ativação: 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 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 permanecem alocadas durante toda a execução do programa Os valores das variáveis locais se mantêm entre duas chamadas do subprograma

15 Visualização de toda a área do programa:
Código do programa principal Código do subprograma 1 Á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 Pilha de registros de ativação
Subdivisão típica do espaço de memória reservado para a execução de um programa: 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 Área de dados globais e/ou estáticos Espaço livre Heap Pilha de registros de ativação

18 Pilha de registros de ativação
Subdivisão típica do espaço de memória reservado para a execução de um programa: 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 Área de dados globais e/ou estáticos Espaço livre Heap Pilha de registros de ativação

19 Pilha de registros de ativação
Subdivisão típica do espaço de memória reservado para a execução de um programa: 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 Área de dados globais e/ou estáticos Espaço livre Heap Pilha de registros de ativação

20 Pilha de registros de ativação
Subdivisão típica do espaço de memória reservado para a execução de um programa: 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 Área de dados globais e/ou estáticos Espaço livre Heap Pilha de registros de ativação

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

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