Conceptos Fundamentales y Principios de Diseño

Definición y Rol del Sistema Operativo

El sistema operativo (SO) actúa como el administrador central de los recursos de hardware y software de una computadora. Es un software de sistema complejo encargado de controlar la ejecución de programas, administrar el almacenamiento, asignar memoria, planificar procesos y gestionar los dispositivos de entrada/salida. Su función principle es proporcionar una interfaz unificada y simplificada para los usuarios y las aplicaciones, abstrayendo la complejidad del hardware subyacente.

Conceptos Clave

• Proceso: Instancia de un programa en ejecución. Posee un ciclo de vida definido que abarca desde su creación hasta su finalización, pasando por estados de ejecución y espera.
• Gestión de Memoria: Conjunto de técnicas para asignar, utilizar y recuperar la memoria física, garantizando que múltiples programas coexistan eficientemente sin interferir entre sí.
• Sistema de Archivos: Metodología y estructura de datos utilizada para organizar, almacenar, recuperar y compartir información en dispositivos de almacenamiento persistente.
• Gestión de Dispositivos: Control y coordinación de todos los periféricos de entrada y salida para asegurar operaciones seguras y de alto rendimiento.
• Planificación (Scheduling): Mecanismo de toma de decisiones que determina qué proceso o hilo obtiene el acceso a la CPU y otros recursos en un momento dado.

Principios de Diseño

La arquitectura de un SO se rige por principios fundamentales para garantizar estabilidad, equidad y eficiencia:

• Gestión de Recursos: Optimización del uso de CPU, memoria, almacenamiento y periféricos.
• Interfaz de Usuario: Provisión de entornos interactivos, ya sea mediante línea de comandos (CLI) o interfaces gráficas (GUI).
• Multitarea: Capacidad de ejecutar múltiples procesos concurrentemente, maximizando la utilización del sistema.
• Concurrencia y Sincronización: Facilitar la interacción correcta entre procesos compartiendo recursos sin generar condiciones de carrera.
• Seguridad y Protección: Implementación de mecanismos de aislamiento y autenticación para prevenir accesos no autorizados y fallos en cascada.

Arquitecturas del Sistema Operativo

Clasificación de Arquitecturas

Estructura Monolítica

En este modelo, todos los servicios del sistema operativo (planificación, gestión de memoria, sistemas de archivos y controladores) se ejecutan en el mismo espacio de direcciones, típicamente en modo kernel. La comunicación entre módulos se realiza mediante llamadas a funciones directas. Aunque esto ofrece un rendimiento excepcional debido a la ausencia de sobrecarga por cambio de contexto, un error en cualquier módulo puede comprometer la estabilidad de todo el sistema. Además, la mantenibilidad disminuye a medida que el código base crece.

Estructura de Micronúcleo

El micronúcleo aborda las limitaciones del modelo monolítico reduciendo el núcleo a sus funciones más esenciales: abstracción de hardware básica, planificación mínima y comunicación entre procesos (IPC). Servicios como sistemas de archivos y pilas de red se ejecutan como servidores en espacio de usuario. Esto mejora drásticamente la seguridad y la fiabilidad, ya que un fallo en un servidor no colapsa el kernel. Sin embargo, la frecuente comunicación mediante paso de mensajes introduce una sobrecarga de rendimiento significativa.

Modelo Cliente-Servidor

Una evolución del micronúcleo donde las funcionalidades se distribuyen entre clientes que solicitan servicios y servidores que los proveen. Este modelo es inherentemente distribuido, permitiendo que los servicios residan en diferentes nodos de una red mediante llamadas a procedimientos remotos (RPC). Aunque ofrece una escalabilidad y flexibilidad superiores, la latencia de red y la complejidad de la seguridad distribuida son desafíos inherentes.

Selección de Arquitectura y Desafíos

La elección de la arquitectura depende estrictamente del caso de uso. Los sistemas en tiempo real (RTOS) y los sistemas embebidos suelen preferir la estructura monolítica por su previsibilidad y bajo overhead. Por el contrario, los sistemas que requieren alta tolerancia a fallos y modularidad se benefician del micronúcleo. En entornos distribuidos y de computación en la nube, el modelo cliente-servidor es el estándar. Los desarrolladores deben equilibrar continuamente el rendimiento, la seguridad y la complejidad de mantenimiento al diseñar o seleccionar una arquitectura.

