На чём основана асинхронность в Python и как она работает под капотом?

На чём основана асинхронность в Python и как она работает под капотом?

• строится на конструкции async/await, доступной начиная с Python 3.5+
• опирается на корутины — специальные объекты функций, способные приостанавливать собственное выполнение
• задействует событийный цикл (Event Loop) из модуля asyncio, который планирует задачи
• корутины добавляются в цикл, а он последовательно передаёт управление между ними, не создавая дополнительные потоки
• переключение выполняется на уровне байткода Python, без системного переключения контекста, поэтому оно легче, чем переключение потоков
• ввод/вывод (I/O) выступает основной областью применения: цикл ожидает события, например готовность сокета, и при этом не блокирует поток
• даёт возможность создавать однопоточный конкурентный код, эффективно работающий с I/O
• широко применяется в сетевых приложениях, веб-сервисах и сценариях с большим количеством операций ожидания

Как это реализовано:

• Корутину можно рассматривать как генератор, который умеет получать управление и возвращать его через await/yield
• Для отслеживания готовности операций Event Loop обращается к системным неблокирующим вызовам, таким как epoll и kqueue
• После завершения операции вне CPU цикл возобновляет работу соответствующей корутины
• Если не использовать блокирующий sleep или ожидание, в одном потоке можно выполнять тысячи конкурентных операций

При большом количестве I/O-задач этот подход эффективнее потоков и процессов: он уменьшает накладные расходы на переключение и синхронизацию.

Развёрнутый ответ

Краткий ответ

Асинхронная модель Python базируется на event loop (цикле событий), который управляет задачами и не блокирует основной поток. Центральную роль играет конструкция async/await, появившаяся в Python 3.5+. Она позволяет создавать неблокирующий код на основе корутин — специальных функций, способных приостанавливать выполнение и возвращать управление event loop'у. Внутри Python используется объект event loop (в стандартной библиотеке — asyncio): он отслеживает корутины и коллбэки, запускает их после готовности ресурсов, например операций ввода-вывода, и переключает задачи без создания новых потоков или процессов.

Основные особенности

• Event loop координирует выполнение задач и обрабатывает те из них, которые готовы продолжить работу. Благодаря этому одно поток исполнения можно эффективно использовать без блокирующих вызовов, включая сетевые и файловые операции.
• Фундамент асинхронности составляют корутины — объекты coroutine и Future. Они позволяют планировать отложенное или неблокирующее выполнение и работать с результатами асинхронных операций.
• Асинхронный ввод-вывод, как правило, строится на неблокирующих системных вызовах, например epoll в Linux и IOCP в Windows. Они уведомляют event loop о готовности ресурсов, поэтому приложению не требуется постоянно проверять их состояние.
• Следует учитывать, что асинхронность в стандартном asyncio сама по себе не обеспечивает параллельное выполнение на уровне CPU. Для этого применяются дополнительные средства: многопоточность, multiprocessing или внешние библиотеки.

Практическое применение

В реальных проектах asyncio применяют при разработке высоконагруженных серверов, драйверов сетевых протоколов, микросервисов с низкой задержкой и масштабируемых приложений, обрабатывающих множество параллельных операций ввода-вывода. Так, начиная с Python 3.8+ asyncio работает производительнее благодаря доработкам event loop и оптимизациям runtime, поэтому остаётся конкурентным вариантом для современных сервисов.