Memória em C

[Localhost]

Olá pessoal, isto não é uma pergunta técnica de programação mas eu gosto sempre de saber como é que as coisas funcionam. Alguém me podia explicar como é que a memória funciona num programa escrito em C? Tipo stack e isso?

[Baderous]

Queres saber a que nível? Saber em que zona da memória ficam armazenadas as variáveis, ou queres mesmo perceber toda a lógica de instruções que existe na memória? É que a 1ª é uma tarefa exequível, a 2ª obriga a dar-te umas 2 cadeiras de Arquitectura de Computadores.

[Localhost]

Gostava de perceber as coisas de uma maneira muito simples, só mesmo para compreender o que acontece e isso... Se for possível é claro.

[Baderous]

Pah é um bocado difícil estar a lembrar de todos os exemplos que podem aparecer. Será mais fácil tu colocares um pouco de código e pedires que te expliquem. Porque existem variáveis locais e globais, constantes ou não, static ou não static, etc...

[Localhost]

Hmm deixa-me ver, por exemplo:

void main()
{
  func1();
  //próxima instrução
}

int func1()
{
  printf("Hello World\n");
  return(0);
}

Neste exemplo como é que a memória funciona?

[Localhost]

Acho que é: A função main armazena no stack o endereço da próxima instrução, correcto?

[TheDark]

O Baderous tem razão, mas vou tentar dar uma explicação rápida e concisa, e não cometer muitos erros. Não sou especialista em arquitectura de computadores, e por aqui haverá sempre quem possa corrigir-me e discutir o que eu disser 😁

A memória está "separada" em 3 "tipos": estática, dinâmica e automática. Notem-se as aspas, porque a distinção é feita unicamente pelo gestor de memória, não havendo mais nenhuma diferença entre os "tipos".

Na memória estática são armazenadas as variáveis globais e as variáveis estáticas. As variáveis aqui armazenadas têm sempre como valor inicial "tudo a zeros", assegurado pelo gestor de memória no início da aplicação, a menos que sejam inicializadas com outro valor.

A memória dinâmica é onde as funções malloc e afins vão buscar a memória quando são invocadas. É onde reside o heap.

A memória automática é onde reside o stack, e consequentemente onde são alojadas as variáveis locais.

[Localhost]

Hmm, entendi! O Stack é também onde ocorrem operações rápidas de entrada e saída correcto?

E quanto àquele exemplo que eu dei, estava correcto?

[Baderous]

Eu dividiria ainda mais a memória:

- Rodata: constantes read-only

- Code/Text Segment: código (instruções). Também é read-only

- Data: variáveis globais não inicializadas a 0. Tem uma parte read-only e outra read-write.

- BSS: variáveis globais e static que são inicializadas a 0 (pelo programador ou não)

- Heap: conteúdo das alocações dinâmicas de memória

- Stack: variáveis locais

Agora há N situações em que se poderia ver em que zona da memória vai ficar guardada determinada variável e em que zona fica o seu conteúdo.

Parece-me a mim que estás a querer entrar no domínio da stack frame, isso já é demasiado low-level para estas horas. x)

[Localhost]

Era mesmo isso, stack frame, eu tive a ver aqui algumas cenas. É o seguinte xD: Eu tive a dar aqui uma revisão nos ponteiros porque não tinha percebido muito bem e agora que até percebo como funciona e isso tudo envolvi-me em mais e mais coisas xD. Isto tudo levou-me ao estado comum do: "oh não, eu não sei nada de nada" ahahahah, e queria sair deste estado de ignorância  😁

