Como se almacenan las variables en la memoria

[Matteo]

Tengo esta duda ( bueno y muchas otras, soy un bastaaaante curioso e intranquilo con lo referente a saber como funciona todo ) hace ya un tiempo, aver si alguien sabe:

Se que las variables son un monton de bits agrupados en bytes y a cada uno de estos le es dado una direccion de memoria.

Pero la pregunta es, donde se almacena el codigo que le dice "esto es un int", "esto es un array", "llamada a funcion", etc etc.
Tengo que aprender ASM si o si para saber esto?

[jaumegs]

Si realmente te interesa la programación te aconsejo aprender ensamblador, pues supone aprender como trabaja el procesador con la memoria y los periféricos, conceptos que de otra forma no comprenderías completamente.

Las variables se almacenan en la memoria (entendemos por memoria la memoria RAM) en una (o varias) dirección específica. Por ejemplo, en una arquitectura de 32 bits con direccionamiento de memoria byte a byte (la dirección N corresponde al byte [8 bits] X, la N+1 del byte Y, etc. y no a la palabra [32 bits] X, la palabra Y, etc.) y little endian, una variable X de 32 bits se almacena de la siguiente forma:

[marioxcc]

Puede ser de utilidad este artícuo sobre el endianness.
_________________
La computadora no se equivoca, el programador si.

[cheroky]

[Matteo]

Osea que en definitiva es la forma en que se llaman las instrucciones directamente, no existe tal cosa como un conjuntos de bytes destinados a decir que la memoria 0x1223fe (o la que se me ocurra) contiene un int u otro tipo, gracias a todos.

[jaumegs]

En C eso es correcto, pero depende del lenguaje y la interpretación que haga el compilador. Por ejemplo, en Smalltalk (un sistema de objetos), aunque el concepto de tipo no está definido, todos los objetos tienen un puntero a la clase de la que son instancia o lo que es lo mismo, un campo que indica su tipo (variables que contiene y métodos a los que responde). Algunas implementaciones de Lisp también reservan algunos bits para esta tarea.

En C no es necesario porque el compilador sabe el tipo de todas las variables que se utilizan en el programa, estáticas o dinámicas (en las dinámicas se indica con un casting al puntero void que retorna malloc), por lo que la información del tipo de las variables se almacena en el propio código. No ocurre lo mismo con Smalltalk y Lisp, pues son lenguajes que no diferencian entre la fase de compilación y ejecución. La estructura del código puede variar completamente durante la ejecución, haciendo que sea necesario almacenar explícitamente el tipo de las variables.

Para profundizar en este tema te recomiendo que estudies algo de teoría de lenguajes y computación y profundices con varios lenguajes de diferentes paradigmas (ensamblador [lenguaje máquina], C [imperativa], Lisp [funcional-declarativa], Prolog [lógica-declarativa], Smalltalk [OO pura]).

Saludos.