Почему используя ConfigureAwait(true) мы оставляеем потенциальную дыру для дедлоков?

Question

Не понимаю почему ConfigureAwait(true) может быть причиной беды?

Вот пример кода:

private async void button1_Click(object sender, EventArgs e)
{
    int result = DoSomeWorkAsync().Result; // 1
}

private async Task<int> DoSomeWorkAsync()
{
    await Task.Delay(100).ConfigureAwait(true); //2
    return 1;
}

Вот его описание, но то ли тут опечатка/кривой перевод или я чего то не понимаю. Почему дедлок?:

Клик по кнопке здесь приводит к дедлоку. UI поток стартует новый I/O поток на строке «2» и уходит в спящий режим на строке «1», ожидая завершения работы. После того как I/O поток заканчивает выполнение, оставшаяся часть метода DoSomeWorkAsync передается на выполнение вызывающему (UI) потоку. Но тот в это время находится в спящем режиме, ожидая завершения метода. Дедлок.

Answer 1

Потому, что вызов

int result = DoSomeWorkAsync().Result; // 1

Заблокирует UI поток, пока таска, что внутри, полностью не завершится. А таске, чтобы завершиться вот тут

await Task.Delay(100).ConfigureAwait(true); //2
return 1; // вот тут, в продолжении

Так вот, таске, чтобы завершиться, надо прыгнуть в UI поток, но она не может прыгнуть в UI поток, так как UI поток ей же самой заблокирован выше.

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

Answer 2

Лично я обьяснение @tym32167 не понял. Пришлось самому запускать апликуху и вкуривать что случается...

Итак...

---

Асинхронный вызов метода:

int result = await DoSomeWorkAsync();

Синхронный вызов асинхронного метода:

int result = DoSomeWorkAsync().Result; 
// то есть мы ждем пока не будет
// готового результата

---

Теперь смотрим на нутрянку метода DoSomeWorkAsync():

await Task.Delay(100).ConfigureAwait(true);
return 1;

.ConfigureAwait(true) -- конфигурация самой таски. Конфигурирование таски делается из UI потока, а не изнутри самой таски.

Дэдлок выходит по той причине, что перед компьютером поставлено одновременно 2 противоречивые задачи:

• не выходить в основной поток [что бы получить результат выполнения синхронного вызова метода]
• (внутри метода) выйти в основой поток [что бы изменить конфигурацию таски]