CES41 COMPILADORES Captulo VIII Ambientes de Execuo Captulo
CES-41 COMPILADORES Capítulo VIII Ambientes de Execução
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
8. 1 – Organização da Memória Durante a Execução n Um compilador deve organizar o espaço a ser ocupado por um programa n 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
n n 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
Visualização da área de código: Ponto de entrada do subprograma 1 Ponto de entrada do subprograma 2 Código do subprograma 1 Código do subprograma 2 . . . Ponto de entrada do subprograma n n Código do subprograma n A área de código é estabelecida antes da execução
A organização da área de dados depende da semântica da linguagem Perguntas sobre essa semântica: n O que deve acontecer com as variáveis locais e seus valores, quando seu subprograma “sai do ar”? n Num subprograma, pode-se referenciar variáveis não -locais? n Quais os modos de passagem de parâmetros? n Os subprogramas podem ser recursivos? n Pode haver alocação dinâmica de memória?
A organização da área de dados depende da semântica da linguagem Perguntas sobre essa semântica: n A desalocação de memória deve ser explicitada? n Subprogramas podem ser parâmetros? n 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
Alocação estática: a posição de memória de cada variável é conhecida antes da execução n Não há necessidade de gerenciamento em tempo de execução n Chamadas de subprogramas são mais rápidas n O local e o número de bytes de cada variável (escalar ou estruturada) é fixo n Subprogramas recursivos são muito limitados: - Cada variável local não pode ocupar mais de uma posição na memória n Estruturas de dados não podem ser criadas
Alocação dinâmica: as variáveis locais de um subprograma ficam alocadas na memória somente enquanto ele estiver em execução n Memória para variáveis indexadas pode ser alocada numa quantidade conforme a necessidade n Recursividade pode ser usada de modo bem menos restrito n Um subprograma pode ter várias ativações simultâneas n É necessário incluir no código objeto instruções para gerenciamento de memória em tempo de execução
Registro de ativação: n 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
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 Valor retornado Parâmetros Ligação de controle Ligação de acesso Status da máquina Variáveis locais Temporárias Ligação de acesso: referências a variáveis não-locais alocadas em outros registros de ativação
Registro de ativação: Variáveis locais: seu layout é planejado pelos dados da Tab. Simb 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
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
8. 2 – Ambientes de Execução Estáticos n É o tipo mais simples de ambiente n Não há necessidade de código para gerenciamento de memória durante a execução n Cada subprograma tem um único registro de ativação, alocado antes da execução n As variáveis de todos os subprogramas permanecem alocadas durante toda a execução do programa n Os valores das variáveis locais se mantêm entre duas chamadas do subprograma
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. . . Registro de ativação do subprograma n Área de dados
8. 3 – Ambientes Baseados em Pilhas n Adotados para permitir recursividade de modo mais amplo n Um mesmo subprograma pode ter vários registros de ativação n Variáveis locais recebem novas posições a cada alocação n Registros de ativação são guardados numa pilha
Subdivisão típica do espaço de memória reservado para a execução de um programa: Área de código Área de dados globais e/ou estáticos Pilha de registros de ativação Espaço livre Heap 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
Subdivisão típica do espaço de memória reservado para a execução de um programa: Área de código Área de dados globais e/ou estáticos Pilha de registros de ativação Espaço livre Heap 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
Subdivisão típica do espaço de memória reservado para a execução de um programa: Área de código Área de dados globais e/ou estáticos Quando um subprograma é chamado, seu registro de ativação é empilhado Pilha de registros de ativação A execução do subprograma que chama é interrompida Espaço livre No registro empilhado são incluídos os valores do program counter e de outros registradores Heap Também são incluídas as variáveis locais do
Subdivisão típica do espaço de memória reservado para a execução de um programa: Área de código Área de dados globais e/ou estáticos Pilha de registros de ativação Espaço livre Heap 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
Exemplo: seja o programa a seguir para o Quick. Sort int A[8]; void Read. Vetor ( ) { int i; for (i = 0; i <= 7; i++) scanf (“%d”, &A[i]); } int Partition (int inic, int fim) { - - - } void Quick. Sort (int inic, int fim) { int k; if (inic < fim) { k = Partition (inic, fim); Quick. Sort (inic, k-1); Quick. Sort (k, fim); } } void main () {Read. Vetor (); Quick. Sort (0, 7); }
Á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) P(0, 2) P(0, 1) Q(0, 0) Q(0, 2) Q(0, 1) Q(1, 1) Q(3, 7) Q(2, 2) P(3, 7) P(3, 4) As ativações vivas são as que ficam na pilha da área de dados Q(3, 3) Q(3, 4) Q(4, 4) Q(5, 7) P(5, 6) Q(5, 5) Q(7, 7) Q(6, 6)
Exemplo: ativações na pilha, no início da ativação de Q(2, 2) main Read Q(0, 7) P(0, 2) P(0, 1) Q(0, 0) Q(0, 2) Q(0, 1) Q(2, 2) Q(1, 1) As linhas tracejadas são ativações já completadas, que já pertenceram à pilha da área de dados
n 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
CALL: n n n 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
OPENMOD: n n 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
RETURN: n n n Coloca o valor a ser retornado em sua posição Restabelece os valores anteriores do programcounter 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
n A complexidade de um ambiente de execução baseado em pilha cresce para linguagens com - Aninhamentos de subprogramas e/ou de blocos n Para essas linguagens, o acesso a variáveis nãolocais requer uma procura nos vários registros de ativação presentes na pilha n Sem aninhamentos, as variáveis não-locais são as do escopo global
- Slides: 28