Gestión de Procesos y Algoritmos de Planificación

Ciclo de Vida y Estados del Proceso

Un proceso es la unidad fundamental de trabajo en un SO moderno. Su estado evoluciona a medida que avanza en su ejecución:

graph LR
    A[Nuevo] -->|Asignación inicial| B[Listo]
    B -->|Planificación CPU| C[En Ejecución]
    C -->|Fin de quantum| B
    C -->|Solicitud E/S| D[Bloqueado]
    D -->|E/S completada| B
    C -->|Finaliza ejecución| E[Terminado]
    B -->|Liberación de recursos| E

• Nuevo: El proceso está siendo creado.
• Listo: Cargado en memoria y esperando su turno para usar la CPU.
• En Ejecución: Las instrucciones están siendo procesadas por la CPU.
• Bloqueado: Esperando un evento externo, como la finalización de una operación de E/S.
• Terminado: Ha finalizado su ejecución y sus recursos han sido reclamados.

El Bloque de Control de Procesos (PCB) es la estructura de datos que encapsula toda esta información: estado, contador de programa, registros de CPU y asignaciones de memoria. Es el identificador único que permite al SO gestionar la transición entre estados.

Diseño de Algoritmos de Planificación

El planificador de la CPU busca optimizar métricas clave: maximizar la utilización del CPU y el rendimiento (throughput), mientras minimiza el tiempo de retorno (turnaround), el tiempo de espera y el tiempo de respuesta.

Algoritmos Clásicos

• First-Come, First-Served (FCFS): Ejecuta los procesos en el orden de llegada. Simple de implementar, pero puede causar el "efecto convoy", donde procesos cortos esperan detrás de procesos largos.
• Shortest Job First (SJF): Prioriza el proceso con el siguiente tiempo de ráfaga más corto. Minimiza el tiempo de espera promedio, pero requiere conocer la duración futura y puede causar inanición en procesos largos.
• Round Robin (RR): Asigna un quantum de tiempo fijo a cada proceso en una cola circular. Excelente para sistemas interactivos por su equidad, aunque el exceso de cambios de contexto puede degradar el rendimiento.

En sistemas modernos como Linux, se utiliza el Completely Fair Scheduler (CFS), que emplea árboles rojinegros para rastrear el tiempo de ejecución virtual de cada proceso, garantizando una distribución equitativa del CPU.

Para inspeccionar el estado de los procesos en sistemas tipo Unix, se utilizan herramientas de línea de comandos:

# Visualizar procesos en ejecución y sus estados
ps -eo pid,stat,comm

Técnicas de Gestión de Memoria y Fragmentación

Asignación y Liberación de Memoria

La gestión de memoria garantiza el aislamiento entre procesos y optimiza el uso de la RAM. En la asignación contigua, el sistema busca bloques libres del tamaño requerido. A continuación, se presenta una implementación simplificada de un asignador de memoria basado en un mapa de bits lógico:

#define RAM_CAPACITY 2048

typedef enum { FREE, ALLOCATED } BlockStatus;
BlockStatus physical_memory[RAM_CAPACITY];

int find_contiguous_blocks(int required_size) {
    int count = 0;
    for (int i = 0; i < RAM_CAPACITY; i++) {
        if (physical_memory[i] == FREE) {
            count++;
            if (count == required_size) {
                return i - required_size + 1;
            }
        } else {
            count = 0;
        }
    }
    return -1; 
}

void assign_memory(int start_index, int size) {
    for (int i = start_index; i < start_index + size; i++) {
        physical_memory[i] = ALLOCATED;
    }
}

void release_memory(int start_index, int size) {
    for (int i = start_index; i < start_index + size; i++) {
        physical_memory[i] = FREE;
    }
}

Paginación vs. Segmentación

Para superar las limitaciones de la asignación contigua, los sistemas modernos utilizan esquemas no contiguos:

