Запуск нескольких Task одновременно. Так есть ли многопоточность?

Question

В продолжение вот этого вопроса.

Итак, пусть есть несколько асинхронных методов

async Task DoFoo() { ... }
async Task DoBar() { ... }
async Task DoBaz() { ... }

которые в другом асинхронном методе

async Task DoJob()
{
    //TODO: perform DoFoo, DoBar and DoBaz in parallel
}

требуется выполнить параллельно.

Если следовать ответам в упомянутом вопросе, то для параллельности выполнения нескольких асинхронных методов нужно вызвать их так:

async Task DoJob()
{
    Task t1 = DoFoo();
    Task t2 = DoBar();
    Task t3 = DoBaz();

    await Task.WhenAll(t1, t2, t3);
}

В документации по TaskScheduler, однако, читаю:

Top-level tasks, which are tasks that are not created in the context of another task, are put on the global queue just like any other work item. However, nested or child tasks, which are created in the context of another task, are handled quite differently. A child or nested task is put on a local queue that is specific to the thread on which the parent task is executing. The parent task may be a top-level task or it also may be the child of another task. When this thread is ready for more work, it first looks in the local queue.

Применительно к ситуации, если я правильно понимаю, задачи t1, t2, t3 не являются задачами корневого уровня (т.к. они вложены в DoJob), и потому, стартуя они попадают не в global queue, которая обрабатывается множеством потоков пула, а - в local queue какого-то одного конкретного потока.

Получается, что многопоточного исполнения нескольких асинхронных методов такой способ не даёт?

Да, может произойти work stealing, но стоит ли на него надеяться, или для достижения параллелизма лучше все методы обернуть в Task.Run(...) (который отправит задачи исполняться на пуле потоков, т.е., по-видимому, в global queue)

async Task DoJob()
{
    Task t1 = Task.Run(DoFoo);
    Task t2 = Task.Run(DoBar);
    Task t3 = Task.Run(DoBaz);

    await Task.WhenAll(t1, t2, t3);
}

?

Answer 1

Прям вот жирным выделю:

Асинхронность != многопоточность. Таски != многопоточность.

Во-первых, многопоточности тут может не быть, если все методы возвращают готовые таски.

Во-вторых, все преимущество асинхронных методов в том, что во время IO-запроса поток не блокируется и что IO-запросы могут запросто выполняться параллельно (например, потому, что это разные подсистемы вашего компьютера или разные компьютеры где-то в сети).

"Обычный" асинхронный метод состоит из некоторого синхронного пролога, одного или несколько асинхронных вызовов с синхронным кодом между ними, и синхронного эпилога. В таком методе время выполнение синхронного кода и асинхронного соотносятся как, например, 1 к 100 (потому что IO медленный, очень медленный).

Т.о., запуская параллельно N асинхронных методов, вы экономите на обращении к IO. В первую очередь именно IO-запросы будут выполняться параллельно. А тот факт, что одна копейка синхронного кода в этих методах может выполниться в одном потоке, вас не должен волновать.

Так что да, параллельно запущенные асинхронные методы могут выполняться и без использования дополнительных потоков, но такое выполнение по-прежнему имеет смысл. Особенно в том случае, когда эти методы являются настоящими асинхронным методами.

По теме:

• Нет никакого потока
• Как работает async/await
• async/await: собираем грабли