Ответ.

История вопроса

Кольцевой буфер (ring buffer, circular buffer) часто используется в системах с ограниченной памятью, драйверах устройств, сетях и многозадачных системах. Его концепция использовалась еще на ранних этапах разработки ОС, когда важно было оптимально использовать память и не тратить ресурсы на сдвиг элементов после извлечения.

Проблема

Типичные сложности — корректная обработка условий «буфер полон» и «буфер пуст», отсутствие защиты от перезаписи данных, усложненная синхронизация при многопоточности. Ошибки возможны при путанице границ и неправильной проверке индексов.

Решение

Объект кольцевого буфера реализуется массивом, двумя индексами (head и tail) и, в случае необходимости, переменной-счетчиком или дополнительной логикой для различения состояний «полон» и «пуст». Чтение и запись ведутся по модулю размера буфера.

#define BUF_SIZE 8
char buffer[BUF_SIZE];
int head = 0, tail = 0; // head – записываем, tail – читаем

// Запись
if (((head + 1) % BUF_SIZE) != tail) {
    buffer[head] = data;
    head = (head + 1) % BUF_SIZE;
} else {
    // Буфер полон
}

// Чтение
if (head != tail) {
    char d = buffer[tail];
    tail = (tail + 1) % BUF_SIZE;
}

Ключевые особенности:

• Проверка границ с использованием модульных операций
• Различие между пустым и полным буфером требует особой обработки или хранения количества элементов
• Легко реализуется без динамического выделения памяти

Вопросы с подвохом.

Как отличить полностью заполненный буфер от полностью пустого?

По head == tail чаще всего определяют пустой буфер. Для полного можно либо оставлять одну ячейку незанятой, либо хранить количество элементов в явном счетчике.

Можно ли использовать буфер в многопоточной среде без блокировок?

Нет, в стандартном случае при одновременном чтении и записи возможны гонки. Нужно либо использовать атомарные операции, либо блокировки.

Что произойдет, если не контролировать переполнение head или tail?

В случае переполнения произойдет выход за границы массива, что приведет к undefined behavior и возможной порче памяти.

Типовые ошибки и анти-паттерны

• Отсутствие различия между «полным» и «пустым» (head == tail), что ломает семантику работы
• Отказ от модульной арифметики (ошибки в расчете индексов)
• Нарушение синхронизации при многопоточной работе

Пример из жизни

Негативный кейс

Разработчик реализовал кольцевой буфер, где head == tail трактовалось как «пусто» и «полно» одновременно, из-за чего был потерян сигнал о переполнении.

Плюсы:

• Простота кода

Минусы:

• Нельзя однозначно отделить полное состояние от пустого; терялись или затирались данные

Позитивный кейс

Вместо этого была добавлена переменная-счетчик элементов или зарезервирован один слот, чтобы head никогда не догонял tail полностью.

Плюсы:

• Работоспособный, надёжный буфер, сохранились все данные

Минусы:

• Чуть менее эффективное использование памяти (на одну ячейку меньше)