Cuando se habla de reasignación de memoria interna y particionamiento no solo se está mencionando una cuestión teórica de sistemas operativos, sino un tema muy práctico que afecta al rendimiento real de un ordenador, un servidor o incluso un dispositivo móvil. Entender cómo se divide, reserva, protege y reutiliza la memoria principal es clave para saber por qué unos sistemas vuelan y otros se arrastran, aunque tengan el mismo hardware.
En las siguientes secciones vamos a recorrer, con bastante detalle, las distintas técnicas de particionamiento y reasignación de memoria: desde los sistemas más sencillos de un solo proceso hasta modelos avanzados con memoria virtual, paginación, segmentación y combinaciones de ambas. También veremos problemas típicos como la fragmentación interna y externa, y cómo todo esto se traduce en decisiones prácticas de diseño y administración.
Visión general de la gestión de memoria
Podemos imaginar la memoria principal como un gran conjunto de casillas numeradas, donde cada casilla tiene una dirección y puede almacenar instrucciones o datos. Para que un programa se ejecute, su código y sus datos deben estar en esa memoria principal (RAM), desde donde el procesador irá leyendo instrucciones, accediendo a operandos y escribiendo resultados.
El módulo del sistema operativo encargado de esta tarea es el gestor o administrador de memoria, que decide qué parte de la memoria se asigna a cada proceso, cómo se protege cada región y qué ocurre cuando la memoria se queda corta. Si esta gestión se hace mal o de forma ineficiente, el efecto se nota enseguida: más esperas, más accesos a disco y un descenso claro del rendimiento global.
Con la evolución de los sistemas informáticos se han ido proponiendo modelos progresivamente más sofisticados de gestión de memoria, empezando por sistemas muy simples, pensados para ejecutar una sola tarea, hasta esquemas modernos de memoria virtual donde la vista que tiene el programa de la memoria (espacio lógico) es muy distinta al espacio físico real.
Modelo básico: memoria para un único proceso
En los primeros ordenadores, la memoria principal se dividía en dos grandes zonas claramente separadas: una reservada al sistema operativo (a menudo llamada monitor) y otra para un único programa de usuario. Solo podía ejecutarse un proceso a la vez y, al terminar, el control regresaba al sistema operativo, que cargaba el siguiente programa.
Un ejemplo clásico de este planteamiento es MS-DOS en sus primeras versiones, donde el sistema operativo y, en muchos casos, el código de la BIOS ocupaban la parte superior del espacio de direcciones, dejando el resto al programa en ejecución. No existía multiprogramación real ni reasignación dinámica compleja: se trataba de un esquema simple y directo.
Asignación contigua de memoria y particionamiento
Cuando aparece la multiprogramación, se plantea un modelo en el que el espacio lógico de cada proceso ocupa una región contigua de memoria física. Es decir, el código, los datos y la pila del proceso deben estar en direcciones físicas consecutivas. El sistema operativo se encarga de elegir en qué región contigua coloca a cada proceso, y cuando éste finaliza, libera ese bloque.
Este enfoque, conocido como asignación contigua de memoria, es sencillo de implementar pero tiene sus pegas. A medida que se van cargando y descargando procesos, aparecen huecos libres más o menos grandes y la forma de dividir y reutilizar esos huecos es lo que da pie a las distintas técnicas de particionamiento que veremos a continuación.
Gestión de memoria con particiones fijas
En los esquemas de particiones fijas, la memoria principal se divide previamente en fragmentos de tamaño establecido, antes de que se ejecuten los programas. Cada uno de esos fragmentos, o particiones, puede albergar un único proceso, siempre que su tamaño lógico quepa dentro de ella.
Este método también se conoce como Multiprogramación con un número fijo de tareas (MFT). El número máximo de procesos que pueden ejecutarse simultáneamente coincide con el número de particiones. Es un sistema relativamente fácil de gestionar, pero se enfrenta a un dilema constante: cómo elegir el tamaño de las particiones para no desaprovechar memoria.
Colas de procesos y organización del trabajo
La carga de trabajo puede organizarse de varias maneras. Una opción es mantener una cola por cada partición, de forma que los procesos se asignan a la lista de la partición cuyo tamaño les encaja mejor. Otra posibilidad es una cola única de procesos listos y que el planificador, cuando una partición queda libre, elija de la cola general el proceso que quepa en ella.
El modelo de cola única simplifica la estructura, pero tiende a discriminar a los procesos pequeños: es fácil que se les asigne una partición mucho más grande de la que necesitan, desaprovechando espacio. Los procesos no abandonan la cola de solicitud hasta que el sistema operativo les asigna una partición adecuada, siguiendo normalmente un criterio FIFO (el primero en llegar es el primero en ser candidato).
Fragmentación interna y externa en particiones fijas
En este contexto aparecen dos conceptos clave: la fragmentación interna y la fragmentación externa. La fragmentación interna se produce cuando a un proceso se le asigna una partición bastante más grande de lo que realmente requiere, de modo que el sobrante dentro de esa partición queda sin usar pero no puede reaprovecharse para otro proceso.
Por su parte, la fragmentación externa se da cuando existen muchos espacios libres pequeños repartidos por la memoria, tan pequeños que resulta difícil ubicar procesos en ellos. Aunque la memoria total libre pueda ser considerable, al no ser continua ni agruparse de forma adecuada, no permite alojar nuevos procesos de cierto tamaño.
Lograr un equilibrio entre el tamaño de las particiones y el tamaño medio de los procesos es complicado. Particiones demasiado grandes fomentan la fragmentación interna; particiones demasiado pequeñas pueden generar mucha fragmentación externa porque resulta complicado encontrar procesos que encajen en esos huecos.
Particiones múltiples de tamaño fijo con una única cola
En la técnica de asignación contigua con particiones múltiples de tamaño fijo y una sola cola, la memoria se divide en particiones fijas y los procesos se almacenan todos en una cola única de solicitud. Cuando hay una partición libre suficientemente grande para el primer proceso de la cola, se le asigna y se carga en memoria.
El sistema respeta normalmente un orden FIFO en la cola de procesos, de forma que no se salta a procesos posteriores aunque encajen mejor en la partición disponible, lo que puede reducir la eficiencia pero simplifica la política de planificación. Una vez un proceso termina su ejecución, libera por completo la partición donde se encontraba, y esta vuelve a estar disponible para otro proceso.
En este esquema se observa claramente la fragmentación interna: si un proceso ocupa solo parte de la partición, el espacio restante no puede ser usado por otro proceso. En muchas implementaciones docentes se representa esta zona desaprovechada con un color distinto (por ejemplo, gris) para que se vea de un vistazo cuál es el grado de derroche dentro de cada partición.
Preguntas habituales sobre este modelo
Cuando se analiza con detenimiento este tipo de particionamiento, surgen cuestiones como qué ocurriría si la mayoría de procesos que llegan son muy pequeños. En ese escenario, muchas particiones, sobre todo las de mayor tamaño, desperdician una gran cantidad de memoria interna, ya que cada proceso deja sin uso una porción considerable del hueco asignado.
La situación opuesta se da si la mayor parte de las solicitudes corresponde a procesos muy grandes, cercanos al tamaño de las particiones mayores. Aquí puede suceder que pocas particiones sean capaces de alojarlos, lo que reduce el grado de multiprogramación efectivo y puede incrementar los tiempos de espera en la cola general.
Una posible mejora teórica es mantener una cola por cada tamaño de partición. De este modo, los procesos se agrupaban según su tamaño y se intentaba ajustar mejor cada proceso al tipo de partición que le correspondía. Esa organización puede reducir la fragmentación interna, aunque complica la lógica de planificación y aumenta la sobrecarga de gestión de colas.
Reubicación, direcciones lógicas y físicas
Para permitir cierta flexibilidad en la asignación y reasignación de memoria, los sistemas pueden utilizar reubicación de procesos. Esto significa que un mismo programa puede ejecutarse en diferentes particiones en ejecuciones distintas, o incluso ser desplazado de una partición a otra durante la misma ejecución, siempre que las referencias a memoria se traduzcan correctamente.
De esta idea nacen dos conceptos básicos: la dirección lógica o virtual, que es la que utiliza el programa (relativa al inicio de su espacio de direcciones), y la dirección física, que es la posición real en la memoria principal. Para hacer esta traducción de forma rápida, el procesador cuenta con un registro base que contiene la dirección física donde empieza la partición asignada al proceso.
Además del registro base, se emplea un registro límite que indica el tamaño de la partición o del espacio de direcciones del proceso. Cada vez que el proceso hace una referencia a una dirección lógica, el hardware suma el valor del registro base y comprueba que el desplazamiento no excede el límite. Si lo hace, se detecta una violación de memoria y el sistema operativo puede intervenir para proteger la integridad del sistema.
Particiones variables: flexibilidad con coste
Para paliar las limitaciones de las particiones fijas, se diseñaron esquemas de particiones variables, donde el tamaño de los bloques de memoria ocupados por cada proceso puede cambiar a lo largo del tiempo. En lugar de predefinir particiones rígidas, el sistema mantiene una tabla con las regiones ocupadas y las regiones libres.
Cuando llega un proceso nuevo, se busca un bloque de memoria contiguo suficientemente grande para contenerlo. Al proceso solo se le asigna la porción necesaria, y si el bloque libre era mayor, el sobrante queda como un nuevo fragmento libre. Cuando el proceso termina, su espacio se marca como disponible, y si colinda con otros bloques libres, se fusionan para formar un fragmento mayor.
Este modelo reduce ciertos tipos de derroche, pero con el tiempo tiende a generar una fragmentación externa considerable, ya que la memoria se va llenando de muchos huecos libres de tamaños muy diversos. Aunque la suma total de memoria libre sea suficiente, puede hacerse imposible encontrar un fragmento contiguo del tamaño requerido por un proceso concreto.
Estrategias de asignación en particiones variables
Para decidir en qué fragmento libre alojar un proceso se usan varias estrategias clásicas, cada una con sus ventajas e inconvenientes. La más directa es el primer ajuste (first-fit), que asigna el proceso al primer bloque libre donde quepa. Es rápida, pero tiende a dejar muchos fragmentos pequeños al principio de la memoria con el paso del tiempo.
Una variante es el siguiente ajuste (next-fit), que comienza la búsqueda a partir del último punto de asignación en lugar de hacerlo siempre desde el inicio. Suele provocar que el espacio libre se fragmente especialmente hacia el final de la memoria, lo que acaba llevando a compactaciones relativamente frecuentes.
Otro enfoque es el mejor ajuste (best-fit), que intenta aprovechar al máximo la memoria asignando el proceso al bloque libre más pequeño que sea capaz de contenerlo. Aunque suena muy eficiente, en la práctica tiende a generar muchos fragmentos diminutos difíciles de aprovechar, por lo que a menudo empeora la situación de fragmentación externa.
Por último, el peor ajuste (worst-fit) opta por usar primero los bloques libres más grandes, con la esperanza de que el resto que quede siga teniendo un tamaño razonable para futuros procesos. Esto puede retrasar la necesidad de compactar, pero exige recorrer todos los bloques libres para tomar la decisión, lo que implica más sobrecarga.
Compactación de memoria
Cuando la fragmentación externa se vuelve problemática, se recurre a la compactación de memoria. Este procedimiento consiste en desplazar todos los bloques ocupados hacia un extremo de la memoria (normalmente hacia las direcciones más bajas) para agrupar y fusionar los huecos libres en un solo bloque o en muy pocos bloques grandes.
La compactación permite recuperar un gran espacio contiguo de memoria libre, pero tiene un coste importante: es una operación lenta, ya que implica copiar bloques completos de memoria y actualizar todas las referencias o estructuras asociadas. Por ello, se intenta aplazar lo máximo posible, aplicando buenas políticas de asignación para retrasar la necesidad de compactar.
Paginación: ruptura de la contigüidad
Para evitar que la memoria libre tenga que estar obligatoriamente en bloques contiguos, se introduce la paginación. En este modelo, la memoria física se divide en unidades de tamaño fijo denominadas marcos de página (frames), y el espacio lógico de cada proceso se divide del mismo modo en páginas del mismo tamaño.
Cada página de un proceso puede almacenarse en cualquier marco de página libre, sin necesidad de que todos los marcos estén contiguos físicamente. El sistema operativo mantiene, para cada proceso, una tabla de páginas que indica qué página lógica se encuentra en qué marco físico. Así, el programa sigue pensando que su memoria es continua, aunque en realidad esté dispersa por la RAM.
Esta técnica elimina prácticamente la fragmentación externa, porque para ejecutar un proceso solo se necesita un número determinado de marcos libres, sin importar dónde se encuentren. La fragmentación interna se limita a lo que sobre dentro del último marco asignado a un proceso; por término medio se suele desperdiciar aproximadamente la mitad del tamaño de una página en ese último marco.
Traducción de direcciones en paginación
En un sistema paginado, las direcciones lógicas se dividen en dos partes: el número de página y el desplazamiento dentro de esa página. El número de página actúa como índice para consultar la tabla de páginas del proceso y obtener el marco físico asociado. Después, se concatena o suma el desplazamiento para obtener la dirección física final.
Dado que esta traducción se realiza en cada acceso a memoria, sería inviable hacerlo únicamente por software. Por ello, se utiliza hardware específico (como la TLB, Translation Lookaside Buffer) que acelera las consultas a la tabla de páginas y minimiza el impacto en el rendimiento. El sistema operativo, además, mantiene un mapa global de marcos donde se indica qué marcos están libres, cuáles ocupados y por qué proceso.
La elección del tamaño de página es un compromiso importante: con páginas pequeñas, la fragmentación interna se reduce, pero las tablas de páginas se hacen más grandes, consumiendo memoria adicional. Con páginas grandes, se necesita menos memoria para las tablas, pero aumenta la fragmentación interna, ya que el último marco de cada proceso tiende a dejar más espacio sin usar.
Segmentación: organización lógica de programas y datos
A diferencia de la paginación, que parte de una perspectiva puramente técnica, la segmentación se orienta más a cómo programadores y usuarios estructuran el código y los datos. Un programa puede verse como un conjunto de componentes lógicos de tamaño variable: funciones, módulos, tablas, pilas, áreas de datos, etc.
En la segmentación, el compilador genera un conjunto de segmentos, cada uno con un identificador, un inicio y un tamaño. Las direcciones lógicas que utiliza el programa se expresan como un par (número de segmento, desplazamiento dentro del segmento). El sistema se asegura de que el desplazamiento no exceda el tamaño declarado del segmento, evitando referencias fuera de rango.
Una ventaja importante es la capacidad de proteger y compartir segmentos con mucha granularidad. Por ejemplo, se pueden marcar como solo lectura los segmentos que contienen código, impedir que un módulo acceda a los datos de otro, o compartir un segmento de código entre varios procesos para ahorrar memoria. Todo esto se controla mediante una tabla de segmentos y atributos de protección asociados.
Como sucede con la paginación, la segmentación requiere un mecanismo para traducir direcciones lógicas a físicas. En este caso, la tabla de segmentos contiene para cada uno la dirección base física y el tamaño máximo. El hardware suma el desplazamiento a la base y comprueba que no se sobrepasa el límite, garantizando así la protección.
Combinación de paginación y segmentación
En muchos sistemas modernos se combinan las ventajas de la segmentación y la paginación. Desde el punto de vista del programador, el proceso sigue organizado en segmentos lógicos (código, pila, datos, etc.), pero internamente cada uno de esos segmentos se divide en páginas de longitud fija para su ubicación en memoria física.
En este enfoque, la tabla de segmentos ya no apunta directamente a direcciones físicas, sino que cada entrada señala al inicio de la tabla de páginas asociada a ese segmento. La dirección lógica se compone de un número de segmento y un desplazamiento; el sistema divide ese desplazamiento por el tamaño de página para obtener el número de página dentro del segmento y el desplazamiento dentro de la página.
El resultado es un modelo muy flexible, que permite tanto organización lógica coherente como asignación física eficiente en bloques fijos. Sin embargo, tiene tres inconvenientes claros: el proceso de traducción se complica y consume más recursos, se necesita más espacio para almacenar las múltiples tablas de páginas (una por segmento), y puede incrementarse la fragmentación interna al tener posibles marcos parcialmente ocupados al final de cada segmento.
Memoria virtual y reasignación dinámica
Todos los métodos comentados hasta ahora suponían, de un modo u otro, que un proceso debía estar enteramente cargado en memoria principal para poder ejecutarse. La memoria virtual rompe esta limitación, permitiendo que solo una parte activa del proceso resida en RAM y que el resto se mantenga en memoria secundaria (por ejemplo, en disco), recuperándose bajo demanda.
La memoria virtual se suele implementar a partir de esquemas de paginación o segmentación, o combinaciones de ambos. Cuando un proceso referencia una dirección que no se encuentra en memoria principal, se produce un fallo de página. El sistema localiza la página correspondiente en disco, reserva un marco libre en RAM y la carga. Si no hay marcos libres, se emplea un algoritmo de sustitución para elegir qué página expulsar al disco.
Durante todo este proceso, el proceso que generó el fallo de página queda bloqueado, a la espera de que su página llegue a memoria. La tabla de páginas suele incluir un bit de presencia que indica si cada página lógica del proceso está actualmente en memoria principal o solo en disco. Así, el hardware y el sistema operativo pueden determinar rápidamente si una referencia es válida y si requiere cargar la página.
Este modelo permite que la memoria se aproveche mucho mejor, ya que se centra en mantener en RAM únicamente las partes de los procesos que se están usando de forma activa. Además, al poder alojar más procesos de manera simultánea, se mejora el aprovechamiento del procesador. Sin embargo, si el sistema entra en una situación con demasiados fallos de página, los accesos a disco se disparan y el rendimiento se degrada drásticamente, fenómeno conocido como hiperpaginación (thrashing).
Intercambio (swapping) y su relación con el particionamiento
En varios de los modelos de gestión de memoria descritos, especialmente en particiones fijas, variables y paginación, es habitual recurrir al intercambio o swapping. Se trata de mover temporalmente a memoria secundaria los procesos que se encuentran bloqueados, liberando así memoria principal para nuevos procesos o para que otros crezcan.
El módulo encargado de esta tarea, a menudo llamado intercambiador, debe decidir qué procesos se sacan a disco y cuándo se vuelven a traer. También gestiona el área de memoria secundaria reservada para almacenar las imágenes de los procesos intercambiados. Combinado con las técnicas de reubicación, permite que un mismo proceso retorne a memoria en una partición o conjunto de marcos distinto al original, siempre que la traducción de direcciones se mantenga coherente.
Reasignación de memoria interna en dispositivos concretos
Todo este cuerpo teórico también tiene impacto directo en dispositivos de consumo, como móviles con chipsets MTK (MediaTek). Muchos de estos dispositivos organizan la memoria interna en particiones lógicas separadas (por ejemplo, una para datos de usuario y otra para aplicaciones), lo que a veces deja una partición prácticamente desaprovechada si el usuario no la usa para el fin previsto.
En algunos modelos y generaciones de chipsets (por ejemplo, MTK657x frente a MTK6582) los usuarios han buscado métodos para «unir» o redimensionar esas particiones internas con el objetivo de aprovechar mejor el espacio total. Esta reasignación implica modificar tablas de particionado de bajo nivel y, en la práctica, se comporta de manera análoga a un cambio de esquema de particionamiento en un sistema de escritorio, con todos los riesgos asociados (pérdida de datos, problemas de arranque, etc.).
La viabilidad real de esas operaciones depende de cómo el fabricante haya definido el mapa de particiones y de las herramientas disponibles para el chipset concreto. Aunque para algunas series MTK existen tutoriales y utilidades específicas, no siempre es posible aplicar los mismos métodos a generaciones posteriores, y conviene ser extremadamente prudente porque no se trata de una mera operación de alto nivel, sino de una modificación profunda de la estructura de memoria interna.
Buenas prácticas de administración de memoria
Aunque la mayoría de detalles de gestión de memoria se resuelven de forma automática y transparente por el sistema operativo, los usuarios y administradores pueden tomar algunas decisiones sencillas para mejorar el rendimiento del sistema. La primera, y más obvia, es contar con una cantidad suficiente de memoria RAM instalada: los mínimos recomendados por los fabricantes suelen ser muy conservadores.
Más allá del hardware, es importante evitar ejecutar más programas de los estrictamente necesarios al mismo tiempo. Tener múltiples aplicaciones abiertas que no se están usando en realidad solo sirve para ocupar memoria y forzar al sistema a recurrir con más frecuencia a técnicas de intercambio o a la memoria virtual, multiplicando accesos a disco.
También hay que vigilar complementos y adornos gráficos como animaciones, gadgets de escritorio, pequeños servicios en segundo plano o extensiones del navegador que, aunque parezcan inofensivos, consumen RAM y ciclos de CPU. En máquinas con recursos limitados, este tipo de elementos debe ser el primer candidato a desactivarse si se aprecia una caída de rendimiento significativa.
En conjunto, entender cómo funciona el particionamiento y la reasignación de memoria interna ayuda a interpretar mejor el comportamiento de nuestros sistemas, a elegir configuraciones más acertadas y a valorar cuándo merece la pena invertir en más memoria física, ajustar parámetros del sistema o replantear cómo organizamos los procesos y servicios que mantenemos en ejecución. Comparte la información para que más usuarios conozcan del tema.
Continúar leyendo...