Fragmentación y Técnicas de Compactación

La asignación y liberación dinámica genera fragmentación externa (huecos libres demasiado pequeños para ser útiles) e interna (memoria asignada pero no utilizada dentro de un bloque). La compactación es una técnica drástica que mueve los procesos en memoria para consolidar el espacio libre.

void compact_physical_memory() {
    int write_head = 0;
    
    // Desplazar bloques asignados hacia el inicio
    for (int read_head = 0; read_head < RAM_CAPACITY; read_head++) {
        if (physical_memory[read_head] == ALLOCATED) {
            physical_memory[write_head] = ALLOCATED;
            write_head++;
        }
    }
    
    // Marcar el resto de la memoria como libre
    while (write_head < RAM_CAPACITY) {
        physical_memory[write_head] = FREE;
        write_head++;
    }
}

Memoria Virtual y Compresión

La memoria virtual utiliza espacio en disco (swap) para extender la RAM física, permitiendo que los procesos utilicen espacios de direcciones más grandes que la memoria disponible y facilitando la protección y el compartir memoria.

La compresión de memoria es una técnica alternativa o complementaria donde el SO comprime páginas inactivas en la RAM en lugar de enviarlas al disco, reduciendo la latencia asociada con el paging. El flujo de decisión se ilustra a continuación:

flowchart LR
    A[Inicio] --> B{Evaluar uso de RAM}
    B -->|Alta utilización| C[Ejecutar compresión]
    B -->|Uso normal| D[Mantener estado]
    C --> E[Liberar espacio comprimido]
    E --> F[Actualizar lista de memoria libre]
    D --> F
    F --> G[Fin]

Sistemas de Archivos y Administración de Dispositivos

Estructura del Sistema de Archivos

El sistema de archivos abstrae el almacenamiento físico en entidades lógicas llamadas archivos y directorios. Sus componentes esenciales incluyen:

• Medio de Almacenamiento: El hardware subyacente (HDD, SSD, NVMe).
• Bloque de Control de Archivo (FCB/i-nodo): Metadatos que describen el archivo (permisos, propietario, punteros a bloques de datos).
• Estructura de Directorios: Jerarquía para organizar y localizar archivos eficientemente.
• Métodos de Asignación: Contigua, enlazada o indexada, determinando cómo se mapean los bloques lógicos a los físicos.

Planificación de Disco

El rendimiento de los sistemas de almacenamiento mecánicos depende críticamente del algoritmo de planificación del brazo lector. Los objetivos son minimizar el tiempo de búsqueda (seek time) y el retraso rotacional.

• FCFS: Justo, pero ineficiente, ya que el brazo se mueve erráticamente.
• Shortest Seek Time First (SSTF): Atiende la solicitud más cercana físicamente. Reduce el tiempo de búsqueda promedio pero puede causar inanición en cilindros lejanos.
• SCAN (Elevador): El brazo se mueve en una dirección atendiendo peticiones hasta el final del disco, luego invierte el sentido. Equilibra el rendimiento y previene la inanición.

Gestión de Dispositivos y E/S

El subsistema de E/S gestiona la transferencia de datos entre la CPU, la memoria y los periféricos. Los controladores de dispositivos (drivers) actúa como traductores entre las órdenes genéricas del SO y las instrucciones específicas del hardware.

El mecanismo de interrupciones es fundamental: permite que el hardware notifique a la CPU cuando una operación de E/S ha finalizado, liberando al procesador de realizar sondeos (polling) constantes.

Tendencias en Tecnologías de E/S

• E/S de Alto Rendimiento: Interfaces como PCIe 5.0 y NVMe permiten tasas de transferencia masivas, eliminando cuellos de botella en SSDs modernos.
• E/S Asíncrona: Modelos como io_uring en Linux o IOCP en Windows permiten enviar múltiples solicitudes y procesar las completaciones por lotes, maximizando el rendimiento en servidores de alta concurrencia.
• Dispositivos Virtuales: La virtualización y los contenedores requieren capas de abstracción de E/S (como SR-IOV) para compartir hardware físico de manera segura y eficiente entre múltiples entornos aislados.