Net framework 5, а также среды Visual Studio 2012 и C#

Глава.28 .Асинхронные.операции.ввода-вывода
m_resultType1 = awaiterType1.GetResult(); // Получение результата
ForLoopPrologue: 
m_x = 0; // Инициализация цикла 'for'
goto ForLoopBody; // Переход к телу цикла 'for'
ForLoopEpilog: 
m_resultType2 = awaiterType2.GetResult(); 
m_x++; // Увеличение x после каждой итерации
// Переход к телу цикла 'for'
ForLoopBody: 
if (m_x < 3) { // Условие цикла 'for'
// Вызов Method2Async и получение объекта ожидания
awaiterType2 = Method2Async().GetAwaiter(); 
if (!awaiterType2.IsCompleted) { 
m_state = 1; // 'Method2Async' завершается
// асинхронно
m_awaiterType2 = awaiterType2; // Сохранение объекта
// ожидания до возвращения
// Приказываем вызвать MoveNext при завершении операции
m_builder.AwaitUnsafeOnCompleted(ref awaiterType2, ref this); 
executeFinally = false; // Без логического выхода
// из блока 'try'
return; // Поток возвращает управление
} // вызывающей стороне
// 'Method2Async' завершается синхронно
goto ForLoopEpilog; // Синхронное завершение, возврат
}
} 
catch (Exception) { 
Console.WriteLine("Catch"); 
} 
finally { 
// Каждый раз, когда блок физически выходит из 'try',
// выполняется 'finally'.
// Этот код должен выполняться только при логическом
// выходе из 'try'.
if (executeFinally) { 
Console.WriteLine("Finally"); 
} 
} 
result = "Done"; // То, что в конечном итоге должна вернуть
} // асинхронная функция.
catch (Exception exception) { 
// Необработанное исключение: задание конечного автомата
// завершается с исключением.
m_builder.SetException(exception); 
return; 
} 
// Исключения нет: задание конечного автомата завершается с результатом

---

799
Расширяемость.асинхронных.функций
m_builder.SetResult(result); 
} 
}
Если вы не пожалеете времени на просмотр кода и чтение комментариев, думаю, 
вы сможете понять, что компилятор делает за вас. Пожалуй, стоит особо упомянуть 
об одном важном моменте. Каждый раз, когда в вашем коде используется оператор 
await
, компилятор берет указанный операнд и пытается вызвать для него метод 
GetAwaiter
. Этот метод может быть как экземплярным методом, так и методом 
расширения. Объект, возвращаемый при вызове 
GetAwaiter
, называется 
объектом 
ожидания
(awaiter).
После того как конечный автомат получит объект ожидания, он запрашивает 
его свойство 
IsCompleted
. Если операция завершается синхронно, возвращается 
значение 
true
, и в порядке оптимизации конечный автомат просто продолжает вы-
полнение. Он вызывает метод 
GetResult
объекта ожидания, который либо выдает 
исключение в случае неудачного выполнения операции, либо возвращает результат, 
если операция прошла успешно. Конечный автомат продолжает выполнение для 
обработки результата.
Если операция завершается асинхронно, 
IsCompleted
возвращает 
false
. В этом 
случае конечный автомат вызывает метод 
OnCompleted
объекта ожидания, переда-
вая ему делегата метода 
MoveNext
конечного автомата. И теперь конечный автомат 
позволяет своему потоку вернуть управление в исходную точку, чтобы тот мог про-
должить выполнение другого кода. В будущем объект ожидания, инкапсулирующий 
Task
, узнает о своем заверении и вызывает делегата, что приводит к выполнению 
MoveNext
. По полям конечного автомата определяется способ перехода к правильной 
точке кода, что создает иллюзию продолжения выполнения метода с того места, 
с которого он был прерван. На этой стадии код вызывает метод 
GetResult
объекта 
ожидания и продолжает выполнение для обработки результата.
Так работает модель асинхронных функций, единственная цель которой — упро-
щение работы программиста по написанию кода без блокировки исполнения.