Как на собеседовании объяснить разницу между корутинами, тасками и футурами?

Как на собеседовании объяснить разницу между корутинами, тасками и футурами?

• Корутина — лёгкая функция, которую можно приостанавливать и возобновлять; она реализует кооперативную многозадачность
• Таск (Task) — абстракция работы, способной выполняться асинхронно; для этого он часто использует корутины
• Футура (Future) — объект, описывающий результат отложенной или асинхронной операции и предоставляющий методы для его получения
• корутины управляют потоком выполнения, таски отвечают за запуск и управление задачами, а футуры — за получение результатов
• футуры нередко применяются для синхронизации и ожидания окончания асинхронных операций
• в различных языках и фреймворках эти определения могут частично пересекаться, однако общий принцип таков: корутина управляет прерываемым выполнением, таск является единицей работы, а футура — обещанием результата

Итак: корутина отвечает за управление выполнением, таск — за запуск работы, а футура — за получение результата.

Подробный ответ

Основной ответ

Корутины, таски и футуры представляют собой абстракции для организации асинхронного и конкурентного выполнения кода, однако отличаются назначением, концепцией и уровнем детализации.

Корутина — лёгкая кооперативная единица выполнения, способная приостановить (yield) свою работу и передать управление другой корутине. Она использует планировщик или цикл событий и хорошо подходит для создания асинхронного кода без блокировок.

Таск (задача) — как правило, оболочка над корутиной либо иной асинхронной операцией. Она отвечает за запуск, состояние и результат этой операции. Таск обычно связан с определённым планировщиком или рантаймом (например, Task в Python asyncio или C# Task) и позволяет работать с асинхронными операциями на более высоком уровне.

Футура (future) — объект, который представляет результат асинхронной операции, готовый в будущем. Для него можно зарегистрировать обратные вызовы или дождаться завершения операции. Футуры часто тесно связаны с тасками: таск может реализовывать футуру или возвращать её, предоставляя доступ к результату.

Ключевые моменты

• Корутины — низкоуровневые генераторы или асинхронные функции, реализующие приостановку и возобновление выполнения. В Python 3.5+ это функции async def.
• Таски — более высокоуровневая абстракция, которая запускает корутину и контролирует её состояние. Например, asyncio.Task интегрируется с event loop.
• Футуры — контейнеры для результата асинхронной операции, обычно не содержащие логики её запуска (например, asyncio.Future). Они используются для синхронизации и получения выходных данных.
• В разных языках терминология и распределение ролей могут незначительно различаться: например, в C++ futures — это объект, возвращаемый std::async, в Rust async/await основаны на futures, а таски представляют собой задачи runtime.

Практический контекст

В Python asyncio вы создаёте корутины с помощью async/await, запускаете их как таски, возвращающие футуры. В C# Task одновременно выступает и как корутина, и как future. В целом понимание этих понятий необходимо для осознанной разработки эффективного асинхронного кода с корректной обработкой результатов и ошибок.