Para que um programa funcione corretamente, não basta apenas ser traduzido para código de máquina.

É essencial compreender como esse programa será executado, como suas variáveis serão alocadas, como funções serão chamadas e como os dados circularão durante a execução.

Esse conjunto de regras e estruturas que suportam a execução do programa é conhecido como ambiente de execução.

Ele define como os recursos serão organizados em tempo de execução e é vital para o funcionamento correto do código compilado.

Um dos elementos centrais do ambiente de execução é o gerenciamento de memória.

Variáveis locais, parâmetros de funções, valores temporários e estruturas de controle precisam de espaço para serem armazenados.

A memória costuma ser dividida em regiões, como o stack (pilha) e o heap (área dinâmica).

O stack é usado para armazenar chamadas de funções e variáveis locais, seguindo uma ordem LIFO (Last In, First Out), enquanto o heap é usado para alocar memória dinamicamente, como em linguagens que permitem a criação de objetos ou estruturas durante a execução.

Cada função, ao ser chamada, gera uma ativação que cria um bloco de ativação na pilha, contendo os parâmetros, variáveis locais, endereço de retorno e, em alguns casos, ponteiros para o bloco de ativação anterior.

Essa organização permite que a execução siga de forma ordenada, garantindo que os dados corretos estejam disponíveis a cada chamada de função.

Além disso, o compilador precisa prever esses comportamentos e gerar código que construa corretamente esse ambiente.