Btw & off-topic: Vocês sabem em que faculdades se dá C em programação? Eu estava a pensar na FEUP, o que me dizem? É que estou no 10º ano e as dúvidas são grandes (:

P.S. É só um pequeno off-topic

[Baderous]

Há muitas situações a considerar, muitas vezes ocorrem erros como o tentar alterar algo que é read-only, e só nos apercebemos disso após pesquisarmos um bocado acerca do assunto e, eventualmente, aterramos num fórum qualquer onde alguém já teve a mesma dúvida e aprende-se com a explicação da mesma. Mas uma coisa é certa, dá muito jeito ter noção da "arrumação da casa" num programa.

Dá-se C em todas as faculdades.

[Localhost]

Mas uma coisa é certa, dá muito jeito ter noção da "arrumação da casa" num programa.

. Exacto por isso mesmo é que eu vim aqui perguntar. Eu gosto de saber como as coisas funcionam e isto está a dar comigo em doido  😁

EDIT: Quanto ao off-topic, não tinha o conhecimento disso, pensava que cada faculdade dava diferentes linguagens :s

[Localhost]

Olá pessoal. Hoje com aquilo das conversas da memória e isso tudo lembrei-me de trabalhar ainda mais os ponteiros. Resolvi fazer um programa e obtive um resultado muito interenssante e tirei uma conclusão dele, no entanto não sei se está correcta. O code:

#include <stdio.h>

int fun(int *num2)
{
   printf("In fun function: %d\nAddress: %p\n", *num2,num2);
   sqr(num2);
   return(0);
}

int chama(int *numero, int(*func)(int *num))
{
   printf("In chama funtion: %d\nAddress: %p\n", *numero,numero);
   func(numero);
   return(0);
}

int sqr(int *num)
{
   int (*p2)(int *num4);
   printf("In sqr function: %d\nAddress: %p\n", *num,num);
   p2 = fun;
   chama(num,p2);
   return(0);
}

void main(void)
{
   int (*p)(int *num2);
   int nmr = 10;
   int *number;
   printf("In main function: %d\n", nmr);
   p = sqr;
   number = &nmr;
   chama(number,p);
}

Se compilarem e executarem vão ver que ao fim de algum tempo dá um segmentation fault. O quê que eu fiz? Mudei a variável nmr para o heap (ahahahah) e vi que já não dava o erro! Então conclui que a variável nmr é destruída no final de algum tempo. Será assim?

[TheDark]

O segmentation fault acontece por stack overflow. Acontece quando entras numa função recursiva, e nunca retornas: eventualmente o espaço no stack fica preenchido.

As variáveis locais só são "destruídas" quando o bloco que as contém termina. No caso, só quando a função main termina é que a variável nmr é libertada.

Não vejo em que é que criares dinamicamente o espaço para o inteiro influencia o erro. Aqui continua a acontecer. Mostra o código modificado, sff.

[Localhost]

LOL, que vergonha  ? Eu confundi, pensei que o heap era onde residiam as variaveis globais. O que eu queria dizer era que declarei nmr como o variável global!

Hoje tive 2horas a perceber isto de ponteiros para funções e fiquei com uma dúvida... Qual é a utilidade disto sem ser quando existe um stack overflow conseguir-mos mudar o EIP (isto já falando noutra coisa que tive a ver, atençao! Apenas por motivos de aprendizagem e para perceber melhor como trabalha a memória)!

[TheDark]

Mesmo declarando como variável global, não resolve. Sempre que fazes uma chamada a uma função, estás a ocupar um pouco do stack, para guardares, entre outras coisas, as variáveis locais e o endereço de onde foi chamada a função, para que quando a função termina, possas lá voltar. Quando a função retorna, esse espaço no stack é libertado. Se chamas uma função recursiva repetidamente, ela nunca vai terminar, e eventualmente todo o espaço do stack é utilizado. Nesse momento, ocorre um stack overflow.

Uma possível utilização de apontadores para função, e a 1ª que me vem à memória, é por exemplo em funções de ordenação de listas, em que passas à função de ordenação um apontador para uma função que compara dois elementos do tipo da lista que queres ordenar. Por exemplo, se queres ordenar de forma ascendente, passas como parâmetro uma função que diz se o 1º valor é superior ao 2º; se queres ordenar de forma descendente, passas uma função que diz se o 1º valor é inferior ao 2º.

[Localhost]

Mas a mim resolveu... Eu declarei como variável global, deixei a fazer o loop infinito durante algum tempo e não se deu o stack overflow.

Só uma coisa, denomina-se como stack overflow quando existe um "transboradamento" de dados ou quando se explora esse "transboradamento" de dados ao mudar o EIP da função ou seja o endereço do próximo comando da função?

EDIT: Atenção que a minha ideia naquele programa que mostrei não era fazer um loop infinto mas sim fazer um conjunto tão grande que me confundi-se o cerebro de maneira a eu ter de pensar sobre aquilo e finalmente perceber o que era aquilo!  😁

[Baderous]

http://en.wikipedia.org/wiki/Stack_overflow

[Localhost]

Hmm, buffer overflow é baseado em stack overflow ou vice-versa?

[Baderous]

Pode ser ou não: http://en.wikipedia.org/wiki/Buffer_overflow