Respuesta.

Historia de la pregunta

El búfer circular (ring buffer, circular buffer) se utiliza a menudo en sistemas con memoria limitada, controladores de dispositivos, redes y sistemas multitarea. Su concepto se utilizó en las primeras etapas del desarrollo de sistemas operativos, cuando era importante utilizar la memoria de manera óptima y no gastar recursos en el desplazamiento de elementos después de la extracción.

Problema

Las dificultades típicas son el manejo correcto de las condiciones de "búfer lleno" y "búfer vacío", la falta de protección contra la sobrescritura de datos y la sincronización complicada en entornos multihilo. Pueden ocurrir errores al confundir los límites y al verificar incorrectamente los índices.

Solución

El objeto del búfer circular se implementa con un array, dos índices (head y tail) y, si es necesario, una variable contador o lógica adicional para distinguir entre los estados de "lleno" y "vacío". La lectura y escritura se realizan utilizando el módulo del tamaño del búfer.

#define BUF_SIZE 8
char buffer[BUF_SIZE];
int head = 0, tail = 0; // head - escribimos, tail - leemos

// Escritura
if (((head + 1) % BUF_SIZE) != tail) {
    buffer[head] = data;
    head = (head + 1) % BUF_SIZE;
} else {
    // Búfer lleno
}

// Lectura
if (head != tail) {
    char d = buffer[tail];
    tail = (tail + 1) % BUF_SIZE;
}

Características clave:

Verificación de límites utilizando operaciones modulares
La distinción entre un búfer vacío y uno lleno requiere un manejo especial o el almacenamiento de la cantidad de elementos
Fácil de implementar sin asignación dinámica de memoria

Preguntas engañosas.

¿Cómo distinguir un búfer completamente lleno de uno completamente vacío?

Por lo general, se determina que el búfer está vacío cuando head == tail. Para el lleno, se puede dejar una celda desocupada o almacenar el número de elementos en un contador explícito.

¿Es posible utilizar el búfer en un entorno multihilo sin bloqueos?

No, en el caso estándar, cuando se lee y escribe simultáneamente, pueden ocurrir condiciones de carrera. Se deben utilizar operaciones atómicas o bloqueos.

¿Qué ocurrirá si no se controla el desbordamiento de head o tail?

En caso de desbordamiento, se producirá un acceso fuera de los límites del array, lo que provocará un comportamiento indefinido y posible corrupción de memoria.

Errores típicos y anti-patrones

No diferenciar entre "lleno" y "vacío" (head == tail), lo que rompe la semántica del funcionamiento
Renuncia a la aritmética modular (errores en el cálculo de índices)
Violación de la sincronización en el trabajo multihilo

Ejemplo de la vida

Caso negativo

Un desarrollador implementó un búfer circular, donde head == tail se interpretaba como "vacío" y "lleno" al mismo tiempo, lo que resultó en la pérdida de la señal de desbordamiento.

Ventajas:

Sencillez del código

Desventajas:

No se puede separar claramente el estado lleno del vacío; se perdían o sobrescribían datos

Caso positivo

En su lugar, se agregó una variable contador de elementos o se reservó una ranura para que head nunca alcanzara totalmente a tail.