Чому Redis вважається однопотоковою системою?

Redis вважається однопотоковою системою, тому що всі команди клієнта виконуються в одному основному потоці - послідовно, одна за одною, без паралельного виконання кількох операцій одночасно.

#1. Основна ідея

Redis використовує один головний потік (main thread), який:

• приймає запити клієнтів,
• виконує команди,
• надсилає відповіді,
• керує пам'яттю.

Це означає, що в будь-який момент Redis обробляє лише одну команду. Наступна команда почне виконуватися лише після завершення попередньої.

#2. Причини вибору однопотоковості

Однопотоковість у Redis - свідоме архітектурне рішення заради максимальної продуктивності й простоти:

1. Немає блокувань. Не потрібно синхронізувати доступ до даних між потоками - це усуває mutex'и, deadlock'и й накладні витрати на їх керування.
2. Мінімальні накладні витрати. Не витрачається час на перемикання контексту між потоками.
3. Передбачуваність. Поведінка Redis детермінована: команди виконуються строго в порядку надходження.
4. Висока продуктивність за рахунок простоти. Завдяки зберіганню всіх даних у пам'яті й відсутності блокувань Redis досягає мільйонів операцій за секунду навіть в одному потоці.

#3. Але Redis не повністю "одноядерний"

Хоча обробка команд йде в одному потоці, Redis все ж використовує додаткові фонові потоки для окремих задач:

• збереження даних на диск (RDB і AOF),
• асинхронне звільнення пам'яті,
• реплікація,
• I/O з диском,
• мережеві операції.

Ці процеси не втручаються в основну логіку виконання команд і не створюють блокувань.

#4. Модель "подієвого циклу" (Event Loop)

Redis побудований на моделі event loop, аналогічній Node.js:

• одне ядро,
• неблокуючий I/O,
• мультиплексування з'єднань через epoll, kqueue чи select.

Завдяки цьому Redis може одночасно обслуговувати тисячі клієнтів, лишаючись однопотоковим.

#5. Сучасні оптимізації

У нових версіях Redis (починаючи з 6.0) додано I/O threads - додаткові потоки, що обробляють лише мережевий ввід/вивід. Але виконання самих команд лишається строго однопотоковим, щоб не порушити модель послідовності операцій.

#6. Підсумок

Redis вважається однопотоковою системою, тому що:

1. Основний потік виконує всі команди послідовно.
2. Немає паралельних обчислень над спільними даними.
3. Однопотоковість робить Redis детермінованим, швидким і стійким до блокувань.

Фонові потоки є, але вони не беруть участі в обробці команд і не роблять Redis багатопотоковою БД у класичному сенсі.