Los semáforos constituyen una herramienta esencial dentro de la comunicación interproceso (IPC) bajo la norma System V. Su propósito principal es coordinar la ejecución de múltiples procesos que comparten memoria o dispositivos, evitando conflictos de datos. Funcionan lógicamente como variables de estado protegidas que regulan cuántos actores pueden interactuar con un recurso específico simultáneamente.

Existen dos variantes principales según su granularidad:

• Semáforos Binarios: Operan con estados discretos (disponible/no disponible). Son ideales para establecer bloqueos mutuos estrictos donde un recurso crítico permite apenas una entrada activa a la vez.
• Semáforos de Conteo: Mantienen un valor entero positivo indicando la cantidad de instancias disponibles de un recurso. Permiten concurrencia limitada; cada adquisición decrementa el valor y cada liberación lo incrementa.

Estructura de Memoria en el Espacio del Núcleo

En el núcleo de Linux, la información relativa a un conjunto de semáforos se almacena en estructuras específicas. La cabecera principal es semid_ds, la cual agrupa metadatos sobre el array de semáforos:

struct semid_ds {
    struct ipc_perm sem_perm;       // Atributos de protección y propiedad
    unsigned short  sem_nsems;      // Cantidad total de elementos en el array
    __kernel_time_t sem_ctime;      // Timestamp de última modificación
    struct sem     *sem_base;       // Puntero al bloque de datos real
    // ... campos internos de cola de espera y deshacer operaciones
};

Dentro de esta estructura reside ipc_perm, encargada de la seguridad y identificación:

struct ipc_perm {
    key_t   key;   // Identificador lógico único (llave)
    uid_t   uid;   // Usuario propietario
    gid_t   gid;   // Grupo propietario
    mode_t  mode;  // Máscara de permisos (lectura/escritura)
    unsigned short seq; // Número de secuencia para evitar colisiones
};

Estos campos garantizan que solo los procesos autorizados puedan modificar o inspeccionar el estado de sincronización establecido.

Gestión de Recursos: La Función de Obtención

Para inicializar o acceder a un objeto de semáforo existente, se utiliza la llamada al sistema semget. Esta operación devuelve un descriptor entero que sirve de referencia en llamadas subsiguientes.

Firma de la Función

#include <sys/ipc.h>
#include <sys/sem.h>

int id_sem = semget(
    key_t clave_llegible, 
    int num_sistemas, 
    int banderas_modificadora
);

La lógica de funcionamiento se desglosa así:

1. Clave de Referencia: Un valor entero o constante predefinida que identifica el grupo. Procesos distintos usando la misma clave acceden al mismo objeto global.
2. Cantidad de Unidades: Especifica cuántos semáforos individuales debe contener el array creado.
3. Banderas de Modificación: Permiten configurar modos de creación exclusiva, permisos de octeto, o indicar si se debe crear el objeto solo si no existe previamente.

Un retorno mayor o igual a cero indica éxito. Si retorna -1, la varible global errno contiene detalles sobre el fallo (por ejemplo, llave inválida o límites de recursos alcanzados).

Aseguramiento de Exclusión Mutua

En programación concurrente, cuando varios flujos ejecutan instrucciones sobre la misma zona de memoria sin coordinación, surgen condiciones de carrera. El orden de ejecución impredecible puede corromper datos o producir resultados erróneos.

La exclusión mutua resuelve este problema asegurando que solo una entidad acceda a una sección crítica en un momento dado. Los mecanismos habituales incluyen:

• Locks de Mutex: Candados binarios vinculados a hilos o procesos específicos.
• Áreas Críticas: Bloques de código protegidos por primitivas de bloqueo (como los semáforos mencionados).

Al entrar en una zona crítica, el proceso intenta adquirir el recurso de sincronización. Si el valor del semáforo es cero, el hilo se suspende en estado bloqueado hasta que otro proceso libere la señal y el contador permita el paso. Este flujo garantiza la integridad de las variables compartidas durante operaciones no atómicas.